problem-3.cnf

p cnf 125 750
-1 2 0
-2 0
2 3 0
-2 -3 0
3 4 0
-3 -4 0
-4 5 0
4 -5 0
5 1 0
-5 -1 0
-6 7 0
6 -7 0
-7 8 0
7 -8 0
8 9 0
-8 -9 0
-9 10 0
9 -10 0
10 6 0
-10 -6 0
-11 12 0
11 -12 0
-12 13 0
12 -13 0
-13 14 0
13 -14 0
-14 15 0
14 -15 0
15 11 0
-15 -11 0
-16 17 0
16 -17 0
-17 18 0
17 -18 0
-18 19 0
18 -19 0
19 20 0
-19 -20 0
20 16 0
-20 -16 0
21 22 0
-21 -22 0
22 23 0
-22 -23 0
23 24 0
-23 -24 0
24 25 0
-24 -25 0
-25 21 0
25 -21 0
6 0
-1 -6 0
-2 7 0
2 -7 0
3 8 0
-3 -8 0
-4 9 0
4 -9 0
-5 10 0
5 -10 0
-6 11 0
6 -11 0
-7 12 0
7 -12 0
8 13 0
-8 -13 0
9 14 0
-9 -14 0
-10 15 0
10 -15 0
-11 16 0
11 -16 0
12 17 0
-12 -17 0
13 18 0
-13 -18 0
14 19 0
-14 -19 0
-15 20 0
15 -20 0
16 21 0
-16 -21 0
-17 22 0
17 -22 0
18 23 0
-18 -23 0
-19 24 0
19 -24 0
20 25 0
-20 -25 0
21 1 0
-21 -1 0
22 2 0
-22 -2 0
23 3 0
-23 -3 0
-24 4 0
24 -4 0
25 5 0
-25 -5 0
-1 26 0
-26 0
-2 27 0
2 -27 0
3 28 0
-3 -28 0
-4 29 0
4 -29 0
-5 30 0
5 -30 0
6 31 0
-6 -31 0
-7 32 0
7 -32 0
-8 33 0
8 -33 0
9 34 0
-9 -34 0
10 35 0
-10 -35 0
11 36 0
-11 -36 0
-12 37 0
12 -37 0
13 38 0
-13 -38 0
14 39 0
-14 -39 0
-15 40 0
15 -40 0
-16 41 0
16 -41 0
17 42 0
-17 -42 0
-18 43 0
18 -43 0
-19 44 0
19 -44 0
-20 45 0
20 -45 0
21 46 0
-21 -46 0
-22 47 0
22 -47 0
-23 48 0
23 -48 0
24 49 0
-24 -49 0
-25 50 0
25 -50 0
-26 27 0
26 -27 0
-27 28 0
27 -28 0
28 29 0
-28 -29 0
-29 30 0
29 -30 0
30 26 0
-30 -26 0
31 32 0
-31 -32 0
32 33 0
-32 -33 0
33 34 0
-33 -34 0
-34 35 0
34 -35 0
-35 31 0
35 -31 0
36 37 0
-36 -37 0
-37 38 0
37 -38 0
-38 39 0
38 -39 0
39 40 0
-39 -40 0
40 36 0
-40 -36 0
-41 42 0
41 -42 0
42 43 0
-42 -43 0
-43 44 0
43 -44 0
44 45 0
-44 -45 0
-45 41 0
45 -41 0
46 47 0
-46 -47 0
-47 48 0
47 -48 0
-48 49 0
48 -49 0
49 50 0
-49 -50 0
-50 46 0
50 -46 0
26 31 0
-26 -31 0
27 32 0
-27 -32 0
-28 33 0
28 -33 0
-29 34 0
29 -34 0
-30 35 0
30 -35 0
-31 36 0
31 -36 0
32 37 0
-32 -37 0
33 38 0
-33 -38 0
34 39 0
-34 -39 0
35 40 0
-35 -40 0
36 41 0
-36 -41 0
37 42 0
-37 -42 0
-38 43 0
38 -43 0
39 44 0
-39 -44 0
-40 45 0
40 -45 0
41 46 0
-41 -46 0
-42 47 0
42 -47 0
-43 48 0
43 -48 0
-44 49 0
44 -49 0
45 50 0
-45 -50 0
46 26 0
-46 -26 0
-47 27 0
47 -27 0
-48 28 0
48 -28 0
49 29 0
-49 -29 0
50 30 0
-50 -30 0
-26 51 0
26 -51 0
-27 52 0
27 -52 0
-28 53 0
28 -53 0
29 54 0
-29 -54 0
30 55 0
-30 -55 0
31 56 0
-31 -56 0
32 57 0
-32 -57 0
33 58 0
-33 -58 0
-34 59 0
34 -59 0
35 60 0
-35 -60 0
36 61 0
-36 -61 0
37 62 0
-37 -62 0
38 63 0
-38 -63 0
39 64 0
-39 -64 0
40 65 0
-40 -65 0
41 66 0
-41 -66 0
42 67 0
-42 -67 0
-43 68 0
43 -68 0
44 69 0
-44 -69 0
-45 70 0
45 -70 0
-46 71 0
46 -71 0
-47 72 0
47 -72 0
-48 73 0
48 -73 0
-49 74 0
49 -74 0
50 75 0
-50 -75 0
-51 52 0
51 -52 0
52 53 0
-52 -53 0
-53 54 0
53 -54 0
54 55 0
-54 -55 0
55 51 0
-55 -51 0
56 57 0
-56 -57 0
57 58 0
-57 -58 0
-58 59 0
58 -59 0
-59 60 0
59 -60 0
60 56 0
-60 -56 0
61 62 0
-61 -62 0
62 63 0
-62 -63 0
-63 64 0
63 -64 0
-64 65 0
64 -65 0
-65 61 0
65 -61 0
66 67 0
-66 -67 0
-67 68 0
67 -68 0
68 69 0
-68 -69 0
-69 70 0
69 -70 0
70 66 0
-70 -66 0
-71 72 0
71 -72 0
72 73 0
-72 -73 0
73 74 0
-73 -74 0
74 75 0
-74 -75 0
75 71 0
-75 -71 0
51 56 0
-51 -56 0
52 57 0
-52 -57 0
53 58 0
-53 -58 0
54 59 0
-54 -59 0
55 60 0
-55 -60 0
56 61 0
-56 -61 0
57 62 0
-57 -62 0
-58 63 0
58 -63 0
59 64 0
-59 -64 0
-60 65 0
60 -65 0
-61 66 0
61 -66 0
-62 67 0
62 -67 0
-63 68 0
63 -68 0
-64 69 0
64 -69 0
65 70 0
-65 -70 0
66 71 0
-66 -71 0
-67 72 0
67 -72 0
-68 73 0
68 -73 0
69 74 0
-69 -74 0
-70 75 0
70 -75 0
71 51 0
-71 -51 0
-72 52 0
72 -52 0
-73 53 0
73 -53 0
74 54 0
-74 -54 0
75 55 0
-75 -55 0
51 76 0
-51 -76 0
-52 77 0
52 -77 0
-53 78 0
53 -78 0
-54 79 0
54 -79 0
55 80 0
-55 -80 0
-56 81 0
56 -81 0
-57 82 0
57 -82 0
58 83 0
-58 -83 0
-59 84 0
59 -84 0
60 85 0
-60 -85 0
-61 86 0
61 -86 0
62 87 0
-62 -87 0
-63 88 0
63 -88 0
-64 89 0
64 -89 0
-65 90 0
65 -90 0
-66 91 0
66 -91 0
-67 92 0
67 -92 0
68 93 0
-68 -93 0
69 94 0
-69 -94 0
-70 95 0
70 -95 0
-71 96 0
71 -96 0
-72 97 0
72 -97 0
73 98 0
-73 -98 0
74 99 0
-74 -99 0
-75 100 0
75 -100 0
76 77 0
-76 -77 0
-77 78 0
77 -78 0
78 79 0
-78 -79 0
-79 80 0
79 -80 0
80 76 0
-80 -76 0
81 82 0
-81 -82 0
-82 83 0
82 -83 0
-83 84 0
83 -84 0
-84 85 0
84 -85 0
-85 81 0
85 -81 0
-86 87 0
86 -87 0
-87 88 0
87 -88 0
88 89 0
-88 -89 0
89 90 0
-89 -90 0
90 86 0
-90 -86 0
-91 92 0
91 -92 0
-92 93 0
92 -93 0
93 94 0
-93 -94 0
94 95 0
-94 -95 0
-95 91 0
95 -91 0
-96 97 0
96 -97 0
-97 98 0
97 -98 0
-98 99 0
98 -99 0
-99 100 0
99 -100 0
100 96 0
-100 -96 0
76 81 0
-76 -81 0
77 82 0
-77 -82 0
-78 83 0
78 -83 0
79 84 0
-79 -84 0
80 85 0
-80 -85 0
-81 86 0
81 -86 0
82 87 0
-82 -87 0
-83 88 0
83 -88 0
84 89 0
-84 -89 0
-85 90 0
85 -90 0
-86 91 0
86 -91 0
87 92 0
-87 -92 0
88 93 0
-88 -93 0
89 94 0
-89 -94 0
-90 95 0
90 -95 0
-91 96 0
91 -96 0
-92 97 0
92 -97 0
-93 98 0
93 -98 0
94 99 0
-94 -99 0
-95 100 0
95 -100 0
-96 76 0
96 -76 0
-97 77 0
97 -77 0
98 78 0
-98 -78 0
99 79 0
-99 -79 0
100 80 0
-100 -80 0
-76 101 0
76 -101 0
-77 102 0
77 -102 0
-78 103 0
78 -103 0
79 104 0
-79 -104 0
-80 105 0
80 -105 0
81 106 0
-81 -106 0
-82 107 0
82 -107 0
83 108 0
-83 -108 0
-84 109 0
84 -109 0
-85 110 0
85 -110 0
86 111 0
-86 -111 0
87 112 0
-87 -112 0
-88 113 0
88 -113 0
89 114 0
-89 -114 0
-90 115 0
90 -115 0
91 116 0
-91 -116 0
-92 117 0
92 -117 0
-93 118 0
93 -118 0
94 119 0
-94 -119 0
-95 120 0
95 -120 0
96 121 0
-96 -121 0
97 122 0
-97 -122 0
98 123 0
-98 -123 0
99 124 0
-99 -124 0
-100 125 0
100 -125 0
101 102 0
-101 -102 0
102 103 0
-102 -103 0
-103 104 0
103 -104 0
104 105 0
-104 -105 0
-105 101 0
105 -101 0
106 107 0
-106 -107 0
-107 108 0
107 -108 0
-108 109 0
108 -109 0
-109 110 0
109 -110 0
110 106 0
-110 -106 0
111 112 0
-111 -112 0
112 113 0
-112 -113 0
113 114 0
-113 -114 0
-114 115 0
114 -115 0
-115 111 0
115 -111 0
-116 117 0
116 -117 0
117 118 0
-117 -118 0
118 119 0
-118 -119 0
119 120 0
-119 -120 0
120 116 0
-120 -116 0
-121 122 0
121 -122 0
-122 123 0
122 -123 0
123 124 0
-123 -124 0
-124 125 0
124 -125 0
125 121 0
-125 -121 0
-101 106 0
101 -106 0
-102 107 0
102 -107 0
-103 108 0
103 -108 0
-104 109 0
104 -109 0
105 110 0
-105 -110 0
106 111 0
-106 -111 0
107 112 0
-107 -112 0
-108 113 0
108 -113 0
109 114 0
-109 -114 0
-110 115 0
110 -115 0
-111 116 0
111 -116 0
-112 117 0
112 -117 0
113 118 0
-113 -118 0
-114 119 0
114 -119 0
-115 120 0
115 -120 0
-116 121 0
116 -121 0
117 122 0
-117 -122 0
118 123 0
-118 -123 0
119 124 0
-119 -124 0
120 125 0
-120 -125 0
-121 101 0
121 -101 0
122 102 0
-122 -102 0
-123 103 0
123 -103 0
124 104 0
-124 -104 0
125 105 0
-125 -105 0
-101 1 0
101 -1 0
-102 2 0
102 -2 0
-103 3 0
103 -3 0
-104 4 0
104 -4 0
105 5 0
-105 -5 0
106 6 0
-106 -6 0
107 7 0
-107 -7 0
-108 8 0
108 -8 0
-109 9 0
109 -9 0
110 10 0
-110 -10 0
-111 11 0
111 -11 0
112 12 0
-112 -12 0
113 13 0
-113 -13 0
114 14 0
-114 -14 0
-115 15 0
115 -15 0
-116 16 0
116 -16 0
117 17 0
-117 -17 0
-118 18 0
118 -18 0
-119 19 0
119 -19 0
-120 20 0
120 -20 0
121 21 0
-121 -21 0
122 22 0
-122 -22 0
123 23 0
-123 -23 0
-124 24 0
124 -24 0
125 25 0
-125 -25 0