files / problems / covering / compute / q12 / partition_p18_ell0.txt
# OK37 (3,0)-partition into 18 blocks; labels for columns 0..36 # generated by search_ok37_p_le17_sat.py 15 15 0 1 2 3 4 5 6 7 8 9 17 16 17 15 16 16 17 15 15 17 15 16 17 16 10 17 11 12 13 16 17 15 14 16 16