# DA Network set N := 0 5 10 15 20 25 30 35 40 45 50 55 60 65 1 6 11 16 21 26 31 36 41 46 51 56 61 66 2 7 12 17 22 27 32 37 42 47 52 57 62 67 3 8 13 18 23 28 33 38 43 48 53 58 63 4 9 14 19 24 29 34 39 44 49 54 59 64; set E := 1 10 19 28 37 46 55 64 73 82 91 100 2 11 20 29 38 47 56 65 74 83 92 101 3 12 21 30 39 48 57 66 75 84 93 102 4 13 22 31 40 49 58 67 76 85 94 103 5 14 23 32 41 50 59 68 77 86 95 104 6 15 24 33 42 51 60 69 78 87 96 105 7 16 25 34 43 52 61 70 79 88 97 106 8 17 26 35 44 53 62 71 80 89 98 107 9 18 27 36 45 54 63 72 81 90 99; set D := (0,7) (3,6) (8,31) (13,40) (20,36) (28,36) (36,51) (49,58) (0,14) (3,16) (8,48) (13,61) (20,50) (28,42) (36,57) (49,64) (0,22) (3,21) (9,10) (13,66) (20,54) (28,56) (37,54) (50,57) (0,30) (3,39) (9,17) (14,26) (20,61) (29,62) (37,66) (50,59) (0,31) (4,26) (9,21) (14,30) (21,41) (30,36) (38,49) (50,60) (0,47) (4,40) (9,22) (14,34) (21,66) (30,51) (38,50) (51,57) (0,51) (4,50) (9,23) (15,26) (22,23) (30,66) (38,58) (51,59) (0,54) (4,56) (9,32) (15,46) (22,46) (31,33) (38,66) (52,61) (1,11) (4,58) (9,34) (15,60) (22,54) (31,35) (39,43) (53,56) (1,13) (5,10) (9,41) (16,49) (23,27) (31,56) (39,44) (53,61) (1,15) (5,25) (9,42) (16,54) (23,38) (31,58) (39,45) (53,62) (1,16) (5,46) (10,24) (17,36) (23,45) (32,39) (39,49) (54,57) (1,20) (5,56) (11,30) (17,37) (24,64) (32,44) (40,42) (55,57) (1,21) (6,8) (11,36) (17,45) (25,29) (32,58) (40,51) (55,59) (1,29) (6,12) (11,39) (17,52) (25,37) (33,34) (41,50) (56,63) (1,30) (6,23) (11,54) (17,58) (25,65) (33,48) (41,54) (56,67) (1,34) (6,24) (12,24) (18,43) (26,28) (34,49) (41,62) (57,59) (1,65) (6,41) (12,30) (18,53) (26,37) (34,53) (43,51) (58,66) (2,7) (6,53) (12,35) (19,36) (26,48) (34,57) (44,45) (59,61) (2,10) (7,11) (12,36) (19,41) (26,57) (34,59) (44,47) (60,64) (2,13) (7,45) (12,41) (19,47) (26,65) (34,66) (44,54) (61,66) (2,16) (7,48) (12,44) (19,63) (26,66) (35,36) (46,67) (62,65) (2,32) (7,52) (12,45) (20,25) (27,33) (35,42) (47,49) (64,66) (2,33) (7,65) (12,54) (20,27) (27,35) (35,44) (47,55) (64,67) (2,42) (8,9) (13,27) (20,28) (28,29) (36,47) (47,59) (65,66); set Adj[0] := 1 2 26 43; set Adj[1] := 1 11 22 32 37; set Adj[2] := 6 12 18; set Adj[3] := 2 10 58; set Adj[4] := 3 5 29 69; set Adj[5] := 13 62; set Adj[6] := 34 63; set Adj[7] := 3 92; set Adj[8] := 4 9 14 27 35; set Adj[9] := 4 17 30 50 84 106; set Adj[10] := 5 7 15 71 89; set Adj[11] := 23 67 77; set Adj[12] := 85 87; set Adj[13] := 6 8 99; set Adj[14] := 7 8 19 24; set Adj[15] := 9 16 51 90; set Adj[16] := 10 94; set Adj[17] := 11 59 95; set Adj[18] := 12 20 33; set Adj[19] := 13 102; set Adj[20] := 14 15 16 21; set Adj[21] := 17 36 38; set Adj[22] := 18 19 20 21 28; set Adj[23] := 22 31 44; set Adj[24] := 23 25 61 68; set Adj[25] := 24 25 72 100; set Adj[26] := 26 27 28 39; set Adj[27] := 29 30 52; set Adj[28] := 31 82; set Adj[29] := 45 54; set Adj[30] := 32 33; set Adj[31] := 41 47; set Adj[32] := 34 35 36 53 107; set Adj[33] := 37 38 39; set Adj[34] := 40 42 86 96 103; set Adj[35] := 41 42 64 104; set Adj[36] := 43 44 83; set Adj[37] := 45 88; set Adj[38] := 75 78; set Adj[39] := 46 49 57; set Adj[40] := 47 48 55; set Adj[41] := 40 48 49; set Adj[42] := 50 51 52; set Adj[43] := 66 70; set Adj[44] := 53 56; set Adj[45] := 54 65; set Adj[46] := 55 56 97; set Adj[47] := 57 98; set Adj[48] := 46 60; set Adj[49] := 58 59 60; set Adj[50] := 61 79 101; set Adj[51] := 62 63 64 65 105; set Adj[52] := 66 73 76 80; set Adj[53] := 67 68; set Adj[54] := 69 70 74 93; set Adj[55] := 71 72 73 74 91; set Adj[56] := 75 76; set Adj[57] := 77 78 81; set Adj[58] := 79 80 81; set Adj[59] := 82 83; set Adj[60] := 84 85 86; set Adj[61] := 87 88; set Adj[62] := 89 90 91; set Adj[63] := 92 93; set Adj[64] := 94 95 96 97 98; set Adj[65] := 99 100 101; set Adj[66] := 102 103 104 105; set Adj[67] := 106 107; set P := 1 63 125 187 249 311 373 435 497 559 621 683 745 2 64 126 188 250 312 374 436 498 560 622 684 746 3 65 127 189 251 313 375 437 499 561 623 685 747 4 66 128 190 252 314 376 438 500 562 624 686 748 5 67 129 191 253 315 377 439 501 563 625 687 749 6 68 130 192 254 316 378 440 502 564 626 688 750 7 69 131 193 255 317 379 441 503 565 627 689 751 8 70 132 194 256 318 380 442 504 566 628 690 752 9 71 133 195 257 319 381 443 505 567 629 691 753 10 72 134 196 258 320 382 444 506 568 630 692 754 11 73 135 197 259 321 383 445 507 569 631 693 755 12 74 136 198 260 322 384 446 508 570 632 694 756 13 75 137 199 261 323 385 447 509 571 633 695 757 14 76 138 200 262 324 386 448 510 572 634 696 758 15 77 139 201 263 325 387 449 511 573 635 697 759 16 78 140 202 264 326 388 450 512 574 636 698 760 17 79 141 203 265 327 389 451 513 575 637 699 761 18 80 142 204 266 328 390 452 514 576 638 700 762 19 81 143 205 267 329 391 453 515 577 639 701 763 20 82 144 206 268 330 392 454 516 578 640 702 764 21 83 145 207 269 331 393 455 517 579 641 703 765 22 84 146 208 270 332 394 456 518 580 642 704 766 23 85 147 209 271 333 395 457 519 581 643 705 767 24 86 148 210 272 334 396 458 520 582 644 706 768 25 87 149 211 273 335 397 459 521 583 645 707 769 26 88 150 212 274 336 398 460 522 584 646 708 770 27 89 151 213 275 337 399 461 523 585 647 709 771 28 90 152 214 276 338 400 462 524 586 648 710 772 29 91 153 215 277 339 401 463 525 587 649 711 773 30 92 154 216 278 340 402 464 526 588 650 712 774 31 93 155 217 279 341 403 465 527 589 651 713 775 32 94 156 218 280 342 404 466 528 590 652 714 776 33 95 157 219 281 343 405 467 529 591 653 715 777 34 96 158 220 282 344 406 468 530 592 654 716 778 35 97 159 221 283 345 407 469 531 593 655 717 779 36 98 160 222 284 346 408 470 532 594 656 718 780 37 99 161 223 285 347 409 471 533 595 657 719 781 38 100 162 224 286 348 410 472 534 596 658 720 782 39 101 163 225 287 349 411 473 535 597 659 721 783 40 102 164 226 288 350 412 474 536 598 660 722 784 41 103 165 227 289 351 413 475 537 599 661 723 785 42 104 166 228 290 352 414 476 538 600 662 724 786 43 105 167 229 291 353 415 477 539 601 663 725 787 44 106 168 230 292 354 416 478 540 602 664 726 788 45 107 169 231 293 355 417 479 541 603 665 727 789 46 108 170 232 294 356 418 480 542 604 666 728 790 47 109 171 233 295 357 419 481 543 605 667 729 791 48 110 172 234 296 358 420 482 544 606 668 730 792 49 111 173 235 297 359 421 483 545 607 669 731 793 50 112 174 236 298 360 422 484 546 608 670 732 794 51 113 175 237 299 361 423 485 547 609 671 733 795 52 114 176 238 300 362 424 486 548 610 672 734 796 53 115 177 239 301 363 425 487 549 611 673 735 797 54 116 178 240 302 364 426 488 550 612 674 736 798 55 117 179 241 303 365 427 489 551 613 675 737 799 56 118 180 242 304 366 428 490 552 614 676 738 800 57 119 181 243 305 367 429 491 553 615 677 739 58 120 182 244 306 368 430 492 554 616 678 740 59 121 183 245 307 369 431 493 555 617 679 741 60 122 184 246 308 370 432 494 556 618 680 742 61 123 185 247 309 371 433 495 557 619 681 743 62 124 186 248 310 372 434 496 558 620 682 744; set J[0,7] := 1 2 3 4; set J[0,14] := 5 6 7 8; set J[0,22] := 9 10 11 12; set J[0,30] := 13 14 15 16; set J[0,31] := 17 18 19 20; set J[0,47] := 21 22 23 24; set J[0,51] := 25 26 27 28; set J[0,54] := 29 30 31 32; set J[1,11] := 33 34 35 36; set J[1,13] := 37 38 39 40; set J[1,15] := 41 42 43 44; set J[1,16] := 45 46 47 48; set J[1,20] := 49 50 51 52; set J[1,21] := 53 54 55 56; set J[1,29] := 57 58 59 60; set J[1,30] := 61 62 63 64; set J[1,34] := 65 66 67 68; set J[1,65] := 69 70 71 72; set J[2,7] := 73 74 75 76; set J[2,10] := 77 78 79 80; set J[2,13] := 81 82 83 84; set J[2,16] := 85 86 87 88; set J[2,32] := 89 90 91 92; set J[2,33] := 93 94 95 96; set J[2,42] := 97 98 99 100; set J[3,6] := 101 102 103 104; set J[3,16] := 105 106 107 108; set J[3,21] := 109 110 111 112; set J[3,39] := 113 114 115 116; set J[4,26] := 117 118 119 120; set J[4,40] := 121 122 123 124; set J[4,50] := 125 126 127 128; set J[4,56] := 129 130 131 132; set J[4,58] := 133 134 135 136; set J[5,10] := 137 138 139 140; set J[5,25] := 141 142 143 144; set J[5,46] := 145 146 147 148; set J[5,56] := 149 150 151 152; set J[6,8] := 153 154 155 156; set J[6,12] := 157 158 159 160; set J[6,23] := 161 162 163 164; set J[6,24] := 165 166 167 168; set J[6,41] := 169 170 171 172; set J[6,53] := 173 174 175 176; set J[7,11] := 177 178 179 180; set J[7,45] := 181 182 183 184; set J[7,48] := 185 186 187 188; set J[7,52] := 189 190 191 192; set J[7,65] := 193 194 195 196; set J[8,9] := 197 198 199 200; set J[8,31] := 201 202 203 204; set J[8,48] := 205 206 207 208; set J[9,10] := 209 210 211 212; set J[9,17] := 213 214 215 216; set J[9,21] := 217 218 219 220; set J[9,22] := 221 222 223 224; set J[9,23] := 225 226 227 228; set J[9,32] := 229 230 231 232; set J[9,34] := 233 234 235 236; set J[9,41] := 237 238 239 240; set J[9,42] := 241 242 243 244; set J[10,24] := 245 246 247 248; set J[11,30] := 249 250 251 252; set J[11,36] := 253 254 255 256; set J[11,39] := 257 258 259 260; set J[11,54] := 261 262 263 264; set J[12,24] := 265 266 267 268; set J[12,30] := 269 270 271 272; set J[12,35] := 273 274 275 276; set J[12,36] := 277 278 279 280; set J[12,41] := 281 282 283 284; set J[12,44] := 285 286 287 288; set J[12,45] := 289 290 291 292; set J[12,54] := 293 294 295 296; set J[13,27] := 297 298 299 300; set J[13,40] := 301 302 303 304; set J[13,61] := 305 306 307 308; set J[13,66] := 309 310 311 312; set J[14,26] := 313 314 315 316; set J[14,30] := 317 318 319 320; set J[14,34] := 321 322 323 324; set J[15,26] := 325 326 327 328; set J[15,46] := 329 330 331 332; set J[15,60] := 333 334 335 336; set J[16,49] := 337 338 339 340; set J[16,54] := 341 342 343 344; set J[17,36] := 345 346 347 348; set J[17,37] := 349 350 351 352; set J[17,45] := 353 354 355 356; set J[17,52] := 357 358 359 360; set J[17,58] := 361 362 363 364; set J[18,43] := 365 366 367 368; set J[18,53] := 369 370 371 372; set J[19,36] := 373 374 375 376; set J[19,41] := 377 378 379 380; set J[19,47] := 381 382 383 384; set J[19,63] := 385 386 387 388; set J[20,25] := 389 390 391 392; set J[20,27] := 393 394 395 396; set J[20,28] := 397 398 399 400; set J[20,36] := 401 402 403 404; set J[20,50] := 405 406 407 408; set J[20,54] := 409 410 411 412; set J[20,61] := 413 414 415 416; set J[21,41] := 417 418 419 420; set J[21,66] := 421 422 423 424; set J[22,23] := 425 426 427 428; set J[22,46] := 429 430 431 432; set J[22,54] := 433 434 435 436; set J[23,27] := 437 438 439 440; set J[23,38] := 441 442 443 444; set J[23,45] := 445 446 447 448; set J[24,64] := 449 450 451 452; set J[25,29] := 453 454 455 456; set J[25,37] := 457 458 459 460; set J[25,65] := 461 462 463 464; set J[26,28] := 465 466 467 468; set J[26,37] := 469 470 471 472; set J[26,48] := 473 474 475 476; set J[26,57] := 477 478 479 480; set J[26,65] := 481 482 483 484; set J[26,66] := 485 486 487 488; set J[27,33] := 489 490 491 492; set J[27,35] := 493 494 495 496; set J[28,29] := 497 498 499 500; set J[28,36] := 501 502 503 504; set J[28,42] := 505 506 507 508; set J[28,56] := 509 510 511 512; set J[29,62] := 513 514 515 516; set J[30,36] := 517 518 519 520; set J[30,51] := 521 522 523 524; set J[30,66] := 525 526 527 528; set J[31,33] := 529 530 531 532; set J[31,35] := 533 534 535 536; set J[31,56] := 537 538 539 540; set J[31,58] := 541 542 543 544; set J[32,39] := 545 546 547 548; set J[32,44] := 549 550 551 552; set J[32,58] := 553 554 555 556; set J[33,34] := 557 558 559 560; set J[33,48] := 561 562 563 564; set J[34,49] := 565 566 567 568; set J[34,53] := 569 570 571 572; set J[34,57] := 573 574 575 576; set J[34,59] := 577 578 579 580; set J[34,66] := 581 582 583 584; set J[35,36] := 585 586 587 588; set J[35,42] := 589 590 591 592; set J[35,44] := 593 594 595 596; set J[36,47] := 597 598 599 600; set J[36,51] := 601 602 603 604; set J[36,57] := 605 606 607 608; set J[37,54] := 609 610 611 612; set J[37,66] := 613 614 615 616; set J[38,49] := 617 618 619 620; set J[38,50] := 621 622 623 624; set J[38,58] := 625 626 627 628; set J[38,66] := 629 630 631 632; set J[39,43] := 633 634 635 636; set J[39,44] := 637 638 639 640; set J[39,45] := 641 642 643 644; set J[39,49] := 645 646 647 648; set J[40,42] := 649 650 651 652; set J[40,51] := 653 654 655 656; set J[41,50] := 657 658 659 660; set J[41,54] := 661 662 663 664; set J[41,62] := 665 666 667 668; set J[43,51] := 669 670 671 672; set J[44,45] := 673 674 675 676; set J[44,47] := 677 678 679 680; set J[44,54] := 681 682 683 684; set J[46,67] := 685 686 687 688; set J[47,49] := 689 690 691 692; set J[47,55] := 693 694 695 696; set J[47,59] := 697 698 699 700; set J[49,58] := 701 702 703 704; set J[49,64] := 705 706 707 708; set J[50,57] := 709 710 711 712; set J[50,59] := 713 714 715 716; set J[50,60] := 717 718 719 720; set J[51,57] := 721 722 723 724; set J[51,59] := 725 726 727 728; set J[52,61] := 729 730 731 732; set J[53,56] := 733 734 735 736; set J[53,61] := 737 738 739 740; set J[53,62] := 741 742 743 744; set J[54,57] := 745 746 747 748; set J[55,57] := 749 750 751 752; set J[55,59] := 753 754 755 756; set J[56,63] := 757 758 759 760; set J[56,67] := 761 762 763 764; set J[57,59] := 765 766 767 768; set J[58,66] := 769 770 771 772; set J[59,61] := 773 774 775 776; set J[60,64] := 777 778 779 780; set J[61,66] := 781 782 783 784; set J[62,65] := 785 786 787 788; set J[64,66] := 789 790 791 792; set J[64,67] := 793 794 795 796; set J[65,66] := 797 798 799 800; set L[1] := 1 53 107 160 238 278 335 404 515 578 639 707 779 2 55 108 175 240 280 342 418 516 580 642 730 784 3 56 139 183 243 298 343 428 534 586 644 736 794 7 58 143 184 250 300 351 431 538 587 655 746 795 8 86 144 209 252 307 365 432 550 595 656 748 798 23 102 150 210 261 313 366 466 552 596 658 755 800 39 104 151 235 263 314 372 487 561 611 660 766 40 105 157 236 265 334 402 488 565 612 687 767; set L[2] := 7 40 144 243 265 316 344 561 588 642 746 8 88 158 250 298 335 351 565 595 644 779 23 139 211 262 307 336 428 578 596 688 795 39 143 212 264 315 343 552 586 639 707; set L[3] := 1 3 13 110 112 666 668 714 716 764 2 4 109 111 665 667 713 715 762; set L[4] := 18 52 118 134 176 271 320 356 398 474 555 628 743 19 65 119 135 178 272 321 358 399 475 556 659 744 24 75 120 167 179 279 323 359 430 479 571 660 750 30 82 122 168 202 280 327 377 431 483 572 683 751 31 83 123 169 203 283 328 379 455 484 623 698 787 34 103 126 171 204 284 346 380 456 543 624 699 788 35 104 127 174 223 289 347 390 463 546 625 739 51 117 131 175 224 318 354 391 464 547 627 740; set L[5] := 2 4 12 63 109 111 338 661 663 757 760 3 11 13 64 110 112 636 662 664 758 764; set L[6] := 55 109 213 446 467 581 584 630 717 722 769 59 161 420 447 530 583 629 632 719 723 772; set L[7] := 13 109 111 161 163 216 258 531 532 760; set L[8] := 13 150 215 286 404 419 531 551 625 673 723 766 793 55 151 216 393 413 445 532 552 626 674 729 767 794 57 152 249 394 414 448 533 577 627 675 730 768 795 58 161 250 395 415 465 534 578 628 676 731 769 797 60 188 251 401 416 466 536 579 631 718 732 772 798 109 204 252 402 417 468 549 580 634 720 760 781 799 149 214 258 403 418 529 550 582 635 722 765 784 800; set L[9] := 19 74 132 184 292 366 399 475 514 572 628 664 744 31 83 135 203 347 368 424 484 516 610 654 699 751 35 123 179 234 356 380 456 486 547 612 656 735 783 67 127 182 284 359 391 464 488 556 624 663 740; set L[10] := 7 40 143 229 265 307 428 472 566 595 639 746 8 47 144 243 267 315 469 517 578 596 644 779 23 95 211 250 275 316 470 561 586 613 651 39 139 212 262 298 351 471 563 588 616 707; set L[11] := 5 140 209 263 306 350 486 535 577 640 679 777 6 141 210 266 308 352 487 536 579 641 680 778 21 142 241 267 313 413 488 549 580 643 688 780 22 158 242 268 314 414 493 550 585 673 705 793 37 172 244 276 333 415 494 551 587 674 706 794 38 189 249 297 334 416 495 562 593 675 708 796 88 190 251 299 341 426 496 563 594 676 745 137 191 252 300 342 427 533 564 637 677 747 138 192 261 305 349 485 534 567 638 678 748; set L[12] := 55 215 267 371 447 581 629 717 756 59 265 268 420 467 583 630 719 769 108 266 370 422 540 584 632 723 771; set L[13] := 113 115 165 167 217 219 269 271 504 114 116 166 168 218 220 270 272; set L[14] := 2 34 126 178 235 324 390 474 515 609 662 739 3 51 128 181 236 346 396 476 535 611 684 743 4 52 131 183 271 354 398 480 544 623 698 750 18 66 132 202 272 358 423 483 546 627 700 782 20 73 134 223 283 365 448 485 548 653 724 787 30 82 167 224 291 367 455 487 555 655 734 788 32 122 168 233 320 379 463 513 571 661 736 796; set L[15] := 2 36 79 110 114 136 216 223 338 340 531 661 4 78 84 113 124 162 221 288 339 360 636 663; set L[16] := 3 52 112 130 184 285 358 392 474 529 571 655 739 18 66 113 134 202 287 360 396 476 530 610 662 743 20 73 114 136 221 291 365 398 480 531 612 663 750 30 76 122 164 224 319 367 421 483 535 623 684 782 32 77 124 167 234 324 378 422 485 544 626 698 787 34 80 126 168 271 337 380 423 487 546 628 700 788 36 82 128 178 272 346 389 455 513 548 633 734 796 51 84 129 182 283 354 391 463 515 555 653 736; set L[17] := 1 102 276 278 323 362 429 478 542 659 681 716 101 173 277 290 325 382 432 541 602 660 682 733; set L[18] := 108 111 162 164 216 318 320 372 423 446 540 756 772 110 112 163 214 317 319 369 421 424 530 722 771; set L[19] := 21 57 152 251 402 417 468 551 625 673 724 767 794 22 58 163 252 403 418 529 552 626 674 729 768 795 23 60 204 286 404 419 533 577 627 675 730 770 797 24 111 214 393 413 445 534 578 628 676 731 771 798 53 149 215 394 414 448 536 579 631 718 732 781 799 54 150 249 395 415 465 549 580 634 720 765 784 800 56 151 250 401 416 466 550 582 635 721 766 793; set L[20] := 56 107 176 370 447 539 631 720 754 770 60 160 215 422 468 582 718 723 755 772; set L[21] := 76 112 164 286 320 379 421 448 530 627 633 724 110 162 216 319 378 380 422 529 626 628 636; set L[22] := 37 104 182 239 305 351 428 637 677 687 735 777 797 38 141 183 240 306 352 429 638 678 688 736 778 798 39 142 184 277 307 401 430 639 679 729 745 779 799 40 143 233 279 308 402 431 640 680 730 746 780 85 144 234 280 333 403 537 653 681 731 747 781 87 149 235 297 335 425 538 654 682 732 765 782 101 150 237 298 349 426 539 655 683 733 766 783 103 181 238 299 350 427 540 656 684 734 768 784; set L[23] := 16 71 395 412 462 550 584 620 704 729 766 797 17 72 401 417 510 552 597 630 717 730 767 798 18 97 402 418 512 559 600 647 718 732 768 800 19 187 404 419 536 570 607 671 719 738 781 20 393 410 420 549 583 619 672 720 765 784; set L[24] := 188; set L[25] := 17 30 123 202 395 464 509 570 632 732 757 18 31 124 203 419 473 510 571 669 737 758 19 32 186 260 461 474 511 572 670 738 768 20 121 187 285 462 475 512 607 719 739 29 122 201 288 463 476 569 608 720 740; set L[26] := 4 106 175 238 342 372 466 516 580 612 660 766 54 150 183 240 344 402 487 534 587 655 730 784 58 152 184 252 367 418 488 538 588 656 736 794 104 159 235 280 368 431 515 550 611 658 755 798; set L[27] := 2 75 176 233 289 366 424 487 535 612 659 683 782 3 103 181 234 291 367 430 488 543 625 660 684 783 4 104 182 235 292 368 431 513 544 653 661 724 796 24 172 183 236 318 377 448 514 609 654 662 734 73 174 184 279 327 396 485 515 610 655 663 735 74 175 204 280 365 423 486 516 611 656 664 736; set L[28] := 21 76 176 369 402 418 466 551 587 722 756 794 22 105 204 370 403 419 533 552 588 723 765 795 23 106 249 372 404 423 534 577 625 729 766 797 24 149 250 377 413 424 536 578 673 730 767 798 53 150 251 393 414 445 537 579 674 731 768 799 54 151 252 394 415 446 538 580 675 732 781 800 57 152 317 395 416 447 549 585 676 754 784 58 160 318 401 417 465 550 586 721 755 793; set L[29] := 1 281 304 407 481 666 709 712 715 25 301 405 408 553 667 710 713 716 26 302 406 453 665 668 711 714 741; set L[30] := 1 130 281 304 406 453 543 590 665 681 710 713 741 25 131 301 392 407 481 553 592 667 683 711 715 26 180 302 405 408 541 589 622 668 709 712 716; set L[31] := 87 182 184 238 638 640 687 733 735 781 783 181 183 237 637 639 686 688 734 736 782 784; set L[32] := 55 60 87 108 139 158 174 190 265 268 467 540 56 85 88 137 140 159 175 191 266 371 468 753 59 86 107 138 157 173 189 192 267 420 539; set L[33] := 55 60 160 266 371 468 717 720 756 771 56 107 176 267 420 539 718 754 769 772 59 108 265 268 467 540 719 755 770; set L[34] := 253 321 323 373 425 474 476 499 569 571 667 255 322 324 405 473 475 498 500 570 572; set L[35] := 20 32 68 128 170 322 328 476 479 480 548 700; set L[36] := 317 326 362 425 442 444 489 491 566 602 323 328 382 441 443 478 490 492 568 716; set L[37] := 1 103 182 249 366 417 494 551 594 654 684 767 800 2 105 233 250 371 419 495 552 595 657 729 768 3 149 234 251 372 425 496 565 596 659 731 781 21 151 236 276 401 429 513 567 609 673 732 782 22 159 237 277 403 430 514 577 610 674 733 783 23 160 239 278 404 432 533 578 641 675 734 793 53 172 241 279 413 465 535 579 642 676 735 795 57 173 242 341 414 485 536 585 643 681 754 796 101 174 243 343 415 486 537 586 644 682 756 797 102 181 244 365 416 493 549 593 653 683 765 799; set L[38] := 1 102 276 278 317 425 432 542 567 658 682 101 173 277 290 327 429 541 565 657 681 733; set L[39] := 2 105 182 251 366 415 493 536 578 658 729 767 797 3 149 233 279 369 416 494 537 579 659 731 768 799 21 151 234 290 370 417 495 543 585 673 732 781 800 22 159 236 317 401 419 496 544 586 674 734 782 23 160 237 327 403 430 513 549 609 675 735 783 53 172 239 341 404 465 514 551 610 676 754 793 57 174 249 343 413 485 533 552 653 683 756 795 103 181 250 365 414 486 535 577 654 684 765 796; set L[40] := 5 44 153 211 295 329 388 444 489 521 637 691 775 7 91 155 217 302 349 413 451 490 522 639 705 776 21 119 189 218 305 351 414 452 493 523 640 707 777 23 137 190 227 307 352 426 457 494 526 673 708 779 37 139 195 241 308 355 428 458 498 574 674 710 780 39 140 197 243 309 364 437 459 499 592 677 725 791 41 141 198 245 310 383 439 469 500 593 678 726 792 42 143 199 248 313 385 440 471 507 595 689 773 43 146 209 294 315 387 443 472 508 603 690 774; set L[41] := 91 147 209 219 242 330 347 398 452 508 604 792 117 156 210 220 243 331 348 399 460 524 711 118 196 211 227 246 345 384 400 491 527 727 119 200 212 241 293 346 397 443 492 576 728; set L[42] := 26 117 166 211 256 313 352 407 443 498 604 695 778 27 119 168 212 270 314 374 414 452 499 637 705 779 41 137 190 218 271 315 376 415 457 503 638 706 780 43 138 191 220 294 316 384 426 459 508 639 707 792 44 139 193 225 296 330 385 427 469 521 640 708 50 141 195 241 305 345 386 428 470 523 668 711 51 142 197 242 306 346 387 434 472 527 674 726 90 143 199 243 307 347 397 436 490 576 675 728 92 144 206 245 308 349 398 437 492 589 678 774 114 147 209 247 310 350 399 438 494 591 679 775 115 156 210 254 311 351 406 439 495 592 694 777; set L[43] := 86 102 152 278 334 404 687 748 800 88 151 236 300 336 432 688 767; set L[44] := 37 101 143 234 279 305 335 401 654 679 747 798 38 103 144 235 280 306 349 402 655 680 765 799 39 104 149 239 297 307 350 403 656 686 766 40 141 150 240 298 308 351 432 677 745 768 85 142 233 277 299 333 352 653 678 746 797; set L[45] := 33 35 81 83 207 385 387 433 502 504 666 34 36 82 84 208 386 388 501 503 665; set L[46] := 45 169 230 263 274 520 579 644 689 713 716 48 170 232 264 299 564 614 649 690 714 747 93 171 251 268 518 568 643 652 692 715; set L[47] := 91 156 219 244 295 331 452 492 527 711 792 120 196 220 246 296 384 460 508 576 727 147 200 227 294 330 443 491 524 604 728; set L[48] := 5 119 189 227 295 330 364 439 472 520 616 691 774 7 137 190 232 301 331 383 440 489 524 637 705 777 21 139 195 241 303 332 385 441 490 526 639 707 779 23 140 197 243 305 349 387 450 493 573 640 708 780 37 141 198 245 307 351 388 451 494 576 652 710 790 39 143 199 248 308 352 413 457 498 579 673 712 791 44 146 209 249 309 353 414 458 499 592 674 715 48 148 211 250 310 354 426 459 500 593 677 727 91 153 217 252 313 356 428 469 506 595 678 728 96 171 218 294 315 363 437 471 507 603 690 773; set L[49] := 41 48 155 251 442 506 575 652 715 790 42 96 171 304 450 508 579 689 775 792 43 148 232 363 452 520 616 712 776; set L[50] := 17 50 114 133 166 221 270 345 389 480 591 695 742 27 66 115 136 177 222 282 348 397 482 621 696 749 28 67 116 145 193 253 291 353 400 542 626 697 752 29 75 121 146 194 254 292 355 454 545 666 714 785 33 81 124 147 195 255 303 357 461 554 682 733 786 36 84 125 148 196 256 319 360 462 569 693 737 49 113 130 165 201 269 324 378 473 570 694 738; set L[51] := 17 66 116 136 253 292 357 422 482 569 695 742 27 67 121 165 254 303 360 423 529 570 696 749 28 75 124 166 255 319 378 424 530 623 697 752 29 81 125 177 256 324 389 454 531 624 734 785 33 84 129 180 269 345 392 461 532 626 735 786 36 113 130 201 270 348 397 462 544 684 736 49 114 132 221 282 353 400 473 545 693 737 50 115 133 222 291 355 421 480 554 694 738; set L[52] := 129 132 180 392 529 530 531 532 542 544 591 622 666 682 684 714; set L[53] := 17 32 145 273 301 362 444 491 554 592 709 742 18 119 148 274 303 363 449 492 555 601 712 743 19 120 169 275 304 381 450 497 556 602 713 744 20 125 170 281 353 382 451 526 566 697 714 29 126 171 282 354 441 452 527 568 698 715 30 127 195 283 356 442 489 528 573 699 716 31 128 196 284 361 443 490 553 575 700 741; set L[54] := 207 385 387 433 502 504 638 640 666 706 708 208 386 388 501 503 637 639 665 705 707; set L[55] := 5 137 195 244 307 354 426 458 494 577 640 709 7 139 196 245 308 356 428 459 498 578 652 715 21 140 209 246 309 363 437 460 499 580 673 773 23 141 211 248 310 364 439 469 500 592 674 774 37 143 217 249 313 383 440 471 506 593 677 777 39 145 218 250 315 384 441 472 507 595 678 779 44 153 219 252 332 385 443 489 508 603 690 780 48 156 220 296 349 387 450 490 520 604 691 790 96 171 232 301 351 388 451 491 526 616 705 791 119 189 241 303 352 413 452 492 527 637 707 792 120 190 243 305 353 414 457 493 573 639 708; set L[56] := 17 119 169 248 301 363 450 490 507 575 709 743 18 120 170 273 303 383 451 491 508 592 712 744 19 125 171 274 304 384 452 492 526 601 713 789 20 126 195 275 353 441 457 498 527 602 714 790 29 127 196 281 354 442 458 499 528 697 715 791 30 128 245 282 356 443 459 500 566 698 716 792 31 145 246 283 361 444 460 505 568 699 741 32 148 247 284 362 449 489 506 573 700 742; set L[57] := 17 44 148 230 274 442 508 575 644 712 741 747 791 18 45 155 263 299 449 518 613 649 713 742 775 19 94 169 264 304 451 564 615 690 714 743 776 20 95 170 268 363 506 568 643 692 716 744 789; set L[58] := 47 95 229 267 335 343 518 520 563 568 615 651 795 88 158 264 275 336 344 519 552 567 614 642 688; set L[59] := 46 96 231 267 275 336 519 551 567 641 691 794 88 158 251 268 299 341 549 563 579 650 747 796 94 172 263 274 335 342 550 564 615 688 793; set L[60] := 45 172 251 268 341 344 564 614 649 690 48 230 263 274 342 518 568 641 652 692 93 232 264 299 343 520 579 642 689 747; set L[61] := 16 100 203 393 417 549 583 619 631 717 757 767 798 71 186 260 401 418 550 584 620 647 718 758 781 800 72 201 285 402 420 552 597 629 648 729 765 784 97 202 288 404 536 559 600 630 704 730 766 797; set L[62] := 504; set L[63] := 253 374 376 426 428 470 472 499 521 523 667 255 375 405 427 469 471 498 500 522 524; set L[64] := 41 138 208 305 314 350 386 428 457 498 524 668 777 44 139 228 306 315 351 406 434 460 502 637 705 778 92 197 254 307 316 374 426 437 469 503 638 706 779 137 200 256 313 349 385 427 438 470 521 639 707; set L[65] := 41 44 385 388 436 439 458 501 504 639 668 707 778 42 207 386 434 437 440 459 502 637 640 705 708 779 43 208 387 435 438 457 460 503 638 667 706 777 780; set L[66] := 9 16 69 72 559 583 618 635 704 762 10 61 70 557 581 584 619 701 759 15 62 71 558 582 617 620 702 761; set L[67] := 100 409 411 462 510 512 570 608 630 648 738; set L[68] := 100 412 463 509 569 572 629 632 737 740 410 461 464 511 571 608 631 648 739; set L[69] := 9 25 61 281 302 338 406 408 481 636 759 10 26 62 301 304 405 407 453 553 741 762; set L[70] := 9 16 69 72 407 558 618 635 704 743 761 10 61 70 405 408 559 619 701 741 744 762 15 62 71 406 557 617 620 702 742 759; set L[71] := 11 78 84 136 288 360 512 671 764 63 80 124 259 339 511 669 757; set L[72] := 14 29 78 83 124 165 202 285 463 476 569 608 738 17 30 79 84 133 166 203 287 464 509 570 634 739 18 31 80 121 134 167 257 288 473 510 571 669 740 19 32 81 122 135 168 259 461 474 511 572 670 757 20 77 82 123 136 201 260 462 475 512 607 737 758; set L[73] := 11 52 255 272 357 397 486 546 606 695 751 783 796 12 63 256 345 358 398 487 547 671 696 752 785 49 64 269 346 359 399 488 548 672 703 763 786 50 253 270 347 360 400 535 560 693 749 764 787 51 254 271 348 396 485 545 605 694 750 782 788; set L[74] := 14 282 303 340 367 455 483 555 633 742 763 27 283 337 365 368 456 484 556 634 743 28 284 339 366 454 482 554 560 703 744; set L[75] := 10 70 99 256 410 584 600 618 646 694 704 781 786 62 72 255 409 558 599 606 620 693 702 752 784 788; set L[76] := 9 62 99 269 272 347 412 599 618 693 703 751 786 11 70 255 270 345 348 558 600 620 694 749 782 788 12 72 256 271 346 411 584 606 646 701 750 783; set L[77] := 16 100 401 410 549 583 607 647 704 781 800 69 187 402 411 550 584 608 648 729 784 70 393 404 412 552 597 617 671 730 797 97 395 409 536 559 600 618 672 732 798; set L[78] := 10 72 256 549 552 597 618 647 696 729 732 784 62 99 409 550 558 598 620 648 702 730 752 786 70 255 410 551 584 606 645 695 704 731 781 788; set L[79] := 15 98 394 534 581 599 635 704 793 799 71 99 403 551 582 619 647 731 794 72 187 533 559 598 620 648 759 795; set L[80] := 10 50 63 99 397 411 546 559 583 617 671 702 785 15 51 64 253 398 412 547 560 599 619 672 704 787 16 52 69 254 399 535 548 581 600 635 695 752 796 49 61 71 396 400 545 557 582 605 646 696 759; set L[81] := 10 69 187 394 411 551 583 605 645 695 731 787 16 72 253 396 412 557 598 617 671 696 752 799 62 98 254 403 536 560 600 620 672 702 785; set L[82] := 87 239 240 685; set L[83] := 37 40 102 149 152 305 308 655 745 748 799 38 87 103 150 239 306 653 656 746 797 800 39 101 104 151 240 307 654 685 747 798; set L[84] := 24 51 114 135 176 254 290 359 398 462 590 693 786 25 52 115 136 177 256 291 360 399 463 591 694 787 26 81 116 146 178 269 292 364 400 464 603 695 788 27 82 117 147 179 270 302 373 406 481 604 696 28 83 118 165 180 271 345 381 407 482 625 710 33 84 121 166 193 272 346 382 408 483 626 711 34 101 122 167 194 277 347 389 453 484 627 737 35 102 123 168 201 278 348 390 454 525 628 738 36 103 124 173 202 279 355 391 455 574 665 739 49 104 133 174 203 280 357 392 456 576 666 740 50 113 134 175 204 289 358 397 461 589 668 785; set L[85] := 33 84 123 174 227 290 357 376 391 455 482 665 34 101 124 175 228 291 358 381 392 456 483 666 35 102 133 176 277 292 359 382 434 461 484 36 103 134 205 278 329 360 383 435 462 625 81 104 135 206 279 330 373 384 436 463 626 82 121 136 225 280 331 374 389 453 464 627 83 122 173 226 289 332 375 390 454 481 628; set L[86] := 24 51 118 165 206 269 331 364 398 435 591 696 785 25 52 146 166 225 270 332 374 399 436 603 710 786 26 113 147 167 226 271 345 375 400 525 604 711 787 27 114 153 168 227 272 346 376 406 574 668 737 788 28 115 154 193 228 302 347 383 407 576 693 738 49 116 155 194 254 329 348 384 408 589 694 739 50 117 156 205 256 330 355 397 434 590 695 740; set L[87] := 33 81 101 133 205 291 359 391 454 462 626 666 34 82 102 134 206 292 360 392 455 463 627 35 83 103 135 289 357 389 433 456 464 628 36 84 104 136 290 358 390 453 461 625 665; set L[88] := 33 35 81 83 133 135 207 289 291 433 454 456 666 34 36 82 84 134 136 208 290 292 453 455 665; set L[89] := 3 36 79 112 116 222 258 340 512 662 670 758 12 64 80 115 164 224 259 511 532 664 672; set L[90] := 3 33 83 165 255 303 358 454 482 547 654 699 751 17 34 112 166 256 337 359 455 483 548 655 700 752 18 35 115 167 269 345 365 456 484 554 656 737 782 19 49 116 168 270 346 366 461 485 555 662 738 783 20 50 121 201 271 347 367 462 486 556 664 739 785 27 51 122 202 272 348 368 463 487 569 693 740 786 28 52 123 203 282 353 396 464 488 570 694 742 787 29 77 133 222 283 354 397 473 532 571 695 743 788 30 80 134 224 284 355 398 474 535 572 696 744 796 31 81 135 253 285 356 399 475 545 633 697 749 32 82 164 254 287 357 400 476 546 653 698 750; set L[91] := 12 49 122 203 282 348 399 475 535 572 696 744 788 17 50 123 253 283 357 400 476 545 633 697 749 796 18 51 133 254 284 358 454 482 546 653 698 750 19 52 134 255 285 359 455 483 547 654 699 751 20 64 135 256 287 365 456 484 548 655 700 752 27 77 165 257 303 366 461 485 554 656 737 758 28 79 166 260 337 367 462 486 555 670 738 782 29 81 167 269 340 368 463 487 556 672 739 783 30 82 168 270 345 396 464 488 569 693 740 785 31 83 201 271 346 397 473 509 570 694 742 786 32 121 202 272 347 398 474 510 571 695 743 787; set L[92] := 14 15 16 617 618 619 620 761 763; set L[93] := 14 16 26 28 618 620 702 704 763 15 25 27 617 619 701 703 761; set L[94] := 7 47 211 243 275 298 428 518 566 596 651 8 95 212 250 281 307 469 519 578 613 707 23 139 230 262 282 315 470 520 586 616 746 39 143 231 266 283 316 471 562 588 639 779 40 144 232 268 284 351 472 564 595 644; set L[95] := 5 94 189 241 273 314 388 437 496 593 650 679 748 6 96 190 242 297 349 413 438 519 594 673 680 777 21 137 191 244 300 350 414 439 562 615 674 691 778 22 138 192 249 305 352 415 440 577 637 675 705 780 37 140 209 252 306 385 416 493 580 638 676 706 38 141 210 261 308 386 426 494 585 640 677 708 46 142 231 266 313 387 427 495 587 643 678 745; set L[96] := 6 40 154 212 306 316 415 444 496 596 679 778 8 138 191 242 311 332 416 451 507 638 680 791 22 142 192 247 312 350 427 470 528 675 692 38 144 210 296 314 386 438 495 594 676 706; set L[97] := 5 31 141 211 274 308 362 439 505 586 673 705 744 7 32 143 232 275 309 364 440 520 587 674 707 773 17 37 148 241 281 310 385 442 528 588 677 708 774 18 39 153 243 282 313 387 444 566 593 678 712 777 19 44 156 244 283 315 388 449 568 595 690 713 779 20 48 169 247 284 332 413 469 575 616 691 714 780 21 96 170 249 296 349 414 471 577 637 697 716 789 23 137 189 250 304 351 426 472 578 639 698 741 29 139 190 252 305 352 428 493 580 640 699 742 30 140 209 273 307 361 437 494 585 652 700 743; set L[98] := 17 45 169 268 304 505 575 650 697 713 743 773 18 94 170 274 363 507 613 651 698 714 744 774 19 95 230 297 442 518 615 652 699 716 745 789 20 148 261 298 449 564 643 690 700 741 746 791 44 155 262 300 451 568 644 692 712 742 748; set L[99] := 13 150 250 394 413 419 533 552 630 718 732 781 798 57 151 251 395 414 420 534 581 631 719 760 784 799 58 152 252 401 415 445 536 582 632 720 765 793 800 59 188 258 402 416 446 549 583 634 729 766 794 60 204 286 403 417 447 550 584 635 730 767 795 149 249 393 404 418 448 551 629 717 731 768 797; set L[100] := 14 185 257 259 287 395 419 632 634 719 720 732 768; set L[101] := 15 152 250 287 403 533 551 584 717 760 784 798 16 186 251 393 404 534 552 629 718 765 793 799 149 187 252 394 417 536 581 630 729 766 794 800 150 204 260 401 418 549 582 631 730 767 795 151 249 286 402 420 550 583 635 731 781 797; set L[102] := 25 28 115 166 217 220 271 677 680 727 774 26 113 116 167 218 269 272 678 725 728 775 27 114 165 168 219 270 504 679 726 773 776; set L[103] := 25 89 165 198 228 309 388 435 492 522 680 773 28 113 167 205 248 312 400 440 493 590 693 776 42 116 189 217 269 331 408 458 496 673 696 49 118 192 220 272 348 413 471 500 676 725 52 140 194 226 295 375 416 489 503 677 728; set L[104] := 26 90 166 199 226 308 352 414 472 499 674 695 775 27 91 168 206 248 310 376 415 490 502 675 708 780 43 114 190 208 270 311 387 436 491 523 678 726 50 115 191 218 271 331 400 439 494 590 679 727 51 118 194 219 295 348 407 459 495 640 694 774; set L[105] := 42 140 207 352 387 408 439 459 499 522 708 43 198 228 375 388 435 440 471 500 523 780 92 199 308 376 407 436 458 472 501 640; set L[106] := 17 119 169 274 303 326 381 527 555 575 698 741 752 18 120 171 275 304 353 405 528 556 592 699 742 19 125 195 281 318 354 473 545 569 602 709 743 29 126 196 282 319 356 474 546 570 603 712 744 30 127 253 283 320 362 475 547 571 604 713 749 31 145 255 284 321 364 477 553 572 667 714 750 68 148 273 301 324 373 526 554 573 697 715 751; set L[107] := 17 119 169 274 303 326 381 527 555 575 709 743 18 120 171 275 304 353 405 528 556 592 712 744 19 125 195 281 318 354 473 545 569 601 713 29 126 196 282 319 356 474 546 570 667 714 30 127 253 283 320 361 475 547 571 697 715 31 145 255 284 321 363 477 553 572 698 741 68 148 273 301 324 373 526 554 573 699 742; set PLTE[0] := 7 88 151 238 280 342 418 515 565 596 656 736 784 8 102 152 240 298 343 428 516 578 611 658 746 794 23 104 175 243 300 344 431 534 580 612 660 748 795 39 139 183 250 307 351 432 538 586 639 687 755 798 40 143 184 252 334 372 466 550 587 642 688 766 800 58 144 235 265 335 402 487 552 588 644 707 767 86 150 236 278 336 404 488 561 595 655 730 779; set PLTE[1] := 1 101 151 209 252 306 371 432 549 637 678 745 794 2 102 157 210 261 307 372 485 550 638 679 746 795 3 103 158 233 263 308 401 486 551 639 680 747 796 21 104 159 234 265 313 402 487 552 640 681 748 797 22 105 160 235 266 314 403 488 565 641 682 765 798 23 107 172 236 267 333 404 493 567 642 683 766 799 37 108 173 237 268 334 413 494 577 643 684 767 800 38 137 174 238 276 335 414 495 578 644 687 768 39 138 175 239 277 341 415 496 579 653 688 777 40 139 181 240 278 342 416 533 580 654 729 778 53 140 182 241 279 343 425 534 585 655 730 779 55 141 183 242 280 349 426 535 586 656 731 780 56 142 184 243 297 350 427 536 587 673 732 781 85 143 189 244 298 351 428 537 593 674 733 782 86 144 190 249 299 352 429 538 594 675 734 783 87 149 191 250 300 365 430 539 595 676 735 784 88 150 192 251 305 366 431 540 596 677 736 793; set PLTE[2] := 55 108 446 467 540 583 629 632 719 723 769 772 59 420 447 530 581 584 630 717 722 756 771; set PLTE[3] := 7 40 139 211 250 267 315 343 552 586 639 688 795 8 47 143 212 262 275 316 344 561 588 642 707 23 88 144 229 264 298 335 351 563 595 644 746 39 95 158 243 265 307 336 428 578 596 651 779; set PLTE[4] := 1 4 26 111 301 338 407 481 665 668 715 762 2 13 109 112 302 405 408 553 666 713 716 764 3 25 110 281 304 406 453 636 667 714 741; set PLTE[5] := 504; set PLTE[6] := 253 255 405 469 470 471 472 498 499 500 667; set PLTE[7] := 1 2 3 4 109 110 111 112; set PLTE[8] := 2 52 131 183 279 327 379 456 488 571 655 724 788 3 73 132 184 280 328 380 463 513 572 656 734 796 4 74 134 202 283 346 390 464 514 609 659 735 18 75 135 203 284 347 391 474 515 610 660 736 19 82 167 204 289 354 396 475 516 611 661 739 20 83 168 223 291 356 398 476 535 612 662 740 24 103 174 224 292 358 399 479 543 623 663 743 30 104 175 233 318 359 423 480 544 624 664 744 31 122 176 234 320 365 424 483 546 625 683 750 32 123 178 235 321 366 430 484 547 627 684 751 34 126 179 236 322 367 431 485 548 628 698 782 35 127 181 271 323 368 448 486 555 653 699 783 51 128 182 272 324 377 455 487 556 654 700 787; set PLTE[9] := 1 50 114 134 177 270 303 358 406 484 591 683 737 17 51 115 135 178 271 304 359 407 541 592 693 738 18 52 116 136 179 272 318 360 408 542 602 694 739 19 65 117 145 180 277 319 362 453 543 603 695 740 24 66 118 146 193 278 320 364 454 545 604 696 741 25 67 119 147 194 279 321 373 455 546 625 697 742 26 68 120 148 195 280 323 381 456 547 626 698 743 27 75 121 165 196 281 324 382 461 553 627 699 744 28 81 122 166 201 282 345 389 462 554 628 709 749 29 82 123 167 202 283 346 390 463 555 659 710 750 30 83 124 168 203 284 347 391 464 556 660 711 751 31 84 125 169 204 289 348 392 473 569 665 712 752 33 101 126 171 253 290 353 397 474 570 666 713 785 34 102 127 173 254 291 354 398 475 571 667 714 786 35 103 130 174 255 292 355 399 481 572 668 715 787 36 104 131 175 256 301 356 400 482 589 681 716 788 49 113 133 176 269 302 357 405 483 590 682 733; set PLTE[10] := 2 12 64 84 112 116 162 221 258 339 512 661 757 3 13 78 109 113 124 163 222 259 340 531 662 758 4 36 79 110 114 136 164 223 288 360 532 663 760 11 63 80 111 115 161 216 224 338 511 636 664 764; set PLTE[11] := 16 393 404 412 420 536 559 597 617 630 672 732 797 97 395 409 417 462 549 570 600 618 647 704 738 798 100 401 410 418 510 550 583 607 619 648 729 781 800 187 402 411 419 512 552 584 608 620 671 730 784; set PLTE[12] := 33 81 101 133 205 291 359 375 391 455 463 627 34 82 102 134 206 292 360 376 392 456 464 628 35 83 103 135 289 357 373 389 453 461 625 665 36 84 104 136 290 358 374 390 454 462 626 666; set PLTE[13] := 13 149 213 252 402 417 448 536 583 635 729 767 794 55 150 214 258 403 418 465 549 584 717 730 768 795 57 151 215 286 404 419 466 550 629 718 731 769 797 58 152 216 393 413 420 467 551 630 719 732 772 798 59 161 249 394 414 445 468 552 631 720 760 781 799 60 188 250 395 415 446 533 581 632 722 765 784 800 109 204 251 401 416 447 534 582 634 723 766 793; set PLTE[14] := 13 109 188 252 403 419 532 577 628 718 766 797 53 111 204 258 404 445 533 578 631 720 767 798 54 149 214 286 413 448 534 579 634 729 768 799 55 150 215 393 414 465 536 580 635 730 781 800 56 151 216 394 415 466 549 582 673 731 784 57 152 249 395 416 468 550 625 674 732 793 58 161 250 401 417 529 551 626 675 760 794 60 163 251 402 418 531 552 627 676 765 795; set PLTE[15] := 3 49 115 166 256 337 367 424 484 545 626 697 750 17 50 116 167 269 345 368 454 485 546 628 698 751 18 51 121 168 270 346 378 455 486 547 633 699 752 19 52 122 182 271 347 380 456 487 548 653 700 782 20 66 123 184 272 348 389 461 488 554 654 734 783 27 67 124 201 282 353 391 462 513 555 655 735 785 28 77 129 202 283 354 392 463 514 556 656 736 786 29 80 130 203 284 355 396 464 515 569 662 737 787 30 81 132 221 285 356 397 473 516 570 663 738 788 31 82 133 222 287 357 398 474 529 571 664 739 796 32 83 134 224 291 358 399 475 530 572 684 740 33 84 135 234 292 359 400 476 531 610 693 742 34 112 136 253 303 360 421 480 532 612 694 743 35 113 164 254 319 365 422 482 535 623 695 744 36 114 165 255 324 366 423 483 544 624 696 749; set PLTE[16] := 7 40 143 243 266 298 351 471 519 563 586 613 651 8 47 144 250 267 307 428 472 520 564 588 616 707 23 95 211 262 268 315 469 517 561 566 595 639 746 39 139 212 265 275 316 470 518 562 578 596 644 779; set PLTE[17] := 5 96 190 249 274 313 415 549 580 641 679 748 6 137 191 251 275 314 416 550 585 643 680 777 21 138 192 252 276 341 426 551 587 650 688 778 22 140 209 261 297 342 427 562 593 673 691 780 37 141 210 263 299 349 493 563 594 674 705 793 38 142 231 266 300 350 494 564 615 675 706 794 46 158 241 267 305 352 495 567 637 676 708 796 88 172 242 268 306 413 496 577 638 677 745 94 189 244 273 308 414 519 579 640 678 747; set PLTE[18] := 55 60 160 265 268 420 467 540 719 754 769 772 56 107 176 266 370 422 468 717 720 755 770 59 108 215 267 371 447 539 718 723 756 771; set PLTE[19] := 113 115 165 167 217 219 269 271 504 114 116 166 168 218 220 270 272; set PLTE[20] := 2 51 113 164 271 358 421 483 544 623 662 743 3 52 114 167 272 360 422 485 546 626 663 750 4 66 122 168 283 365 423 487 548 627 684 782 18 73 124 178 291 367 448 513 555 628 698 787 20 76 126 202 319 378 455 515 571 633 700 788 30 82 128 216 320 379 463 529 609 636 724 796 32 84 134 221 324 380 474 530 610 653 734 34 110 136 223 346 396 476 531 611 655 736 36 112 162 224 354 398 480 535 612 661 739; set PLTE[21] := 1 173 278 323 327 382 432 542 567 657 660 716 101 276 290 325 328 425 478 565 568 658 681 733 102 277 317 326 362 429 541 566 602 659 682; set PLTE[22] := 21 76 151 216 369 401 419 466 552 631 724 767 797 22 105 152 249 370 402 421 468 577 673 729 768 798 23 106 160 250 372 403 422 529 578 674 730 770 799 24 107 162 251 377 404 423 530 579 675 731 771 800 53 108 163 252 378 413 424 533 580 676 732 772 54 110 164 286 379 414 445 534 582 718 754 781 56 111 176 317 380 415 446 536 625 720 755 784 57 112 204 318 393 416 447 549 626 721 756 793 58 149 214 319 394 417 448 550 627 722 765 794 60 150 215 320 395 418 465 551 628 723 766 795; set PLTE[23] := 37 103 150 235 280 308 401 429 540 655 687 746 783 38 104 181 237 297 333 402 430 637 656 688 747 784 39 141 182 238 298 335 403 431 638 677 733 765 797 40 142 183 239 299 349 425 432 639 678 734 766 798 85 143 184 240 305 350 426 537 640 679 735 768 799 87 144 233 277 306 351 427 538 653 680 736 781 101 149 234 279 307 352 428 539 654 686 745 782; set PLTE[24] := 16 100 202 402 461 509 559 600 632 717 738 768 17 121 203 404 462 510 569 607 647 718 739 781 18 122 260 410 463 511 570 608 648 719 740 784 19 123 285 412 464 512 571 619 669 720 757 797 20 124 288 417 473 536 572 620 670 729 758 798 71 186 393 418 474 549 583 629 671 730 765 800 72 187 395 419 475 550 584 630 672 732 766 97 201 401 420 476 552 597 631 704 737 767; set PLTE[25] := 14 29 78 123 168 259 395 464 509 570 632 720 740 17 30 79 124 201 260 419 473 510 571 634 732 757 18 31 80 165 202 285 461 474 511 572 669 737 758 19 32 121 166 203 287 462 475 512 607 670 738 768 20 77 122 167 257 288 463 476 569 608 719 739; set PLTE[26] := 2 74 160 235 366 414 485 537 585 656 683 736 793 3 75 172 236 367 415 486 538 586 658 684 754 794 4 76 174 249 368 416 487 543 587 659 721 755 795 21 103 175 250 369 417 488 544 588 660 722 756 796 22 104 176 251 370 418 513 549 609 661 723 765 797 23 105 181 252 372 419 514 550 610 662 724 766 798 24 106 182 279 377 423 515 551 611 663 729 767 799 53 149 183 280 401 424 516 552 612 664 730 768 800 54 150 184 317 402 430 533 577 625 673 731 781 57 151 204 318 403 431 534 578 653 674 732 782 58 152 233 327 404 465 535 579 654 675 734 783 73 159 234 365 413 466 536 580 655 676 735 784; set PLTE[27] := 1 130 281 392 408 530 622 668 684 712 716 25 131 301 405 453 531 665 681 709 713 741 26 132 302 406 481 532 666 682 710 714 129 180 304 407 529 553 667 683 711 715; set PLTE[28] := 87 181 182 183 184 237 238 239 240; set PLTE[29] := 81 83 207 385 387 433 502 504 638 640 666 706 708 82 84 208 386 388 501 503 637 639 665 705 707; set PLTE[30] := 55 60 157 160 175 266 371 468 717 720 755 770 56 107 158 173 176 267 420 539 718 753 756 771 59 108 159 174 265 268 467 540 719 754 769 772; set PLTE[31] := 91 119 156 209 212 227 331 452 492 527 711 792 117 120 196 210 219 246 384 460 508 576 727 118 147 200 211 220 330 443 491 524 604 728; set PLTE[32] := 17 68 148 273 303 323 362 442 478 527 569 602 713 18 119 169 274 304 324 363 443 479 528 570 667 714 19 120 170 275 317 326 373 444 480 553 571 697 715 20 125 171 281 318 328 381 473 489 554 572 698 716 29 126 195 282 319 353 382 474 490 555 573 699 741 30 127 196 283 320 354 405 475 491 556 575 700 742 31 128 253 284 321 356 425 476 492 566 592 709 743 32 145 255 301 322 361 441 477 526 568 601 712 744; set PLTE[33] := 1 103 182 249 341 404 432 533 552 653 682 756 797 2 105 233 250 343 413 465 535 565 654 683 765 799 3 149 234 251 365 414 485 536 567 657 684 767 800 21 151 236 276 366 415 486 537 577 658 729 768 22 159 237 277 369 416 493 541 578 659 731 781 23 160 239 278 370 417 494 542 579 673 732 782 53 172 241 279 371 419 495 543 585 674 733 783 57 173 242 290 372 425 496 544 586 675 734 793 101 174 243 317 401 429 513 549 609 676 735 795 102 181 244 327 403 430 514 551 610 681 754 796; set PLTE[34] := 5 50 144 195 241 306 347 397 437 492 528 668 710 6 51 146 197 242 307 348 398 438 493 574 673 711 7 52 147 198 243 308 349 399 439 494 576 674 725 8 113 153 199 245 309 350 400 440 495 589 675 726 21 114 154 205 247 310 351 406 443 496 590 676 728 22 115 155 206 248 311 352 407 444 498 591 677 773 23 116 156 209 254 312 355 408 451 499 592 678 774 24 117 165 210 256 313 364 413 452 500 593 679 775 25 118 166 211 269 314 374 414 457 503 594 680 776 26 119 167 212 270 315 375 415 458 507 595 693 777 27 137 168 217 271 316 376 416 459 508 596 694 778 28 138 189 218 272 329 383 426 469 521 603 695 779 41 139 190 220 294 330 384 427 470 522 604 696 780 42 140 191 225 295 331 385 428 471 523 637 705 791 43 141 192 226 296 332 386 434 472 525 638 706 792 44 142 193 227 302 345 387 435 489 526 639 707 49 143 194 228 305 346 388 436 490 527 640 708; set PLTE[35] := 26 117 197 225 294 316 376 415 459 502 604 705 779 27 118 199 226 295 330 384 426 460 503 637 706 780 41 119 200 227 296 331 385 427 469 508 638 707 792 43 137 206 228 305 345 386 428 470 521 639 708 44 138 208 241 306 346 387 434 472 523 640 711 50 139 209 242 307 347 397 436 490 524 668 726 51 147 210 243 308 348 398 437 491 527 674 727 90 156 211 254 310 349 399 438 492 576 675 728 91 166 212 256 311 350 400 439 494 589 678 774 92 168 218 270 313 351 406 443 495 590 679 775 114 190 219 271 314 352 407 452 498 591 694 777 115 191 220 293 315 374 414 457 499 592 695 778; set PLTE[36] := 37 86 103 144 233 240 305 334 654 679 688 765 798 38 87 104 149 234 277 306 335 655 680 745 766 799 39 88 141 150 235 278 307 336 656 685 746 767 800 40 101 142 151 236 279 308 432 677 686 747 768 85 102 143 152 239 280 333 653 678 687 748 797; set PLTE[37] := 33 35 81 83 133 135 207 289 291 385 387 433 666 34 36 82 84 134 136 208 290 292 386 388 665; set PLTE[38] := 10 70 99 256 410 584 618 702 729 731 752 784 788 62 72 255 409 558 606 620 704 730 732 781 786; set PLTE[39] := 17 48 171 264 363 452 564 614 649 712 747 18 148 230 268 442 506 568 615 652 713 775 19 155 232 274 449 508 575 616 689 714 776 20 169 251 299 450 518 579 643 690 715 45 170 263 304 451 520 613 644 692 716; set PLTE[40] := 5 137 209 246 308 354 428 460 500 579 673 712 7 139 211 248 309 356 437 469 506 580 674 715 21 140 217 249 310 363 439 471 507 592 677 727 23 141 218 250 313 364 440 472 508 593 678 728 37 143 219 252 315 383 441 489 520 595 690 773 39 153 220 294 330 384 443 490 524 603 691 774 44 156 227 295 331 385 450 491 526 604 705 777 48 171 232 296 332 387 451 492 527 616 707 779 91 189 241 301 349 388 452 493 573 637 708 780 96 190 243 303 351 413 457 494 576 639 709 790 119 195 244 305 352 414 458 498 577 640 710 791 120 196 245 307 353 426 459 499 578 652 711 792; set PLTE[41] := 5 91 155 218 308 352 437 458 500 574 640 708 776 7 96 171 227 309 363 439 459 506 575 652 710 777 21 119 189 232 310 364 440 469 507 576 673 712 779 23 137 190 241 313 383 441 471 508 579 674 715 780 37 139 195 243 315 385 442 472 520 592 677 725 790 39 140 197 245 329 387 443 489 521 593 678 726 791 41 141 198 248 330 388 444 490 522 595 689 727 792 42 143 199 294 331 413 450 493 523 603 690 728 43 146 209 295 332 414 451 494 524 616 691 773 44 148 211 305 349 426 452 498 526 637 705 774 48 153 217 307 351 428 457 499 573 639 707 775; set PLTE[42] := 17 67 124 147 196 270 353 421 482 569 682 734 786 27 75 125 148 201 282 355 422 529 570 684 735 28 81 129 165 221 291 357 423 530 591 693 736 29 84 130 166 222 292 360 424 531 621 694 737 33 113 132 177 253 303 378 454 532 622 695 738 36 114 133 180 254 319 389 461 542 623 696 742 49 115 136 193 255 324 392 462 544 624 697 749 50 116 145 194 256 345 397 473 545 626 714 752 66 121 146 195 269 348 400 480 554 666 733 785; set PLTE[43] := 9 16 69 72 559 583 618 635 704 743 761 10 61 70 557 581 584 619 701 741 744 762 15 62 71 558 582 617 620 702 742 759; set PLTE[44] := 17 32 145 245 281 353 382 449 492 528 602 713 744 18 119 148 246 282 354 383 450 497 566 697 714 789 19 120 169 247 283 356 384 451 498 568 698 715 790 20 125 170 248 284 361 441 452 499 573 699 716 791 29 126 171 273 301 362 442 489 500 575 700 741 792 30 127 195 274 303 363 443 490 526 592 709 742 31 128 196 275 304 381 444 491 527 601 712 743; set PLTE[45] := 41 207 387 435 439 459 503 639 667 707 779 42 208 388 436 440 460 504 640 668 708 780 43 385 433 437 457 501 637 665 705 777 44 386 434 438 458 502 638 666 706 778; set PLTE[46] := 5 44 145 218 273 309 364 442 489 526 592 697 742 7 48 148 219 274 310 383 443 490 527 593 698 743 17 96 153 220 275 313 384 444 491 528 595 699 744 18 119 156 232 281 315 385 449 492 566 616 700 773 19 120 169 241 282 332 387 450 493 568 637 705 774 20 125 170 243 283 349 388 451 494 573 639 707 777 21 126 171 244 284 351 413 452 498 575 640 708 779 23 127 189 245 296 352 414 457 499 577 652 709 780 29 128 190 246 301 353 426 458 500 578 673 712 789 30 137 195 247 303 354 428 459 505 580 674 713 790 31 139 196 248 304 356 437 460 506 585 677 714 791 32 140 209 249 305 361 439 469 507 586 678 715 792 37 141 211 250 307 362 440 471 508 587 690 716 39 143 217 252 308 363 441 472 520 588 691 741; set PLTE[47] := 17 45 169 263 298 442 507 575 690 716 773 791 18 94 170 264 299 449 508 613 692 741 774 19 95 230 268 300 451 518 615 712 742 775 20 148 261 274 304 505 564 643 713 743 776 44 155 262 297 363 506 568 644 714 744 789; set PLTE[48] := 45 169 172 251 268 341 344 564 614 643 652 692 715 48 170 230 263 274 342 518 568 641 644 689 713 716 93 171 232 264 299 343 520 579 642 649 690 714 747; set PLTE[49] := 88 96 230 263 274 336 344 549 563 579 642 652 691 93 158 231 264 275 341 518 550 564 614 649 688 692 94 172 232 267 299 342 519 551 567 615 650 689 747 95 229 251 268 335 343 520 552 568 641 651 690; set PLTE[50] := 15 249 286 402 533 552 597 629 704 757 767 797 16 250 287 403 534 559 598 630 717 758 781 798 71 251 288 404 536 581 599 631 718 759 784 799 72 252 393 417 549 582 600 635 729 760 793 800 186 260 394 418 550 583 619 647 730 765 794 187 285 401 420 551 584 620 648 731 766 795; set PLTE[51] := 41 138 200 315 374 388 427 438 460 499 521 639 707 42 139 207 316 375 405 428 439 469 500 522 640 708 43 140 208 349 376 406 434 440 470 501 523 667 777 44 197 228 350 385 407 435 457 471 502 524 668 778 92 198 313 351 386 408 436 458 472 503 637 705 779 137 199 314 352 387 426 437 459 498 504 638 706 780; set PLTE[52] := 9 50 69 255 346 400 535 559 600 635 696 751 782 10 51 70 256 347 411 545 560 605 646 701 752 783 11 52 71 269 348 412 546 581 606 671 702 759 785 12 61 72 270 396 485 547 582 617 672 703 761 786 15 62 99 271 397 486 548 583 618 693 704 762 787 16 63 253 272 398 487 557 584 619 694 749 763 788 49 64 254 345 399 488 558 599 620 695 750 764 796; set PLTE[53] := 100 569 570 571 572 608 629 630 631 632 648 737 738 739 740; set PLTE[54] := 9 26 70 284 338 368 454 484 618 636 742 763 10 27 71 301 339 405 455 553 619 701 743 14 28 72 302 340 406 456 554 620 702 744 15 61 281 303 365 407 481 555 633 703 759 16 62 282 304 366 408 482 556 634 704 761 25 69 283 337 367 453 483 617 635 741 762; set PLTE[55] := 11 32 82 166 260 337 366 462 487 555 672 739 764 12 49 83 167 269 339 367 463 488 556 693 740 782 14 50 84 168 270 340 368 464 509 560 694 742 783 17 51 121 201 271 345 396 473 510 569 695 743 785 18 52 122 202 272 346 397 474 511 570 696 744 786 19 63 123 203 282 347 398 475 512 571 697 749 787 20 64 124 253 283 348 399 476 535 572 698 750 788 27 77 133 254 284 357 400 482 545 633 699 751 796 28 78 134 255 285 358 454 483 546 634 700 752 29 79 135 256 287 359 455 484 547 669 703 757 30 80 136 257 288 360 456 485 548 670 737 758 31 81 165 259 303 365 461 486 554 671 738 763; set PLTE[56] := 9 12 72 256 271 346 409 412 599 618 693 782 786 10 62 99 269 272 347 410 558 600 620 694 783 788 11 70 255 270 345 348 411 584 606 646 781 784; set PLTE[57] := 10 97 254 396 410 551 583 606 645 696 732 787 16 98 255 401 411 552 584 607 647 702 752 788 62 99 256 402 412 557 597 608 648 704 781 69 100 393 403 536 558 598 617 671 729 784 70 187 394 404 549 559 600 618 672 730 785 72 253 395 409 550 560 605 620 695 731 786; set PLTE[58] := 10 64 187 398 533 547 581 605 646 696 785 799 15 69 253 399 534 548 582 617 647 702 787 16 71 254 400 535 551 583 619 648 704 793 61 72 394 403 536 557 598 620 671 731 794 62 98 396 411 545 559 599 635 672 752 795 63 99 397 412 546 560 600 645 695 759 796; set PLTE[59] := 37 40 150 239 306 653 656 746 797 800 38 87 151 240 307 654 685 747 798 39 149 152 305 308 655 745 748 799; set PLTE[60] := 24 52 116 147 180 228 290 355 383 408 481 625 711 25 81 117 165 193 254 291 357 384 434 482 626 737 26 82 118 166 194 256 292 358 389 435 483 627 738 27 83 121 167 201 269 302 359 390 436 484 628 739 28 84 122 168 202 270 329 360 391 453 525 665 740 33 101 123 173 203 271 330 364 392 454 574 666 785 34 102 124 174 204 272 331 373 397 455 576 668 786 35 103 133 175 205 277 332 374 398 456 589 693 787 36 104 134 176 206 278 345 375 399 461 590 694 788 49 113 135 177 225 279 346 376 400 462 591 695 50 114 136 178 226 280 347 381 406 463 603 696 51 115 146 179 227 289 348 382 407 464 604 710; set PLTE[61] := 33 81 101 133 289 357 389 433 456 464 628 34 82 102 134 290 358 390 453 461 625 665 35 83 103 135 291 359 391 454 462 626 666 36 84 104 136 292 360 392 455 463 627; set PLTE[62] := 3 33 81 164 255 337 359 456 485 547 655 699 752 12 34 82 165 256 340 365 461 486 548 656 700 758 17 35 83 166 269 345 366 462 487 554 662 737 782 18 36 112 167 270 346 367 463 488 555 664 738 783 19 49 115 168 271 347 368 464 509 556 670 739 785 20 50 116 201 272 348 396 473 510 569 672 740 786 27 51 121 202 282 353 397 474 511 570 693 742 787 28 52 122 203 283 354 398 475 512 571 694 743 788 29 64 123 222 284 355 399 476 532 572 695 744 796 30 77 133 224 285 356 400 482 535 633 696 749 31 79 134 253 287 357 454 483 545 653 697 750 32 80 135 254 303 358 455 484 546 654 698 751; set PLTE[63] := 14 16 26 28 618 620 702 704 763 15 25 27 617 619 701 703 761; set PLTE[64] := 5 37 140 192 252 300 385 442 519 593 652 700 748 6 38 141 209 261 304 386 444 520 594 673 705 773 7 39 142 210 262 305 387 449 528 595 674 706 774 8 40 143 211 266 306 388 451 562 596 675 707 777 17 44 144 212 268 307 413 469 564 613 676 708 778 18 45 148 230 273 308 414 470 566 615 677 712 779 19 46 153 231 274 313 415 471 568 616 678 713 780 20 47 154 232 275 314 416 472 575 637 679 714 789 21 48 155 241 281 315 426 493 577 638 680 716 791 22 94 156 242 282 316 427 494 578 639 690 741 23 95 169 243 283 332 428 495 580 640 691 742 29 96 170 244 284 349 437 496 585 643 692 743 30 137 189 247 296 350 438 505 586 644 697 744 31 138 190 249 297 351 439 507 587 650 698 745 32 139 191 250 298 352 440 518 588 651 699 746; set PLTE[65] := 13 60 187 257 394 418 533 581 632 729 767 797 14 149 188 258 395 419 534 582 634 730 768 798 15 150 204 259 401 420 536 583 635 731 781 799 16 151 249 260 402 445 549 584 717 732 784 800 57 152 250 286 403 446 550 629 718 760 793 58 185 251 287 404 447 551 630 719 765 794 59 186 252 393 417 448 552 631 720 766 795; set PLTE[66] := 25 52 118 192 218 272 352 414 471 496 590 680 728 26 89 140 194 219 295 375 415 472 499 640 693 773 27 90 165 198 220 308 376 416 489 500 673 694 774 28 91 166 199 226 309 387 435 490 501 674 695 775 42 92 167 205 228 310 388 436 491 502 675 696 776 43 113 168 206 248 311 400 439 492 503 676 708 780 49 114 189 207 269 312 407 440 493 504 677 725 50 115 190 208 270 331 408 458 494 522 678 726 51 116 191 217 271 348 413 459 495 523 679 727; set PLTE[67] := 17 119 169 274 303 326 364 477 553 572 604 713 749 18 120 171 275 304 353 373 526 554 573 667 714 750 19 125 195 281 318 354 381 527 555 575 697 715 751 29 126 196 282 319 356 405 528 556 592 698 741 752 30 127 253 283 320 361 473 545 569 601 699 742 31 145 255 284 321 362 474 546 570 602 709 743 68 148 273 301 324 363 475 547 571 603 712 744; set S := 0 1 2 3 4; param ModLTE := 192; param ModR := 192; param ModA := 15360; param costLTE := 50000; param costR := 80000; param costA := 500000; param reach := 80; param nospans := 5; param Prob [*] := 0 0.15 1 0.2 2 0.3 3 0.2 4 0.15 ; param dist [*] := 1 2 17 255 33 402 49 150 65 400 81 69 97 29 2 417 18 210 34 330 50 333 66 646 82 267 98 20 3 570 19 651 35 748 51 196 67 148 83 100 99 480 4 283 20 285 36 346 52 285 68 148 84 267 100 303 5 603 21 619 37 298 53 159 69 880 85 67 101 384 6 677 22 470 38 375 54 185 70 169 86 636 102 102 7 746 23 25 39 241 55 109 71 583 87 270 103 45 8 11 24 967 40 104 56 301 72 464 88 280 104 38 9 300 25 303 41 13 57 20 73 730 89 135 105 152 10 299 26 581 42 7 58 68 74 913 90 652 106 16 11 390 27 338 43 679 59 37 75 44 91 455 107 376 12 225 28 524 44 146 60 208 76 91 92 600 13 113 29 1106 45 130 61 155 77 246 93 145 14 270 30 460 46 112 62 241 78 20 94 16 15 764 31 364 47 151 63 354 79 410 95 330 16 10 32 532 48 5 64 170 80 76 96 256 ; param r := [0,7,0] 3105 [0,7,1] 3870 [0,7,2] 4500 [0,7,3] 4995 [0,7,4] 5400 [0,14,0] 558 [0,14,1] 1476 [0,14,2] 1800 [0,14,3] 2286 [0,14,4] 3024 [0,22,0] 1260 [0,22,1] 2212 [0,22,2] 2800 [0,22,3] 3416 [0,22,4] 4004 [0,30,0] 1927 [0,30,1] 3666 [0,30,2] 4700 [0,30,3] 5170 [0,30,4] 6627 [0,31,0] 5680 [0,31,1] 7120 [0,31,2] 8000 [0,31,3] 10160 [0,31,4] 10320 [0,47,0] 476 [0,47,1] 1258 [0,47,2] 1700 [0,47,3] 2380 [0,47,4] 2584 [0,51,0] 2160 [0,51,1] 4560 [0,51,2] 6000 [0,51,3] 8220 [0,51,4] 7320 [0,54,0] 660 [0,54,1] 1562 [0,54,2] 2200 [0,54,3] 2970 [0,54,4] 3124 [1,11,0] 2156 [1,11,1] 3080 [1,11,2] 4400 [1,11,3] 5852 [1,11,4] 6028 [1,13,0] 602 [1,13,1] 840 [1,13,2] 1400 [1,13,3] 1960 [1,13,4] 2366 [1,15,0] 500 [1,15,1] 900 [1,15,2] 1000 [1,15,3] 1330 [1,15,4] 1660 [1,16,0] 1750 [1,16,1] 2555 [1,16,2] 3500 [1,16,3] 4795 [1,16,4] 5110 [1,20,0] 1066 [1,20,1] 1690 [1,20,2] 2600 [1,20,3] 3484 [1,20,4] 4212 [1,21,0] 1716 [1,21,1] 2112 [1,21,2] 3300 [1,21,3] 4488 [1,21,4] 5016 [1,29,0] 2241 [1,29,1] 6308 [1,29,2] 8300 [1,29,3] 10043 [1,29,4] 13197 [1,30,0] 2397 [1,30,1] 3619 [1,30,2] 4700 [1,30,3] 5311 [1,30,4] 7379 [1,34,0] 3762 [1,34,1] 4554 [1,34,2] 6600 [1,34,3] 7590 [1,34,4] 8316 [1,65,0] 3584 [1,65,1] 3920 [1,65,2] 5600 [1,65,3] 6608 [1,65,4] 7280 [2,7,0] 3498 [2,7,1] 4224 [2,7,2] 6600 [2,7,3] 8382 [2,7,4] 8778 [2,10,0] 2680 [2,10,1] 4891 [2,10,2] 6700 [2,10,3] 8844 [2,10,4] 10586 [2,13,0] 4760 [2,13,1] 4690 [2,13,2] 7000 [2,13,3] 8470 [2,13,4] 9940 [2,16,0] 896 [2,16,1] 1056 [2,16,2] 1600 [2,16,3] 1984 [2,16,4] 2320 [2,32,0] 1944 [2,32,1] 4428 [2,32,2] 5400 [2,32,3] 6696 [2,32,4] 9234 [2,33,0] 1740 [2,33,1] 1914 [2,33,2] 2900 [2,33,3] 3799 [2,33,4] 3828 [2,42,0] 1696 [2,42,1] 2112 [2,42,2] 3200 [2,42,3] 4192 [2,42,4] 4480 [3,6,0] 5304 [3,6,1] 5694 [3,6,2] 7800 [3,6,3] 8658 [3,6,4] 13572 [3,16,0] 3404 [3,16,1] 3864 [3,16,2] 4600 [3,16,3] 5290 [3,16,4] 7820 [3,21,0] 2664 [3,21,1] 3060 [3,21,2] 3600 [3,21,3] 4824 [3,21,4] 6156 [3,39,0] 1272 [3,39,1] 3551 [3,39,2] 5300 [3,39,3] 6307 [3,39,4] 7208 [4,26,0] 4556 [4,26,1] 4020 [4,26,2] 6700 [4,26,3] 9045 [4,26,4] 9045 [4,40,0] 5925 [4,40,1] 5925 [4,40,2] 7900 [4,40,3] 9954 [4,40,4] 9638 [4,50,0] 4366 [4,50,1] 5180 [4,50,2] 7400 [4,50,3] 10212 [4,50,4] 12432 [4,56,0] 2220 [4,56,1] 4588 [4,56,2] 7400 [4,56,3] 8362 [4,56,4] 10064 [4,58,0] 2204 [4,58,1] 4698 [4,58,2] 5800 [4,58,3] 6380 [4,58,4] 8178 [5,10,0] 1950 [5,10,1] 4420 [5,10,2] 6500 [5,10,3] 8580 [5,10,4] 10010 [5,25,0] 1887 [5,25,1] 3570 [5,25,2] 5100 [5,25,3] 5712 [5,25,4] 8568 [5,46,0] 2485 [5,46,1] 2660 [5,46,2] 3500 [5,46,3] 4620 [5,46,4] 5810 [5,56,0] 1664 [5,56,1] 2752 [5,56,2] 3200 [5,56,3] 4096 [5,56,4] 4896 [6,8,0] 440 [6,8,1] 1380 [6,8,2] 2000 [6,8,3] 2460 [6,8,4] 3580 [6,12,0] 2240 [6,12,1] 4340 [6,12,2] 7000 [6,12,3] 8400 [6,12,4] 10010 [6,23,0] 777 [6,23,1] 2738 [6,23,2] 3700 [6,23,3] 4773 [6,23,4] 6475 [6,24,0] 1681 [6,24,1] 2911 [6,24,2] 4100 [6,24,3] 5617 [6,24,4] 5207 [6,41,0] 4731 [6,41,1] 6142 [6,41,2] 8300 [6,41,3] 11537 [6,41,4] 13446 [6,53,0] 714 [6,53,1] 1190 [6,53,2] 1400 [6,53,3] 1862 [6,53,4] 2086 [7,11,0] 1113 [7,11,1] 1260 [7,11,2] 2100 [7,11,3] 2604 [7,11,4] 3213 [7,45,0] 2349 [7,45,1] 7128 [7,45,2] 8100 [7,45,3] 9072 [7,45,4] 14013 [7,48,0] 4410 [7,48,1] 4158 [7,48,2] 6300 [7,48,3] 8253 [7,48,4] 9009 [7,52,0] 814 [7,52,1] 2923 [7,52,2] 3700 [7,52,3] 4810 [7,52,4] 4477 [7,65,0] 1407 [7,65,1] 4288 [7,65,2] 6700 [7,65,3] 7571 [7,65,4] 11256 [8,9,0] 2795 [8,9,1] 4355 [8,9,2] 6500 [8,9,3] 7475 [8,9,4] 10010 [8,31,0] 4617 [8,31,1] 6318 [8,31,2] 8100 [8,31,3] 10125 [8,31,4] 11745 [8,48,0] 126 [8,48,1] 480 [8,48,2] 600 [8,48,3] 762 [8,48,4] 810 [9,10,0] 1682 [9,10,1] 2494 [9,10,2] 2900 [9,10,3] 3422 [9,10,4] 3538 [9,17,0] 4875 [9,17,1] 5590 [9,17,2] 6500 [9,17,3] 8450 [9,17,4] 10010 [9,21,0] 966 [9,21,1] 1472 [9,21,2] 2300 [9,21,3] 3174 [9,21,4] 3818 [9,22,0] 3264 [9,22,1] 3366 [9,22,2] 5100 [9,22,3] 6477 [9,22,4] 7701 [9,23,0] 308 [9,23,1] 553 [9,23,2] 700 [9,23,3] 966 [9,23,4] 854 [9,32,0] 6399 [9,32,1] 5913 [9,32,2] 8100 [9,32,3] 10611 [9,32,4] 11259 [9,34,0] 1624 [9,34,1] 2233 [9,34,2] 2900 [9,34,3] 3857 [9,34,4] 5162 [9,41,0] 208 [9,41,1] 496 [9,41,2] 800 [9,41,3] 880 [9,41,4] 984 [9,42,0] 1287 [9,42,1] 2769 [9,42,2] 3900 [9,42,3] 5421 [9,42,4] 5265 [10,24,0] 5304 [10,24,1] 6396 [10,24,2] 7800 [10,24,3] 10062 [10,24,4] 14040 [11,30,0] 3650 [11,30,1] 3750 [11,30,2] 5000 [11,30,3] 6750 [11,30,4] 8200 [11,36,0] 845 [11,36,1] 1092 [11,36,2] 1300 [11,36,3] 1521 [11,36,4] 2288 [11,39,0] 1000 [11,39,1] 4350 [11,39,2] 5000 [11,39,3] 5500 [11,39,4] 8600 [11,54,0] 1560 [11,54,1] 1512 [11,54,2] 2400 [11,54,3] 2784 [11,54,4] 3864 [12,24,0] 1980 [12,24,1] 3520 [12,24,2] 4400 [12,24,3] 5984 [12,24,4] 7920 [12,30,0] 966 [12,30,1] 1771 [12,30,2] 2300 [12,30,3] 2898 [12,30,4] 3082 [12,35,0] 1344 [12,35,1] 3444 [12,35,2] 4200 [12,35,3] 5208 [12,35,4] 7224 [12,36,0] 1116 [12,36,1] 2628 [12,36,2] 3600 [12,36,3] 4320 [12,36,4] 6408 [12,41,0] 1776 [12,41,1] 6364 [12,41,2] 7400 [12,41,3] 8880 [12,41,4] 11470 [12,44,0] 1026 [12,44,1] 3154 [12,44,2] 3800 [12,44,3] 4218 [12,44,4] 6764 [12,45,0] 957 [12,45,1] 2343 [12,45,2] 3300 [12,45,3] 3960 [12,45,4] 4719 [12,54,0] 2312 [12,54,1] 2890 [12,54,2] 3400 [12,54,3] 4522 [12,54,4] 5814 [13,27,0] 154 [13,27,1] 553 [13,27,2] 700 [13,27,3] 791 [13,27,4] 1064 [13,40,0] 1156 [13,40,1] 1343 [13,40,2] 1700 [13,40,3] 2006 [13,40,4] 2550 [13,61,0] 2576 [13,61,1] 3358 [13,61,2] 4600 [13,61,3] 6210 [13,61,4] 7728 [13,66,0] 2640 [13,66,1] 3960 [13,66,2] 6000 [13,66,3] 7980 [13,66,4] 10560 [14,26,0] 363 [14,26,1] 737 [14,26,2] 1100 [14,26,3] 1331 [14,26,4] 1562 [14,30,0] 1116 [14,30,1] 2700 [14,30,2] 3600 [14,30,3] 4824 [14,30,4] 4932 [14,34,0] 3762 [14,34,1] 5214 [14,34,2] 6600 [14,34,3] 8712 [14,34,4] 11418 [15,26,0] 920 [15,26,1] 1426 [15,26,2] 2300 [15,26,3] 3059 [15,26,4] 2783 [15,46,0] 1736 [15,46,1] 1984 [15,46,2] 3100 [15,46,3] 4154 [15,46,4] 3844 [15,60,0] 1716 [15,60,1] 1342 [15,60,2] 2200 [15,60,3] 2464 [15,60,4] 3410 [16,49,0] 1204 [16,49,1] 2296 [16,49,2] 2800 [16,49,3] 3836 [16,49,4] 3668 [16,54,0] 868 [16,54,1] 2408 [16,54,2] 2800 [16,54,3] 3528 [16,54,4] 4928 [17,36,0] 2850 [17,36,1] 6750 [17,36,2] 7500 [17,36,3] 10125 [17,36,4] 10050 [17,37,0] 138 [17,37,1] 480 [17,37,2] 600 [17,37,3] 672 [17,37,4] 966 [17,45,0] 1568 [17,45,1] 4984 [17,45,2] 5600 [17,45,3] 6608 [17,45,4] 8120 [17,52,0] 720 [17,52,1] 2520 [17,52,2] 3600 [17,52,3] 4356 [17,52,4] 5328 [17,58,0] 4234 [17,58,1] 4466 [17,58,2] 5800 [17,58,3] 7250 [17,58,4] 7540 [18,43,0] 4914 [18,43,1] 4977 [18,43,2] 6300 [18,43,3] 7308 [18,43,4] 10710 [18,53,0] 4582 [18,53,1] 7031 [18,53,2] 7900 [18,53,3] 8690 [18,53,4] 12324 [19,36,0] 1716 [19,36,1] 1936 [19,36,2] 2200 [19,36,3] 2420 [19,36,4] 3520 [19,41,0] 4118 [19,41,1] 5183 [19,41,2] 7100 [19,41,3] 9585 [19,41,4] 9443 [19,47,0] 1804 [19,47,1] 6396 [19,47,2] 8200 [19,47,3] 10332 [19,47,4] 14760 [19,63,0] 2747 [19,63,1] 5762 [19,63,2] 6700 [19,63,3] 8643 [19,63,4] 11323 [20,25,0] 1064 [20,25,1] 2736 [20,25,2] 3800 [20,25,3] 4522 [20,25,4] 5244 [20,27,0] 1508 [20,27,1] 4002 [20,27,2] 5800 [20,27,3] 7308 [20,27,4] 8410 [20,28,0] 2208 [20,28,1] 5934 [20,28,2] 6900 [20,28,3] 9453 [20,28,4] 11178 [20,36,0] 400 [20,36,1] 1280 [20,36,2] 1600 [20,36,3] 2048 [20,36,4] 2608 [20,50,0] 546 [20,50,1] 2262 [20,50,2] 2600 [20,50,3] 3094 [20,50,4] 3458 [20,54,0] 1078 [20,54,1] 1092 [20,54,2] 1400 [20,54,3] 1820 [20,54,4] 1974 [20,61,0] 5548 [20,61,1] 5256 [20,61,2] 7300 [20,61,3] 9344 [20,61,4] 9417 [21,41,0] 4800 [21,41,1] 4736 [21,41,2] 6400 [21,41,3] 7552 [21,41,4] 11456 [21,66,0] 1440 [21,66,1] 1300 [21,66,2] 2000 [21,66,3] 2640 [21,66,4] 2720 [22,23,0] 435 [22,23,1] 945 [22,23,2] 1500 [22,23,3] 2070 [22,23,4] 2460 [22,46,0] 810 [22,46,1] 1998 [22,46,2] 2700 [22,46,3] 3510 [22,46,4] 3294 [22,54,0] 1656 [22,54,1] 5589 [22,54,2] 6900 [22,54,3] 8832 [22,54,4] 9936 [23,27,0] 1239 [23,27,1] 1890 [23,27,2] 2100 [23,27,3] 2310 [23,27,4] 3465 [23,38,0] 3136 [23,38,1] 4018 [23,38,2] 4900 [23,38,3] 6664 [23,38,4] 6468 [23,45,0] 1586 [23,45,1] 5490 [23,45,2] 6100 [23,45,3] 8052 [23,45,4] 10431 [24,64,0] 580 [24,64,1] 1600 [24,64,2] 2000 [24,64,3] 2660 [24,64,4] 3200 [25,29,0] 2100 [25,29,1] 6888 [25,29,2] 8400 [25,29,3] 9408 [25,29,4] 12096 [25,37,0] 648 [25,37,1] 1704 [25,37,2] 2400 [25,37,3] 3288 [25,37,4] 3000 [25,65,0] 798 [25,65,1] 2356 [25,65,2] 3800 [25,65,3] 4180 [25,65,4] 5396 [26,28,0] 4290 [26,28,1] 3965 [26,28,2] 6500 [26,28,3] 8320 [26,28,4] 8385 [26,37,0] 5694 [26,37,1] 4380 [26,37,2] 7300 [26,37,3] 9855 [26,37,4] 8979 [26,48,0] 1596 [26,48,1] 5852 [26,48,2] 7600 [26,48,3] 9804 [26,48,4] 12388 [26,57,0] 4897 [26,57,1] 7470 [26,57,2] 8300 [26,57,3] 11371 [26,57,4] 11039 [26,65,0] 936 [26,65,1] 2520 [26,65,2] 3600 [26,65,3] 4428 [26,65,4] 5472 [26,66,0] 1794 [26,66,1] 3354 [26,66,2] 3900 [26,66,3] 5070 [26,66,4] 5811 [27,33,0] 532 [27,33,1] 896 [27,33,2] 1400 [27,33,3] 1638 [27,33,4] 2184 [27,35,0] 861 [27,35,1] 2911 [27,35,2] 4100 [27,35,3] 4920 [27,35,4] 7216 [28,29,0] 1702 [28,29,1] 1932 [28,29,2] 2300 [28,29,3] 2714 [28,29,4] 3864 [28,36,0] 5478 [28,36,1] 5146 [28,36,2] 8300 [28,36,3] 9711 [28,36,4] 10043 [28,42,0] 2856 [28,42,1] 4648 [28,42,2] 5600 [28,42,3] 7672 [28,42,4] 8624 [28,56,0] 1560 [28,56,1] 3952 [28,56,2] 5200 [28,56,3] 6448 [28,56,4] 7592 [29,62,0] 1518 [29,62,1] 1472 [29,62,2] 2300 [29,62,3] 2852 [29,62,4] 3749 [30,36,0] 2920 [30,36,1] 3440 [30,36,2] 4000 [30,36,3] 4480 [30,36,4] 5720 [30,51,0] 3350 [30,51,1] 5963 [30,51,2] 6700 [30,51,3] 8911 [30,51,4] 11725 [30,66,0] 730 [30,66,1] 710 [30,66,2] 1000 [30,66,3] 1100 [30,66,4] 1610 [31,33,0] 2688 [31,33,1] 3150 [31,33,2] 4200 [31,33,3] 4746 [31,33,4] 6846 [31,35,0] 544 [31,35,1] 1008 [31,35,2] 1600 [31,35,3] 2240 [31,35,4] 2848 [31,56,0] 529 [31,56,1] 1978 [31,56,2] 2300 [31,56,3] 2783 [31,56,4] 3680 [31,58,0] 4480 [31,58,1] 6880 [31,58,2] 8000 [31,58,3] 10240 [31,58,4] 14400 [32,39,0] 3869 [32,39,1] 4240 [32,39,2] 5300 [32,39,3] 6678 [32,39,4] 8215 [32,44,0] 4200 [32,44,1] 7560 [32,44,2] 8400 [32,44,3] 11004 [32,44,4] 12096 [32,58,0] 2562 [32,58,1] 3738 [32,58,2] 4200 [32,58,3] 5166 [32,58,4] 5208 [33,34,0] 5440 [33,34,1] 5100 [33,34,2] 6800 [33,34,3] 8772 [33,34,4] 8432 [33,48,0] 3584 [33,48,1] 4096 [33,48,2] 6400 [33,48,3] 8256 [33,48,4] 9216 [34,49,0] 1700 [34,49,1] 2346 [34,49,2] 3400 [34,49,3] 3876 [34,49,4] 5474 [34,53,0] 2310 [34,53,1] 3192 [34,53,2] 4200 [34,53,3] 5082 [34,53,4] 5796 [34,57,0] 3404 [34,57,1] 3956 [34,57,2] 4600 [34,57,3] 5980 [34,57,4] 5704 [34,59,0] 242 [34,59,1] 902 [34,59,2] 1100 [34,59,3] 1375 [34,59,4] 1331 [34,66,0] 3796 [34,66,1] 4316 [34,66,2] 5200 [34,66,3] 6968 [34,66,4] 7072 [35,36,0] 832 [35,36,1] 2208 [35,36,2] 3200 [35,36,3] 3936 [35,36,4] 5248 [35,42,0] 765 [35,42,1] 1170 [35,42,2] 1500 [35,42,3] 1905 [35,42,4] 2565 [35,44,0] 3685 [35,44,1] 4154 [35,44,2] 6700 [35,44,3] 9246 [35,44,4] 9514 [36,47,0] 1220 [36,47,1] 4392 [36,47,2] 6100 [36,47,3] 7747 [36,47,4] 9821 [36,51,0] 1720 [36,51,1] 2520 [36,51,2] 4000 [36,51,3] 5320 [36,51,4] 5920 [36,57,0] 2989 [36,57,1] 4758 [36,57,2] 6100 [36,57,3] 7747 [36,57,4] 9821 [37,54,0] 341 [37,54,1] 836 [37,54,2] 1100 [37,54,3] 1452 [37,54,4] 1342 [37,66,0] 4050 [37,66,1] 5589 [37,66,2] 8100 [37,66,3] 10773 [37,66,4] 10854 [38,49,0] 3216 [38,49,1] 4224 [38,49,2] 4800 [38,49,3] 5520 [38,49,4] 7824 [38,50,0] 2583 [38,50,1] 5040 [38,50,2] 6300 [38,50,3] 8379 [38,50,4] 9702 [38,58,0] 3100 [38,58,1] 4200 [38,58,2] 5000 [38,58,3] 6400 [38,58,4] 7250 [38,66,0] 4125 [38,66,1] 4840 [38,66,2] 5500 [38,66,3] 7315 [38,66,4] 9900 [39,43,0] 4020 [39,43,1] 5628 [39,43,2] 6700 [39,43,3] 7839 [39,43,4] 10385 [39,44,0] 1197 [39,44,1] 1349 [39,44,2] 1900 [39,44,3] 2546 [39,44,4] 2983 [39,45,0] 1288 [39,45,1] 2156 [39,45,2] 2800 [39,45,3] 3612 [39,45,4] 4620 [39,49,0] 546 [39,49,1] 1846 [39,49,2] 2600 [39,49,3] 2938 [39,49,4] 4550 [40,42,0] 1888 [40,42,1] 4956 [40,42,2] 5900 [40,42,3] 8260 [40,42,4] 10325 [40,51,0] 2079 [40,51,1] 2241 [40,51,2] 2700 [40,51,3] 3294 [40,51,4] 3456 [41,50,0] 2450 [41,50,1] 3871 [41,50,2] 4900 [41,50,3] 6811 [41,50,4] 6860 [41,54,0] 1147 [41,54,1] 2479 [41,54,2] 3700 [41,54,3] 5106 [41,54,4] 4514 [41,62,0] 1652 [41,62,1] 2380 [41,62,2] 2800 [41,62,3] 3304 [41,62,4] 4536 [43,51,0] 1080 [43,51,1] 2400 [43,51,2] 4000 [43,51,3] 5160 [43,51,4] 5960 [44,45,0] 1764 [44,45,1] 3626 [44,45,2] 4900 [44,45,3] 6419 [44,45,4] 7742 [44,47,0] 1720 [44,47,1] 3139 [44,47,2] 4300 [44,47,3] 5074 [44,47,4] 7697 [44,54,0] 3286 [44,54,1] 3975 [44,54,2] 5300 [44,54,3] 5830 [44,54,4] 8639 [46,67,0] 814 [46,67,1] 2590 [46,67,2] 3700 [46,67,3] 4440 [46,67,4] 4551 [47,49,0] 1092 [47,49,1] 938 [47,49,2] 1400 [47,49,3] 1876 [47,49,4] 2450 [47,55,0] 1584 [47,55,1] 1752 [47,55,2] 2400 [47,55,3] 3168 [47,55,4] 3288 [47,59,0] 438 [47,59,1] 432 [47,59,2] 600 [47,59,3] 678 [47,59,4] 1080 [49,58,0] 4814 [49,58,1] 7304 [49,58,2] 8300 [49,58,3] 11288 [49,58,4] 11703 [49,64,0] 442 [49,64,1] 1131 [49,64,2] 1300 [49,64,3] 1768 [49,64,4] 1924 [50,57,0] 1972 [50,57,1] 2550 [50,57,2] 3400 [50,57,3] 4046 [50,57,4] 5950 [50,59,0] 3976 [50,59,1] 3696 [50,59,2] 5600 [50,59,3] 7168 [50,59,4] 8792 [50,60,0] 1088 [50,60,1] 2816 [50,60,2] 3200 [50,60,3] 3808 [50,60,4] 5216 [51,57,0] 3024 [51,57,1] 3120 [51,57,2] 4800 [51,57,3] 5856 [51,57,4] 6816 [51,59,0] 1320 [51,59,1] 2145 [51,59,2] 3300 [51,59,3] 4620 [51,59,4] 5544 [52,61,0] 1127 [52,61,1] 4067 [52,61,2] 4900 [52,61,3] 5978 [52,61,4] 7693 [53,56,0] 2058 [53,56,1] 3612 [53,56,2] 4200 [53,56,3] 5418 [53,56,4] 6300 [53,61,0] 1258 [53,61,1] 1445 [53,61,2] 1700 [53,61,3] 1921 [53,61,4] 2261 [53,62,0] 1802 [53,62,1] 4505 [53,62,2] 5300 [53,62,3] 6996 [53,62,4] 7367 [54,57,0] 884 [54,57,1] 1496 [54,57,2] 1700 [54,57,3] 2329 [54,57,4] 2363 [55,57,0] 2400 [55,57,1] 3408 [55,57,2] 4800 [55,57,3] 5856 [55,57,4] 7056 [55,59,0] 1944 [55,59,1] 2403 [55,59,2] 2700 [55,59,3] 3753 [55,59,4] 3510 [56,63,0] 3034 [56,63,1] 5180 [56,63,2] 7400 [56,63,3] 8510 [56,63,4] 12136 [56,67,0] 1917 [56,67,1] 5751 [56,67,2] 7100 [56,67,3] 9798 [56,67,4] 8520 [57,59,0] 2376 [57,59,1] 6192 [57,59,2] 7200 [57,59,3] 8280 [57,59,4] 12456 [58,66,0] 2052 [58,66,1] 5548 [58,66,2] 7600 [58,66,3] 10260 [58,66,4] 12160 [59,61,0] 2184 [59,61,1] 4160 [59,61,2] 5200 [59,61,3] 6864 [59,61,4] 7748 [60,64,0] 1504 [60,64,1] 3149 [60,64,2] 4700 [60,64,3] 6580 [60,64,4] 6204 [61,66,0] 782 [61,66,1] 1037 [61,66,2] 1700 [61,66,3] 2329 [61,66,4] 2567 [62,65,0] 3990 [62,65,1] 4104 [62,65,2] 5700 [62,65,3] 6726 [62,65,4] 7410 [64,66,0] 3009 [64,66,1] 4661 [64,66,2] 5900 [64,66,3] 8260 [64,66,4] 9027 [64,67,0] 1725 [64,67,1] 1825 [64,67,2] 2500 [64,67,3] 3500 [64,67,4] 3750 [65,66,0] 540 [65,66,1] 996 [65,66,2] 1200 [65,66,3] 1380 [65,66,4] 1848 ; param cap [*] := 1 24 13 24 25 24 37 24 49 24 61 24 73 24 85 24 97 24 2 24 14 24 26 24 38 24 50 24 62 24 74 24 86 24 98 24 3 24 15 24 27 24 39 24 51 24 63 24 75 24 87 24 99 24 4 24 16 24 28 24 40 24 52 24 64 24 76 24 88 24 100 24 5 24 17 24 29 24 41 24 53 24 65 24 77 24 89 24 101 24 6 24 18 24 30 24 42 24 54 24 66 24 78 24 90 24 102 24 7 24 19 24 31 24 43 24 55 24 67 24 79 24 91 24 103 24 8 24 20 24 32 24 44 24 56 24 68 24 80 24 92 24 104 24 9 24 21 24 33 24 45 24 57 24 69 24 81 24 93 24 105 24 10 24 22 24 34 24 46 24 58 24 70 24 82 24 94 24 106 24 11 24 23 24 35 24 47 24 59 24 71 24 83 24 95 24 107 24 12 24 24 24 36 24 48 24 60 24 72 24 84 24 96 24 ;