files / problems / covering / compute / partition_r18_n815.txt
# Theorem 5.4 constructive partition of result/data/H_r18_n815.txt. # 33 blocks: 16 beta-blocks split by xi=0/nonzero, plus D. # Generated by compute/build_lift_partitions.py. 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 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 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 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 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 28 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 26 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 26 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27