files / problems / covering / compute / partition_r18_n815_p17.txt
# Certified coarsening of compute/partition_r18_n815.txt. # 33 constructive blocks mapped to 17 blocks; no minimality claim. # Generated by compute/build_lift_partitions.py. 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 9 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12