# Computed by Robert Israel, June 07 2019 # using Maple 2019.1, X86 64 WINDOWS, May 21 2019, Build ID 1399874 1 123 2 127 3 131 4 139 5 151 6 163 7 167 8 488 9 512 10 520 11 544 12 608 13 640 14 672 15 1095 16 1167 17 1383 18 1455 19 1515 20 1944 21 2008 22 2136 23 2264 24 2456 25 2648 26 2696 27 3035 28 3115 29 3215 30 3235 31 3415 32 3515 33 3635 34 3715 35 3735 36 3835 37 3935 38 4115 39 4135 40 4215 41 4368 42 4944 43 5496 44 5943 45 5971 46 6055 47 6072 48 6279 49 6335 50 6587 51 6671 52 6755 53 6839 54 6979 55 7091 56 7147 57 7231 58 7455 59 7483 60 7760 61 7763 62 7856 63 7888 64 7931 65 7984 66 8015 67 8144 68 8155 69 8240 70 8267 71 8368 72 8496 73 8528 74 8624 75 8656 76 8752 77 8880 78 8912 79 9008 80 9040 81 9136 82 9392 83 9520 84 9648 85 9776 86 9808 87 9819 88 9904 89 10032 90 10064 91 10160 92 10288 93 10448 94 10544 95 10576 96 10800 97 10863 98 11079 99 11331 100 11511 101 11547 102 11727 103 11943 104 11979 105 12120 106 12280 107 12591 108 12807 109 12843 110 13023 111 13080 112 13239 113 13491 114 13671 115 13720 116 13880 117 14663 118 14680 119 14839 120 15191 121 15280 122 15320 123 15411 124 15480 125 15587 126 15719 127 16423 128 16467 129 16731 130 16880 131 17448 132 17567 133 17743 134 18024 135 18359 136 18403 137 18552 138 18623 139 19063 140 19128 141 19283 142 19459 143 19591 144 19679 145 19704 146 19752 147 20328 148 20427 149 20475 150 20527 151 20683 152 20891 153 21047 154 21151 155 21432 156 21480 157 21723 158 21775 159 22035 160 22056 161 22399 162 22555 163 22584 164 22711 165 23075 166 23160 167 23179 168 23208 169 23231 170 23387 171 23736 172 23744 173 23784 174 23803 175 23855 176 24271 177 24312 178 24427 179 24531 180 25032 181 25103 182 25155 183 25415 184 25831 185 25984 186 26091 187 26152 188 26299 189 26455 190 26507 191 26824 192 26975 193 27104 194 27131 195 27255 196 27287 197 27443 198 27859 199 27911 200 28327 201 28483 202 28535 203 28695 204 28995 205 29055 206 29288 207 29736 208 30795 209 30856 210 31008 211 31456 212 31528 213 31776 214 31808 215 32295 216 32872 217 32955 218 32992 219 33096 220 34016 221 34095 222 34395 223 34455 224 34755 225 34848 226 35003 227 35104 228 35411 229 35615 230 35683 231 35872 232 35895 233 36064 234 36159 235 36255 236 36555 237 36635 238 36839 239 36975 240 37315 241 37723 242 37995 243 38176 244 38624 245 38944 246 38947 247 39136 248 39240 249 40104 250 40239 251 40672 252 40715 253 40736 254 40968 255 41191 256 41248 257 41395 258 41696 259 41760 260 41871 261 41939 262 42208 263 42415 264 42619 265 42755 266 43232 267 43503 268 43719 269 43871 270 44023 271 44327 272 44659 273 44707 274 44727 275 45216 276 45288 277 45391 278 45407 279 45543 280 45883 281 46087 282 46495 283 46759 284 46835 285 47016 286 47175 287 47243 288 47991 289 48331 290 48431 291 48440 292 48535 293 48672 294 48744 295 48807 296 49608 297 49799 298 50360 299 50407 300 50472 301 51167 302 51319 303 51560 304 51640 305 52128 306 52200 307 52231 308 52687 309 52991 310 53240 311 53371 312 53403 313 53560 314 54283 315 54411 316 54440 317 54587 318 54720 319 55043 320 55119 321 55160 322 55271 323 55423 324 55879 325 56183 326 56931 327 56943 328 57551 329 57931 330 58040 331 58159 332 58360 333 58463 334 58608 335 58691 336 58767 337 58863 338 58960 339 59071 340 59367 341 59664 342 59960 343 60059 344 60280 345 60439 346 60459 347 60667 348 60840 349 60971 350 61240 351 61467 352 61971 353 62392 354 62840 355 63160 356 63903 357 64055 358 64331 359 64360 360 64592 361 64607 362 64760 363 65499 364 66000 365 66040 366 66263 367 66355 368 66423 369 66616 370 66704 371 66907 372 67091 373 67408 374 67560 375 67735 376 68024 377 68195 378 68747 379 68931 380 69080 381 69575 382 69744 383 69951 384 70136 385 70495 386 70896 387 71043 388 71139 389 71599 390 71783 391 71875 392 71896 393 71952 394 72336 395 72887 396 72952 397 73104 398 73163 399 73347 400 73744 401 74359 402 74448 403 74487 404 74819 405 75408 406 75555 407 75675 408 76015 409 76656 410 76675 411 77075 412 77395 413 77579 414 77712 415 77808 416 77855 417 77968 418 78232 419 78675 420 79024 421 79075 422 79175 423 79603 424 79640 425 79675 426 79787 427 80016 428 80075 429 80112 430 80339 431 80523 432 80615 433 80696 434 80891 435 81175 436 81259 437 81443 438 81488 439 81535 440 81675 441 81752 442 81811 443 81848 444 82675 445 82915 446 83075 447 83575 448 83675 449 83835 450 84295 451 84344 452 84571 453 84575 454 85075 455 85123 456 85175 457 85491 458 85583 459 85675 460 85776 461 85859 462 86008 463 86575 464 86675 465 86736 466 86928 467 87055 468 87075 469 87152 470 87256 471 87515 472 88067 473 88175 474 88251 475 88263 476 88675 477 88895 478 88987 479 89232 480 89355 481 89451 482 89559 483 89575 484 89675 485 89752 486 90099 487 90175 488 90575 489 90855 490 91075 491 91175 492 91395 493 91503 494 91536 495 91675 496 92144 497 92151 498 92675 499 92688 500 92691 501 92799 502 93075 503 93175 504 93447 505 93496 506 94175 507 94635 508 94743 509 94920 510 94992 511 95075 512 95368 513 95391 514 95575 515 95675 516 96039 517 96144 518 96175 519 96575 520 96675 521 96687 522 96824 523 97296 524 97496 525 97675 526 97875 527 98075 528 98488 529 98504 530 98575 531 98675 532 99171 533 99175 534 99279 535 99736 536 99927 537 100075 538 100175 539 100568 540 100575 541 100675 542 101192 543 101819 544 101871 545 102075 546 102232 547 102283 548 102411 549 102519 550 102536 551 103167 552 103175 553 103211 554 103791 555 103815 556 104216 557 104355 558 104371 559 104463 560 104575 561 104603 562 104624 563 104719 564 104728 565 104776 566 105067 567 105175 568 105575 569 105647 570 105759 571 105879 572 105976 573 106459 574 107039 575 107464 576 107595 577 107703 578 108083 579 108351 580 108368 581 108431 582 108784 583 108960 584 109144 585 109243 586 109304 587 109647 588 109823 589 110032 590 110488 591 110519 592 110835 593 110943 594 111048 595 111563 596 111591 597 111840 598 112143 599 112239 600 112607 601 112779 602 113048 603 113176 604 113303 605 113427 606 113535 607 113624 608 113736 609 113767 610 113776 611 114183 612 114192 613 114463 614 114831 615 115159 616 115371 617 115623 618 116040 619 116343 620 116551 621 116591 622 116667 623 117211 624 117320 625 117423 626 117707 627 118071 628 118291 629 118523 630 118639 631 118719 632 118823 633 118871 634 119103 635 119367 636 119896 637 120031 638 120360 639 120456 640 120555 641 120611 642 121303 643 121311 644 121427 645 121887 646 121959 647 122351 648 122584 649 122699 650 123032 651 123144 652 123147 653 123287 654 123592 655 123659 656 123783 657 123859 658 123968 659 124031 660 124527 661 124651 662 125367 663 125376 664 125599 665 125720 666 125831 667 126063 668 126511 669 126759 670 127339 671 127560 672 127919 673 127960 674 128151 675 128267 676 128867 677 128960 678 128963 679 129079 680 129088 681 129304 682 129427 683 129611 684 129864 685 129984 686 130007 687 130231 688 130440 689 130703 690 130727 691 130760 692 131096 693 131099 694 131719 695 131835 696 131843 697 131992 698 132440 699 132443 700 132544 701 132791 702 133056 703 133184 704 133440 705 133487 706 133696 707 134079 708 134199 709 134447 710 134592 711 134647 712 134879 713 135067 714 135111 715 135616 716 135691 717 136307 718 137247 719 137431 720 138011 721 138171 722 138304 723 138688 724 138707 725 138823 726 139171 727 139200 728 139283 729 139287 730 139407 731 139712 732 139903 733 139944 734 140027 735 140099 736 140679 737 140771 738 141019 739 141607 740 141760 741 142071 742 142272 743 142383 744 142791 745 142923 746 143715 747 143808 748 143936 749 144491 750 144840 751 144960 752 145359 753 145483 754 145607 755 145984 756 146351 757 146723 758 146883 759 148104 760 148295 761 148416 762 148459 763 148583 764 148855 765 149160 766 149440 767 149555 768 149736 769 150395 770 150843 771 151311 772 151368 773 151635 774 151931 775 152040 776 152179 777 152355 778 153024 779 153152 780 153895 781 154039 782 154163 783 154671 784 154688 785 154907 786 155031 787 155176 788 155200 789 155584 790 155595 791 155651 792 155855 793 155995 794 156224 795 156255 796 156767 797 156888 798 157352 799 157387 800 157395 801 157511 802 157632 803 157955 804 157971 805 158095 806 158131 807 158272 808 158616 809 158984 810 159555 811 159619 812 160195 813 160344 814 160859 815 161479 816 161727 817 161851 818 162112 819 162240 820 162347 821 163656 822 163904 823 164424 824 165528 825 165655 826 165723 827 165871 828 166315 829 166495 830 166848 831 166976 832 167203 833 167360 834 167755 835 167872 836 168232 837 168455 838 169155 839 169571 840 169995 841 170311 842 170560 843 170712 844 171051 845 171199 846 171456 847 171643 848 171791 849 171939 850 171955 851 172679 852 172887 853 172992 854 173123 855 173495 856 173567 857 173679 858 174024 859 174751 860 174800 861 175395 862 175787 863 175848 864 176083 865 176675 866 176936 867 177080 868 177119 869 177415 870 177695 871 178155 872 178448 873 178563 874 178568 875 178955 876 179043 877 179112 878 179795 879 180064 880 180120 881 180227 882 180272 883 180880 884 180936 885 181411 886 181599 887 181855 888 182003 889 182299 890 182808 891 182891 892 183295 893 183920 894 183975 895 184075 896 184119 897 184376 898 184519 899 184536 900 184984 901 185111 902 185255 903 185395 904 185991 905 186795 906 186887 907 187035 908 187627 909 187816 910 187848 911 187863 912 188176 913 188219 914 188755 915 189403 916 189455 917 189551 918 189595 919 189995 920 190000 921 191179 922 191448 923 191824 924 192168 925 192363 926 193547 927 193680 928 194104 929 194320 930 194904 931 195055 932 195296 933 195472 934 195928 935 196536 936 196632 937 196655 938 196688 939 196720 940 196880 941 196951 942 197520 943 197691 944 197752 945 197839 946 197855 947 197987 948 198159 949 198216 950 198555 951 198727 952 199120 953 199255 954 199319 955 200059 956 200184 957 200503 958 200947 959 200967 960 201355 961 201672 962 201816 963 202131 964 202427 965 203120 966 203483 967 203759 968 203832 969 203920 970 203984 971 204055 972 204139 973 204203 974 204499 975 204647 976 204795 977 204995 978 205272 979 205287 980 205451 981 205647 982 205831 983 206320 984 206395 985 206423 986 206583 987 206955 988 207091 989 207120 990 208239 991 208584 992 208643 993 208696 994 208939 995 209235 996 209383 997 209975 998 210043 999 210064 1000 210123