m=2: unbalanced g depending on all coordinates: 8
   distribution of e(g) = max(s_0,s_1): {1: 4, 2: 4}
   completion condition fails: 4 (AND/OR/NAND/NOR: 4, exceptional: 0)
m=3: unbalanced g depending on all coordinates: 160
   distribution of e(g) = max(s_0,s_1): {1: 116, 2: 40, 3: 4}
   completion condition fails: 8 (AND/OR/NAND/NOR: 4, exceptional: 4)
   exceptional: 01101000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 00010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 11101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 10010111  (s_0,s_1)=(1, 2)  fails at b=[1]
m=4: unbalanced g depending on all coordinates: 51976
   distribution of e(g) = max(s_0,s_1): {1: 44862, 2: 7006, 3: 104, 4: 4}
   completion condition fails: 48 (AND/OR/NAND/NOR: 4, exceptional: 44)
   exceptional: 0110100010000000  (s_0,s_1)=(1, 3)  fails at b=[1]
   exceptional: 0111100010000000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110110010000000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110101010000000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110100011000000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110101011000000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110100010100000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110110010100000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0110100010001000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0111100010001000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001011001101000  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 0000000100010110  (s_0,s_1)=(3, 1)  fails at b=[0]
   exceptional: 0001000100010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000010100010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000001100010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1110100110010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000000101010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000001101010110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000000100110110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000010100110110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0000000100011110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0001000100011110  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1110111011100001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111111011100001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111101011001001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111111011001001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111110010101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111111010101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 0001011001101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111110011101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111101011101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1110111011101001  (s_0,s_1)=(2, 1)  fails at b=[0]
   exceptional: 1111111011101001  (s_0,s_1)=(3, 1)  fails at b=[0]
   exceptional: 0110100110010111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1000011101110111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001011101110111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001001101011111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001011101011111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001010100111111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001011100111111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001010101111111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001001101111111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1000011101111111  (s_0,s_1)=(1, 2)  fails at b=[1]
   exceptional: 1001011101111111  (s_0,s_1)=(1, 3)  fails at b=[1]
