c ind 2 3 4 5 6 7 8 9 0
c ind 10 11 12 13 14 15 16 17 18 19 0
c ind 20 21 22 23 24 25 26 0
p cnf 313 1027
27 0
42 0
-43 0
-24 0
-23 0
-22 0
-26 0
-25 0
-40 0
-17 0
41 0
18 0
-102 0
101 0
12 0
85 0
-100 0
-99 0
19 0
86 0
83 0
124 0
87 0
84 0
-93 0
90 0
98 0
181 0
183 0
-184 0
172 0
174 0
-170 0
175 0
-173 0
177 0
-182 0
152 0
154 0
-171 0
235 0
234 0
-228 0
233 0
313 0
-309 0
-307 0
-287 0
290 0
292 0
-298 0
-306 0
291 0
-299 0
-308 0
-310 0
-288 0
295 0
-300 0
-305 0
311 0
-289 0
286 0
-312 0
304 0
303 0
-28 6 0
-28 10 0
-10 28 -6 0
-5 -11 -29 0
-29 11 5 0
-11 29 5 0
-5 11 29 0
-29 -30 -28 0
-30 29 28 0
-28 30 29 0
-29 30 28 0
-10 -31 -6 0
6 -31 10 0
31 -10 6 0
31 10 -6 0
-32 7 0
-32 15 0
-7 -15 32 0
-33 -16 -8 0
-33 16 8 0
8 33 -16 0
16 33 -8 0
-32 -33 -34 0
-34 33 32 0
-32 33 34 0
-33 34 32 0
-7 -35 -15 0
15 -35 7 0
35 -15 7 0
-7 35 15 0
-36 20 0
-20 36 -12 0
-37 -21 -13 0
-37 21 13 0
13 37 -21 0
21 37 -13 0
-37 -38 -36 0
-38 37 36 0
-36 38 37 0
-37 38 36 0
-20 -39 -12 0
39 20 -12 0
6 -44 0
8 -44 0
44 -8 -6 0
-45 44 0
-45 5 0
-5 45 -44 0
46 -44 0
-5 46 0
44 5 -46 0
46 -47 0
9 -47 0
47 -9 -46 0
-45 48 0
48 -47 0
47 -48 45 0
-4 -49 -6 0
6 -49 4 0
6 49 -4 0
49 4 -6 0
48 -50 0
49 -50 0
50 -49 -48 0
51 -48 0
51 -49 0
49 -51 48 0
-52 51 0
-52 10 0
-10 52 -51 0
53 -50 0
-52 53 0
50 52 -53 0
-5 -54 -6 0
6 -54 5 0
54 5 -6 0
-5 54 6 0
54 -55 -4 0
-55 4 5 0
54 -55 5 0
-5 -54 55 0
-5 4 55 0
-4 55 -54 0
-56 -3 -55 0
-56 3 55 0
-3 56 55 0
-55 56 3 0
-11 -56 -57 0
-57 11 56 0
-11 57 56 0
-56 57 11 0
-57 -58 -53 0
53 -58 57 0
58 57 -53 0
-57 58 53 0
-10 -59 -49 0
49 -59 10 0
59 -10 49 0
59 10 -49 0
-60 -59 -48 0
-60 59 48 0
59 60 -48 0
48 60 -59 0
-5 -9 -61 0
9 -61 5 0
61 -9 5 0
-5 9 61 0
-62 -61 -44 0
44 -62 61 0
61 62 -44 0
44 62 -61 0
-63 -8 -6 0
-63 8 6 0
6 -8 63 0
8 -6 63 0
-64 7 0
-64 13 0
-7 -13 64 0
-65 64 0
-65 63 0
-63 -64 65 0
-64 66 0
-63 66 0
-66 64 63 0
-67 66 0
-67 14 0
-66 -14 67 0
-65 68 0
-67 68 0
-68 65 67 0
-7 -62 -69 0
-69 62 7 0
-62 69 7 0
-7 69 62 0
-70 68 0
-70 69 0
-68 -69 70 0
-68 71 0
-69 71 0
-71 69 68 0
-72 71 0
-72 15 0
-71 -15 72 0
-70 73 0
-72 73 0
-73 72 70 0
-63 -74 -7 0
-74 7 63 0
-7 74 63 0
-63 74 7 0
-75 -62 74 0
-75 62 63 0
-75 74 63 0
-63 -74 75 0
-63 75 62 0
-74 -62 75 0
-75 -76 -60 0
-76 60 75 0
-60 76 75 0
-75 76 60 0
-76 -77 -16 0
16 -77 76 0
77 -16 76 0
77 16 -76 0
-73 -78 -77 0
77 -78 73 0
77 78 -73 0
78 -77 73 0
-69 -79 -15 0
15 -79 69 0
79 -15 69 0
79 15 -69 0
-68 -79 -80 0
79 -80 68 0
-68 80 79 0
80 -79 68 0
-63 -81 -14 0
-81 63 14 0
-14 63 81 0
-63 81 14 0
-64 -81 -82 0
-82 64 81 0
-64 82 81 0
-81 64 82 0
-7 -13 -83 0
13 7 -83 0
-82 -88 -12 0
88 82 -12 0
88 -89 0
89 -88 -87 0
-91 20 0
-20 91 -90 0
92 -89 0
92 -91 0
89 -92 91 0
-82 -94 93 0
94 82 -83 0
-95 -80 -94 0
94 -95 80 0
94 -80 95 0
80 95 -94 0
-95 -21 -96 0
21 -96 95 0
96 -21 95 0
21 96 -95 0
-97 -96 -92 0
92 -97 96 0
96 97 -92 0
92 -96 97 0
-20 -88 -98 0
88 20 -98 0
6 -103 0
9 -103 0
103 -9 -6 0
-104 103 0
-104 5 0
-5 -103 104 0
105 -103 0
-5 105 0
103 -105 5 0
-106 105 0
-106 10 0
-10 106 -105 0
-104 107 0
-106 107 0
-107 106 104 0
-11 -108 -4 0
-108 11 4 0
-11 108 4 0
-4 108 11 0
-107 -109 -108 0
-109 108 107 0
-107 109 108 0
-108 109 107 0
-5 -10 -110 0
-110 10 5 0
-10 110 5 0
-5 10 110 0
-110 -111 -103 0
103 -111 110 0
111 110 -103 0
111 -110 103 0
-112 -9 -6 0
6 -112 9 0
6 112 -9 0
9 112 -6 0
-113 7 0
-113 14 0
-14 -7 113 0
-114 113 0
-114 8 0
-113 -8 114 0
-113 115 0
115 -8 0
8 -115 113 0
115 -116 0
15 -116 0
116 -15 -115 0
-114 117 0
117 -116 0
116 -117 114 0
-112 -16 -118 0
16 -118 112 0
118 -16 112 0
16 118 -112 0
-119 -118 -117 0
-119 118 117 0
118 119 -117 0
117 -118 119 0
-120 -15 -8 0
8 -120 15 0
8 120 -15 0
15 120 -8 0
-113 -121 -120 0
-121 120 113 0
-113 121 120 0
-120 121 113 0
-14 -122 -7 0
-122 7 14 0
-14 122 7 0
-7 122 14 0
13 -123 0
123 -13 -19 0
-125 20 0
-20 125 -124 0
126 -123 0
-125 126 0
123 125 -126 0
-122 -127 -21 0
21 -127 122 0
127 -21 122 0
127 21 -122 0
-128 -127 -126 0
-128 127 126 0
127 128 -126 0
126 128 -127 0
-20 -129 -13 0
13 -129 20 0
-20 129 13 0
129 20 -13 0
-130 -129 -19 0
129 130 -19 0
-131 6 0
-131 7 0
-7 -6 131 0
-132 131 0
-132 5 0
-5 -131 132 0
-131 133 0
-5 133 0
-133 5 131 0
-134 133 0
-134 8 0
-133 134 -8 0
-132 135 0
-134 135 0
-135 134 132 0
-136 135 0
-136 4 0
-135 -4 136 0
-135 137 0
-4 137 0
-137 4 135 0
-138 137 0
-138 9 0
-137 138 -9 0
-136 139 0
-138 139 0
-139 138 136 0
-140 139 0
-140 3 0
-139 -3 140 0
-139 141 0
-3 141 0
-141 3 139 0
-142 141 0
-142 10 0
-141 142 -10 0
-140 143 0
-142 143 0
-143 142 140 0
-11 -2 -144 0
-144 2 11 0
-11 2 144 0
-2 144 11 0
-143 -144 -145 0
-145 144 143 0
-143 145 144 0
-144 145 143 0
-3 -10 -146 0
-146 10 3 0
-10 146 3 0
-3 10 146 0
-139 -146 -147 0
-147 146 139 0
-139 146 147 0
-146 147 139 0
-4 -9 -148 0
9 4 -148 0
148 4 -9 0
148 -4 9 0
-135 -148 -149 0
148 135 -149 0
-135 148 149 0
149 -148 135 0
-5 -150 -8 0
8 5 -150 0
150 5 -8 0
-5 150 8 0
-131 -150 -151 0
150 -151 131 0
-131 150 151 0
151 -150 131 0
-7 -6 -152 0
6 7 -152 0
152 6 -7 0
152 7 -6 0
152 -153 0
151 -153 0
153 -151 -152 0
154 -152 0
154 -151 0
152 151 -154 0
154 -155 0
13 -155 0
155 -13 -154 0
156 -153 0
156 -155 0
153 -156 155 0
156 -157 0
149 -157 0
157 -149 -156 0
158 -156 0
158 -149 0
149 156 -158 0
-159 158 0
-159 14 0
-14 159 -158 0
160 -157 0
-159 160 0
157 -160 159 0
160 -161 0
-161 147 0
-147 161 -160 0
162 -160 0
162 -147 0
160 147 -162 0
162 -163 0
15 -163 0
163 -15 -162 0
164 -161 0
164 -163 0
163 -164 161 0
-145 -16 -165 0
16 145 -165 0
165 145 -16 0
165 -145 16 0
-166 -165 -164 0
165 -166 164 0
165 166 -164 0
164 -165 166 0
-147 -15 -167 0
15 147 -167 0
167 147 -15 0
167 -147 15 0
-168 -167 -160 0
-168 167 160 0
167 -160 168 0
160 -167 168 0
-14 -149 -169 0
149 -169 14 0
149 169 -14 0
169 -149 14 0
-170 -169 -156 0
-170 156 169 0
169 -156 170 0
156 -169 170 0
-171 -151 -13 0
-171 13 151 0
151 -13 171 0
13 -151 171 0
-171 -152 -172 0
152 171 -172 0
172 171 -152 0
152 -171 172 0
172 -173 0
-173 170 0
-170 173 -172 0
174 -172 0
-170 174 0
172 170 -174 0
-173 175 0
175 -174 0
174 173 -175 0
175 -176 0
-176 168 0
-168 176 -175 0
177 -175 0
177 -168 0
175 168 -177 0
177 -178 0
-178 20 0
-20 178 -177 0
-176 179 0
-178 179 0
-179 176 178 0
-166 -21 -180 0
21 166 -180 0
180 166 -21 0
180 -166 21 0
-179 -180 -181 0
180 179 -181 0
181 180 -179 0
181 -180 179 0
-182 -168 -20 0
-182 168 20 0
-20 168 182 0
-168 20 182 0
-182 -175 -183 0
175 182 -183 0
183 182 -175 0
175 -182 183 0
-184 170 -172 0
-170 172 -184 0
-170 -172 184 0
172 170 184 0
-4 -185 -6 0
6 4 -185 0
6 185 -4 0
185 4 -6 0
-186 135 0
-186 185 0
-135 -185 186 0
-135 187 0
187 -185 0
185 -187 135 0
187 -188 0
9 -188 0
188 -187 -9 0
-186 189 0
189 -188 0
188 -189 186 0
-5 -190 -6 0
6 -190 5 0
190 5 -6 0
-5 190 6 0
190 -191 -4 0
-191 4 5 0
190 -191 5 0
-5 -190 191 0
-5 4 191 0
-4 191 -190 0
-192 -3 -191 0
-192 3 191 0
-3 192 191 0
-191 192 3 0
-193 189 0
-193 192 0
-192 193 -189 0
194 -189 0
-192 194 0
189 192 -194 0
194 -195 0
-195 10 0
-10 195 -194 0
-193 196 0
-195 196 0
-196 195 193 0
-197 6 0
-197 5 0
-5 197 -6 0
-198 4 0
-197 -198 0
-4 198 197 0
-199 -198 -191 0
-199 198 191 0
-191 198 199 0
-198 191 199 0
-200 -3 199 0
-200 198 3 0
-200 198 199 0
-199 -198 200 0
-198 3 200 0
-199 -3 200 0
-200 -2 -201 0
-201 2 200 0
-2 201 200 0
-200 201 2 0
-11 -201 -202 0
-202 201 11 0
-11 201 202 0
-201 202 11 0
-203 -202 -196 0
-203 202 196 0
-196 202 203 0
-202 203 196 0
-192 -10 -204 0
-204 10 192 0
-10 204 192 0
-192 10 204 0
-204 -205 -189 0
189 -205 204 0
205 204 -189 0
-204 205 189 0
-206 -185 -9 0
-206 185 9 0
185 -9 206 0
9 -185 206 0
-135 -206 -207 0
-207 206 135 0
-135 206 207 0
-206 135 207 0
208 -151 0
208 -13 0
151 -208 13 0
208 -209 0
-207 -209 0
209 207 -208 0
210 -208 0
210 207 0
-207 208 -210 0
210 -211 0
-211 14 0
-14 211 -210 0
212 -209 0
212 -211 0
209 -212 211 0
-207 -213 -151 0
151 -213 207 0
-207 213 151 0
213 207 -151 0
-214 -205 -213 0
213 205 -214 0
213 -205 214 0
205 214 -213 0
212 -215 0
-215 214 0
-214 215 -212 0
216 -212 0
216 -214 0
212 214 -216 0
216 -217 0
15 -217 0
217 -15 -216 0
218 -215 0
218 -217 0
217 -218 215 0
-219 207 0
-219 -151 0
-207 151 219 0
-219 -220 -213 0
213 -220 219 0
220 -213 219 0
-219 213 220 0
220 -221 -205 0
205 -221 219 0
220 -221 219 0
-219 -220 221 0
-219 205 221 0
221 -205 -220 0
-203 -222 -221 0
221 203 -222 0
-203 222 221 0
222 203 -221 0
-223 -222 -16 0
-223 16 222 0
222 -16 223 0
16 -222 223 0
-223 -224 -218 0
218 223 -224 0
224 223 -218 0
-223 224 218 0
-214 -15 -225 0
15 214 -225 0
225 214 -15 0
225 -214 15 0
-226 -225 -212 0
-226 212 225 0
225 -212 226 0
212 -225 226 0
-14 207 -227 0
-207 -227 14 0
-207 -14 227 0
227 207 14 0
-228 -208 -227 0
-228 208 227 0
227 -208 228 0
208 -227 228 0
229 226 0
-20 229 0
-226 -229 20 0
-226 -228 -230 0
-230 226 228 0
-226 230 228 0
-228 226 230 0
-230 -224 -231 0
224 -231 230 0
231 -224 230 0
-230 224 231 0
-232 -231 -21 0
-232 21 231 0
231 -21 232 0
21 -231 232 0
-232 -229 -233 0
229 232 -233 0
233 232 -229 0
229 -232 233 0
-20 226 -234 0
-226 20 -234 0
-20 -226 234 0
234 226 20 0
-228 -233 -235 0
233 228 -235 0
235 -233 228 0
-228 233 235 0
-5 -236 -6 0
6 -236 5 0
-5 236 6 0
236 5 -6 0
-237 131 0
236 -237 0
-131 -236 237 0
-131 238 0
238 -236 0
236 -238 131 0
238 -239 0
8 -239 0
239 -238 -8 0
-237 240 0
240 -239 0
239 -240 237 0
-5 241 0
241 -6 0
6 5 -241 0
-4 -242 -241 0
241 4 -242 0
241 -4 242 0
242 4 -241 0
240 -243 0
242 -243 0
243 -242 -240 0
244 -240 0
244 -242 0
240 242 -244 0
244 -245 0
9 -245 0
245 -9 -244 0
246 -243 0
246 -245 0
243 -246 245 0
-247 5 0
-247 -6 0
-5 6 247 0
-248 247 -241 0
241 -247 -248 0
-247 -241 248 0
241 247 248 0
-249 -4 248 0
-249 4 247 0
-249 248 247 0
-247 -248 249 0
-247 4 249 0
-248 -4 249 0
-249 -3 -250 0
-250 3 249 0
-3 250 249 0
-249 3 250 0
-251 246 0
-251 250 0
-250 251 -246 0
252 -246 0
252 -250 0
246 250 -252 0
-253 252 0
-253 10 0
-10 253 -252 0
-251 254 0
-253 254 0
-254 253 251 0
-5 -255 0
6 -255 0
255 5 -6 0
256 -241 0
-247 256 0
241 247 -256 0
255 -257 -256 0
256 -255 -257 0
257 -255 -256 0
256 257 255 0
257 -4 -258 0
255 4 -258 0
257 -258 255 0
258 -257 -255 0
258 4 -255 0
258 -4 -257 0
-249 258 -259 0
-259 -258 249 0
-249 -258 259 0
258 259 249 0
-3 -260 259 0
258 3 -260 0
258 259 -260 0
-259 -258 260 0
260 3 -258 0
-259 -3 260 0
-2 -261 -260 0
260 -261 2 0
-2 260 261 0
261 2 -260 0
-11 -261 -262 0
261 -262 11 0
-11 261 262 0
262 -261 11 0
-254 -262 -263 0
262 -263 254 0
-254 262 263 0
263 -262 254 0
-10 -264 -250 0
-264 10 250 0
-10 264 250 0
-250 10 264 0
-264 -265 -246 0
246 -265 264 0
265 264 -246 0
-264 265 246 0
-266 -242 -9 0
-266 242 9 0
242 -9 266 0
9 -242 266 0
-266 -240 -267 0
240 266 -267 0
267 266 -240 0
-266 267 240 0
-268 -236 -8 0
236 -268 8 0
236 268 -8 0
8 -236 268 0
-131 -268 -269 0
-269 268 131 0
-131 268 269 0
-268 269 131 0
270 269 0
270 -13 0
-269 -270 13 0
-271 270 0
-271 -267 0
267 271 -270 0
272 -270 0
267 272 0
270 -267 -272 0
272 -273 0
-273 14 0
-14 -272 273 0
-271 274 0
-273 274 0
-274 271 273 0
-275 274 0
-275 265 0
-274 -265 275 0
-274 276 0
276 -265 0
265 -276 274 0
276 -277 0
15 -277 0
277 -276 -15 0
-275 278 0
278 -277 0
277 -278 275 0
-279 -265 269 0
-269 -279 265 0
-269 279 -265 0
265 279 269 0
-279 -263 -280 0
263 -280 279 0
280 -263 279 0
263 280 -279 0
-281 -280 -16 0
16 -281 280 0
280 -16 281 0
16 -280 281 0
-281 -282 -278 0
278 281 -282 0
282 281 -278 0
-281 282 278 0
-283 -265 -15 0
-283 265 15 0
265 -15 283 0
15 -265 283 0
-274 -283 -284 0
-284 283 274 0
-274 283 284 0
-283 274 284 0
-14 267 -285 0
-285 -267 14 0
-14 -267 285 0
267 285 14 0
-285 -270 -286 0
270 285 -286 0
286 285 -270 0
-285 286 270 0
-287 269 -13 0
-287 -269 13 0
-269 -13 287 0
13 269 287 0
-288 -286 287 0
286 -287 -288 0
-287 -286 288 0
286 288 287 0
-287 -289 0
-289 288 0
-288 289 287 0
290 287 0
-288 290 0
-287 288 -290 0
-289 291 0
291 -290 0
290 289 -291 0
292 -286 0
292 287 0
286 -287 -292 0
-284 -293 -292 0
292 284 -293 0
-284 292 293 0
293 284 -292 0
291 -294 0
293 -294 0
294 -293 -291 0
295 -291 0
295 -293 0
291 293 -295 0
295 -296 0
-296 20 0
-20 296 -295 0
297 -294 0
-296 297 0
294 -297 296 0
286 -298 0
-298 287 0
-287 -286 298 0
-299 298 -292 0
292 -298 -299 0
-298 -292 299 0
292 298 299 0
-284 -300 299 0
-300 284 298 0
-300 299 298 0
-298 -299 300 0
-298 284 300 0
-284 -299 300 0
-300 -282 -301 0
282 -301 300 0
301 -282 300 0
282 -300 301 0
-302 -301 -21 0
21 301 -302 0
301 -21 302 0
21 -301 302 0
-302 -297 -303 0
297 302 -303 0
303 302 -297 0
297 -302 303 0
-20 -293 -304 0
293 20 -304 0
-20 293 304 0
304 -293 20 0
-305 -304 -291 0
291 304 -305 0
304 305 -291 0
291 -304 305 0
-306 288 287 0
-287 -288 -306 0
-288 306 287 0
-287 288 306 0
-287 -306 -307 0
-307 306 287 0
-306 287 307 0
-287 306 307 0
-306 308 0
-287 308 0
-308 306 287 0
-305 -308 -309 0
-309 305 308 0
-305 308 309 0
-308 305 309 0
-310 306 0
-287 -310 0
-306 287 310 0
-308 310 -311 0
-310 308 -311 0
-308 -310 311 0
311 310 308 0
-305 311 -312 0
-312 305 310 0
311 310 -312 0
-310 -311 312 0
-310 305 312 0
-305 -311 312 0
-312 -303 -313 0
303 312 -313 0
313 -303 312 0
303 -312 313 0