source:
vis_dev/sharpSAT/test
@
31
Last change on this file since 31 was 9, checked in by , 13 years ago | |
---|---|
File size: 15.7 KB |
Rev | Line | |
---|---|---|
[9] | 1 | p cnf 420 1138 |
2 | 1 0 | |
3 | 2 -3 4 0 | |
4 | -2 -4 0 | |
5 | 3 -4 0 | |
6 | -5 -4 6 0 | |
7 | 5 -6 0 | |
8 | 4 -6 0 | |
9 | -7 -6 8 0 | |
10 | 7 -8 0 | |
11 | 6 -8 0 | |
12 | -2 -3 9 0 | |
13 | 2 -9 0 | |
14 | 3 -9 0 | |
15 | 5 -9 10 0 | |
16 | -5 -10 0 | |
17 | 9 -10 0 | |
18 | 5 -4 11 0 | |
19 | -5 -11 0 | |
20 | 4 -11 0 | |
21 | -12 -11 13 0 | |
22 | 12 -13 0 | |
23 | 11 -13 0 | |
24 | 14 -13 15 0 | |
25 | -14 -15 0 | |
26 | 13 -15 0 | |
27 | 10 15 16 0 | |
28 | -10 -16 0 | |
29 | -15 -16 0 | |
30 | 8 -16 17 0 | |
31 | -8 -17 0 | |
32 | 16 -17 0 | |
33 | -2 3 18 0 | |
34 | 2 -18 0 | |
35 | -3 -18 0 | |
36 | 5 -18 19 0 | |
37 | -5 -19 0 | |
38 | 18 -19 0 | |
39 | -20 21 22 0 | |
40 | 20 -22 0 | |
41 | -21 -22 0 | |
42 | 20 -21 23 0 | |
43 | -20 -23 0 | |
44 | 21 -23 0 | |
45 | 22 23 24 0 | |
46 | -22 -24 0 | |
47 | -23 -24 0 | |
48 | -25 26 27 0 | |
49 | 25 -27 0 | |
50 | -26 -27 0 | |
51 | 25 -26 28 0 | |
52 | -25 -28 0 | |
53 | 26 -28 0 | |
54 | 27 28 29 0 | |
55 | -27 -29 0 | |
56 | -28 -29 0 | |
57 | -30 31 32 0 | |
58 | 30 -32 0 | |
59 | -31 -32 0 | |
60 | 30 -31 33 0 | |
61 | -30 -33 0 | |
62 | 31 -33 0 | |
63 | 32 33 34 0 | |
64 | -32 -34 0 | |
65 | -33 -34 0 | |
66 | -29 -34 35 0 | |
67 | 29 -35 0 | |
68 | 34 -35 0 | |
69 | -24 -35 36 0 | |
70 | 24 -36 0 | |
71 | 35 -36 0 | |
72 | -19 -36 37 0 | |
73 | 19 -37 0 | |
74 | 36 -37 0 | |
75 | 2 3 38 0 | |
76 | -2 -38 0 | |
77 | -3 -38 0 | |
78 | -5 -38 39 0 | |
79 | 5 -39 0 | |
80 | 38 -39 0 | |
81 | 14 -39 40 0 | |
82 | -14 -40 0 | |
83 | 39 -40 0 | |
84 | 41 -40 42 0 | |
85 | -41 -42 0 | |
86 | 40 -42 0 | |
87 | 37 42 43 0 | |
88 | -37 -43 0 | |
89 | -42 -43 0 | |
90 | -44 -45 46 0 | |
91 | 44 -46 0 | |
92 | 45 -46 0 | |
93 | 47 46 48 0 | |
94 | -47 -48 0 | |
95 | -46 -48 0 | |
96 | 36 -48 49 0 | |
97 | -36 -49 0 | |
98 | 48 -49 0 | |
99 | -19 -49 50 0 | |
100 | 19 -50 0 | |
101 | 49 -50 0 | |
102 | 44 -50 51 0 | |
103 | -44 -51 0 | |
104 | 50 -51 0 | |
105 | -44 50 52 0 | |
106 | 44 -52 0 | |
107 | -50 -52 0 | |
108 | 51 52 53 0 | |
109 | -51 -53 0 | |
110 | -52 -53 0 | |
111 | -50 -53 54 0 | |
112 | 50 -54 0 | |
113 | 53 -54 0 | |
114 | 5 -38 55 0 | |
115 | -5 -55 0 | |
116 | 38 -55 0 | |
117 | -56 -55 57 0 | |
118 | 56 -57 0 | |
119 | 55 -57 0 | |
120 | 50 57 58 0 | |
121 | -50 -58 0 | |
122 | -57 -58 0 | |
123 | 44 -58 59 0 | |
124 | -44 -59 0 | |
125 | 58 -59 0 | |
126 | 54 59 60 0 | |
127 | -54 -60 0 | |
128 | -59 -60 0 | |
129 | -44 45 61 0 | |
130 | 44 -61 0 | |
131 | -45 -61 0 | |
132 | 44 -45 62 0 | |
133 | -44 -62 0 | |
134 | 45 -62 0 | |
135 | 61 62 63 0 | |
136 | -61 -63 0 | |
137 | -62 -63 0 | |
138 | -50 -63 64 0 | |
139 | 50 -64 0 | |
140 | 63 -64 0 | |
141 | 57 64 65 0 | |
142 | -57 -65 0 | |
143 | -64 -65 0 | |
144 | 45 -58 66 0 | |
145 | -45 -66 0 | |
146 | 58 -66 0 | |
147 | -65 66 67 0 | |
148 | 65 -67 0 | |
149 | -66 -67 0 | |
150 | -47 -58 68 0 | |
151 | 47 -68 0 | |
152 | 58 -68 0 | |
153 | 69 -57 70 0 | |
154 | -69 -70 0 | |
155 | 57 -70 0 | |
156 | 8 10 71 0 | |
157 | -8 -71 0 | |
158 | -10 -71 0 | |
159 | -30 -71 72 0 | |
160 | 30 -72 0 | |
161 | 71 -72 0 | |
162 | 57 72 73 0 | |
163 | -57 -73 0 | |
164 | -72 -73 0 | |
165 | 70 73 74 0 | |
166 | -70 -74 0 | |
167 | -73 -74 0 | |
168 | 75 -57 76 0 | |
169 | -75 -76 0 | |
170 | 57 -76 0 | |
171 | -25 -71 77 0 | |
172 | 25 -77 0 | |
173 | 71 -77 0 | |
174 | 57 77 78 0 | |
175 | -57 -78 0 | |
176 | -77 -78 0 | |
177 | 76 78 79 0 | |
178 | -76 -79 0 | |
179 | -78 -79 0 | |
180 | 80 -57 81 0 | |
181 | -80 -81 0 | |
182 | 57 -81 0 | |
183 | -20 -71 82 0 | |
184 | 20 -82 0 | |
185 | 71 -82 0 | |
186 | 57 82 83 0 | |
187 | -57 -83 0 | |
188 | -82 -83 0 | |
189 | 81 83 84 0 | |
190 | -81 -84 0 | |
191 | -83 -84 0 | |
192 | 85 -15 86 0 | |
193 | -85 -86 0 | |
194 | 15 -86 0 | |
195 | -31 -71 87 0 | |
196 | 31 -87 0 | |
197 | 71 -87 0 | |
198 | 15 87 88 0 | |
199 | -15 -88 0 | |
200 | -87 -88 0 | |
201 | 86 88 89 0 | |
202 | -86 -89 0 | |
203 | -88 -89 0 | |
204 | 90 -15 91 0 | |
205 | -90 -91 0 | |
206 | 15 -91 0 | |
207 | -26 -71 92 0 | |
208 | 26 -92 0 | |
209 | 71 -92 0 | |
210 | 15 92 93 0 | |
211 | -15 -93 0 | |
212 | -92 -93 0 | |
213 | 91 93 94 0 | |
214 | -91 -94 0 | |
215 | -93 -94 0 | |
216 | 95 -15 96 0 | |
217 | -95 -96 0 | |
218 | 15 -96 0 | |
219 | -21 -71 97 0 | |
220 | 21 -97 0 | |
221 | 71 -97 0 | |
222 | 15 97 98 0 | |
223 | -15 -98 0 | |
224 | -97 -98 0 | |
225 | 96 98 99 0 | |
226 | -96 -99 0 | |
227 | -98 -99 0 | |
228 | 14 -11 100 0 | |
229 | -14 -100 0 | |
230 | 11 -100 0 | |
231 | -19 36 101 0 | |
232 | 19 -101 0 | |
233 | -36 -101 0 | |
234 | -5 8 102 0 | |
235 | 5 -102 0 | |
236 | -8 -102 0 | |
237 | 19 102 103 0 | |
238 | -19 -103 0 | |
239 | -102 -103 0 | |
240 | 101 103 104 0 | |
241 | -101 -104 0 | |
242 | -103 -104 0 | |
243 | 11 104 105 0 | |
244 | -11 -105 0 | |
245 | -104 -105 0 | |
246 | 100 105 106 0 | |
247 | -100 -106 0 | |
248 | -105 -106 0 | |
249 | 14 -12 107 0 | |
250 | -14 -107 0 | |
251 | 12 -107 0 | |
252 | -11 107 108 0 | |
253 | 11 -108 0 | |
254 | -107 -108 0 | |
255 | 36 48 109 0 | |
256 | -36 -109 0 | |
257 | -48 -109 0 | |
258 | -19 109 110 0 | |
259 | 19 -110 0 | |
260 | -109 -110 0 | |
261 | -2 6 111 0 | |
262 | 2 -111 0 | |
263 | -6 -111 0 | |
264 | 10 -111 112 0 | |
265 | -10 -112 0 | |
266 | 111 -112 0 | |
267 | 110 -112 113 0 | |
268 | -110 -113 0 | |
269 | 112 -113 0 | |
270 | 11 113 114 0 | |
271 | -11 -114 0 | |
272 | -113 -114 0 | |
273 | 108 114 115 0 | |
274 | -108 -115 0 | |
275 | -114 -115 0 | |
276 | 56 -55 116 0 | |
277 | -56 -116 0 | |
278 | 55 -116 0 | |
279 | 3 6 117 0 | |
280 | -3 -117 0 | |
281 | -6 -117 0 | |
282 | 8 117 118 0 | |
283 | -8 -118 0 | |
284 | -117 -118 0 | |
285 | 39 118 119 0 | |
286 | -39 -119 0 | |
287 | -118 -119 0 | |
288 | 42 119 120 0 | |
289 | -42 -120 0 | |
290 | -119 -120 0 | |
291 | 10 -120 121 0 | |
292 | -10 -121 0 | |
293 | 120 -121 0 | |
294 | 19 121 122 0 | |
295 | -19 -122 0 | |
296 | -121 -122 0 | |
297 | 37 122 123 0 | |
298 | -37 -123 0 | |
299 | -122 -123 0 | |
300 | 15 -123 124 0 | |
301 | -15 -124 0 | |
302 | 123 -124 0 | |
303 | 55 124 125 0 | |
304 | -55 -125 0 | |
305 | -124 -125 0 | |
306 | 116 125 126 0 | |
307 | -116 -126 0 | |
308 | -125 -126 0 | |
309 | 115 -126 127 0 | |
310 | -115 -127 0 | |
311 | 126 -127 0 | |
312 | -106 -127 128 0 | |
313 | 106 -128 0 | |
314 | 127 -128 0 | |
315 | -129 -128 130 0 | |
316 | 129 -130 0 | |
317 | 128 -130 0 | |
318 | -115 -126 131 0 | |
319 | 115 -131 0 | |
320 | 126 -131 0 | |
321 | 106 -131 132 0 | |
322 | -106 -132 0 | |
323 | 131 -132 0 | |
324 | 106 -127 133 0 | |
325 | -106 -133 0 | |
326 | 127 -133 0 | |
327 | -134 -133 135 0 | |
328 | 134 -135 0 | |
329 | 133 -135 0 | |
330 | 136 -135 137 0 | |
331 | -136 -137 0 | |
332 | 135 -137 0 | |
333 | 132 137 138 0 | |
334 | -132 -138 0 | |
335 | -137 -138 0 | |
336 | 130 -138 139 0 | |
337 | -130 -139 0 | |
338 | 138 -139 0 | |
339 | -115 126 140 0 | |
340 | 115 -140 0 | |
341 | -126 -140 0 | |
342 | 106 -140 141 0 | |
343 | -106 -141 0 | |
344 | 140 -141 0 | |
345 | -84 99 142 0 | |
346 | 84 -142 0 | |
347 | -99 -142 0 | |
348 | 84 -99 143 0 | |
349 | -84 -143 0 | |
350 | 99 -143 0 | |
351 | 142 143 144 0 | |
352 | -142 -144 0 | |
353 | -143 -144 0 | |
354 | -79 94 145 0 | |
355 | 79 -145 0 | |
356 | -94 -145 0 | |
357 | 79 -94 146 0 | |
358 | -79 -146 0 | |
359 | 94 -146 0 | |
360 | 145 146 147 0 | |
361 | -145 -147 0 | |
362 | -146 -147 0 | |
363 | -74 89 148 0 | |
364 | 74 -148 0 | |
365 | -89 -148 0 | |
366 | 74 -89 149 0 | |
367 | -74 -149 0 | |
368 | 89 -149 0 | |
369 | 148 149 150 0 | |
370 | -148 -150 0 | |
371 | -149 -150 0 | |
372 | -147 -150 151 0 | |
373 | 147 -151 0 | |
374 | 150 -151 0 | |
375 | -144 -151 152 0 | |
376 | 144 -152 0 | |
377 | 151 -152 0 | |
378 | -141 -152 153 0 | |
379 | 141 -153 0 | |
380 | 152 -153 0 | |
381 | 115 126 154 0 | |
382 | -115 -154 0 | |
383 | -126 -154 0 | |
384 | -106 -154 155 0 | |
385 | 106 -155 0 | |
386 | 154 -155 0 | |
387 | 136 -155 156 0 | |
388 | -136 -156 0 | |
389 | 155 -156 0 | |
390 | 157 -156 158 0 | |
391 | -157 -158 0 | |
392 | 156 -158 0 | |
393 | 153 158 159 0 | |
394 | -153 -159 0 | |
395 | -158 -159 0 | |
396 | -60 -67 160 0 | |
397 | 60 -160 0 | |
398 | 67 -160 0 | |
399 | 68 160 161 0 | |
400 | -68 -161 0 | |
401 | -160 -161 0 | |
402 | 152 -161 162 0 | |
403 | -152 -162 0 | |
404 | 161 -162 0 | |
405 | -141 -162 163 0 | |
406 | 141 -163 0 | |
407 | 162 -163 0 | |
408 | 60 -163 164 0 | |
409 | -60 -164 0 | |
410 | 163 -164 0 | |
411 | -60 163 165 0 | |
412 | 60 -165 0 | |
413 | -163 -165 0 | |
414 | 164 165 166 0 | |
415 | -164 -166 0 | |
416 | -165 -166 0 | |
417 | -163 -166 167 0 | |
418 | 163 -167 0 | |
419 | 166 -167 0 | |
420 | 106 -154 168 0 | |
421 | -106 -168 0 | |
422 | 154 -168 0 | |
423 | -169 -168 170 0 | |
424 | 169 -170 0 | |
425 | 168 -170 0 | |
426 | 163 170 171 0 | |
427 | -163 -171 0 | |
428 | -170 -171 0 | |
429 | 60 -171 172 0 | |
430 | -60 -172 0 | |
431 | 171 -172 0 | |
432 | 167 172 173 0 | |
433 | -167 -173 0 | |
434 | -172 -173 0 | |
435 | -60 67 174 0 | |
436 | 60 -174 0 | |
437 | -67 -174 0 | |
438 | 60 -67 175 0 | |
439 | -60 -175 0 | |
440 | 67 -175 0 | |
441 | 174 175 176 0 | |
442 | -174 -176 0 | |
443 | -175 -176 0 | |
444 | -163 -176 177 0 | |
445 | 163 -177 0 | |
446 | 176 -177 0 | |
447 | 170 177 178 0 | |
448 | -170 -178 0 | |
449 | -177 -178 0 | |
450 | 67 -171 179 0 | |
451 | -67 -179 0 | |
452 | 171 -179 0 | |
453 | -178 179 180 0 | |
454 | 178 -180 0 | |
455 | -179 -180 0 | |
456 | -68 -171 181 0 | |
457 | 68 -181 0 | |
458 | 171 -181 0 | |
459 | 182 -170 183 0 | |
460 | -182 -183 0 | |
461 | 170 -183 0 | |
462 | 130 132 184 0 | |
463 | -130 -184 0 | |
464 | -132 -184 0 | |
465 | -74 -184 185 0 | |
466 | 74 -185 0 | |
467 | 184 -185 0 | |
468 | 170 185 186 0 | |
469 | -170 -186 0 | |
470 | -185 -186 0 | |
471 | 183 186 187 0 | |
472 | -183 -187 0 | |
473 | -186 -187 0 | |
474 | 188 -170 189 0 | |
475 | -188 -189 0 | |
476 | 170 -189 0 | |
477 | -79 -184 190 0 | |
478 | 79 -190 0 | |
479 | 184 -190 0 | |
480 | 170 190 191 0 | |
481 | -170 -191 0 | |
482 | -190 -191 0 | |
483 | 189 191 192 0 | |
484 | -189 -192 0 | |
485 | -191 -192 0 | |
486 | 193 -170 194 0 | |
487 | -193 -194 0 | |
488 | 170 -194 0 | |
489 | -84 -184 195 0 | |
490 | 84 -195 0 | |
491 | 184 -195 0 | |
492 | 170 195 196 0 | |
493 | -170 -196 0 | |
494 | -195 -196 0 | |
495 | 194 196 197 0 | |
496 | -194 -197 0 | |
497 | -196 -197 0 | |
498 | 198 -137 199 0 | |
499 | -198 -199 0 | |
500 | 137 -199 0 | |
501 | -89 -184 200 0 | |
502 | 89 -200 0 | |
503 | 184 -200 0 | |
504 | 137 200 201 0 | |
505 | -137 -201 0 | |
506 | -200 -201 0 | |
507 | 199 201 202 0 | |
508 | -199 -202 0 | |
509 | -201 -202 0 | |
510 | 203 -137 204 0 | |
511 | -203 -204 0 | |
512 | 137 -204 0 | |
513 | -94 -184 205 0 | |
514 | 94 -205 0 | |
515 | 184 -205 0 | |
516 | 137 205 206 0 | |
517 | -137 -206 0 | |
518 | -205 -206 0 | |
519 | 204 206 207 0 | |
520 | -204 -207 0 | |
521 | -206 -207 0 | |
522 | 208 -137 209 0 | |
523 | -208 -209 0 | |
524 | 137 -209 0 | |
525 | -99 -184 210 0 | |
526 | 99 -210 0 | |
527 | 184 -210 0 | |
528 | 137 210 211 0 | |
529 | -137 -211 0 | |
530 | -210 -211 0 | |
531 | 209 211 212 0 | |
532 | -209 -212 0 | |
533 | -211 -212 0 | |
534 | 136 -133 213 0 | |
535 | -136 -213 0 | |
536 | 133 -213 0 | |
537 | -141 152 214 0 | |
538 | 141 -214 0 | |
539 | -152 -214 0 | |
540 | -106 130 215 0 | |
541 | 106 -215 0 | |
542 | -130 -215 0 | |
543 | 141 215 216 0 | |
544 | -141 -216 0 | |
545 | -215 -216 0 | |
546 | 214 216 217 0 | |
547 | -214 -217 0 | |
548 | -216 -217 0 | |
549 | 133 217 218 0 | |
550 | -133 -218 0 | |
551 | -217 -218 0 | |
552 | 213 218 219 0 | |
553 | -213 -219 0 | |
554 | -218 -219 0 | |
555 | 136 -134 220 0 | |
556 | -136 -220 0 | |
557 | 134 -220 0 | |
558 | -133 220 221 0 | |
559 | 133 -221 0 | |
560 | -220 -221 0 | |
561 | 152 161 222 0 | |
562 | -152 -222 0 | |
563 | -161 -222 0 | |
564 | -141 222 223 0 | |
565 | 141 -223 0 | |
566 | -222 -223 0 | |
567 | -115 128 224 0 | |
568 | 115 -224 0 | |
569 | -128 -224 0 | |
570 | 132 -224 225 0 | |
571 | -132 -225 0 | |
572 | 224 -225 0 | |
573 | 223 -225 226 0 | |
574 | -223 -226 0 | |
575 | 225 -226 0 | |
576 | 133 226 227 0 | |
577 | -133 -227 0 | |
578 | -226 -227 0 | |
579 | 221 227 228 0 | |
580 | -221 -228 0 | |
581 | -227 -228 0 | |
582 | 169 -168 229 0 | |
583 | -169 -229 0 | |
584 | 168 -229 0 | |
585 | 126 128 230 0 | |
586 | -126 -230 0 | |
587 | -128 -230 0 | |
588 | 130 230 231 0 | |
589 | -130 -231 0 | |
590 | -230 -231 0 | |
591 | 155 231 232 0 | |
592 | -155 -232 0 | |
593 | -231 -232 0 | |
594 | 158 232 233 0 | |
595 | -158 -233 0 | |
596 | -232 -233 0 | |
597 | 132 -233 234 0 | |
598 | -132 -234 0 | |
599 | 233 -234 0 | |
600 | 141 234 235 0 | |
601 | -141 -235 0 | |
602 | -234 -235 0 | |
603 | 153 235 236 0 | |
604 | -153 -236 0 | |
605 | -235 -236 0 | |
606 | 137 -236 237 0 | |
607 | -137 -237 0 | |
608 | 236 -237 0 | |
609 | 168 237 238 0 | |
610 | -168 -238 0 | |
611 | -237 -238 0 | |
612 | 229 238 239 0 | |
613 | -229 -239 0 | |
614 | -238 -239 0 | |
615 | -30 -29 240 0 | |
616 | 30 -240 0 | |
617 | 29 -240 0 | |
618 | -31 240 241 0 | |
619 | 31 -241 0 | |
620 | -240 -241 0 | |
621 | 30 -29 242 0 | |
622 | -30 -242 0 | |
623 | 29 -242 0 | |
624 | 31 242 243 0 | |
625 | -31 -243 0 | |
626 | -242 -243 0 | |
627 | 241 243 244 0 | |
628 | -241 -244 0 | |
629 | -243 -244 0 | |
630 | -20 -244 245 0 | |
631 | 20 -245 0 | |
632 | 244 -245 0 | |
633 | -21 245 246 0 | |
634 | 21 -246 0 | |
635 | -245 -246 0 | |
636 | 20 -244 247 0 | |
637 | -20 -247 0 | |
638 | 244 -247 0 | |
639 | 21 247 248 0 | |
640 | -21 -248 0 | |
641 | -247 -248 0 | |
642 | 246 248 249 0 | |
643 | -246 -249 0 | |
644 | -248 -249 0 | |
645 | 5 249 250 0 | |
646 | -5 -250 0 | |
647 | -249 -250 0 | |
648 | -2 -250 251 0 | |
649 | 2 -251 0 | |
650 | 250 -251 0 | |
651 | -25 -26 252 0 | |
652 | 25 -252 0 | |
653 | 26 -252 0 | |
654 | 30 -252 253 0 | |
655 | -30 -253 0 | |
656 | 252 -253 0 | |
657 | 31 253 254 0 | |
658 | -31 -254 0 | |
659 | -253 -254 0 | |
660 | 241 254 255 0 | |
661 | -241 -255 0 | |
662 | -254 -255 0 | |
663 | 20 -255 256 0 | |
664 | -20 -256 0 | |
665 | 255 -256 0 | |
666 | 21 256 257 0 | |
667 | -21 -257 0 | |
668 | -256 -257 0 | |
669 | 246 257 258 0 | |
670 | -246 -258 0 | |
671 | -257 -258 0 | |
672 | 5 -258 259 0 | |
673 | -5 -259 0 | |
674 | 258 -259 0 | |
675 | 2 259 260 0 | |
676 | -2 -260 0 | |
677 | -259 -260 0 | |
678 | 251 260 261 0 | |
679 | -251 -261 0 | |
680 | -260 -261 0 | |
681 | -3 261 262 0 | |
682 | 3 -262 0 | |
683 | -261 -262 0 | |
684 | 5 -2 263 0 | |
685 | -5 -263 0 | |
686 | 2 -263 0 | |
687 | 25 26 264 0 | |
688 | -25 -264 0 | |
689 | -26 -264 0 | |
690 | -31 -240 265 0 | |
691 | 31 -265 0 | |
692 | 240 -265 0 | |
693 | 31 -242 266 0 | |
694 | -31 -266 0 | |
695 | 242 -266 0 | |
696 | 265 266 267 0 | |
697 | -265 -267 0 | |
698 | -266 -267 0 | |
699 | -20 267 268 0 | |
700 | 20 -268 0 | |
701 | -267 -268 0 | |
702 | -21 -268 269 0 | |
703 | 21 -269 0 | |
704 | 268 -269 0 | |
705 | 20 267 270 0 | |
706 | -20 -270 0 | |
707 | -267 -270 0 | |
708 | 21 -270 271 0 | |
709 | -21 -271 0 | |
710 | 270 -271 0 | |
711 | 269 271 272 0 | |
712 | -269 -272 0 | |
713 | -271 -272 0 | |
714 | -5 272 273 0 | |
715 | 5 -273 0 | |
716 | -272 -273 0 | |
717 | 30 -264 274 0 | |
718 | -30 -274 0 | |
719 | 264 -274 0 | |
720 | 31 -274 275 0 | |
721 | -31 -275 0 | |
722 | 274 -275 0 | |
723 | 20 -275 276 0 | |
724 | -20 -276 0 | |
725 | 275 -276 0 | |
726 | 21 -276 277 0 | |
727 | -21 -277 0 | |
728 | 276 -277 0 | |
729 | 5 -277 278 0 | |
730 | -5 -278 0 | |
731 | 277 -278 0 | |
732 | 273 278 279 0 | |
733 | -273 -279 0 | |
734 | -278 -279 0 | |
735 | 2 279 280 0 | |
736 | -2 -280 0 | |
737 | -279 -280 0 | |
738 | 263 280 281 0 | |
739 | -263 -281 0 | |
740 | -280 -281 0 | |
741 | 3 281 282 0 | |
742 | -3 -282 0 | |
743 | -281 -282 0 | |
744 | 262 282 283 0 | |
745 | -262 -283 0 | |
746 | -282 -283 0 | |
747 | -5 2 284 0 | |
748 | 5 -284 0 | |
749 | -2 -284 0 | |
750 | 263 284 285 0 | |
751 | -263 -285 0 | |
752 | -284 -285 0 | |
753 | -3 285 286 0 | |
754 | 3 -286 0 | |
755 | -285 -286 0 | |
756 | 106 -115 287 0 | |
757 | -106 -287 0 | |
758 | 115 -287 0 | |
759 | -106 115 288 0 | |
760 | 106 -288 0 | |
761 | -115 -288 0 | |
762 | 287 288 289 0 | |
763 | -287 -289 0 | |
764 | -288 -289 0 | |
765 | -126 289 290 0 | |
766 | 126 -290 0 | |
767 | -289 -290 0 | |
768 | 286 290 291 0 | |
769 | -286 -291 0 | |
770 | -290 -291 0 | |
771 | 283 -291 292 0 | |
772 | -283 -292 0 | |
773 | 291 -292 0 | |
774 | -293 -56 294 0 | |
775 | 293 -294 0 | |
776 | 56 -294 0 | |
777 | 293 56 295 0 | |
778 | -293 -295 0 | |
779 | -56 -295 0 | |
780 | 296 12 297 0 | |
781 | -296 -297 0 | |
782 | -12 -297 0 | |
783 | -296 -12 298 0 | |
784 | 296 -298 0 | |
785 | 12 -298 0 | |
786 | -299 -41 300 0 | |
787 | 299 -300 0 | |
788 | 41 -300 0 | |
789 | 299 41 301 0 | |
790 | -299 -301 0 | |
791 | -41 -301 0 | |
792 | -302 139 303 0 | |
793 | 302 -303 0 | |
794 | -139 -303 0 | |
795 | 302 -139 304 0 | |
796 | -302 -304 0 | |
797 | 139 -304 0 | |
798 | 303 304 305 0 | |
799 | -303 -305 0 | |
800 | -304 -305 0 | |
801 | 299 -157 306 0 | |
802 | -299 -306 0 | |
803 | 157 -306 0 | |
804 | -299 157 307 0 | |
805 | 299 -307 0 | |
806 | -157 -307 0 | |
807 | 306 307 308 0 | |
808 | -306 -308 0 | |
809 | -307 -308 0 | |
810 | 305 -308 309 0 | |
811 | -305 -309 0 | |
812 | 308 -309 0 | |
813 | 296 -134 310 0 | |
814 | -296 -310 0 | |
815 | 134 -310 0 | |
816 | -296 134 311 0 | |
817 | 296 -311 0 | |
818 | -134 -311 0 | |
819 | 310 311 312 0 | |
820 | -310 -312 0 | |
821 | -311 -312 0 | |
822 | -309 -312 313 0 | |
823 | 309 -313 0 | |
824 | 312 -313 0 | |
825 | -314 159 315 0 | |
826 | 314 -315 0 | |
827 | -159 -315 0 | |
828 | 314 -159 316 0 | |
829 | -314 -316 0 | |
830 | 159 -316 0 | |
831 | 315 316 317 0 | |
832 | -315 -317 0 | |
833 | -316 -317 0 | |
834 | -313 317 318 0 | |
835 | 313 -318 0 | |
836 | -317 -318 0 | |
837 | 319 -318 320 0 | |
838 | -319 -320 0 | |
839 | 318 -320 0 | |
840 | 321 -136 322 0 | |
841 | -321 -322 0 | |
842 | 136 -322 0 | |
843 | -321 136 323 0 | |
844 | 321 -323 0 | |
845 | -136 -323 0 | |
846 | 322 323 324 0 | |
847 | -322 -324 0 | |
848 | -323 -324 0 | |
849 | -320 -324 325 0 | |
850 | 320 -325 0 | |
851 | 324 -325 0 | |
852 | 293 -169 326 0 | |
853 | -293 -326 0 | |
854 | 169 -326 0 | |
855 | -293 169 327 0 | |
856 | 293 -327 0 | |
857 | -169 -327 0 | |
858 | 326 327 328 0 | |
859 | -326 -328 0 | |
860 | -327 -328 0 | |
861 | -325 -328 329 0 | |
862 | 325 -329 0 | |
863 | 328 -329 0 | |
864 | 44 -173 330 0 | |
865 | -44 -330 0 | |
866 | 173 -330 0 | |
867 | -44 173 331 0 | |
868 | 44 -331 0 | |
869 | -173 -331 0 | |
870 | 330 331 332 0 | |
871 | -330 -332 0 | |
872 | -331 -332 0 | |
873 | -329 -332 333 0 | |
874 | 329 -333 0 | |
875 | 332 -333 0 | |
876 | 45 -180 334 0 | |
877 | -45 -334 0 | |
878 | 180 -334 0 | |
879 | -45 180 335 0 | |
880 | 45 -335 0 | |
881 | -180 -335 0 | |
882 | 334 335 336 0 | |
883 | -334 -336 0 | |
884 | -335 -336 0 | |
885 | -333 -336 337 0 | |
886 | 333 -337 0 | |
887 | 336 -337 0 | |
888 | 47 -181 338 0 | |
889 | -47 -338 0 | |
890 | 181 -338 0 | |
891 | -47 181 339 0 | |
892 | 47 -339 0 | |
893 | -181 -339 0 | |
894 | 338 339 340 0 | |
895 | -338 -340 0 | |
896 | -339 -340 0 | |
897 | -337 -340 341 0 | |
898 | 337 -341 0 | |
899 | 340 -341 0 | |
900 | 30 -187 342 0 | |
901 | -30 -342 0 | |
902 | 187 -342 0 | |
903 | -30 187 343 0 | |
904 | 30 -343 0 | |
905 | -187 -343 0 | |
906 | 342 343 344 0 | |
907 | -342 -344 0 | |
908 | -343 -344 0 | |
909 | -341 -344 345 0 | |
910 | 341 -345 0 | |
911 | 344 -345 0 | |
912 | 25 -192 346 0 | |
913 | -25 -346 0 | |
914 | 192 -346 0 | |
915 | -25 192 347 0 | |
916 | 25 -347 0 | |
917 | -192 -347 0 | |
918 | 346 347 348 0 | |
919 | -346 -348 0 | |
920 | -347 -348 0 | |
921 | -345 -348 349 0 | |
922 | 345 -349 0 | |
923 | 348 -349 0 | |
924 | 20 -197 350 0 | |
925 | -20 -350 0 | |
926 | 197 -350 0 | |
927 | -20 197 351 0 | |
928 | 20 -351 0 | |
929 | -197 -351 0 | |
930 | 350 351 352 0 | |
931 | -350 -352 0 | |
932 | -351 -352 0 | |
933 | -349 -352 353 0 | |
934 | 349 -353 0 | |
935 | 352 -353 0 | |
936 | 31 -202 354 0 | |
937 | -31 -354 0 | |
938 | 202 -354 0 | |
939 | -31 202 355 0 | |
940 | 31 -355 0 | |
941 | -202 -355 0 | |
942 | 354 355 356 0 | |
943 | -354 -356 0 | |
944 | -355 -356 0 | |
945 | -353 -356 357 0 | |
946 | 353 -357 0 | |
947 | 356 -357 0 | |
948 | 26 -207 358 0 | |
949 | -26 -358 0 | |
950 | 207 -358 0 | |
951 | -26 207 359 0 | |
952 | 26 -359 0 | |
953 | -207 -359 0 | |
954 | 358 359 360 0 | |
955 | -358 -360 0 | |
956 | -359 -360 0 | |
957 | -357 -360 361 0 | |
958 | 357 -361 0 | |
959 | 360 -361 0 | |
960 | 21 -212 362 0 | |
961 | -21 -362 0 | |
962 | 212 -362 0 | |
963 | -21 212 363 0 | |
964 | 21 -363 0 | |
965 | -212 -363 0 | |
966 | 362 363 364 0 | |
967 | -362 -364 0 | |
968 | -363 -364 0 | |
969 | -361 -364 365 0 | |
970 | 361 -365 0 | |
971 | 364 -365 0 | |
972 | 5 -219 366 0 | |
973 | -5 -366 0 | |
974 | 219 -366 0 | |
975 | -5 219 367 0 | |
976 | 5 -367 0 | |
977 | -219 -367 0 | |
978 | 366 367 368 0 | |
979 | -366 -368 0 | |
980 | -367 -368 0 | |
981 | -365 -368 369 0 | |
982 | 365 -369 0 | |
983 | 368 -369 0 | |
984 | 2 -228 370 0 | |
985 | -2 -370 0 | |
986 | 228 -370 0 | |
987 | -2 228 371 0 | |
988 | 2 -371 0 | |
989 | -228 -371 0 | |
990 | 370 371 372 0 | |
991 | -370 -372 0 | |
992 | -371 -372 0 | |
993 | -369 -372 373 0 | |
994 | 369 -373 0 | |
995 | 372 -373 0 | |
996 | 3 -239 374 0 | |
997 | -3 -374 0 | |
998 | 239 -374 0 | |
999 | -3 239 375 0 | |
1000 | 3 -375 0 | |
1001 | -239 -375 0 | |
1002 | 374 375 376 0 | |
1003 | -374 -376 0 | |
1004 | -375 -376 0 | |
1005 | -373 -376 377 0 | |
1006 | 373 -377 0 | |
1007 | 376 -377 0 | |
1008 | 292 -377 378 0 | |
1009 | -292 -378 0 | |
1010 | 377 -378 0 | |
1011 | 294 -378 379 0 | |
1012 | -294 -379 0 | |
1013 | 378 -379 0 | |
1014 | 295 -379 380 0 | |
1015 | -295 -380 0 | |
1016 | 379 -380 0 | |
1017 | 297 -380 381 0 | |
1018 | -297 -381 0 | |
1019 | 380 -381 0 | |
1020 | 298 -381 382 0 | |
1021 | -298 -382 0 | |
1022 | 381 -382 0 | |
1023 | 300 -382 383 0 | |
1024 | -300 -383 0 | |
1025 | 382 -383 0 | |
1026 | 301 -383 384 0 | |
1027 | -301 -384 0 | |
1028 | 383 -384 0 | |
1029 | 302 -299 385 0 | |
1030 | -302 -385 0 | |
1031 | 299 -385 0 | |
1032 | 296 -385 386 0 | |
1033 | -296 -386 0 | |
1034 | 385 -386 0 | |
1035 | 314 -386 387 0 | |
1036 | -314 -387 0 | |
1037 | 386 -387 0 | |
1038 | 319 -387 388 0 | |
1039 | -319 -388 0 | |
1040 | 387 -388 0 | |
1041 | -321 -388 389 0 | |
1042 | 321 -389 0 | |
1043 | 388 -389 0 | |
1044 | 293 -389 390 0 | |
1045 | -293 -390 0 | |
1046 | 389 -390 0 | |
1047 | 44 -390 391 0 | |
1048 | -44 -391 0 | |
1049 | 390 -391 0 | |
1050 | 45 -391 392 0 | |
1051 | -45 -392 0 | |
1052 | 391 -392 0 | |
1053 | 47 -392 393 0 | |
1054 | -47 -393 0 | |
1055 | 392 -393 0 | |
1056 | -30 -393 394 0 | |
1057 | 30 -394 0 | |
1058 | 393 -394 0 | |
1059 | 25 -394 395 0 | |
1060 | -25 -395 0 | |
1061 | 394 -395 0 | |
1062 | -20 -395 396 0 | |
1063 | 20 -396 0 | |
1064 | 395 -396 0 | |
1065 | -31 -396 397 0 | |
1066 | 31 -397 0 | |
1067 | 396 -397 0 | |
1068 | 26 -397 398 0 | |
1069 | -26 -398 0 | |
1070 | 397 -398 0 | |
1071 | -21 -398 399 0 | |
1072 | 21 -399 0 | |
1073 | 398 -399 0 | |
1074 | -5 -399 400 0 | |
1075 | 5 -400 0 | |
1076 | 399 -400 0 | |
1077 | 2 -400 401 0 | |
1078 | -2 -401 0 | |
1079 | 400 -401 0 | |
1080 | -3 -401 402 0 | |
1081 | 3 -402 0 | |
1082 | 401 -402 0 | |
1083 | -17 -402 403 0 | |
1084 | 17 -403 0 | |
1085 | 402 -403 0 | |
1086 | 41 -403 404 0 | |
1087 | -41 -404 0 | |
1088 | 403 -404 0 | |
1089 | -12 -404 405 0 | |
1090 | 12 -405 0 | |
1091 | 404 -405 0 | |
1092 | -43 -405 406 0 | |
1093 | 43 -406 0 | |
1094 | 405 -406 0 | |
1095 | -14 -406 407 0 | |
1096 | 14 -407 0 | |
1097 | 406 -407 0 | |
1098 | -56 -407 408 0 | |
1099 | 56 -408 0 | |
1100 | 407 -408 0 | |
1101 | 60 -408 409 0 | |
1102 | -60 -409 0 | |
1103 | 408 -409 0 | |
1104 | 67 -409 410 0 | |
1105 | -67 -410 0 | |
1106 | 409 -410 0 | |
1107 | 68 -410 411 0 | |
1108 | -68 -411 0 | |
1109 | 410 -411 0 | |
1110 | -74 -411 412 0 | |
1111 | 74 -412 0 | |
1112 | 411 -412 0 | |
1113 | 79 -412 413 0 | |
1114 | -79 -413 0 | |
1115 | 412 -413 0 | |
1116 | -84 -413 414 0 | |
1117 | 84 -414 0 | |
1118 | 413 -414 0 | |
1119 | -89 -414 415 0 | |
1120 | 89 -415 0 | |
1121 | 414 -415 0 | |
1122 | 94 -415 416 0 | |
1123 | -94 -416 0 | |
1124 | 415 -416 0 | |
1125 | -99 -416 417 0 | |
1126 | 99 -417 0 | |
1127 | 416 -417 0 | |
1128 | -106 -417 418 0 | |
1129 | 106 -418 0 | |
1130 | 417 -418 0 | |
1131 | 115 -418 419 0 | |
1132 | -115 -419 0 | |
1133 | 418 -419 0 | |
1134 | -126 -419 420 0 | |
1135 | 126 -420 0 | |
1136 | 419 -420 0 | |
1137 | -384 420 1 0 | |
1138 | 384 -1 0 | |
1139 | -420 -1 0 |
Note: See TracBrowser
for help on using the repository browser.