source:
vis_dev/sharpSAT/test
Last change on this file was 9, checked in by , 13 years ago | |
---|---|
File size: 15.7 KB |
Line | |
---|---|
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.