FICO Xpress Optimization Examples Repository: MIP start solutions and subtour elimination algorithm for the traveling salesman problem (TSP)

This example shows how to construct and load solutions for the MIP branch-and-bound search. The model version f5touroptcbrandom.mos shows how to add subtour elimination constraints via solver callbacks during the MIP Branch-and-bound search.

Model f5touroptcbrandom.mos: several heuristic start solutions are loaded into a MIP model for solving symmetric TSP via subtour elimination constraints that are added during the MIP Branch-and-bound search using the cut management functionality of Xpress Optimizer in the OPTNODE callback. The initial MIP problem statement is incomplete, all symmetry or dominance related features therefore need to be disabled and the PREINTSOL callback is used to reject any heuristic solutions that contain subtours.
Model f5tour3.mos: a CP model generates a start solution that is loaded into the Optimizer before the MIP Branch-and-bound search. With the model parameter ALG set to 2 the CP search uses the (rounded) solution values of the LP relaxation as initial target values for its search.
Model f5tour4.mos: a CP model is run at the nodes of the Branch-and-bound tree using the current LP relaxation solution as input. If a solution is found, it is loaded into the Optimizer for exploitation by the MIP heuristics.

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