c seed= 2121884153
p cnf 400 1700
329 -142 -192 0
-391 -76 350 0
305 380 -359 0
260 16 383 0
119 71 388 0
106 171 398 0
-387 -91 -237 0
322 -202 -32 0
-136 -106 380 0
91 -70 267 0
-237 69 -232 0
-347 304 22 0
187 -113 -73 0
-183 -79 -24 0
358 -190 -395 0
284 -8 -26 0
398 -92 198 0
-338 -13 53 0
-280 317 -27 0
276 -387 268 0
180 398 -46 0
-99 -14 -281 0
-189 -321 -71 0
189 161 121 0
-294 243 -137 0
199 244 400 0
-180 -314 297 0
84 -42 -278 0
-30 318 -233 0
-238 -204 239 0
97 -156 233 0
-145 -101 83 0
78 -298 400 0
-373 -196 -115 0
-283 381 -337 0
109 331 97 0
62 171 -118 0
-103 -241 278 0
-251 120 -191 0
-147 158 313 0
-377 291 29 0
-42 -245 -176 0
90 -395 -132 0
362 -347 -302 0
-37 362 -287 0
47 373 6 0
81 -38 -385 0
147 -190 -271 0
-60 -22 -216 0
-89 113 41 0
91 60 10 0
-188 -167 396 0
352 120 236 0
-92 360 317 0
386 -361 -106 0
-14 -377 130 0
-333 -164 -334 0
374 -191 379 0
105 56 191 0
-365 299 -375 0
92 290 190 0
389 196 -329 0
134 49 311 0
-295 -314 -330 0
52 250 -190 0
-238 -315 -306 0
192 -77 269 0
-192 -388 -296 0
-328 346 18 0
148 34 104 0
-305 -248 194 0
-284 370 309 0
-399 -186 -198 0
-350 -167 -146 0
173 -74 -113 0
107 -219 322 0
181 -216 70 0
252 -318 -248 0
-201 -65 157 0
25 156 205 0
211 394 336 0
184 26 83 0
316 317 -271 0
105 -118 49 0
344 -40 139 0
169 291 19 0
324 159 -289 0
360 230 271 0
-166 1 -258 0
198 -61 -264 0
-313 -280 283 0
195 212 -319 0
-37 -81 111 0
399 -27 312 0
128 -38 137 0
335 189 -79 0
-378 266 130 0
177 -337 379 0
-150 194 -266 0
137 129 -48 0
-72 -359 113 0
-69 -104 -49 0
-96 128 -333 0
217 69 -273 0
-92 -218 3 0
16 -66 384 0
-312 -236 -214 0
-308 -80 -245 0
271 -273 183 0
17 -398 33 0
397 104 43 0
90 94 397 0
-372 -265 60 0
-331 -279 388 0
-280 -343 -291 0
-290 -261 82 0
142 -282 358 0
-119 61 -179 0
246 110 -66 0
-126 54 -333 0
-346 207 -58 0
243 -231 -132 0
114 -39 -280 0
79 -13 -217 0
38 -323 -349 0
120 -188 -72 0
379 -361 -392 0
281 177 -350 0
-220 50 82 0
-331 135 -153 0
96 128 -135 0
279 186 -165 0
181 -80 -356 0
-151 -11 -377 0
-14 232 207 0
113 -157 390 0
3 106 -335 0
-346 -108 -261 0
227 243 -14 0
-276 391 147 0
297 221 -317 0
-387 -21 -248 0
55 36 234 0
270 -66 -169 0
149 96 -137 0
-55 -377 65 0
65 153 55 0
391 -80 -228 0
101 215 -132 0
-319 -198 399 0
-251 98 8 0
-301 37 279 0
-147 291 384 0
-344 118 -96 0
-379 209 341 0
56 -17 -82 0
189 -183 -90 0
323 -235 232 0
186 -55 -366 0
377 107 16 0
253 43 -246 0
-340 247 -262 0
-370 -139 184 0
353 -134 -349 0
126 -294 88 0
-323 15 -118 0
-200 -192 373 0
11 -93 280 0
89 -149 -361 0
370 -96 172 0
84 -110 -300 0
376 -381 344 0
89 51 112 0
196 285 -57 0
-337 -147 -122 0
393 -191 371 0
-397 319 -84 0
359 259 -127 0
-331 326 159 0
-366 -321 82 0
-300 373 331 0
-374 213 192 0
86 15 -172 0
87 367 -179 0
-180 -223 -83 0
-353 -161 388 0
-157 -308 17 0
214 2 87 0
238 252 90 0
-130 228 121 0
-227 345 94 0
369 -336 -287 0
-9 49 -157 0
-219 -174 125 0
-159 318 352 0
212 260 -239 0
236 345 354 0
-278 290 -142 0
-308 107 300 0
156 -77 -310 0
2 -119 -154 0
-258 163 -74 0
-303 -162 197 0
122 -6 192 0
364 -145 186 0
167 205 -162 0
1 -205 -251 0
381 222 -248 0
166 290 352 0
370 -178 -389 0
-198 -121 -348 0
400 393 -100 0
336 351 240 0
-32 149 298 0
227 -26 -240 0
359 281 -362 0
-154 239 -297 0
271 327 170 0
22 -45 301 0
381 158 334 0
-14 -283 297 0
279 -294 128 0
369 197 115 0
-52 -206 -119 0
254 293 -312 0
-39 -52 225 0
-196 -38 -143 0
220 -104 -210 0
105 137 128 0
250 -216 108 0
41 -232 -279 0
81 -343 -60 0
-188 389 298 0
-271 379 -120 0
213 -356 -297 0
99 61 -320 0
400 310 -362 0
-205 -225 -71 0
85 396 275 0
238 -109 -384 0
-174 -383 -64 0
113 -311 -203 0
-108 125 -63 0
-74 -263 135 0
329 -160 140 0
267 18 -5 0
271 -127 226 0
263 -212 222 0
65 15 214 0
-181 -243 295 0
295 324 -108 0
-215 76 -201 0
-90 362 -69 0
214 303 -376 0
114 -234 -37 0
98 351 18 0
-232 -16 298 0
241 48 -311 0
222 76 4 0
391 -120 241 0
-122 -177 248 0
-314 -117 -64 0
112 341 22 0
74 -374 -264 0
85 -161 -389 0
174 -261 197 0
22 -264 -199 0
-12 138 143 0
-221 136 316 0
305 249 149 0
-265 299 100 0
142 -245 -266 0
-142 245 -333 0
-178 -354 131 0
-34 245 143 0
-22 257 117 0
123 -363 -137 0
184 -348 -167 0
-63 -361 -253 0
87 390 -389 0
-48 145 -238 0
-8 292 -68 0
65 367 -221 0
34 98 -363 0
-30 -329 -309 0
-399 108 -128 0
-293 -231 -188 0
138 -342 -289 0
-360 -158 21 0
194 25 -190 0
-134 345 -358 0
109 376 363 0
-218 -377 -230 0
382 -246 15 0
263 -313 -387 0
-255 -99 277 0
393 372 -287 0
-195 389 -55 0
281 28 -186 0
257 196 169 0
127 54 185 0
-314 -209 371 0
-278 310 131 0
273 165 -109 0
-314 267 -284 0
-167 187 -88 0
350 358 65 0
62 -339 -41 0
-273 -95 393 0
-21 -321 270 0
-291 73 -21 0
-235 277 71 0
-31 -210 -71 0
300 178 -340 0
-295 -82 -316 0
399 133 341 0
-132 249 144 0
286 129 -53 0
-249 -51 -87 0
-134 189 230 0
-270 303 203 0
-29 -357 65 0
-367 -348 244 0
329 104 -397 0
163 -376 -79 0
15 246 189 0
338 388 -17 0
117 -30 27 0
259 -329 385 0
98 -59 106 0
-62 320 -279 0
262 -378 225 0
309 -48 -268 0
216 170 149 0
330 74 -54 0
-117 214 -279 0
185 277 296 0
199 -367 -226 0
-286 -69 -306 0
-30 -150 -356 0
-394 -254 322 0
-143 289 -165 0
-217 -399 141 0
82 -255 -63 0
-221 -173 384 0
-237 -153 -326 0
398 120 -318 0
-336 -278 -68 0
70 -304 243 0
-318 -63 207 0
374 379 118 0
-328 86 -214 0
-314 -87 -152 0
-17 184 -277 0
-245 185 -132 0
368 -11 204 0
131 -140 -329 0
-218 249 165 0
294 -150 -63 0
192 -157 -66 0
-149 78 66 0
-195 245 -66 0
-154 -358 -202 0
-197 -76 133 0
-92 340 201 0
164 315 -388 0
-156 13 -345 0
174 -240 42 0
-310 -306 346 0
-86 111 -34 0
148 383 -114 0
-236 -319 344 0
-264 217 -222 0
128 53 236 0
-119 -132 365 0
304 117 -370 0
39 -198 196 0
34 57 -46 0
-369 252 163 0
-64 30 -333 0
-24 19 -136 0
245 -212 165 0
-216 367 -13 0
-141 129 16 0
-272 -89 -294 0
224 184 -215 0
326 -372 200 0
-399 130 99 0
127 84 386 0
359 -162 -100 0
-400 -141 91 0
-153 -329 -93 0
36 322 184 0
-392 -363 -162 0
388 15 213 0
346 169 -223 0
157 -39 -107 0
-255 -330 350 0
-68 -54 149 0
-232 -370 171 0
-127 305 -61 0
-175 400 -336 0
-261 54 159 0
-348 -111 -179 0
-204 -123 -82 0
218 -245 -345 0
-175 -319 -235 0
292 -364 -87 0
174 -73 191 0
-64 -228 -156 0
137 -323 70 0
268 -326 -133 0
87 231 198 0
206 358 348 0
-29 -325 199 0
-57 -158 -274 0
-340 58 -303 0
-210 150 73 0
-234 31 -213 0
104 -7 -350 0
206 199 31 0
8 -168 -230 0
-152 352 41 0
-31 -97 249 0
-221 285 186 0
43 392 -126 0
246 31 -121 0
-366 -395 167 0
-225 -201 77 0
252 -216 142 0
364 -331 -223 0
-43 153 -180 0
378 97 66 0
-76 231 -387 0
362 -106 -101 0
-334 -57 -272 0
-305 92 -284 0
-155 -183 110 0
-358 -306 394 0
-230 -371 -306 0
271 310 360 0
321 -322 -148 0
-217 -63 -88 0
394 -144 223 0
188 173 202 0
396 -326 -87 0
364 339 -328 0
-17 -263 -347 0
-373 -134 228 0
-26 212 391 0
356 -204 -323 0
-49 75 232 0
-212 106 187 0
-195 134 -13 0
-192 258 249 0
-179 392 -260 0
394 385 -45 0
101 76 -239 0
-118 -284 -84 0
-167 48 173 0
71 312 151 0
300 -358 24 0
-29 234 364 0
170 191 -337 0
-120 390 241 0
-4 -26 285 0
193 -159 -158 0
-104 35 -77 0
72 23 243 0
152 299 -56 0
-317 -145 389 0
-354 -395 -55 0
354 219 -95 0
35 -260 370 0
-343 -371 47 0
362 231 285 0
-198 -289 -81 0
-264 258 62 0
306 -273 -110 0
375 -396 250 0
161 -259 346 0
-83 -358 169 0
6 -376 -330 0
-269 -190 393 0
257 -391 -89 0
270 -76 245 0
-47 154 -314 0
-239 -226 -1 0
-288 112 -75 0
325 298 -34 0
-351 273 24 0
-152 -37 200 0
91 346 -292 0
329 352 -247 0
46 59 185 0
379 326 364 0
-48 177 -390 0
313 284 -41 0
292 -207 -9 0
-329 159 202 0
204 119 -55 0
-120 -167 255 0
-157 277 -284 0
254 -276 321 0
6 -294 -192 0
-336 -114 -2 0
-68 352 239 0
-322 121 -31 0
367 75 339 0
272 246 -102 0
-298 339 125 0
371 -348 -309 0
363 -143 -393 0
56 266 239 0
154 -327 -324 0
218 -238 -295 0
-58 -45 -111 0
-180 8 327 0
180 -124 330 0
231 -105 284 0
255 -186 381 0
352 330 74 0
-349 -278 -298 0
318 -181 280 0
160 -40 115 0
206 332 -249 0
-167 383 -3 0
178 -393 -379 0
231 89 -112 0
-73 47 -361 0
250 198 -320 0
-172 -53 334 0
275 21 274 0
185 -230 -85 0
-217 316 370 0
118 304 160 0
-292 173 99 0
107 173 -315 0
329 163 143 0
-336 -227 -302 0
-266 -25 260 0
23 257 386 0
-14 92 8 0
241 -304 100 0
322 203 240 0
-83 277 171 0
106 275 392 0
-278 -361 -68 0
-223 81 -347 0
-335 337 369 0
-321 145 -256 0
-130 144 -335 0
-49 64 193 0
160 -123 -113 0
-272 330 64 0
220 327 -271 0
-134 -51 -68 0
124 -300 -93 0
351 322 237 0
280 198 379 0
-243 131 375 0
51 102 -285 0
-370 -301 -372 0
187 91 44 0
-291 -330 -61 0
326 196 394 0
85 -67 -147 0
41 -106 175 0
-134 306 -357 0
40 -124 336 0
364 -270 -37 0
354 205 119 0
326 -118 311 0
-367 -215 288 0
281 335 -195 0
9 350 360 0
-49 -163 -189 0
372 92 383 0
-264 110 -231 0
223 264 60 0
60 -391 -395 0
-355 -35 -319 0
-8 77 -176 0
6 -174 380 0
-361 -51 -226 0
66 30 -199 0
-216 355 172 0
-171 8 -400 0
-216 -354 36 0
-109 101 -314 0
-141 138 314 0
76 317 -172 0
122 -173 -179 0
335 237 -33 0
-185 -91 -226 0
286 116 -387 0
16 34 51 0
310 353 225 0
-118 -265 82 0
-227 -323 106 0
301 -209 149 0
-373 374 140 0
-380 373 275 0
2 -130 -69 0
-99 57 128 0
237 -312 260 0
91 -75 144 0
-104 381 132 0
135 91 225 0
-8 -224 16 0
-187 217 -339 0
-168 -196 -162 0
-23 -33 -144 0
-249 -49 322 0
-384 -210 223 0
-25 -83 -370 0
-51 200 -270 0
279 -85 182 0
205 391 -96 0
-173 -351 108 0
-149 -373 -87 0
144 338 -270 0
-163 -331 -321 0
-392 109 -102 0
385 -359 19 0
47 -54 -291 0
-155 267 -67 0
261 -393 2 0
244 328 -14 0
-365 -350 158 0
253 40 -68 0
273 -231 -9 0
-362 -19 184 0
-221 394 399 0
385 -206 266 0
-157 -344 -249 0
-14 -263 -107 0
-165 -67 -331 0
-19 154 -75 0
-284 -323 -74 0
-359 -172 -109 0
83 313 361 0
53 -51 35 0
-16 121 42 0
267 -333 382 0
-278 72 -207 0
-71 332 -217 0
-216 -220 150 0
136 308 110 0
289 251 -352 0
-133 -174 208 0
-191 -76 232 0
-216 16 -236 0
34 271 -329 0
114 229 -97 0
-67 121 372 0
242 79 -191 0
89 -247 354 0
298 -198 311 0
-376 -6 384 0
-222 -40 140 0
309 -59 11 0
390 -172 -241 0
-336 248 153 0
1 353 50 0
355 -198 63 0
379 252 290 0
-335 244 -144 0
130 75 342 0
327 225 -271 0
352 -67 -45 0
-198 395 190 0
-59 -270 -192 0
-248 173 -356 0
107 334 357 0
224 117 -87 0
158 231 -146 0
-247 280 302 0
-368 233 -70 0
-7 79 -361 0
-383 230 -290 0
172 111 -106 0
350 -208 255 0
148 -165 -72 0
245 397 122 0
-331 245 -358 0
-47 -37 -372 0
127 208 93 0
172 -158 6 0
286 123 345 0
-135 161 -52 0
353 331 -325 0
162 -18 -301 0
266 185 147 0
394 -185 39 0
86 224 248 0
-34 39 -21 0
-118 234 248 0
112 97 11 0
353 -149 210 0
187 -138 49 0
102 -252 146 0
-304 230 356 0
-329 216 331 0
317 -378 187 0
-303 -106 -377 0
58 146 -398 0
326 123 291 0
-68 106 210 0
84 -265 164 0
-61 -244 -140 0
135 156 -329 0
193 188 -173 0
-78 135 -7 0
73 -120 -219 0
270 355 308 0
-192 -30 208 0
123 -258 305 0
-244 -322 -11 0
-156 232 -215 0
-38 336 110 0
397 40 386 0
-226 185 -307 0
-7 275 72 0
64 184 62 0
385 -147 -367 0
-51 -391 254 0
85 373 -53 0
-94 13 310 0
-348 44 -122 0
-393 -258 281 0
-126 306 313 0
198 329 -336 0
237 -366 354 0
388 -30 282 0
243 384 363 0
-45 -20 -75 0
273 51 -248 0
-149 41 -36 0
339 -79 148 0
-326 382 -73 0
-10 -101 290 0
-355 -234 242 0
272 141 -86 0
-25 36 -255 0
-214 85 -374 0
157 285 82 0
-189 -227 276 0
27 -299 -360 0
192 -183 92 0
-391 71 -287 0
-297 -369 -399 0
-20 -106 -145 0
-66 -65 -375 0
33 224 314 0
327 212 -194 0
-328 376 -22 0
197 325 45 0
369 189 -100 0
-74 -198 -4 0
-63 104 388 0
262 148 -345 0
-174 222 -126 0
-302 34 -388 0
-133 2 -302 0
-264 -355 -182 0
-172 -23 150 0
-318 -383 -396 0
-242 54 47 0
-286 139 -376 0
265 -393 -222 0
400 318 -358 0
-324 -303 149 0
-333 -91 355 0
-305 -157 51 0
147 111 -220 0
351 -60 284 0
-26 132 -124 0
-27 -287 -62 0
294 122 393 0
-172 -148 -349 0
309 18 20 0
365 254 -359 0
59 -358 -248 0
-5 -184 -139 0
-188 300 239 0
-97 103 323 0
-295 -163 -308 0
166 -308 -148 0
382 -337 221 0
211 -73 -200 0
-355 209 48 0
-332 -170 360 0
-30 92 -69 0
214 391 336 0
286 225 294 0
382 132 -215 0
-179 -197 212 0
347 -17 229 0
15 -358 -228 0
123 -181 65 0
373 151 -374 0
-181 310 82 0
-81 -347 37 0
146 -279 -90 0
-166 255 -117 0
-24 146 -35 0
282 17 -380 0
-384 40 -277 0
-153 -398 20 0
-179 -39 6 0
-179 -196 325 0
235 -25 177 0
145 276 -79 0
-162 400 375 0
-285 372 239 0
-21 -349 -206 0
105 -348 -374 0
-320 258 -140 0
328 392 339 0
54 -9 8 0
-351 272 -173 0
105 225 138 0
-343 329 60 0
-373 157 -328 0
-346 -64 13 0
178 -259 38 0
140 -23 -382 0
-79 347 318 0
-26 352 304 0
-357 112 -282 0
-136 193 399 0
330 186 340 0
-301 -92 242 0
269 -206 125 0
-390 -68 353 0
12 75 161 0
327 -81 -392 0
-113 244 -400 0
126 234 386 0
-44 347 115 0
12 -133 81 0
-331 -20 -313 0
231 301 99 0
10 332 296 0
-395 128 152 0
115 -87 -5 0
379 142 -118 0
-146 198 111 0
-307 390 199 0
-7 -282 11 0
382 57 -173 0
35 -135 -124 0
314 -171 289 0
291 -272 -209 0
-373 384 330 0
21 -378 -281 0
127 -349 170 0
-293 -318 269 0
-353 183 -58 0
-209 -196 18 0
362 103 -391 0
-230 373 -205 0
-49 -68 78 0
103 104 -153 0
-194 -377 172 0
-176 29 308 0
22 3 -126 0
-387 -354 320 0
386 -373 127 0
-65 -277 319 0
-41 -166 -366 0
53 -304 -94 0
79 67 352 0
-20 -98 146 0
77 -9 359 0
-257 164 -261 0
209 -349 44 0
17 -96 346 0
386 101 -169 0
-219 -190 262 0
24 -262 376 0
186 -131 322 0
175 -86 350 0
-95 36 132 0
-115 -337 -386 0
188 -88 204 0
-87 -60 -256 0
-262 320 361 0
-243 -85 -47 0
-170 366 101 0
-49 -32 -204 0
-330 -233 -90 0
-60 -6 153 0
-384 -59 -132 0
147 154 -300 0
316 -261 -224 0
-101 -394 105 0
375 -141 -254 0
175 -96 128 0
-240 -176 216 0
-331 193 -240 0
-378 -316 249 0
331 -31 70 0
205 236 278 0
-394 381 -34 0
-141 -2 152 0
187 36 -282 0
364 -400 273 0
167 -387 170 0
-255 -216 -243 0
200 -21 -315 0
318 138 -361 0
-41 -39 30 0
198 142 151 0
277 -296 -187 0
385 -335 87 0
-176 155 -127 0
166 249 240 0
358 311 -308 0
32 106 -244 0
-237 -113 266 0
-265 -92 -257 0
-145 -344 -314 0
-102 -48 -337 0
-309 90 -270 0
-36 -48 111 0
4 186 -117 0
-325 -225 -191 0
217 -214 328 0
317 35 76 0
184 126 -286 0
272 381 345 0
235 -69 201 0
306 123 125 0
-170 144 -237 0
-83 -65 52 0
-127 -182 -362 0
47 -356 -222 0
-110 238 -155 0
37 -143 77 0
-151 -374 326 0
-182 20 -369 0
248 40 -397 0
-102 -347 118 0
141 -121 -185 0
-78 -95 -50 0
-239 382 -362 0
249 276 394 0
77 -398 129 0
236 298 286 0
-48 144 277 0
39 289 -10 0
-354 296 312 0
-81 -120 157 0
374 52 -163 0
-42 71 323 0
346 157 -262 0
344 -13 -157 0
15 -343 320 0
36 -125 -236 0
378 -377 -281 0
273 144 -107 0
-394 -345 130 0
350 214 -334 0
-4 372 160 0
1 98 23 0
183 222 -364 0
6 -300 -310 0
78 -351 274 0
-95 126 -180 0
-253 269 398 0
95 188 -120 0
23 -386 -230 0
-392 -150 -133 0
73 -207 -380 0
105 -216 -69 0
-353 -137 -261 0
-2 169 -227 0
-13 -43 352 0
-351 331 222 0
130 -191 -1 0
175 -149 -180 0
228 -125 94 0
-256 -271 139 0
-223 -269 -327 0
-229 280 -204 0
-176 107 -100 0
184 320 300 0
-373 84 381 0
-107 -65 -168 0
47 241 149 0
-202 149 187 0
-28 -239 151 0
38 -392 -111 0
-221 113 -369 0
210 -144 -221 0
39 99 -342 0
57 331 -140 0
186 -199 150 0
-153 -341 269 0
54 -90 62 0
-19 -391 -57 0
309 -176 -289 0
-206 -72 296 0
-63 376 356 0
200 6 229 0
-171 249 179 0
-69 65 378 0
273 -373 323 0
-241 -124 -197 0
275 -130 -165 0
258 161 115 0
125 -389 -20 0
130 -328 294 0
294 -299 164 0
-26 -247 -369 0
86 -143 392 0
155 -207 -300 0
94 -342 -234 0
380 -190 -142 0
334 209 313 0
134 -35 292 0
-389 -340 179 0
-195 206 332 0
-271 -76 -370 0
78 -104 361 0
-139 42 -296 0
-354 107 20 0
-75 -92 -290 0
-187 -342 13 0
-309 -383 189 0
-131 -14 139 0
-107 300 315 0
210 -363 304 0
36 59 269 0
-85 -74 -108 0
371 377 348 0
270 -60 -145 0
-348 -347 -43 0
-178 384 -373 0
171 67 212 0
164 214 -34 0
356 96 -47 0
85 131 130 0
-41 111 109 0
102 279 61 0
322 -176 -118 0
294 -146 39 0
-123 -282 352 0
377 352 395 0
-79 370 -334 0
-43 108 -121 0
56 -259 -9 0
268 -272 -392 0
-7 51 -255 0
56 -69 91 0
-286 -154 384 0
-269 -274 -208 0
386 187 -229 0
-280 -315 -306 0
207 274 365 0
174 51 229 0
105 -229 368 0
-221 394 -25 0
351 250 199 0
-152 -141 -291 0
-191 -163 -107 0
-113 -328 247 0
-270 11 -248 0
-130 362 371 0
-345 -272 -398 0
-242 -129 102 0
366 -212 -251 0
370 65 356 0
339 -40 -280 0
-118 -216 272 0
-54 243 -339 0
78 -60 -249 0
-226 -145 109 0
-99 205 362 0
330 -135 96 0
-362 -255 -292 0
289 390 -397 0
133 -95 -269 0
163 -326 338 0
-5 137 -90 0
-101 -202 97 0
-329 294 -46 0
-49 -116 -314 0
51 71 19 0
247 103 362 0
130 -256 3 0
282 -80 302 0
146 -5 -351 0
-200 -276 -281 0
395 13 129 0
-109 -29 -91 0
119 87 -320 0
-256 -63 233 0
64 274 -381 0
322 -390 160 0
238 358 40 0
72 -139 -332 0
-171 -366 -263 0
-108 -187 210 0
-187 356 193 0
-356 -147 399 0
-192 49 -109 0
323 -163 184 0
-121 177 -93 0
-134 -354 33 0
319 207 40 0
-239 296 -18 0
-118 244 123 0
160 101 16 0
281 116 -137 0
-159 264 145 0
167 -275 -145 0
145 -243 -310 0
-10 -207 -391 0
-160 195 40 0
-234 -218 247 0
180 135 -157 0
342 366 124 0
141 194 -378 0
-103 -282 86 0
126 -362 314 0
-206 -71 -320 0
-195 -288 107 0
90 232 -36 0
-310 17 391 0
91 235 -81 0
190 268 -395 0
-201 -328 132 0
149 -239 -54 0
-246 -119 -31 0
-355 108 -327 0
-359 205 -305 0
-197 -66 -317 0
-150 25 257 0
170 -358 -137 0
292 -101 261 0
-207 397 33 0
-52 49 -315 0
-339 -78 214 0
165 2 -332 0
-6 45 177 0
94 -373 212 0
-376 -39 65 0
-31 297 -71 0
-170 208 -256 0
-130 -17 4 0
-73 -280 143 0
253 -333 -168 0
-310 -156 375 0
234 -122 -177 0
-96 255 -204 0
221 -137 -269 0
-44 177 -62 0
-290 -355 -342 0
-186 -167 -367 0
102 254 -347 0
246 -78 147 0
243 -36 -248 0
90 40 -247 0
-229 40 -250 0
-238 -55 -262 0
-194 -157 -243 0
-364 -17 -222 0
-56 314 11 0
-338 77 257 0
-147 -60 216 0
173 -389 234 0
154 -292 -376 0
250 62 -160 0
76 156 84 0
93 -41 270 0
-386 172 53 0
-178 -244 177 0
400 19 196 0
119 -258 218 0
12 186 -104 0
-345 382 323 0
282 330 257 0
-193 -386 397 0
3 166 35 0
-284 283 -265 0
-90 -11 -243 0
-24 -193 -276 0
258 395 247 0
-31 -385 -60 0
-97 392 -213 0
221 67 289 0
57 -54 392 0
194 142 140 0
383 378 11 0
325 -43 -110 0
-16 223 58 0
-55 -294 -93 0
191 372 -119 0
309 -346 394 0
390 -263 334 0
90 367 63 0
-187 229 145 0
255 -369 -294 0
342 159 202 0
227 370 -355 0
-352 110 -224 0
-265 -347 -225 0
-283 32 -19 0
32 -249 331 0
325 -362 233 0
136 376 314 0
-307 157 -21 0
134 -400 -229 0
276 111 -385 0
68 -220 -33 0
104 -233 -337 0
92 -49 -386 0
309 217 -102 0
-225 147 -292 0
232 372 6 0
224 327 -239 0
-389 387 381 0
-76 -311 -281 0
-310 175 -251 0
339 -118 -78 0
-398 -157 -226 0
-168 -256 59 0
-164 304 -323 0
149 -246 48 0
-153 336 -4 0
82 -180 -92 0
380 -86 -215 0
-2 -349 299 0
197 45 80 0
-81 -148 364 0
-20 10 325 0
374 -200 328 0
-184 -143 365 0
221 -214 -305 0
329 -42 -46 0
-342 96 336 0
-61 -132 355 0
-356 -7 -238 0
180 213 117 0
-335 -392 -118 0
306 -81 290 0
-397 310 -84 0
-47 157 314 0
-138 -160 -70 0
283 -130 -77 0
98 -319 -296 0
-339 108 -55 0
281 105 12 0
3 78 152 0
156 117 28 0
-399 118 358 0
39 -348 225 0
-300 -153 -292 0
-255 252 260 0
304 31 -163 0
322 213 -253 0
396 -48 -208 0
7 -343 233 0
80 -364 334 0
386 176 191 0
283 -379 -168 0
-347 -206 177 0
235 335 115 0
-101 -216 187 0
-195 -44 -186 0
-340 377 174 0
237 10 188 0
-185 -350 3 0
123 -21 -354 0
272 -201 7 0
-300 -124 78 0
-56 -371 101 0
-311 -168 117 0
-52 -94 -9 0
368 178 -167 0
-74 87 -26 0
-243 118 131 0
-63 223 -186 0
-119 139 -249 0
93 -62 -333 0
-113 -61 -205 0
-251 -357 385 0
351 -218 -72 0
-291 -19 -298 0
294 -94 54 0
-297 -17 52 0
-368 309 -75 0
201 191 -95 0
31 169 365 0
271 105 -106 0
-268 -179 378 0
37 -151 -392 0
341 255 -327 0
-334 -109 324 0
-262 -258 -288 0
329 -1 252 0
341 -260 184 0
-67 215 141 0
-149 135 327 0
207 -246 -171 0
167 45 256 0
51 -194 290 0
72 -47 -378 0
334 -140 218 0
-125 369 399 0
-151 180 -159 0
-85 -152 157 0
89 361 -183 0
197 10 265 0
-168 346 -348 0
232 392 -93 0
353 386 345 0
-245 -399 194 0
153 -213 -280 0
-396 298 46 0
-257 246 -230 0
142 -91 -164 0
-319 395 24 0
382 -77 -251 0
-313 -41 278 0
245 -240 -89 0
-156 -282 -365 0
296 190 -61 0
-357 -236 -62 0
-140 -361 148 0
-261 67 -323 0
176 247 296 0
-207 -12 357 0
157 -238 397 0
277 -137 357 0
-106 366 -293 0
394 43 134 0
-8 245 -213 0
126 -220 331 0
-118 266 -368 0
-204 -346 390 0
383 -271 -251 0
-317 24 -133 0
174 -16 -368 0
-336 -159 -126 0
-327 -340 264 0
-124 -322 363 0
-214 306 50 0
95 -160 -356 0
275 -103 -155 0
-366 283 -231 0
-321 274 -91 0
-261 -365 -338 0
-154 357 -35 0
57 -245 257 0
-102 -161 -96 0
-149 -213 72 0
271 308 -187 0
-83 -275 6 0
-271 391 -172 0
341 254 80 0
186 -285 -185 0
31 -346 -92 0
218 -187 -39 0
-151 -78 -267 0
-194 97 -273 0
197 173 -294 0
165 11 -266 0
20 -397 -108 0
-334 -323 -391 0
-171 -294 -195 0
3 267 -355 0
168 -316 -346 0
-354 143 122 0
279 -390 -167 0
-368 312 -160 0
-296 -260 96 0
138 -275 162 0
112 -165 -380 0
77 8 73 0
110 195 77 0
51 156 146 0
-344 47 -127 0
342 -193 103 0
356 -5 239 0
194 -310 261 0
-108 -133 276 0
57 173 -232 0
25 170 57 0
-358 45 -390 0
-261 -170 98 0
193 -2 -264 0
-206 -214 265 0
350 325 263 0
343 -8 -349 0
-120 -367 94 0
-349 -232 38 0
257 -9 57 0
167 347 233 0
333 246 -242 0
158 -249 315 0
288 -318 137 0
-120 -339 -349 0
85 130 -244 0
152 395 345 0
-293 -337 -322 0
112 -27 -256 0
93 -71 -228 0
-339 236 -320 0
-281 -208 375 0
-251 -398 139 0
-14 -220 305 0
-110 64 -278 0
-79 394 -216 0
-331 -8 79 0
59 -387 133 0
-26 -75 11 0
89 -5 -45 0
-347 324 94 0
33 156 -181 0
246 118 -304 0
170 244 40 0
162 -214 -339 0
258 -30 108 0
-76 175 88 0
173 -387 -217 0
392 -37 229 0
365 -330 71 0
-39 -297 -231 0
-382 275 99 0
168 -255 225 0
321 273 -177 0
-7 220 -226 0
230 -66 -209 0
336 97 -234 0
224 -284 -170 0
141 -44 276 0
-166 -103 398 0
-303 360 -42 0
22 -210 252 0
123 -370 204 0
295 62 -370 0
-300 48 -216 0
-274 -293 257 0
70 329 388 0
194 -258 -55 0
275 -397 38 0
-309 -66 -367 0
21 -140 -249 0
359 -75 83 0
-31 93 76 0
14 -268 -173 0
-323 324 356 0
-197 -20 361 0
-200 159 40 0
-100 87 -384 0
303 137 149 0
-366 14 -135 0
-94 3 106 0
371 150 16 0
-253 -35 -111 0
117 63 -323 0
28 -103 379 0
200 -20 186 0
114 -347 286 0
-201 -113 -255 0
-97 -322 -30 0
-336 -118 -174 0
-97 -335 168 0
-371 257 -91 0
29 139 15 0
202 -49 189 0
301 306 -395 0
174 -268 -113 0
36 24 -112 0
-28 211 -140 0
-262 199 141 0
-279 -233 -369 0
-3 -384 6 0
-322 -263 -82 0
-83 -320 -75 0
313 -127 270 0
116 -311 35 0
-174 -90 -228 0
-190 78 -269 0
-88 -145 -129 0
234 -183 -121 0
-257 254 62 0
-87 -15 -239 0
-272 335 -72 0
-349 197 -231 0
374 -96 -235 0
198 6 179 0
-360 286 33 0
-144 -374 -65 0
301 14 323 0
-136 367 -280 0
294 -210 -35 0
91 -331 -120 0
-253 -223 -196 0
-42 -290 -274 0
-148 60 233 0
-56 -275 54 0
-227 388 356 0
-120 315 -258 0
175 224 -89 0
-266 -287 -25 0
-343 321 279 0
-373 188 -164 0
-364 205 -140 0
-20 197 98 0
-72 61 -123 0
101 52 -308 0
155 -372 361 0
-96 215 202 0
-61 -359 -372 0
346 89 179 0
56 285 340 0
136 -322 -262 0
93 287 280 0
-69 -135 -177 0
110 -190 283 0
128 265 -303 0
309 -316 390 0
235 -104 20 0
285 370 -179 0
207 -71 212 0
-59 389 237 0
-382 315 332 0
-104 223 -397 0
167 -126 267 0
-368 297 249 0
-103 -348 -99 0
355 -242 372 0
-132 219 -183 0
377 60 148 0
-374 -324 -87 0
-284 60 -323 0
-40 -305 -376 0
275 225 -358 0
-31 233 262 0
-368 353 93 0
-381 10 -157 0
-390 -335 362 0
57 -123 232 0
-168 162 -273 0
-198 211 252 0
339 -149 338 0
-105 394 167 0
-73 -367 90 0
-344 -100 382 0
-115 -230 35 0
-247 10 -400 0
-369 -112 348 0
-54 202 176 0
316 -2 -111 0
-73 -284 -371 0
-358 -399 -3 0
-263 7 26 0
372 -99 -308 0
111 -13 -367 0
314 -285 66 0
278 -300 169 0
-193 -71 -213 0
324 156 -308 0
-197 317 65 0
297 3 161 0
85 -116 -3 0
-364 -43 232 0
385 -136 124 0
-296 67 -247 0
188 -30 -337 0
3 332 242 0
-118 -51 183 0
-269 211 82 0
274 -350 67 0
-54 -1 181 0
-117 -207 359 0
50 -232 97 0
178 -354 85 0
260 170 41 0
29 295 206 0
-236 -305 264 0
192 -217 -210 0
162 -226 247 0
-289 248 -313 0
-134 -106 48 0
-349 54 -92 0
94 -390 75 0
-148 -342 -299 0
-90 -332 134 0
-107 -297 -268 0
-293 -87 138 0
243 -296 230 0
-390 249 -352 0
-79 -236 326 0
375 -248 385 0
-278 -198 162 0
208 376 163 0
-47 -186 113 0
297 -56 95 0
-263 194 -35 0
-323 217 138 0
-352 343 199 0
378 -179 -90 0
176 164 42 0
213 -129 264 0
334 -283 292 0
272 -312 313 0
363 220 -85 0
351 274 355 0
-173 36 -66 0
-239 332 -367 0
-196 -76 248 0
14 23 309 0
241 -328 232 0
-133 397 -394 0
281 -222 275 0
-87 -99 154 0
-375 -172 -188 0
-145 13 -44 0
-335 -340 -312 0
-272 322 117 0
224 158 70 0
142 369 351 0
45 -347 -136 0
356 -161 235 0
-113 359 148 0
152 280 -377 0
-1 -302 340 0
74 179 -41 0
-104 -126 -27 0
116 -9 -377 0
-35 -293 265 0
334 -114 326 0
368 91 -191 0
227 306 87 0
271 263 390 0
232 160 375 0
72 56 -105 0
-9 -200 164 0
-160 337 -272 0
-227 -364 -280 0
-251 395 116 0
-216 114 245 0
41 -23 276 0
170 285 -275 0
10 308 -379 0
-246 -230 88 0
103 -221 194 0
375 -133 231 0
-139 58 240 0
380 11 180 0
4 -50 389 0
219 -65 167 0
-172 -289 392 0
-309 -180 -289 0
20 124 -300 0
311 37 153 0
-245 298 131 0
270 385 333 0
-92 -247 105 0
221 -318 -325 0
-176 -379 -395 0
-394 -74 370 0
168 307 -100 0
211 304 33 0
315 168 -158 0
114 -167 109 0
-386 -69 -103 0
-276 364 -5 0
303 -244 -365 0
120 -252 334 0
392 255 -287 0
185 -232 303 0
-77 -167 323 0
94 -299 -248 0
176 -305 388 0
230 124 -383 0
-302 -264 12 0
115 -131 21 0
-344 -160 315 0
-279 345 -355 0
-346 187 -211 0
108 155 -154 0
325 376 339 0
-313 -308 213 0
-278 -329 232 0
-92 -69 82 0
-31 -29 76 0
378 218 -222 0
-139 41 -390 0
146 -322 153 0
200 111 -8 0
-204 63 -214 0
-162 45 322 0
-113 360 47 0