![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
source:
vis_dev/sharpSAT/test
@
54
| Last change on this file since 54 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.
