m=2: (g,b) with 2 <= s_b < m: 0; completable at b: 0; Lambda_b > 0: 0; not completable: 0; uncovered (not completable and Lambda_b = 0): 0; (g,b) with s_b = m (all AND-type): 4
m=3: (g,b) with 2 <= s_b < m: 40; completable at b: 36; Lambda_b > 0: 28; not completable: 4; uncovered (not completable and Lambda_b = 0): 0; (g,b) with s_b = m (all AND-type): 4
   min Lambda_b over non-completable (g,b): 1/2
   non-completable: g=01101000 b=1 s=2 Lambda=1/2
   non-completable: g=00010110 b=0 s=2 Lambda=1/2
   non-completable: g=11101001 b=0 s=2 Lambda=1/2
   non-completable: g=10010111 b=1 s=2 Lambda=1/2
m=4: (g,b) with 2 <= s_b < m: 7324; completable at b: 7280; Lambda_b > 0: 7144; not completable: 44; uncovered (not completable and Lambda_b = 0): 0; (g,b) with s_b = m (all AND-type): 4
   min Lambda_b over non-completable (g,b): 1/4
   non-completable: g=0110100010000000 b=1 s=3 Lambda=1/2
   non-completable: g=0111100010000000 b=1 s=2 Lambda=1/4
   non-completable: g=0110110010000000 b=1 s=2 Lambda=1/4
   non-completable: g=0110101010000000 b=1 s=2 Lambda=1/4
   non-completable: g=0110100011000000 b=1 s=2 Lambda=1/4
   non-completable: g=0110101011000000 b=1 s=2 Lambda=1/2
   non-completable: g=0110100010100000 b=1 s=2 Lambda=1/4
   non-completable: g=0110110010100000 b=1 s=2 Lambda=1/2
ALL COVERED
