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
|
p cnf 30 127
-7 23 15 0
-25 -5 21 0
4 29 30 0
17 3 11 0
25 28 6 0
27 -29 20 0
-4 28 13 0
9 28 -6 0
16 -19 18 0
-9 -25 -20 0
-26 21 -23 0
24 -19 30 0
24 19 15 0
11 -22 -6 0
-2 9 -16 0
4 -30 -22 0
-26 -28 3 0
-17 25 4 0
-10 18 -20 0
-27 20 -16 0
-26 -28 12 0
-4 20 -13 0
-9 24 4 0
-21 5 6 0
-2 29 -16 0
17 -19 21 0
19 11 -22 0
24 10 6 0
26 23 -8 0
9 30 -23 0
-26 27 3 0
-2 10 3 0
9 -11 26 0
-1 22 -16 0
-1 27 -16 0
-10 -24 -16 0
-26 4 13 0
-18 4 6 0
19 4 -30 0
11 4 -22 0
-12 -14 -8 0
-26 -21 30 0
10 27 11 0
-27 -29 30 0
2 -28 -24 0
16 -29 15 0
-3 18 29 0
-3 18 30 0
-2 -3 -22 0
1 18 29 0
17 -28 -30 0
24 -16 -8 0
18 5 30 0
-17 12 7 0
-12 -14 23 0
-19 3 13 0
1 -12 5 0
4 -13 -23 0
16 9 -12 0
9 -20 -7 0
25 30 -8 0
-1 -25 23 0
26 19 -7 0
3 -13 -15 0
-17 -1 18 0
8 -19 -13 0
11 -15 -16 0
-5 20 -15 0
-11 27 3 0
-9 20 -13 0
2 3 -16 0
18 -27 4 0
8 9 -13 0
19 13 30 0
-26 -18 1 0
9 11 29 0
18 -4 23 0
24 -1 26 0
1 18 12 0
-17 -12 -30 0
10 -4 23 0
-11 -13 -24 0
13 -23 14 0
-10 -22 23 0
-18 -21 -24 0
16 -26 -30 0
-25 13 -24 0
-10 -19 -27 0
-25 23 -16 0
-3 -27 11 0
28 -30 7 0
-3 12 -23 0
17 20 29 0
18 -3 5 0
19 4 28 0
-1 25 -6 0
-27 14 30 0
29 13 21 0
16 28 -22 0
25 6 7 0
2 11 -13 0
10 4 -8 0
25 -11 14 0
-26 2 -27 0
8 -10 -15 0
24 4 -16 0
-10 18 -23 0
-26 -6 -7 0
8 9 6 0
-17 -29 -21 0
-1 -27 2 0
-26 11 -24 0
2 27 -13 0
-25 9 3 0
16 10 23 0
17 11 -21 0
25 -20 -12 0
-26 -3 -15 0
24 25 18 0
-17 -13 -8 0
-1 11 -23 0
17 -14 23 0
8 28 6 0
3 -13 12 0
-11 -28 14 0
25 -6 29 0
28 -23 7 0
|
