p cnf 659 1877
-11 1 0
-11 2 0
11 -1 -2 0
-12 1 0
-12 3 0
12 -1 -3 0
-13 3 0
-13 11 0
13 -3 -11 0
-14 -3 0
-14 -11 0
14 3 11 0
-15 -13 0
-15 -14 0
15 13 14 0
-16 12 0
-16 15 0
16 -12 -15 0
-17 -12 0
-17 -15 0
17 12 15 0
-18 -16 0
-18 -17 0
18 16 17 0
-19 11 0
-19 18 0
19 -11 -18 0
-20 -11 0
-20 -18 0
21 19 20 0
-22 1 0
-22 4 0
22 -1 -4 0
-23 2 0
-23 3 0
23 -2 -3 0
-24 -13 0
-24 -16 0
24 13 16 0
-25 22 0
-25 23 0
25 -22 -23 0
-26 -22 0
-26 -23 0
26 22 23 0
-27 -25 0
-27 -26 0
27 25 26 0
-28 -24 0
-28 27 0
28 24 -27 0
-29 24 0
-29 -27 0
29 -24 27 0
-30 -28 0
-30 -29 0
30 28 29 0
-31 23 0
-31 30 0
31 -23 -30 0
-32 -23 0
-32 -30 0
32 23 30 0
-33 -31 0
-33 -32 0
33 31 32 0
-34 19 0
-34 33 0
34 -19 -33 0
-35 -19 0
-35 -33 0
35 19 33 0
-36 -34 0
-36 -35 0
36 34 35 0
-37 22 0
-37 36 0
37 -22 -36 0
38 22 36 0
-39 -37 0
-39 -38 0
-40 1 0
-40 5 0
40 -1 -5 0
-41 3 0
-41 4 0
41 -3 -4 0
-42 -31 0
-42 -34 0
42 31 34 0
-43 -25 0
-43 -28 0
43 25 28 0
-44 40 0
-44 41 0
44 -40 -41 0
-45 -40 0
-45 -41 0
45 40 41 0
-46 -44 0
-46 -45 0
46 44 45 0
-47 -43 0
-47 46 0
47 43 -46 0
-48 43 0
-48 -46 0
48 -43 46 0
-49 -47 0
-49 -48 0
49 47 48 0
-50 2 0
-50 49 0
50 -2 -49 0
-51 -2 0
-51 -49 0
51 2 49 0
-52 -50 0
-52 -51 0
52 50 51 0
-53 -42 0
-53 52 0
53 42 -52 0
-54 42 0
-54 -52 0
54 -42 52 0
-55 -53 0
-55 -54 0
55 53 54 0
-56 41 0
-56 55 0
56 -41 -55 0
-57 -41 0
-57 -55 0
57 41 55 0
-58 -56 0
-58 -57 0
58 56 57 0
-59 37 0
-59 58 0
59 -37 -58 0
-60 -37 0
-60 -58 0
60 37 58 0
-61 -59 0
-61 -60 0
61 59 60 0
-62 40 0
-62 61 0
62 -40 -61 0
-63 -40 0
-63 -61 0
64 62 63 0
-65 1 0
-65 6 0
65 -1 -6 0
-66 3 0
-66 5 0
66 -3 -5 0
-67 -56 0
-67 -59 0
67 56 59 0
-68 2 0
-68 4 0
68 -2 -4 0
-69 -50 0
-69 -53 0
69 50 53 0
-70 -44 0
-70 -47 0
70 44 47 0
-71 65 0
-71 66 0
71 -65 -66 0
-72 -65 0
-72 -66 0
72 65 66 0
-73 -71 0
-73 -72 0
73 71 72 0
-74 -70 0
-74 73 0
74 70 -73 0
-75 70 0
-75 -73 0
75 -70 73 0
-76 -74 0
-76 -75 0
76 74 75 0
-77 68 0
-77 76 0
77 -68 -76 0
-78 -68 0
-78 -76 0
78 68 76 0
-79 -77 0
-79 -78 0
79 77 78 0
-80 -69 0
-80 79 0
80 69 -79 0
-81 69 0
-81 -79 0
81 -69 79 0
-82 -80 0
-82 -81 0
82 80 81 0
-83 68 0
-83 82 0
83 -68 -82 0
-84 -68 0
-84 -82 0
84 68 82 0
-85 -83 0
-85 -84 0
85 83 84 0
-86 -67 0
-86 85 0
86 67 -85 0
-87 67 0
-87 -85 0
87 -67 85 0
-88 -86 0
-88 -87 0
88 86 87 0
-89 66 0
-89 88 0
89 -66 -88 0
-90 -66 0
-90 -88 0
90 66 88 0
-91 -89 0
-91 -90 0
91 89 90 0
-92 62 0
-92 91 0
92 -62 -91 0
-93 -62 0
-93 -91 0
93 62 91 0
-94 -92 0
-94 -93 0
94 92 93 0
-95 65 0
-95 94 0
95 -65 -94 0
-96 -65 0
-96 -94 0
97 95 96 0
-98 1 0
-98 7 0
98 -1 -7 0
-99 3 0
-99 6 0
99 -3 -6 0
-100 -89 0
-100 -92 0
100 89 92 0
-101 2 0
-101 5 0
101 -2 -5 0
-102 -83 0
-102 -86 0
102 83 86 0
-103 -77 0
-103 -80 0
103 77 80 0
-104 -71 0
-104 -74 0
104 71 74 0
-105 98 0
-105 99 0
105 -98 -99 0
-106 -98 0
-106 -99 0
106 98 99 0
-107 -105 0
-107 -106 0
107 105 106 0
-108 -104 0
-108 107 0
108 104 -107 0
-109 104 0
-109 -107 0
109 -104 107 0
-110 -108 0
-110 -109 0
110 108 109 0
-111 101 0
-111 110 0
111 -101 -110 0
-112 -101 0
-112 -110 0
112 101 110 0
-113 -111 0
-113 -112 0
113 111 112 0
-114 -103 0
-114 113 0
114 103 -113 0
-115 103 0
-115 -113 0
115 -103 113 0
-116 -114 0
-116 -115 0
116 114 115 0
-117 4 0
-117 116 0
117 -4 -116 0
-118 -4 0
-118 -116 0
118 4 116 0
-119 -117 0
-119 -118 0
119 117 118 0
-120 -102 0
-120 119 0
120 102 -119 0
-121 102 0
-121 -119 0
121 -102 119 0
-122 -120 0
-122 -121 0
122 120 121 0
-123 101 0
-123 122 0
123 -101 -122 0
-124 -101 0
-124 -122 0
124 101 122 0
-125 -123 0
-125 -124 0
125 123 124 0
-126 -100 0
-126 125 0
126 100 -125 0
-127 100 0
-127 -125 0
127 -100 125 0
-128 -126 0
-128 -127 0
128 126 127 0
-129 99 0
-129 128 0
129 -99 -128 0
-130 -99 0
-130 -128 0
130 99 128 0
-131 -129 0
-131 -130 0
131 129 130 0
-132 95 0
-132 131 0
132 -95 -131 0
-133 -95 0
-133 -131 0
133 95 131 0
-134 -132 0
-134 -133 0
134 132 133 0
-135 98 0
-135 134 0
135 -98 -134 0
-136 -98 0
-136 -134 0
137 135 136 0
-138 1 0
-138 8 0
138 -1 -8 0
-139 3 0
-139 7 0
139 -3 -7 0
-140 -129 0
-140 -132 0
140 129 132 0
-141 2 0
-141 6 0
141 -2 -6 0
-142 -123 0
-142 -126 0
142 123 126 0
-143 4 0
-143 5 0
143 -4 -5 0
-144 -117 0
-144 -120 0
144 117 120 0
-145 -111 0
-145 -114 0
145 111 114 0
-146 -105 0
-146 -108 0
146 105 108 0
-147 138 0
-147 139 0
147 -138 -139 0
-148 -138 0
-148 -139 0
148 138 139 0
-149 -147 0
-149 -148 0
149 147 148 0
-150 -146 0
-150 149 0
150 146 -149 0
-151 146 0
-151 -149 0
151 -146 149 0
-152 -150 0
-152 -151 0
152 150 151 0
-153 141 0
-153 152 0
153 -141 -152 0
-154 -141 0
-154 -152 0
154 141 152 0
-155 -153 0
-155 -154 0
155 153 154 0
-156 -145 0
-156 155 0
156 145 -155 0
-157 145 0
-157 -155 0
157 -145 155 0
-158 -156 0
-158 -157 0
158 156 157 0
-159 143 0
-159 158 0
159 -143 -158 0
-160 -143 0
-160 -158 0
160 143 158 0
-161 -159 0
-161 -160 0
161 159 160 0
-162 -144 0
-162 161 0
162 144 -161 0
-163 144 0
-163 -161 0
163 -144 161 0
-164 -162 0
-164 -163 0
164 162 163 0
-165 143 0
-165 164 0
165 -143 -164 0
-166 -143 0
-166 -164 0
166 143 164 0
-167 -165 0
-167 -166 0
167 165 166 0
-168 -142 0
-168 167 0
168 142 -167 0
-169 142 0
-169 -167 0
169 -142 167 0
-170 -168 0
-170 -169 0
170 168 169 0
-171 141 0
-171 170 0
171 -141 -170 0
-172 -141 0
-172 -170 0
172 141 170 0
-173 -171 0
-173 -172 0
173 171 172 0
-174 -140 0
-174 173 0
174 140 -173 0
-175 140 0
-175 -173 0
175 -140 173 0
-176 -174 0
-176 -175 0
176 174 175 0
-177 139 0
-177 176 0
177 -139 -176 0
-178 -139 0
-178 -176 0
178 139 176 0
-179 -177 0
-179 -178 0
179 177 178 0
-180 135 0
-180 179 0
180 -135 -179 0
-181 -135 0
-181 -179 0
181 135 179 0
-182 -180 0
-182 -181 0
182 180 181 0
-183 138 0
-183 182 0
183 -138 -182 0
-184 -138 0
-184 -182 0
185 183 184 0
-186 1 0
-186 9 0
186 -1 -9 0
-187 3 0
-187 8 0
187 -3 -8 0
-188 -177 0
-188 -180 0
188 177 180 0
-189 2 0
-189 7 0
189 -2 -7 0
-190 -171 0
-190 -174 0
190 171 174 0
-191 4 0
-191 6 0
191 -4 -6 0
-192 -165 0
-192 -168 0
192 165 168 0
-193 -159 0
-193 -162 0
193 159 162 0
-194 -153 0
-194 -156 0
194 153 156 0
-195 -147 0
-195 -150 0
195 147 150 0
-196 186 0
-196 187 0
196 -186 -187 0
-197 -186 0
-197 -187 0
197 186 187 0
-198 -196 0
-198 -197 0
198 196 197 0
-199 -195 0
-199 198 0
199 195 -198 0
-200 195 0
-200 -198 0
200 -195 198 0
-201 -199 0
-201 -200 0
201 199 200 0
-202 189 0
-202 201 0
202 -189 -201 0
-203 -189 0
-203 -201 0
203 189 201 0
-204 -202 0
-204 -203 0
204 202 203 0
-205 -194 0
-205 204 0
205 194 -204 0
-206 194 0
-206 -204 0
206 -194 204 0
-207 -205 0
-207 -206 0
207 205 206 0
-208 191 0
-208 207 0
208 -191 -207 0
-209 -191 0
-209 -207 0
209 191 207 0
-210 -208 0
-210 -209 0
210 208 209 0
-211 -193 0
-211 210 0
211 193 -210 0
-212 193 0
-212 -210 0
212 -193 210 0
-213 -211 0
-213 -212 0
213 211 212 0
-214 5 0
-214 213 0
214 -5 -213 0
-215 -5 0
-215 -213 0
215 5 213 0
-216 -214 0
-216 -215 0
216 214 215 0
-217 -192 0
-217 216 0
217 192 -216 0
-218 192 0
-218 -216 0
218 -192 216 0
-219 -217 0
-219 -218 0
219 217 218 0
-220 191 0
-220 219 0
220 -191 -219 0
-221 -191 0
-221 -219 0
221 191 219 0
-222 -220 0
-222 -221 0
222 220 221 0
-223 -190 0
-223 222 0
223 190 -222 0
-224 190 0
-224 -222 0
224 -190 222 0
-225 -223 0
-225 -224 0
225 223 224 0
-226 189 0
-226 225 0
226 -189 -225 0
-227 -189 0
-227 -225 0
227 189 225 0
-228 -226 0
-228 -227 0
228 226 227 0
-229 -188 0
-229 228 0
229 188 -228 0
-230 188 0
-230 -228 0
230 -188 228 0
-231 -229 0
-231 -230 0
231 229 230 0
-232 187 0
-232 231 0
232 -187 -231 0
-233 -187 0
-233 -231 0
233 187 231 0
-234 -232 0
-234 -233 0
234 232 233 0
-235 183 0
-235 234 0
235 -183 -234 0
-236 -183 0
-236 -234 0
236 183 234 0
-237 -235 0
-237 -236 0
237 235 236 0
-238 186 0
-238 237 0
238 -186 -237 0
-239 -186 0
-239 -237 0
240 238 239 0
-241 1 0
-241 10 0
241 -1 -10 0
-242 3 0
-242 9 0
242 -3 -9 0
-243 -232 0
-243 -235 0
243 232 235 0
-244 2 0
-244 8 0
244 -2 -8 0
-245 -226 0
-245 -229 0
245 226 229 0
-246 4 0
-246 7 0
246 -4 -7 0
-247 -220 0
-247 -223 0
247 220 223 0
-248 5 0
-248 6 0
248 -5 -6 0
-249 -214 0
-249 -217 0
249 214 217 0
-250 -208 0
-250 -211 0
250 208 211 0
-251 -202 0
-251 -205 0
251 202 205 0
-252 -196 0
-252 -199 0
252 196 199 0
-253 241 0
-253 242 0
253 -241 -242 0
-254 -241 0
-254 -242 0
254 241 242 0
-255 -253 0
-255 -254 0
255 253 254 0
-256 -252 0
-256 255 0
256 252 -255 0
-257 252 0
-257 -255 0
257 -252 255 0
-258 -256 0
-258 -257 0
258 256 257 0
-259 244 0
-259 258 0
259 -244 -258 0
-260 -244 0
-260 -258 0
260 244 258 0
-261 -259 0
-261 -260 0
261 259 260 0
-262 -251 0
-262 261 0
262 251 -261 0
-263 251 0
-263 -261 0
263 -251 261 0
-264 -262 0
-264 -263 0
264 262 263 0
-265 246 0
-265 264 0
265 -246 -264 0
-266 -246 0
-266 -264 0
266 246 264 0
-267 -265 0
-267 -266 0
267 265 266 0
-268 -250 0
-268 267 0
268 250 -267 0
-269 250 0
-269 -267 0
269 -250 267 0
-270 -268 0
-270 -269 0
270 268 269 0
-271 248 0
-271 270 0
271 -248 -270 0
-272 -248 0
-272 -270 0
272 248 270 0
-273 -271 0
-273 -272 0
273 271 272 0
-274 -249 0
-274 273 0
274 249 -273 0
-275 249 0
-275 -273 0
275 -249 273 0
-276 -274 0
-276 -275 0
276 274 275 0
-277 248 0
-277 276 0
277 -248 -276 0
-278 -248 0
-278 -276 0
278 248 276 0
-279 -277 0
-279 -278 0
279 277 278 0
-280 -247 0
-280 279 0
280 247 -279 0
-281 247 0
-281 -279 0
281 -247 279 0
-282 -280 0
-282 -281 0
282 280 281 0
-283 246 0
-283 282 0
283 -246 -282 0
-284 -246 0
-284 -282 0
284 246 282 0
-285 -283 0
-285 -284 0
285 283 284 0
-286 -245 0
-286 285 0
286 245 -285 0
-287 245 0
-287 -285 0
287 -245 285 0
-288 -286 0
-288 -287 0
288 286 287 0
-289 244 0
-289 288 0
289 -244 -288 0
-290 -244 0
-290 -288 0
290 244 288 0
-291 -289 0
-291 -290 0
291 289 290 0
-292 -243 0
-292 291 0
292 243 -291 0
-293 243 0
-293 -291 0
293 -243 291 0
-294 -292 0
-294 -293 0
294 292 293 0
-295 242 0
-295 294 0
295 -242 -294 0
-296 -242 0
-296 -294 0
296 242 294 0
-297 -295 0
-297 -296 0
297 295 296 0
-298 238 0
-298 297 0
298 -238 -297 0
-299 -238 0
-299 -297 0
299 238 297 0
-300 -298 0
-300 -299 0
300 298 299 0
-301 241 0
-301 300 0
301 -241 -300 0
-302 -241 0
-302 -300 0
303 301 302 0
-304 3 0
-304 10 0
304 -3 -10 0
-305 -295 0
-305 -298 0
305 295 298 0
-306 2 0
-306 9 0
306 -2 -9 0
-307 -289 0
-307 -292 0
307 289 292 0
-308 4 0
-308 8 0
308 -4 -8 0
-309 -283 0
-309 -286 0
309 283 286 0
-310 5 0
-310 7 0
310 -5 -7 0
-311 -277 0
-311 -280 0
311 277 280 0
-312 -271 0
-312 -274 0
312 271 274 0
-313 -265 0
-313 -268 0
313 265 268 0
-314 -259 0
-314 -262 0
314 259 262 0
-315 -253 0
-315 -256 0
315 253 256 0
-316 304 0
-316 -315 0
316 -304 315 0
-317 -304 0
-317 315 0
317 304 -315 0
-318 -316 0
-318 -317 0
318 316 317 0
-319 306 0
-319 318 0
319 -306 -318 0
-320 -306 0
-320 -318 0
320 306 318 0
-321 -319 0
-321 -320 0
321 319 320 0
-322 -314 0
-322 321 0
322 314 -321 0
-323 314 0
-323 -321 0
323 -314 321 0
-324 -322 0
-324 -323 0
324 322 323 0
-325 308 0
-325 324 0
325 -308 -324 0
-326 -308 0
-326 -324 0
326 308 324 0
-327 -325 0
-327 -326 0
327 325 326 0
-328 -313 0
-328 327 0
328 313 -327 0
-329 313 0
-329 -327 0
329 -313 327 0
-330 -328 0
-330 -329 0
330 328 329 0
-331 310 0
-331 330 0
331 -310 -330 0
-332 -310 0
-332 -330 0
332 310 330 0
-333 -331 0
-333 -332 0
333 331 332 0
-334 -312 0
-334 333 0
334 312 -333 0
-335 312 0
-335 -333 0
335 -312 333 0
-336 -334 0
-336 -335 0
336 334 335 0
-337 6 0
-337 336 0
337 -6 -336 0
-338 -6 0
-338 -336 0
338 6 336 0
-339 -337 0
-339 -338 0
339 337 338 0
-340 -311 0
-340 339 0
340 311 -339 0
-341 311 0
-341 -339 0
341 -311 339 0
-342 -340 0
-342 -341 0
342 340 341 0
-343 310 0
-343 342 0
343 -310 -342 0
-344 -310 0
-344 -342 0
344 310 342 0
-345 -343 0
-345 -344 0
345 343 344 0
-346 -309 0
-346 345 0
346 309 -345 0
-347 309 0
-347 -345 0
347 -309 345 0
-348 -346 0
-348 -347 0
348 346 347 0
-349 308 0
-349 348 0
349 -308 -348 0
-350 -308 0
-350 -348 0
350 308 348 0
-351 -349 0
-351 -350 0
351 349 350 0
-352 -307 0
-352 351 0
352 307 -351 0
-353 307 0
-353 -351 0
353 -307 351 0
-354 -352 0
-354 -353 0
354 352 353 0
-355 306 0
-355 354 0
355 -306 -354 0
-356 -306 0
-356 -354 0
356 306 354 0
-357 -355 0
-357 -356 0
357 355 356 0
-358 -305 0
-358 357 0
358 305 -357 0
-359 305 0
-359 -357 0
359 -305 357 0
-360 -358 0
-360 -359 0
360 358 359 0
-361 304 0
-361 360 0
361 -304 -360 0
-362 -304 0
-362 -360 0
362 304 360 0
-363 -361 0
-363 -362 0
363 361 362 0
-364 301 0
-364 363 0
364 -301 -363 0
-365 -301 0
-365 -363 0
366 364 365 0
-367 -361 0
-367 -364 0
367 361 364 0
-368 2 0
-368 10 0
368 -2 -10 0
-369 -355 0
-369 -358 0
369 355 358 0
-370 4 0
-370 9 0
370 -4 -9 0
-371 -349 0
-371 -352 0
371 349 352 0
-372 5 0
-372 8 0
372 -5 -8 0
-373 -343 0
-373 -346 0
373 343 346 0
-374 6 0
-374 7 0
374 -6 -7 0
-375 -337 0
-375 -340 0
375 337 340 0
-376 -331 0
-376 -334 0
376 331 334 0
-377 -325 0
-377 -328 0
377 325 328 0
-378 -319 0
-378 -322 0
378 319 322 0
-379 316 0
-379 368 0
379 -316 -368 0
-380 -316 0
-380 -368 0
380 316 368 0
-381 -379 0
-381 -380 0
381 379 380 0
-382 -378 0
-382 381 0
382 378 -381 0
-383 378 0
-383 -381 0
383 -378 381 0
-384 -382 0
-384 -383 0
384 382 383 0
-385 370 0
-385 384 0
385 -370 -384 0
-386 -370 0
-386 -384 0
386 370 384 0
-387 -385 0
-387 -386 0
387 385 386 0
-388 -377 0
-388 387 0
388 377 -387 0
-389 377 0
-389 -387 0
389 -377 387 0
-390 -388 0
-390 -389 0
390 388 389 0
-391 372 0
-391 390 0
391 -372 -390 0
-392 -372 0
-392 -390 0
392 372 390 0
-393 -391 0
-393 -392 0
393 391 392 0
-394 -376 0
-394 393 0
394 376 -393 0
-395 376 0
-395 -393 0
395 -376 393 0
-396 -394 0
-396 -395 0
396 394 395 0
-397 374 0
-397 396 0
397 -374 -396 0
-398 -374 0
-398 -396 0
398 374 396 0
-399 -397 0
-399 -398 0
399 397 398 0
-400 -375 0
-400 399 0
400 375 -399 0
-401 375 0
-401 -399 0
401 -375 399 0
-402 -400 0
-402 -401 0
402 400 401 0
-403 374 0
-403 402 0
403 -374 -402 0
-404 -374 0
-404 -402 0
404 374 402 0
-405 -403 0
-405 -404 0
405 403 404 0
-406 -373 0
-406 405 0
406 373 -405 0
-407 373 0
-407 -405 0
407 -373 405 0
-408 -406 0
-408 -407 0
408 406 407 0
-409 372 0
-409 408 0
409 -372 -408 0
-410 -372 0
-410 -408 0
410 372 408 0
-411 -409 0
-411 -410 0
411 409 410 0
-412 -371 0
-412 411 0
412 371 -411 0
-413 371 0
-413 -411 0
413 -371 411 0
-414 -412 0
-414 -413 0
414 412 413 0
-415 370 0
-415 414 0
415 -370 -414 0
-416 -370 0
-416 -414 0
416 370 414 0
-417 -415 0
-417 -416 0
417 415 416 0
-418 -369 0
-418 417 0
418 369 -417 0
-419 369 0
-419 -417 0
419 -369 417 0
-420 -418 0
-420 -419 0
420 418 419 0
-421 368 0
-421 420 0
421 -368 -420 0
-422 -368 0
-422 -420 0
422 368 420 0
-423 -421 0
-423 -422 0
423 421 422 0
-424 -367 0
-424 423 0
424 367 -423 0
425 -367 423 0
-426 -424 0
-426 -425 0
-427 -421 0
-427 -424 0
427 421 424 0
-428 4 0
-428 10 0
428 -4 -10 0
-429 -415 0
-429 -418 0
429 415 418 0
-430 5 0
-430 9 0
430 -5 -9 0
-431 -409 0
-431 -412 0
431 409 412 0
-432 6 0
-432 8 0
432 -6 -8 0
-433 -403 0
-433 -406 0
433 403 406 0
-434 -397 0
-434 -400 0
434 397 400 0
-435 -391 0
-435 -394 0
435 391 394 0
-436 -385 0
-436 -388 0
436 385 388 0
-437 -379 0
-437 -382 0
437 379 382 0
-438 428 0
-438 -437 0
438 -428 437 0
-439 -428 0
-439 437 0
439 428 -437 0
-440 -438 0
-440 -439 0
440 438 439 0
-441 -436 0
-441 440 0
441 436 -440 0
-442 436 0
-442 -440 0
442 -436 440 0
-443 -441 0
-443 -442 0
443 441 442 0
-444 430 0
-444 443 0
444 -430 -443 0
-445 -430 0
-445 -443 0
445 430 443 0
-446 -444 0
-446 -445 0
446 444 445 0
-447 -435 0
-447 446 0
447 435 -446 0
-448 435 0
-448 -446 0
448 -435 446 0
-449 -447 0
-449 -448 0
449 447 448 0
-450 432 0
-450 449 0
450 -432 -449 0
-451 -432 0
-451 -449 0
451 432 449 0
-452 -450 0
-452 -451 0
452 450 451 0
-453 -434 0
-453 452 0
453 434 -452 0
-454 434 0
-454 -452 0
454 -434 452 0
-455 -453 0
-455 -454 0
455 453 454 0
-456 7 0
-456 455 0
456 -7 -455 0
-457 -7 0
-457 -455 0
457 7 455 0
-458 -456 0
-458 -457 0
458 456 457 0
-459 -433 0
-459 458 0
459 433 -458 0
-460 433 0
-460 -458 0
460 -433 458 0
-461 -459 0
-461 -460 0
461 459 460 0
-462 432 0
-462 461 0
462 -432 -461 0
-463 -432 0
-463 -461 0
463 432 461 0
-464 -462 0
-464 -463 0
464 462 463 0
-465 -431 0
-465 464 0
465 431 -464 0
-466 431 0
-466 -464 0
466 -431 464 0
-467 -465 0
-467 -466 0
467 465 466 0
-468 430 0
-468 467 0
468 -430 -467 0
-469 -430 0
-469 -467 0
469 430 467 0
-470 -468 0
-470 -469 0
470 468 469 0
-471 -429 0
-471 470 0
471 429 -470 0
-472 429 0
-472 -470 0
472 -429 470 0
-473 -471 0
-473 -472 0
473 471 472 0
-474 428 0
-474 473 0
474 -428 -473 0
-475 -428 0
-475 -473 0
475 428 473 0
-476 -474 0
-476 -475 0
476 474 475 0
-477 -427 0
-477 476 0
477 427 -476 0
-478 427 0
-478 -476 0
479 477 478 0
-480 -474 0
-480 -477 0
480 474 477 0
-481 5 0
-481 10 0
481 -5 -10 0
-482 -468 0
-482 -471 0
482 468 471 0
-483 6 0
-483 9 0
483 -6 -9 0
-484 -462 0
-484 -465 0
484 462 465 0
-485 7 0
-485 8 0
485 -7 -8 0
-486 -456 0
-486 -459 0
486 456 459 0
-487 -450 0
-487 -453 0
487 450 453 0
-488 -444 0
-488 -447 0
488 444 447 0
-489 -438 0
-489 -441 0
489 438 441 0
-490 481 0
-490 -489 0
490 -481 489 0
-491 -481 0
-491 489 0
491 481 -489 0
-492 -490 0
-492 -491 0
492 490 491 0
-493 -488 0
-493 492 0
493 488 -492 0
-494 488 0
-494 -492 0
494 -488 492 0
-495 -493 0
-495 -494 0
495 493 494 0
-496 483 0
-496 495 0
496 -483 -495 0
-497 -483 0
-497 -495 0
497 483 495 0
-498 -496 0
-498 -497 0
498 496 497 0
-499 -487 0
-499 498 0
499 487 -498 0
-500 487 0
-500 -498 0
500 -487 498 0
-501 -499 0
-501 -500 0
501 499 500 0
-502 485 0
-502 501 0
502 -485 -501 0
-503 -485 0
-503 -501 0
503 485 501 0
-504 -502 0
-504 -503 0
504 502 503 0
-505 -486 0
-505 504 0
505 486 -504 0
-506 486 0
-506 -504 0
506 -486 504 0
-507 -505 0
-507 -506 0
507 505 506 0
-508 485 0
-508 507 0
508 -485 -507 0
-509 -485 0
-509 -507 0
509 485 507 0
-510 -508 0
-510 -509 0
510 508 509 0
-511 -484 0
-511 510 0
511 484 -510 0
-512 484 0
-512 -510 0
512 -484 510 0
-513 -511 0
-513 -512 0
513 511 512 0
-514 483 0
-514 513 0
514 -483 -513 0
-515 -483 0
-515 -513 0
515 483 513 0
-516 -514 0
-516 -515 0
516 514 515 0
-517 -482 0
-517 516 0
517 482 -516 0
-518 482 0
-518 -516 0
518 -482 516 0
-519 -517 0
-519 -518 0
519 517 518 0
-520 481 0
-520 519 0
520 -481 -519 0
-521 -481 0
-521 -519 0
521 481 519 0
-522 -520 0
-522 -521 0
522 520 521 0
-523 -480 0
-523 522 0
523 480 -522 0
524 -480 522 0
-525 -523 0
-525 -524 0
-526 -520 0
-526 -523 0
526 520 523 0
-527 6 0
-527 10 0
527 -6 -10 0
-528 -514 0
-528 -517 0
528 514 517 0
-529 7 0
-529 9 0
529 -7 -9 0
-530 -508 0
-530 -511 0
530 508 511 0
-531 -502 0
-531 -505 0
531 502 505 0
-532 -496 0
-532 -499 0
532 496 499 0
-533 -490 0
-533 -493 0
533 490 493 0
-534 527 0
-534 -533 0
534 -527 533 0
-535 -527 0
-535 533 0
535 527 -533 0
-536 -534 0
-536 -535 0
536 534 535 0
-537 -532 0
-537 536 0
537 532 -536 0
-538 532 0
-538 -536 0
538 -532 536 0
-539 -537 0
-539 -538 0
539 537 538 0
-540 529 0
-540 539 0
540 -529 -539 0
-541 -529 0
-541 -539 0
541 529 539 0
-542 -540 0
-542 -541 0
542 540 541 0
-543 -531 0
-543 542 0
543 531 -542 0
-544 531 0
-544 -542 0
544 -531 542 0
-545 -543 0
-545 -544 0
545 543 544 0
-546 8 0
-546 545 0
546 -8 -545 0
-547 -8 0
-547 -545 0
547 8 545 0
-548 -546 0
-548 -547 0
548 546 547 0
-549 -530 0
-549 548 0
549 530 -548 0
-550 530 0
-550 -548 0
550 -530 548 0
-551 -549 0
-551 -550 0
551 549 550 0
-552 529 0
-552 551 0
552 -529 -551 0
-553 -529 0
-553 -551 0
553 529 551 0
-554 -552 0
-554 -553 0
554 552 553 0
-555 -528 0
-555 554 0
555 528 -554 0
-556 528 0
-556 -554 0
556 -528 554 0
-557 -555 0
-557 -556 0
557 555 556 0
-558 527 0
-558 557 0
558 -527 -557 0
-559 -527 0
-559 -557 0
559 527 557 0
-560 -558 0
-560 -559 0
560 558 559 0
-561 -526 0
-561 560 0
561 526 -560 0
562 -526 560 0
-563 -561 0
-563 -562 0
-564 -558 0
-564 -561 0
564 558 561 0
-565 7 0
-565 10 0
565 -7 -10 0
-566 -552 0
-566 -555 0
566 552 555 0
-567 8 0
-567 9 0
567 -8 -9 0
-568 -546 0
-568 -549 0
568 546 549 0
-569 -540 0
-569 -543 0
569 540 543 0
-570 -534 0
-570 -537 0
570 534 537 0
-571 565 0
-571 -570 0
571 -565 570 0
-572 -565 0
-572 570 0
572 565 -570 0
-573 -571 0
-573 -572 0
573 571 572 0
-574 -569 0
-574 573 0
574 569 -573 0
-575 569 0
-575 -573 0
575 -569 573 0
-576 -574 0
-576 -575 0
576 574 575 0
-577 567 0
-577 576 0
577 -567 -576 0
-578 -567 0
-578 -576 0
578 567 576 0
-579 -577 0
-579 -578 0
579 577 578 0
-580 -568 0
-580 579 0
580 568 -579 0
-581 568 0
-581 -579 0
581 -568 579 0
-582 -580 0
-582 -581 0
582 580 581 0
-583 567 0
-583 582 0
583 -567 -582 0
-584 -567 0
-584 -582 0
584 567 582 0
-585 -583 0
-585 -584 0
585 583 584 0
-586 -566 0
-586 585 0
586 566 -585 0
-587 566 0
-587 -585 0
587 -566 585 0
-588 -586 0
-588 -587 0
588 586 587 0
-589 565 0
-589 588 0
589 -565 -588 0
-590 -565 0
-590 -588 0
590 565 588 0
-591 -589 0
-591 -590 0
591 589 590 0
-592 -564 0
-592 591 0
592 564 -591 0
593 -564 591 0
-594 -592 0
-594 -593 0
-595 -589 0
-595 -592 0
595 589 592 0
-596 8 0
-596 10 0
596 -8 -10 0
-597 -583 0
-597 -586 0
597 583 586 0
-598 -577 0
-598 -580 0
598 577 580 0
-599 -571 0
-599 -574 0
599 571 574 0
-600 596 0
-600 -599 0
600 -596 599 0
-601 -596 0
-601 599 0
601 596 -599 0
-602 -600 0
-602 -601 0
602 600 601 0
-603 -598 0
-603 602 0
603 598 -602 0
-604 598 0
-604 -602 0
604 -598 602 0
-605 -603 0
-605 -604 0
605 603 604 0
-606 9 0
-606 605 0
606 -9 -605 0
-607 -9 0
-607 -605 0
607 9 605 0
-608 -606 0
-608 -607 0
608 606 607 0
-609 -597 0
-609 608 0
609 597 -608 0
-610 597 0
-610 -608 0
610 -597 608 0
-611 -609 0
-611 -610 0
611 609 610 0
-612 596 0
-612 611 0
612 -596 -611 0
-613 -596 0
-613 -611 0
613 596 611 0
-614 -612 0
-614 -613 0
614 612 613 0
-615 -595 0
-615 614 0
615 595 -614 0
616 -595 614 0
-617 -615 0
-617 -616 0
-618 -612 0
-618 -615 0
618 612 615 0
-619 9 0
-619 10 0
619 -9 -10 0
-620 -606 0
-620 -609 0
620 606 609 0
-621 -600 0
-621 -603 0
621 600 603 0
-622 619 0
-622 -621 0
622 -619 621 0
-623 -619 0
-623 621 0
623 619 -621 0
-624 -622 0
-624 -623 0
624 622 623 0
-625 -620 0
-625 624 0
625 620 -624 0
-626 620 0
-626 -624 0
626 -620 624 0
-627 -625 0
-627 -626 0
627 625 626 0
-628 619 0
-628 627 0
628 -619 -627 0
-629 -619 0
-629 -627 0
629 619 627 0
-630 -628 0
-630 -629 0
630 628 629 0
-631 -618 0
-631 630 0
631 618 -630 0
632 -618 630 0
-633 -631 0
-633 -632 0
-634 -622 0
-634 -625 0
634 622 625 0
-635 10 0
-635 -634 0
635 -10 634 0
-636 -628 0
-636 -631 0
636 628 631 0
-637 -10 0
-637 634 0
637 10 -634 0
-638 -635 0
-638 -637 0
638 635 637 0
639 636 -638 0
640 -636 638 0
-641 -639 0
-641 -640 0
-642 635 0
-642 641 0
-643 633 0
-643 642 0
-644 617 0
-644 643 0
-645 594 0
-645 644 0
-646 563 0
-646 645 0
-647 525 0
-647 646 0
-648 -479 0
-648 647 0
-649 426 0
-649 648 0
-650 -366 0
-650 649 0
-651 -303 0
-651 650 0
-652 -240 0
-652 651 0
-653 -185 0
-653 652 0
-654 -137 0
-654 653 0
-655 -97 0
-655 654 0
-656 -64 0
-656 655 0
-657 39 0
-657 656 0
-658 -21 0
-658 657 0
-659 1 0
-659 658 0
659 0