M=26_K=3_Q=512_minh=2_ineq=3.txt

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