-
Notifications
You must be signed in to change notification settings - Fork 5
/
M=26_K=5_Q=128_minh=6_ineq=12.txt
128 lines (128 loc) · 1.64 KB
/
M=26_K=5_Q=128_minh=6_ineq=12.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
0 1 2 3 4
0 1 8 9 10
0 1 11 12 13
0 1 14 15 16
0 1 23 24 25
0 2 7 10 13
0 2 14 17 20
0 2 15 18 21
0 2 16 19 22
0 3 5 9 13
0 3 7 11 15
0 3 17 21 23
0 3 18 20 24
0 4 7 8 12
0 4 13 18 22
0 4 19 20 23
0 5 16 17 24
0 6 10 15 20
0 6 13 17 25
0 6 19 21 24
0 7 9 14 18
0 7 16 20 25
0 9 11 19 25
0 10 11 17 22
0 12 14 21 25
1 2 6 8 13
1 2 7 11 16
1 2 17 21 24
1 3 16 18 21
1 3 19 20 25
1 4 5 11 15
1 4 8 14 18
1 5 10 13 16
1 5 17 22 23
1 6 12 14 20
1 6 15 18 22
1 7 12 17 25
1 8 11 17 20
1 8 16 22 24
1 9 12 18 24
1 9 15 21 23
1 10 11 18 25
1 11 14 19 21
1 13 14 22 25
2 3 11 12 14
2 4 6 14 15
2 4 12 13 21
2 4 19 24 25
2 5 12 16 18
2 5 13 15 22
2 6 7 18 19
2 6 11 17 23
2 6 16 21 25
2 6 20 22 24
2 7 12 22 23
2 8 12 17 19
2 8 14 21 22
2 8 15 20 25
2 9 10 17 25
2 9 13 23 24
2 10 14 18 24
3 4 5 16 22
3 4 9 10 19
3 4 14 17 24
3 5 7 18 23
3 5 11 17 19
3 5 14 15 20
3 5 21 24 25
3 6 12 13 19
3 6 15 16 24
3 6 22 23 25
3 7 13 21 22
3 8 10 15 21
3 8 16 17 25
3 9 12 17 20
3 9 14 16 23
3 10 11 20 23
4 5 6 8 9
4 5 12 20 24
4 5 13 23 25
4 6 18 21 23
4 7 10 11 21
4 7 14 19 22
4 7 15 16 23
4 9 12 22 25
4 9 14 20 21
4 10 13 15 24
4 11 22 23 24
4 16 17 18 20
5 6 11 12 21
5 6 16 19 23
5 7 13 19 24
5 7 14 16 21
5 8 13 17 21
5 8 14 19 25
5 8 15 18 24
5 9 10 12 23
5 9 15 16 25
5 10 18 19 22
6 7 8 11 24
6 7 9 10 16
6 8 10 12 18
6 9 14 17 19
6 9 18 20 25
6 12 16 17 22
7 8 13 16 18
7 8 14 17 23
7 9 12 19 21
7 9 15 20 24
7 10 15 22 25
7 11 12 18 20
8 9 13 19 20
8 9 18 22 23
8 10 19 23 24
8 11 16 21 23
8 12 13 24 25
9 10 11 13 14
9 10 21 22 24
10 11 15 16 19
10 12 13 20 22
10 13 17 18 23
10 13 19 21 25
11 13 15 20 21
11 14 15 17 18
11 14 16 20 22
12 14 18 19 23
12 15 17 23 24
15 17 19 20 22