bart17.shuffled-231.cnf

p cnf 231 1166
-149 -14 -4 -138 110 50 0
-104 205 -184 -78 101 97 0
-76 -6 0
-8 133 0
-137 130 0
51 42 0
87 -48 0
33 -105 0
-106 -135 0
-178 225 0
-61 -152 0
-89 39 0
122 19 0
25 117 0
13 -99 0
183 133 0
3 29 221 139 202 146 -144 0
-67 -84 0
115 190 0
171 -5 0
-181 225 0
-31 53 0
27 -161 109 140 170 30 105 -91 -218 178 169 5 -195 -114 0
58 -77 0
164 -83 0
-202 -188 0
141 40 0
-46 -219 -213 52 -57 194 0
-4 24 0
149 -174 0
-168 -121 0
-135 153 0
139 -144 29 202 3 146 9 0
-151 225 0
187 -83 0
-197 -108 191 81 168 195 79 0
195 41 0
221 129 0
-79 165 0
114 183 0
-228 104 0
-181 -151 0
217 -112 0
108 -125 0
-216 26 0
49 193 0
-137 -196 0
161 -154 0
40 -93 0
-37 204 0
123 157 -181 -116 174 -209 0
123 -209 174 -220 157 -116 0
-57 -219 -46 194 52 -154 0
63 159 0
139 29 146 202 3 -144 190 0
40 -60 0
53 -199 0
-92 83 -227 -231 -163 216 136 0
-134 75 0
-16 161 0
204 88 0
-121 211 0
-199 -140 0
-113 -105 0
124 207 0
-3 214 0
42 35 0
15 -5 0
-134 80 0
-196 91 0
96 127 0
201 -56 0
55 60 137 -101 -173 98 -160 167 176 8 -147 -193 -88 -210 0
-12 -200 0
63 -56 0
-89 -27 0
221 -109 0
-18 133 0
-18 21 0
115 -109 0
82 124 0
173 229 0
91 224 0
-111 40 0
-146 68 0
10 -196 0
-31 -103 0
118 192 -222 76 179 -143 0
-26 134 -164 -137 -1 -90 112 0
43 -71 58 228 120 208 0
163 -79 0
-37 25 0
-48 180 0
15 150 0
-84 -69 0
-178 -186 0
-137 -62 0
119 218 0
-112 -146 0
-59 206 4 181 -122 31 -171 94 -183 -58 86 203 -145 11 0
209 78 0
-79 -146 0
-22 -222 0
126 -62 0
-16 34 0
-97 -194 0
-189 171 0
51 -27 0
202 139 29 -203 -144 146 3 0
159 207 0
210 180 0
-94 172 0
146 -23 139 29 -144 3 202 0
-55 81 168 191 -108 79 -197 0
-178 -181 0
-50 -97 0
204 122 0
123 -209 47 174 -116 157 0
-73 53 0
218 124 0
-111 -93 0
21 -22 0
191 -197 -108 13 168 81 79 0
40 -105 0
-202 131 0
36 197 0
101 230 0
-81 75 0
-68 125 32 -75 185 -113 -211 0
24 -200 0
2 40 0
-46 -219 -57 194 -45 52 0
58 -89 0
-231 177 0
71 -110 0
39 42 0
-22 102 0
1 -3 0
-22 96 0
75 227 0
-220 -48 0
-186 174 157 123 -209 -116 0
112 -1 134 -90 -164 -26 -196 0
198 24 0
101 -5 0
226 66 0
-156 -110 0
-69 195 0
9 -203 0
217 -146 0
-5 150 0
-94 -182 0
10 162 0
20 -67 0
-94 -17 0
122 -65 0
-174 -192 0
-209 123 157 174 225 -116 0
-12 24 0
-28 -211 125 -68 185 -75 32 0
198 -30 0
82 63 0
24 100 0
-14 50 -149 110 100 -138 0
-181 -220 0
161 -213 0
-157 -50 0
81 -108 191 79 168 -99 -197 0
-68 185 -75 -93 32 125 -211 0
-164 -1 134 -90 112 224 -26 0
-175 -179 0
-110 -118 0
-3 -32 0
20 -84 0
-151 -220 0
72 -203 0
-50 -120 0
70 -215 0
-3 -44 0
172 34 0
161 -17 0
-223 51 0
-23 129 0
-179 -52 0
-109 9 0
91 10 0
-139 80 0
-62 224 0
211 -155 0
-151 -186 0
163 165 0
87 -151 0
102 133 0
161 172 0
87 180 0
-189 150 0
147 -154 0
-11 195 0
190 64 0
121 44 -217 -36 -80 -73 188 0
70 150 0
-109 -98 0
209 -208 0
-109 -203 0
33 -113 0
214 -32 0
217 165 0
-134 -139 0
118 -143 192 96 179 76 0
-163 -152 216 -227 -92 136 83 0
24 193 0
160 -142 0
-181 87 0
91 -212 0
-11 -84 0
149 -43 0
35 39 0
72 -109 0
9 115 0
211 -168 0
-74 35 0
97 15 -104 205 -78 -184 0
-152 177 0
141 -206 0
-98 -203 0
-131 -165 -214 159 -158 155 -187 0
-57 194 -219 -17 52 -46 0
-106 -231 0
33 -60 0
180 225 0
132 -5 0
-105 -60 0
-81 -134 0
-203 115 0
133 114 0
39 -74 0
-149 49 -138 50 -14 110 0
197 144 0
-48 47 0
-125 -216 0
-110 184 0
-44 1 0
187 144 0
218 207 0
127 -222 0
-181 -186 0
46 -110 0
-104 -184 97 -5 -78 205 0
-22 127 0
-11 -99 0
173 -103 0
219 -174 0
58 -74 0
209 138 0
66 53 0
43 208 -71 228 120 35 0
-98 9 0
-93 -28 0
-99 -85 0
157 -116 -209 123 -178 174 0
-167 207 0
-112 163 0
102 -8 0
95 24 0
-62 -212 0
147 -16 0
-203 -23 0
-179 14 0
46 -156 0
-107 49 0
-55 195 0
71 46 0
-208 -148 0
-76 -157 0
29 202 3 146 -98 139 -144 0
122 -37 0
75 80 0
130 -196 0
-29 92 0
-83 36 0
144 -185 0
19 88 0
66 -140 0
-174 -43 0
148 175 6 156 -128 -169 0
-143 127 192 179 118 76 0
138 143 0
87 225 0
-107 -4 0
-188 131 0
-50 -194 0
-107 193 0
129 115 0
166 53 0
95 -12 0
-167 218 0
-61 -135 0
147 161 0
25 204 0
13 20 0
130 10 0
173 226 0
166 -36 -80 -217 44 121 188 0
-189 132 0
-138 110 50 -30 -14 -149 0
-79 -112 0
-12 -30 0
143 78 0
-164 112 -26 -90 134 -1 -62 0
-14 -138 -12 110 50 -149 0
59 -137 0
131 -125 0
-113 141 0
-169 25 0
-6 -120 0
173 66 0
-94 -16 0
201 63 0
-222 183 0
90 -155 0
207 119 0
225 -186 0
-56 124 0
-168 92 0
201 -167 0
230 150 0
-68 185 -75 125 -211 40 32 0
-167 -56 0
214 -44 0
102 114 0
145 -142 0
-94 -213 0
64 221 0
42 -74 0
-107 198 0
122 117 0
77 -96 84 -224 -53 -129 -40 48 7 17 200 56 37 106 0
102 127 0
-215 171 0
13 -84 0
-4 -30 0
-78 97 -104 -189 -184 205 0
-74 -176 0
21 96 0
-18 127 0
-196 162 0
-3 -136 0
166 226 0
158 -139 0
-156 116 0
161 34 0
187 197 0
-67 195 0
3 29 -144 146 139 129 202 0
130 59 0
162 -62 0
165 68 0
21 102 0
24 -107 0
-140 53 0
187 164 0
-216 -202 0
159 124 0
-61 -231 0
-61 145 0
70 171 0
47 -181 0
-16 -213 0
161 -45 0
-211 -68 -75 32 125 -60 185 0
139 -144 202 146 3 29 72 0
-93 -60 0
96 102 0
158 80 0
-65 -169 0
87 -220 0
-50 -76 0
76 192 -143 21 179 118 0
-81 227 0
34 -45 0
118 76 192 179 -143 -18 0
49 -12 0
180 -151 0
-8 183 0
19 25 0
47 -178 0
21 127 0
-125 -202 0
64 -109 0
-7 -189 0
-98 72 0
221 -23 0
-55 -11 0
108 -216 0
88 25 0
-228 -179 0
172 -45 0
108 -188 0
-16 -45 0
20 -69 0
58 -223 0
-170 153 0
-197 191 -108 81 168 -85 79 0
-18 102 0
228 39 -71 208 43 120 0
-38 -54 0
95 -200 0
119 -86 0
20 -99 0
-112 165 0
-77 35 0
58 -176 0
224 -137 0
-16 172 0
228 120 -77 43 -71 208 0
161 194 -46 -57 52 -219 0
-111 -105 0
110 -14 193 -138 -149 50 0
229 -73 0
-29 211 0
218 201 0
88 -169 0
-55 -99 0
163 -146 0
-106 153 0
-32 -136 0
-46 -16 -57 52 -219 194 0
-31 166 0
126 -212 0
160 -231 0
90 211 0
-7 230 0
32 -75 -211 33 -68 125 185 0
126 10 0
229 166 0
-142 216 -163 136 -227 83 -92 0
-99 -84 0
-189 -5 0
-32 -44 0
-8 -22 0
-123 104 0
-199 -73 0
-167 159 0
58 42 0
150 -215 0
-167 -86 0
-138 50 24 -14 110 -149 0
-175 14 0
-67 -55 0
123 -116 174 157 -209 210 0
-214 -167 -187 -131 -158 155 -165 0
-196 224 0
-231 145 0
180 -220 0
76 -143 192 179 114 118 0
208 43 120 42 228 -71 0
100 49 0
-23 9 0
97 -78 205 -184 -104 -7 0
-77 -89 0
166 173 0
9 64 0
-152 -142 0
147 -219 -57 52 194 -46 0
-86 201 0
-199 -31 0
-45 -154 0
145 160 0
-194 -157 0
134 -90 126 -164 112 -1 -26 0
-71 228 -223 43 208 120 0
-104 97 171 205 -184 -78 0
134 -164 112 59 -26 -90 -1 0
156 6 148 175 122 -128 0
145 177 0
197 -185 0
-206 -93 0
-191 -32 0
-223 35 0
-140 229 0
177 -142 0
47 210 0
97 205 -78 -184 150 -104 0
208 43 120 228 -71 -74 0
128 -205 0
-14 -138 110 95 50 -149 0
190 -203 0
-205 -43 0
159 82 0
-56 207 0
-57 -219 -94 -46 52 194 0
50 -107 -138 -149 -14 110 0
210 -186 0
104 -179 0
121 -36 -80 -199 44 188 -217 0
-191 214 0
128 219 0
-191 -3 0
9 221 0
-203 64 0
6 148 175 156 -128 25 0
-11 41 0
70 101 0
-206 33 0
177 -170 0
92 90 0
-227 177 136 -92 83 216 -163 0
-215 -7 0
-38 25 0
-152 -231 0
10 224 0
-178 87 0
-7 101 0
91 130 0
-73 66 0
59 91 0
110 198 50 -138 -149 -14 0
-137 10 0
-220 47 0
-155 -121 0
-189 101 0
32 -206 185 -68 -75 -211 125 0
-154 -213 0
-29 -121 0
183 -18 0
20 -55 0
-157 -6 0
-118 184 0
119 63 0
-135 -142 0
-61 -106 0
42 -77 0
-27 39 0
-176 39 0
-62 10 0
57 -208 0
133 21 0
100 -12 0
183 127 0
90 -168 0
43 208 228 -71 120 51 0
-136 214 0
-197 168 -67 79 81 191 -108 0
171 230 0
-61 -170 0
-60 -111 0
-98 221 0
128 149 0
166 -199 0
-186 180 0
-182 -213 0
102 -222 0
210 -151 0
-164 134 162 -90 -1 -26 112 0
-152 160 0
-30 24 0
-18 96 0
210 -178 0
-121 90 0
-107 100 0
157 -116 -151 123 -209 174 0
116 184 0
-112 68 0
143 -208 0
58 -27 0
197 164 0
100 -200 0
119 82 0
-7 150 0
175 -54 148 -128 156 6 0
2 -206 0
-65 25 0
143 209 0
-89 228 43 120 208 -71 0
-209 -116 157 87 174 123 0
-123 14 0
193 -30 0
183 102 0
221 190 0
68 217 0
-208 78 0
-66 212 107 -34 -124 -190 18 -153 -47 -19 223 -230 111 99 0
47 180 0
-83 -185 0
-189 -215 0
-223 -27 0
1 -32 0
-92 83 216 136 -106 -163 -227 0
101 171 0
-139 227 0
214 1 0
-85 -11 0
-212 10 0
-11 20 0
-116 123 -48 174 157 -209 0
-98 190 0
-60 -28 0
-31 -73 0
177 -106 0
70 132 0
-167 63 0
-65 88 0
26 131 0
-69 -85 0
15 171 0
125 32 -75 -105 -211 185 -68 0
204 -38 0
-69 -11 0
64 115 0
66 -31 0
1 -136 0
228 208 120 -176 43 -71 0
-140 173 0
119 201 0
131 108 0
-116 174 180 123 -209 157 0
-12 193 0
129 9 0
-212 130 0
-78 205 70 -104 97 -184 0
87 47 0
-170 160 0
226 53 0
-28 -105 0
226 -73 0
158 227 0
132 171 0
-98 -23 0
-85 20 0
196 154 -132 -35 -2 -133 -63 54 69 12 103 -180 -177 23 0
224 59 0
119 -56 0
183 -22 0
-99 195 0
193 95 0
-54 -37 0
188 44 -80 -103 -36 -217 121 0
40 33 0
153 145 0
79 191 -84 -108 168 -197 81 0
-136 -191 0
153 -231 0
76 118 -143 192 -8 179 0
153 160 0
172 -213 0
13 -11 0
91 -62 0
2 -60 0
14 -52 0
-135 -152 0
221 72 0
96 -8 0
-65 -37 0
-94 161 0
-192 219 0
-31 173 0
-192 149 0
122 -169 0
-55 -69 0
227 80 0
88 117 0
53 229 0
6 156 148 175 -128 117 0
43 120 -71 -27 228 208 0
-222 133 0
-170 -106 0
-170 145 0
145 -106 0
187 -185 0
-140 -73 0
144 164 0
83 216 136 -227 -163 -92 -135 0
-223 -77 0
147 -45 0
9 190 0
-181 180 0
-99 -67 0
-27 -77 0
19 175 6 -128 156 148 0
-222 114 0
96 133 0
-142 153 0
-182 161 0
207 82 0
41 -85 0
-105 141 0
122 25 0
-123 -52 0
2 -111 0
-156 184 0
118 192 76 -143 179 133 0
88 156 175 -128 6 148 0
16 -13 -21 151 142 -150 -166 -119 -130 93 -198 74 -72 -117 0
127 -8 0
226 229 0
51 -89 0
-176 -27 0
57 209 0
24 49 0
40 -113 0
-212 59 0
-176 -77 0
177 -135 0
-79 217 0
82 201 0
-103 66 0
-67 41 0
40 -206 0
129 -98 0
-4 -200 0
210 -48 0
15 -7 0
96 -222 0
108 -202 0
-152 153 0
-73 166 0
-81 -139 0
221 115 0
130 224 0
-23 190 0
-219 194 -46 -57 34 52 0
-120 -97 0
-194 -76 0
-84 195 0
-93 33 0
-131 -158 -187 -56 -214 155 -165 0
6 -37 175 -128 156 148 0
-164 134 -1 112 -26 -90 91 0
-89 -176 0
-174 128 0
19 204 0
-214 -158 -131 155 119 -165 -187 0
-139 75 0
173 53 0
190 -109 0
-148 57 0
-93 -105 0
117 -38 0
-30 -107 0
58 51 0
100 95 0
132 230 0
68 163 0
114 21 0
-146 165 0
-213 -45 0
-200 -30 0
-38 -37 0
-155 -168 0
-99 41 0
191 81 168 41 79 -108 -197 0
72 64 0
-54 19 0
-186 -48 0
130 126 0
49 -4 0
-29 90 0
117 -54 0
-103 229 0
184 46 0
-69 13 0
-220 210 0
164 36 0
198 -200 0
-178 -220 0
129 64 0
-223 -74 0
-217 -36 -80 121 188 229 44 0
-168 -29 0
124 -86 0
-7 132 0
219 -205 0
-43 -192 0
-170 -152 0
42 -89 0
70 -7 0
75 158 0
19 -38 0
187 36 0
71 -118 0
-27 -74 0
-94 -45 0
-152 145 0
-140 226 0
-167 82 0
162 -137 0
21 183 0
177 160 0
-54 88 0
180 -178 0
159 -86 0
-223 42 0
70 15 0
119 124 0
41 -84 0
-154 -16 0
-113 2 0
-62 59 0
159 -56 0
117 -169 0
138 78 0
51 -176 0
-98 115 0
-95 213 186 -201 85 -115 215 65 -226 61 -141 -102 -39 -162 0
-41 -15 -204 45 -24 -159 62 135 113 22 89 199 220 -221 0
-175 -123 0
-156 71 0
144 36 0
129 -203 0
-5 -7 0
19 -37 0
-86 82 0
193 198 0
-217 44 -80 -36 188 53 121 0
229 -31 0
2 33 0
-205 -174 0
38 -100 -20 -70 -10 222 -51 -87 231 -229 -9 -33 -207 -172 0
-76 -97 0
190 129 0
159 218 0
-83 197 0
143 57 0
-156 -118 0
-223 -176 0
14 -228 0
122 88 0
-12 -107 0
183 -143 118 179 192 76 0
73 -64 -25 189 -82 152 28 67 -127 -49 -126 -225 -42 182 0
162 -212 0
-106 -142 0
70 230 0
-222 21 0
-212 -196 0
230 -215 0
150 101 0
-205 149 0
158 -134 0
-85 -67 0
-12 -4 0
-227 216 -92 -61 136 83 -163 0
-37 -169 0
225 47 0
114 127 0
-6 -50 0
184 71 0
158 -81 0
34 147 0
-17 -213 0
63 218 0
-178 -48 0
160 -106 0
-135 145 0
131 -216 0
-181 -48 0
193 -200 0
21 -8 0
133 -22 0
-105 2 0
124 201 0
95 -4 0
53 -103 0
-215 15 0
-140 166 0
15 101 0
-22 -18 0
-148 143 0
126 224 0
76 179 -22 -143 192 118 0
-55 -84 0
191 -197 20 79 168 81 -108 0
15 132 0
126 162 0
141 33 0
-196 126 0
198 49 0
-55 -85 0
-175 104 0
47 -186 0
-148 138 0
-8 -222 0
-113 -93 0
63 124 0
-206 -60 0
9 72 0
19 -65 0
-28 -111 0
-135 -231 0
207 63 0
26 -202 0
32 -75 -111 125 185 -211 -68 0
-77 -74 0
-169 -38 0
195 13 0
-69 41 0
-89 -74 0
-189 15 0
204 148 -128 175 156 6 0
78 -148 0
-77 51 0
183 96 0
121 -36 226 44 188 -217 -80 0
-54 204 0
-182 34 0
147 -182 0
133 127 0
-78 -215 97 -104 205 -184 0
-28 -113 0
-27 35 0
-212 -137 0
218 -56 0
173 -36 -217 44 -80 188 121 0
147 -17 0
-105 -206 0
149 219 0
226 -31 0
-89 35 0
164 -185 0
190 72 0
173 -73 0
-6 -194 0
-55 41 0
-152 -106 0
-45 -17 0
71 116 0
82 155 -158 -214 -165 -131 -187 0
192 118 76 -143 102 179 0
-227 136 216 -170 83 -92 -163 0
201 -165 -158 -187 -214 155 -131 0
227 -134 0
-60 -113 0
-188 -125 0
-55 13 0
-54 -169 0
66 229 0
-178 -151 0
-5 -215 0
57 138 0
116 -110 0
-148 209 0
19 -169 0
39 -223 0
-140 -31 0
-86 63 0
-69 -99 0
34 -213 0
216 153 83 -92 136 -163 -227 0
33 -111 0
-103 -140 0
-65 204 0
218 82 0
-125 26 0
-52 -175 0
-188 26 0
147 -213 0
68 -79 0
72 -23 0
50 -138 -149 -14 110 -200 0
-23 64 0
172 -17 0
-52 -228 0
-170 -142 0
195 20 0
160 -61 0
-137 91 0
40 -28 0
-8 114 0
83 -227 136 -92 160 -163 216 0
-109 129 0
2 -93 0
122 -54 0
117 -37 0
-228 -123 0
25 -54 0
-182 172 0
-45 -182 0
114 -22 0
121 -36 -140 -80 -217 188 44 0
59 -196 0
130 -62 0
10 59 0
175 148 6 -38 -128 156 0
115 72 0
-61 153 0
2 -28 0
-187 -131 -165 -214 -158 218 155 0
-123 -179 0
198 -12 0
122 -38 0
-103 226 0
-165 -158 -187 -214 155 -86 -131 0
171 -7 0
230 -189 0
-222 -18 0
-176 35 0
34 -17 0
-86 -56 0
-121 92 0
-61 -142 0
146 139 -144 3 -109 29 202 0
-206 -113 0
-167 119 0
-192 128 0
-214 -158 155 -187 -131 -165 207 0
-170 -135 0
80 -81 0
-4 193 0
146 3 29 139 -144 64 202 0
-4 100 0
-67 -11 0
59 162 0
-85 13 0
88 -38 0
87 -186 0
72 129 0
58 39 0
-5 70 0
46 -118 0
-11 191 168 81 79 -108 -197 0
-30 100 0
-220 225 0
95 198 0
-89 -223 0
78 57 0
115 -23 0
92 -155 0
-199 -103 0
-56 82 0
-23 -109 0
172 -154 0
117 19 0
-111 141 0
-26 -1 134 112 -90 130 -164 0
66 -199 0
41 20 0
-65 117 0
51 -74 0
-227 216 83 -92 145 -163 136 0
-37 88 0
100 198 0
-184 230 -104 205 -78 97 0
224 162 0
-154 -17 0
49 -30 0
221 -203 0
114 96 0
-86 218 0
35 51 0
-5 230 0
-18 114 0
-231 -170 0
-4 198 0
-169 204 0
49 95 0
-16 -182 0
-67 13 0
70 -189 0
-188 -216 0
-103 -73 0
-69 -67 0
39 -77 0
219 -43 0
-142 -231 0
-182 194 -46 52 -57 -219 0
226 -199 0
-27 42 0
-175 -228 0
-120 -76 0
100 193 0
-85 195 0
207 201 0
-16 -17 0
66 166 0
162 91 0
-135 160 0
-182 -17 0
-83 144 0
-84 -85 0
-94 34 0
-111 -206 0
-200 -107 0
-154 34 0
42 -176 0
-165 -131 155 -158 -214 124 -187 0
-151 -48 0
-36 66 -217 44 121 -80 188 0
132 101 0
204 117 0
172 147 0
210 225 0
64 -98 0
112 -90 -26 -1 134 -212 -164 0
-65 -38 0
-60 141 0
-154 -182 0
-120 -157 0
119 159 0
104 -52 0
51 39 0
-200 49 0
-220 -186 0
6 148 -128 156 -65 175 0
-61 177 0
3 139 115 -144 29 146 202 0
153 177 0
-136 -44 0
-181 210 0
141 -28 0
95 -30 0
-197 -69 81 191 -108 79 168 0
87 210 0
104 14 0
47 -151 0
150 171 0
-54 -65 0
-44 -191 0
166 -103 0
-29 -155 0
132 -215 0
225 -48 0
-212 224 0
-97 -157 0
-208 138 0
1 -191 0
126 91 0
-8 -18 0
173 -199 0
162 130 0
229 -199 0
-205 -192 0
-120 -194 0
-184 205 97 -104 -78 132 0
230 15 0
147 -94 0
-75 -68 141 32 185 -211 125 0
95 -107 0
-113 -111 0
59 126 0
-6 -97 0
-75 -211 -68 32 2 125 185 0
35 58 0
150 132 0
-154 -94 0
116 -118 0
-164 -26 10 134 -1 112 -90 0
-165 63 -187 -158 -131 155 -214 0
-86 207 0
211 92 0
141 2 0
172 194 -57 -46 52 -219 0
-137 126 0
163 217 0
-28 -206 0
13 41 0
36 -185 0
159 201 0
46 116 0
141 -93 0
33 -28 0
-215 101 0
26 108 0
124 -167 0
-196 -62 0
-43 128 0
-217 188 -31 -36 44 -80 121 0