M=32_K=25_Q=128_minh=8_ineq=0.txt

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 25 26 27 28
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 22 23 26 27 29 30
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 22 24 26 28 29 31
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 21 23 24 25 27 28 29
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 18 19 23 24 27 28 30 31
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 19 20 21 24 26 27 29 30
0 1 2 3 4 5 6 7 8 9 10 11 12 13 15 17 18 19 20 21 23 27 28 29 30
0 1 2 3 4 5 6 7 8 9 10 11 12 13 15 17 19 22 23 24 25 27 29 30 31
0 1 2 3 4 5 6 7 8 9 10 11 12 13 16 17 18 19 21 22 23 25 26 28 29
0 1 2 3 4 5 6 7 8 9 10 11 13 14 15 17 18 21 22 23 24 25 26 29 31
0 1 2 3 4 5 6 7 8 9 10 12 13 16 17 20 21 22 23 24 25 26 27 29 31
0 1 2 3 4 5 6 7 8 9 10 13 14 15 16 17 18 20 21 22 24 26 27 28 29
0 1 2 3 4 5 6 7 8 9 11 12 14 15 18 20 22 23 24 25 26 28 29 30 31
0 1 2 3 4 5 6 7 8 9 11 17 18 19 20 21 22 23 24 26 27 28 29 30 31
0 1 2 3 4 5 6 7 8 9 12 13 14 16 18 19 20 21 23 25 26 27 29 30 31
0 1 2 3 4 5 6 7 8 10 11 12 14 16 17 19 21 22 24 25 27 28 29 30 31
0 1 2 3 4 5 6 7 8 10 13 15 16 17 18 19 20 21 23 25 26 27 28 29 31
0 1 2 3 4 5 6 7 8 11 12 13 14 15 16 17 18 21 22 25 26 27 28 29 31
0 1 2 3 4 5 6 7 9 10 13 14 16 17 18 20 21 22 23 24 25 28 29 30 31
0 1 2 3 4 5 6 7 9 11 12 13 14 15 16 17 18 19 20 22 23 25 26 29 31
0 1 2 3 4 5 6 7 9 11 12 13 14 15 16 18 19 21 22 23 24 26 27 28 29
0 1 2 3 4 5 6 7 10 11 12 13 14 15 17 19 20 22 23 25 26 27 28 30 31
0 1 2 3 4 5 6 7 10 11 12 13 15 16 17 18 19 20 22 24 27 28 29 30 31
0 1 2 3 4 5 6 7 10 11 12 13 15 16 17 18 19 21 22 23 24 25 26 30 31
0 1 2 3 4 5 6 8 9 10 11 13 14 16 20 21 22 24 25 26 27 28 29 30 31
0 1 2 3 4 5 6 8 9 11 12 13 15 16 17 18 19 20 22 23 24 25 26 27 30
0 1 2 3 4 5 6 9 10 11 12 13 15 16 17 18 20 21 22 24 25 26 28 29 31
0 1 2 3 4 5 6 9 10 12 14 15 16 18 19 20 21 23 24 25 27 28 29 30 31
0 1 2 3 4 5 6 10 11 12 14 15 16 17 18 19 20 21 22 23 24 26 27 29 30
0 1 2 3 4 5 7 8 9 11 13 14 15 16 18 19 20 21 23 24 25 26 27 28 31
0 1 2 3 4 5 7 8 10 11 12 13 14 16 17 18 20 21 22 24 25 26 29 30 31
0 1 2 3 4 5 7 9 10 11 12 13 14 15 16 18 19 20 21 22 23 27 29 30 31
0 1 2 3 4 5 8 9 10 11 12 14 15 16 17 20 21 22 23 24 25 28 29 30 31
0 1 2 3 4 5 8 9 10 12 14 16 17 18 19 21 22 23 25 26 27 28 29 30 31
0 1 2 3 4 5 8 9 10 13 15 16 18 19 20 21 22 23 24 26 27 28 29 30 31
0 1 2 3 4 6 7 8 10 11 15 16 18 19 20 22 23 24 25 26 27 28 29 30 31
0 1 2 3 4 6 7 9 10 12 13 14 15 16 17 18 19 20 22 23 24 25 27 30 31
0 1 2 3 4 6 7 9 11 12 13 16 17 18 19 20 23 24 25 26 27 28 29 30 31
0 1 2 3 4 6 8 9 10 11 12 14 17 18 20 21 22 23 24 25 26 27 29 30 31
0 1 2 3 4 6 8 9 10 12 13 14 15 17 19 20 21 23 24 25 26 27 28 29 30
0 1 2 3 4 7 8 9 11 12 13 14 16 18 19 21 22 23 24 25 26 28 29 30 31
0 1 2 3 4 7 11 12 14 15 16 17 19 20 21 22 23 24 25 26 27 28 29 30 31
0 1 2 3 5 6 7 9 11 13 14 15 16 17 18 19 21 24 25 26 27 28 29 30 31
0 1 2 3 5 6 8 9 11 12 13 14 15 16 18 21 22 23 24 25 26 27 29 30 31
0 1 2 3 5 7 8 9 10 11 12 13 16 17 18 19 20 22 24 25 26 27 28 29 31
0 1 2 3 5 7 8 9 10 12 15 17 18 19 20 21 22 23 24 25 26 27 28 30 31
0 1 2 3 6 7 8 9 10 11 12 13 14 15 18 19 20 21 23 24 25 27 29 30 31
0 1 2 3 8 10 11 12 13 14 15 16 17 18 19 21 22 24 25 26 27 28 29 30 31
0 1 2 4 5 7 8 9 10 11 12 14 15 16 17 18 19 20 21 22 25 26 28 29 31
0 1 2 4 5 7 8 11 13 14 15 16 17 18 19 20 21 22 24 25 27 28 29 30 31
0 1 2 4 5 8 9 10 11 13 14 15 16 17 19 20 21 22 23 25 26 27 28 30 31
0 1 2 4 6 7 8 9 10 11 12 14 15 16 19 20 21 22 23 24 25 26 27 28 30
0 1 2 4 6 7 8 9 10 13 14 15 18 20 21 22 23 24 25 26 27 28 29 30 31
0 1 2 4 6 7 8 9 11 12 13 14 15 16 17 19 20 21 22 23 25 27 29 30 31
0 1 2 4 6 7 8 10 11 12 13 14 15 16 17 18 20 22 24 25 26 27 28 30 31
0 1 2 5 6 7 8 9 10 11 12 13 14 15 17 18 19 21 22 23 24 25 28 29 30
0 1 2 5 6 7 8 9 10 11 12 13 14 15 17 20 21 22 23 25 26 27 28 29 31
0 1 2 6 7 10 11 12 13 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
0 1 3 4 5 6 7 9 10 11 12 15 17 18 19 21 22 24 25 26 27 28 29 30 31
0 1 3 4 5 6 7 9 12 13 15 16 17 18 19 20 21 22 23 26 27 28 29 30 31
0 1 3 4 5 6 7 10 11 14 15 16 17 18 19 20 21 22 23 24 25 26 28 29 31
0 1 3 4 5 7 8 9 10 12 13 15 16 17 18 19 20 21 22 24 25 28 29 30 31
0 1 3 4 5 7 9 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 28 30 31
0 1 3 4 6 7 8 9 10 11 12 13 14 16 18 19 20 21 22 24 25 26 27 30 31
0 1 3 4 6 7 8 9 10 11 12 14 15 16 17 18 19 20 23 24 25 26 27 29 30
0 1 3 4 6 7 8 9 10 13 14 15 16 17 19 20 21 22 23 24 25 26 27 28 31
0 1 3 4 7 9 10 11 12 13 14 15 16 17 18 19 20 22 25 26 27 28 29 30 31
0 1 3 5 6 7 8 9 10 11 12 14 15 16 18 19 20 21 24 25 26 27 28 29 31
0 1 3 5 6 7 8 10 11 12 14 15 16 17 18 19 20 21 22 23 24 27 28 30 31
0 1 3 5 6 8 9 10 12 13 14 17 18 19 20 21 22 23 24 25 26 27 28 29 31
0 1 3 5 6 9 10 11 12 13 14 15 16 17 18 19 20 22 23 24 26 28 29 30 31
0 1 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 22 23 25 27 28 29 31
0 1 4 5 6 7 8 9 10 11 12 13 14 15 18 19 20 21 23 25 26 27 28 30 31
0 1 4 5 6 7 8 9 10 12 13 14 15 16 17 20 22 23 24 26 27 28 29 30 31
0 1 4 5 6 8 9 10 11 12 13 14 15 17 19 20 21 22 24 25 26 28 29 30 31
0 1 4 5 6 8 9 10 11 12 14 15 16 17 18 19 21 22 23 24 25 26 27 30 31
0 1 4 5 7 8 10 12 14 15 16 17 18 19 20 21 23 24 25 26 27 28 29 30 31
0 1 4 6 7 9 10 11 12 14 16 17 18 19 20 21 22 23 24 25 27 28 29 30 31
0 2 3 4 5 6 8 9 10 11 13 14 16 17 18 19 20 23 24 26 27 28 29 30 31
0 2 3 4 5 6 8 9 11 14 15 16 18 19 20 21 22 23 24 25 26 27 28 29 30
0 2 3 4 5 10 11 12 13 14 15 16 17 18 19 20 21 23 24 25 26 27 28 30 31
0 2 3 4 6 7 8 9 10 11 12 13 15 16 17 18 19 21 22 23 24 28 29 30 31
0 2 3 4 6 7 8 9 10 12 13 15 16 18 19 20 21 23 24 25 26 27 28 30 31
0 2 3 4 6 7 8 10 11 12 13 14 15 16 17 19 20 21 22 23 26 27 28 29 31
0 2 3 4 7 8 9 10 11 12 13 14 16 17 19 20 21 23 24 25 26 27 29 30 31
0 2 3 5 6 7 8 9 10 11 13 14 15 18 19 21 22 23 24 25 26 27 28 30 31
0 2 3 5 6 7 8 9 10 11 13 14 16 17 19 20 21 22 23 25 27 28 29 30 31
0 2 3 5 6 7 8 9 10 12 14 15 16 17 18 20 21 22 23 24 25 26 28 29 30
0 2 3 5 6 7 8 9 11 12 13 14 15 17 18 19 20 21 22 23 24 26 29 30 31
0 2 3 5 6 7 8 9 12 13 15 16 17 19 20 22 23 24 25 26 27 28 29 30 31
0 2 3 5 6 7 8 10 11 12 13 14 15 17 18 20 21 22 24 25 27 28 29 30 31
0 2 3 5 6 7 8 10 11 12 14 15 16 17 18 19 20 22 23 25 26 27 29 30 31
0 2 4 5 6 7 8 9 10 11 12 13 14 16 17 18 20 21 22 23 24 25 27 28 31
0 2 4 5 6 7 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 25 26 27 30
0 2 4 5 6 7 8 10 11 12 15 16 17 18 19 20 21 22 23 24 25 27 28 29 30
0 2 4 5 6 7 9 10 11 12 14 15 16 17 18 19 20 24 25 26 27 28 29 30 31
0 3 4 5 6 7 8 9 10 11 13 14 15 17 18 20 21 22 23 26 27 28 29 30 31
0 3 4 5 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 24 25 26 27 28 29
0 3 5 7 8 11 12 13 14 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
1 2 3 4 5 6 9 11 12 13 14 15 17 18 19 20 21 23 24 26 27 28 29 30 31
1 2 3 4 5 7 8 9 11 12 13 15 16 17 18 19 20 21 22 23 24 26 28 29 31
1 2 3 4 5 9 10 11 12 13 14 15 16 19 21 22 23 24 25 26 27 28 29 30 31
1 2 3 4 6 7 8 9 10 11 14 15 16 17 18 19 21 22 23 24 26 27 28 29 30
1 2 3 4 6 7 8 9 11 12 13 14 15 16 18 20 21 22 23 24 25 27 28 30 31
1 2 3 4 6 7 8 10 11 12 13 14 15 16 17 19 20 21 22 24 25 26 28 29 30
1 2 3 4 6 8 9 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 29 30 31
1 2 3 5 6 7 8 9 10 11 13 14 15 16 17 19 20 21 23 24 26 27 28 30 31
1 2 3 5 6 7 8 9 10 13 16 17 18 19 21 22 23 24 25 26 27 28 29 30 31
1 2 3 5 6 7 8 9 12 13 14 15 16 17 18 19 20 21 23 24 25 27 28 29 30
1 2 3 5 6 7 8 11 13 14 15 17 18 19 20 21 22 23 25 26 27 28 29 30 31
1 2 3 5 6 8 9 10 11 12 13 14 16 17 18 20 21 22 23 25 26 27 28 29 30
1 2 3 5 7 8 9 10 11 12 13 14 15 16 17 18 19 22 23 24 25 26 29 30 31
1 2 4 5 6 7 9 10 12 13 14 16 18 19 20 21 22 23 24 25 26 27 28 29 30
1 2 4 5 6 8 10 11 13 15 16 17 18 19 20 21 22 23 24 25 26 28 29 30 31
1 2 4 5 7 8 9 10 11 12 13 14 15 16 17 18 20 21 24 25 26 27 28 29 30
1 3 4 5 6 7 8 9 10 11 12 13 14 16 18 19 20 21 23 24 25 28 29 30 31
1 3 4 5 6 7 8 9 10 11 12 13 16 17 19 20 22 23 25 26 27 28 29 30 31
1 3 4 5 6 7 8 10 11 12 13 14 15 16 18 19 20 22 23 24 25 26 27 28 31
1 3 4 5 6 7 9 10 11 13 14 15 16 17 18 20 21 22 24 25 26 27 28 30 31
1 3 4 5 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 30
2 3 4 5 6 7 8 9 10 11 12 14 15 16 17 20 21 22 23 24 26 27 29 30 31
2 3 4 5 6 7 8 10 12 13 14 15 16 17 18 19 21 22 23 24 25 26 27 28 29
2 3 4 5 6 8 9 10 11 12 13 14 17 18 19 21 22 23 24 25 26 28 29 30 31
2 4 5 6 7 8 9 11 12 13 15 17 18 20 21 22 23 24 25 26 27 28 29 30 31
2 4 5 7 8 9 10 11 12 13 14 16 17 18 19 20 21 22 23 26 27 28 29 30 31
2 4 6 7 8 9 10 11 13 14 15 16 17 19 20 22 23 24 25 26 27 28 29 30 31
2 5 6 8 9 10 11 12 13 14 15 16 18 19 20 21 23 24 25 26 27 28 29 30 31