* non-Shannon inequalities through level 2 H-representation begin 161 16 integer 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 -1 0 0 0 1 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 -1 0 0 -1 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 0 0 0 1 0 0 0 1 0 0 0 -1 0 0 -1 0 0 0 1 0 0 0 1 0 0 0 -1 0 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 -1 0 0 0 0 -2 -2 3 -1 3 3 -4 0 1 1 -1 -1 0 0 0 0 -2 -2 3 0 1 1 -1 -1 3 3 -4 -1 0 0 0 0 -2 -1 3 -2 3 3 -4 0 1 -1 0 1 -1 0 0 0 -2 0 1 -2 3 1 -1 -1 3 -1 0 3 -4 0 0 0 -2 -1 3 0 1 -1 0 -2 3 3 -4 1 -1 0 0 0 -2 0 1 -1 3 -1 0 -2 3 1 -1 3 -4 0 0 0 -1 -2 3 -2 3 3 -4 0 -1 1 0 1 0 -1 0 0 0 -2 1 -2 1 3 -1 -1 -1 3 0 3 0 -4 0 0 -1 -2 3 0 -1 1 0 -2 3 3 -4 1 0 -1 0 0 0 -2 1 -1 -1 3 0 -2 1 3 -1 3 0 -4 0 0 -1 0 -1 -2 3 1 0 -2 3 1 0 3 -4 -1 0 0 0 -1 -1 -2 1 3 0 -2 1 3 0 3 -1 -4 0 0 -3 -5 6 -3 6 8 -9 0 2 2 -2 -2 0 0 0 0 -3 -5 6 0 2 2 -2 -3 6 8 -9 -2 0 0 0 0 -3 -3 6 -5 6 8 -9 0 2 -2 0 2 -2 0 0 0 -3 0 2 -5 6 2 -2 -3 6 -2 0 8 -9 0 0 0 -3 -3 6 0 2 -2 0 -5 6 8 -9 2 -2 0 0 0 -3 0 2 -3 6 -2 0 -5 6 2 -2 8 -9 0 0 0 -5 -3 6 -3 8 6 -9 0 2 2 -2 -2 0 0 0 0 -5 -3 6 0 2 2 -2 -3 8 6 -9 -2 0 0 0 0 -3 -3 6 -5 8 6 -9 0 -2 2 0 2 0 -2 0 0 0 -3 2 -5 2 6 -2 -3 -2 6 0 8 0 -9 0 0 -3 -3 6 0 -2 2 0 -5 8 6 -9 2 0 -2 0 0 0 -3 2 -3 -2 6 0 -5 2 6 -2 8 0 -9 0 0 -5 -3 8 -3 6 6 -9 0 2 -2 0 2 -2 0 0 0 -5 0 2 -3 6 2 -2 -3 8 -2 0 6 -9 0 0 0 -3 -5 8 -3 6 6 -9 0 -2 2 0 2 0 -2 0 0 0 -5 2 -3 2 6 -2 -3 -2 8 0 6 0 -9 0 0 -3 0 -2 -3 6 2 0 -5 8 2 0 6 -9 -2 0 0 0 -3 -2 -3 2 6 0 -5 2 8 0 6 -2 -9 0 0 -5 -3 8 0 2 -2 0 -3 6 6 -9 2 -2 0 0 0 -5 0 2 -3 8 -2 0 -3 6 2 -2 6 -9 0 0 0 -3 -5 8 0 -2 2 0 -3 6 6 -9 2 0 -2 0 0 0 -5 2 -3 -2 8 0 -3 2 6 -2 6 0 -9 0 0 -3 0 -2 -5 8 2 0 -3 6 2 0 6 -9 -2 0 0 0 -3 -2 -5 2 8 0 -3 2 6 0 6 -2 -9 0 0 -3 -5 6 -2 5 6 -7 -1 3 4 -4 -2 0 0 0 0 -3 -5 6 -1 3 4 -4 -2 5 6 -7 -2 0 0 0 0 -3 -2 5 -5 6 6 -7 -1 3 -2 0 4 -4 0 0 0 -3 -1 3 -5 6 4 -4 -2 5 -2 0 6 -7 0 0 0 -3 -2 5 -1 3 -2 0 -5 6 6 -7 4 -4 0 0 0 -3 -1 3 -2 5 -2 0 -5 6 4 -4 6 -7 0 0 0 -5 -3 6 -2 6 5 -7 -1 4 3 -4 -2 0 0 0 0 -5 -3 6 -1 4 3 -4 -2 6 5 -7 -2 0 0 0 0 -2 -3 5 -5 6 6 -7 -1 -2 3 0 4 0 -4 0 0 -1 -3 3 -5 4 6 -4 -2 -2 5 0 6 0 -7 0 0 -2 -3 5 -1 -2 3 0 -5 6 6 -7 4 0 -4 0 0 -1 -3 3 -2 -2 5 0 -5 4 6 -4 6 0 -7 0 0 -5 -2 6 -3 6 5 -7 -1 4 -2 0 3 -4 0 0 0 -5 -1 4 -3 6 3 -4 -2 6 -2 0 5 -7 0 0 0 -2 -5 6 -3 5 6 -7 -1 -2 4 0 3 0 -4 0 0 -1 -5 4 -3 3 6 -4 -2 -2 6 0 5 0 -7 0 0 -2 -1 -2 -3 5 3 0 -5 6 4 0 6 -7 -4 0 0 -1 -2 -2 -3 3 5 0 -5 4 6 0 6 -4 -7 0 0 -5 -2 6 -1 4 -2 0 -3 6 5 -7 3 -4 0 0 0 -5 -1 4 -2 6 -2 0 -3 6 3 -4 5 -7 0 0 0 -2 -5 6 -1 -2 4 0 -3 5 6 -7 3 0 -4 0 0 -1 -5 4 -2 -2 6 0 -3 3 6 -4 5 0 -7 0 0 -2 -1 -2 -5 6 4 0 -3 5 3 0 6 -7 -4 0 0 -1 -2 -2 -5 4 6 0 -3 3 5 0 6 -4 -7 0 0 -4 -7 9 -2 5 8 -9 0 3 3 -4 -2 0 0 0 0 -4 -7 9 0 3 3 -4 -2 5 8 -9 -2 0 0 0 0 -4 -2 5 -7 9 8 -9 0 3 -2 0 3 -4 0 0 0 -4 0 3 -7 9 3 -4 -2 5 -2 0 8 -9 0 0 0 -4 -2 5 0 3 -2 0 -7 9 8 -9 3 -4 0 0 0 -4 0 3 -2 5 -2 0 -7 9 3 -4 8 -9 0 0 0 -7 -4 9 -2 8 5 -9 0 3 3 -4 -2 0 0 0 0 -7 -4 9 0 3 3 -4 -2 8 5 -9 -2 0 0 0 0 -2 -4 5 -7 8 9 -9 0 -2 3 0 3 0 -4 0 0 0 -4 3 -7 3 9 -4 -2 -2 5 0 8 0 -9 0 0 -2 -4 5 0 -2 3 0 -7 8 9 -9 3 0 -4 0 0 0 -4 3 -2 -2 5 0 -7 3 9 -4 8 0 -9 0 0 -7 -2 8 -4 9 5 -9 0 3 -2 0 3 -4 0 0 0 -7 0 3 -4 9 3 -4 -2 8 -2 0 5 -9 0 0 0 -2 -7 8 -4 5 9 -9 0 -2 3 0 3 0 -4 0 0 0 -7 3 -4 3 9 -4 -2 -2 8 0 5 0 -9 0 0 -2 0 -2 -4 5 3 0 -7 8 3 0 9 -9 -4 0 0 0 -2 -2 -4 3 5 0 -7 3 8 0 9 -4 -9 0 0 -7 -2 8 0 3 -2 0 -4 9 5 -9 3 -4 0 0 0 -7 0 3 -2 8 -2 0 -4 9 3 -4 5 -9 0 0 0 -2 -7 8 0 -2 3 0 -4 5 9 -9 3 0 -4 0 0 0 -7 3 -2 -2 8 0 -4 3 9 -4 5 0 -9 0 0 -2 0 -2 -7 8 3 0 -4 5 3 0 9 -9 -4 0 0 0 -2 -2 -7 3 8 0 -4 3 5 0 9 -4 -9 0 0 -5 -5 8 -1 6 6 -9 0 2 2 -2 -2 0 0 0 0 -5 -5 8 0 2 2 -2 -1 6 6 -9 -2 0 0 0 0 -5 -1 6 -5 8 6 -9 0 2 -2 0 2 -2 0 0 0 -5 0 2 -5 8 2 -2 -1 6 -2 0 6 -9 0 0 0 -5 -1 6 0 2 -2 0 -5 8 6 -9 2 -2 0 0 0 -5 0 2 -1 6 -2 0 -5 8 2 -2 6 -9 0 0 0 -1 -5 6 -5 6 8 -9 0 -2 2 0 2 0 -2 0 0 0 -5 2 -5 2 8 -2 -1 -2 6 0 6 0 -9 0 0 -1 -5 6 0 -2 2 0 -5 6 8 -9 2 0 -2 0 0 0 -5 2 -1 -2 6 0 -5 2 8 -2 6 0 -9 0 0 -1 0 -2 -5 6 2 0 -5 6 2 0 8 -9 -2 0 0 0 -1 -2 -5 2 6 0 -5 2 6 0 8 -2 -9 0 0 -4 -7 9 -1 5 7 -9 -1 3 4 -4 -2 0 0 0 0 -4 -7 9 -1 3 4 -4 -1 5 7 -9 -2 0 0 0 0 -4 -1 5 -7 9 7 -9 -1 3 -2 0 4 -4 0 0 0 -4 -1 3 -7 9 4 -4 -1 5 -2 0 7 -9 0 0 0 -4 -1 5 -1 3 -2 0 -7 9 7 -9 4 -4 0 0 0 -4 -1 3 -1 5 -2 0 -7 9 4 -4 7 -9 0 0 0 -7 -4 9 -1 7 5 -9 -1 4 3 -4 -2 0 0 0 0 -7 -4 9 -1 4 3 -4 -1 7 5 -9 -2 0 0 0 0 -1 -4 5 -7 7 9 -9 -1 -2 3 0 4 0 -4 0 0 -1 -4 3 -7 4 9 -4 -1 -2 5 0 7 0 -9 0 0 -1 -4 5 -1 -2 3 0 -7 7 9 -9 4 0 -4 0 0 -1 -4 3 -1 -2 5 0 -7 4 9 -4 7 0 -9 0 0 -7 -1 7 -4 9 5 -9 -1 4 -2 0 3 -4 0 0 0 -7 -1 4 -4 9 3 -4 -1 7 -2 0 5 -9 0 0 0 -1 -7 7 -4 5 9 -9 -1 -2 4 0 3 0 -4 0 0 -1 -7 4 -4 3 9 -4 -1 -2 7 0 5 0 -9 0 0 -1 -1 -2 -4 5 3 0 -7 7 4 0 9 -9 -4 0 0 -1 -1 -2 -4 3 5 0 -7 4 7 0 9 -4 -9 0 0 -7 -1 7 -1 4 -2 0 -4 9 5 -9 3 -4 0 0 0 -7 -1 4 -1 7 -2 0 -4 9 3 -4 5 -9 0 0 0 -1 -7 7 -1 -2 4 0 -4 5 9 -9 3 0 -4 0 0 -1 -7 4 -1 -2 7 0 -4 3 9 -4 5 0 -9 0 0 -1 -1 -2 -7 7 4 0 -4 5 3 0 9 -9 -4 0 0 -1 -1 -2 -7 4 7 0 -4 3 5 0 9 -4 -9 0 0 -5 -5 8 -1 5 5 -7 0 3 3 -4 -2 0 0 0 0 -5 -5 8 0 3 3 -4 -1 5 5 -7 -2 0 0 0 0 -5 -1 5 -5 8 5 -7 0 3 -2 0 3 -4 0 0 0 -5 0 3 -5 8 3 -4 -1 5 -2 0 5 -7 0 0 0 -5 -1 5 0 3 -2 0 -5 8 5 -7 3 -4 0 0 0 -5 0 3 -1 5 -2 0 -5 8 3 -4 5 -7 0 0 0 -1 -5 5 -5 5 8 -7 0 -2 3 0 3 0 -4 0 0 0 -5 3 -5 3 8 -4 -1 -2 5 0 5 0 -7 0 0 -1 -5 5 0 -2 3 0 -5 5 8 -7 3 0 -4 0 0 0 -5 3 -1 -2 5 0 -5 3 8 -4 5 0 -7 0 0 -1 0 -2 -5 5 3 0 -5 5 3 0 8 -7 -4 0 0 0 -1 -2 -5 3 5 0 -5 3 5 0 8 -4 -7 0 end