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