M=26_K=4_Q=64_minh=4_ineq=6.txt

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