# Computed by Robert Israel, May 25 2022 # using Maple 2022.0, X86 64 WINDOWS, Mar 8 2022, Build ID 1599809 1 2 2 13 3 47 4 71 5 101 6 151 7 193 8 239 9 241 10 293 11 331 12 337 13 359 14 383 15 397 16 401 17 421 18 463 19 487 20 557 21 577 22 709 23 773 24 797 25 821 26 929 27 1019 28 1031 29 1069 30 1093 31 1103 32 1181 33 1217 34 1249 35 1327 36 1367 37 1423 38 1499 39 1571 40 1759 41 1787 42 1789 43 1831 44 1871 45 1877 46 1913 47 1933 48 2053 49 2339 50 2503 51 2521 52 2557 53 2633 54 2819 55 3041 56 3137 57 3209 58 3251 59 3313 60 3343 61 3371 62 3373 63 3547 64 3607 65 3691 66 3709 67 3719 68 3739 69 3767 70 3847 71 3917 72 3929 73 3931 74 3943 75 4021 76 4111 77 4177 78 4229 79 4259 80 4297 81 4397 82 4513 83 4549 84 4933 85 4943 86 5009 87 5147 88 5189 89 5231 90 5563 91 5639 92 5669 93 5693 94 5851 95 5881 96 5927 97 6053 98 6359 99 6763 100 6823 101 6883 102 7019 103 7129 104 7243 105 7307 106 7411 107 7417 108 7457 109 7477 110 7529 111 7573 112 7591 113 7649 114 7727 115 7753 116 7789 117 7867 118 7873 119 7963 120 8053 121 8069 122 8093 123 8123 124 8161 125 8231 126 8233 127 8237 128 8311 129 8353 130 8377 131 8447 132 8537 133 8581 134 8627 135 8731 136 8747 137 8819 138 8929 139 9049 140 9283 141 9311 142 9461 143 9601 144 9631 145 9677 146 9803 147 10099 148 10181 149 10597 150 10861 151 10993 152 11003 153 11321 154 11369 155 11489 156 11621 157 11731 158 11777 159 11779 160 11981 161 12097 162 12101 163 12149 164 12239 165 12347 166 12413 167 12437 168 12511 169 12659 170 12703 171 12853 172 12911 173 12959 174 13219 175 13297 176 13337 177 13687 178 13723 179 13829 180 13831 181 14057 182 14143 183 14281 184 14489 185 14561 186 14653 187 14657 188 14669 189 14851 190 15131 191 15139 192 15149 193 15161 194 15277 195 15359 196 15493 197 15551 198 15607 199 15629 200 15667 201 15859 202 15913 203 16057 204 16187 205 16339 206 16547 207 16603 208 16661 209 16811 210 16871 211 16883 212 16963 213 17167 214 17239 215 17327 216 17443 217 17569 218 17657 219 17669 220 17683 221 17713 222 17881 223 18013 224 18127 225 18199 226 18367 227 18461 228 18869 229 18899 230 18917 231 19181 232 19237 233 19373 234 19381 235 19483 236 19501 237 19541 238 19543 239 19609 240 19717 241 19841 242 19861 243 19937 244 19991 245 20051 246 20113 247 20407 248 20593 249 20717 250 20807 251 20809 252 20857 253 21011 254 21013 255 21283 256 21313 257 21377 258 21391 259 21599 260 21649 261 21727 262 21841 263 21937 264 21961 265 22013 266 22037 267 22051 268 22091 269 22129 270 22189 271 22291 272 22369 273 22447 274 22541 275 22549 276 22669 277 22739 278 22769 279 22937 280 22961 281 23039 282 23201 283 23291 284 23557 285 23633 286 23669 287 23887 288 23899 289 23911 290 24223 291 24247 292 24509 293 24631 294 24709 295 24841 296 25033 297 25117 298 25163 299 25237 300 25357 301 25439 302 25609 303 25889 304 26041 305 26099 306 26227 307 26249 308 26261 309 26263 310 26293 311 26297 312 26399 313 26489 314 26497 315 26539 316 26573 317 26683 318 26839 319 26863 320 27077 321 27109 322 27179 323 27367 324 27457 325 27701 326 27791 327 27851 328 28019 329 28031 330 28051 331 28181 332 28229 333 28277 334 28319 335 28351 336 28403 337 28439 338 28477 339 28597 340 28927 341 29023 342 29137 343 29191 344 29453 345 29917 346 30161 347 30643 348 30803 349 30853 350 30881 351 31019 352 31181 353 31247 354 31249 355 31333 356 31643 357 31883 358 32083 359 32321 360 32353 361 32401 362 32423 363 32797 364 32941 365 32969 366 33107 367 33247 368 33427 369 33469 370 33587 371 33619 372 33809 373 33961 374 34297 375 34421 376 34457 377 34469 378 34537 379 34583 380 34757 381 34807 382 35159 383 35401 384 35509 385 35603 386 36061 387 36451 388 36541 389 36559 390 36943 391 37097 392 37309 393 37337 394 37379 395 37573 396 37591 397 37717 398 38149 399 38177 400 38303 401 38459 402 38501 403 38609 404 38693 405 38711 406 39047 407 39097 408 39181 409 39217 410 39241 411 39251 412 39419 413 39451 414 39511 415 39857 416 39929 417 40111 418 40163 419 40357 420 40429 421 40697 422 40867 423 41143 424 41281 425 41341 426 41389 427 41443 428 41597 429 41609 430 41687 431 41941 432 42083 433 42281 434 42283 435 42323 436 42337 437 42359 438 42557 439 42839 440 43441 441 43451 442 43457 443 43613 444 43669 445 43853 446 44071 447 44491 448 44729 449 44741 450 44789 451 44953 452 44971 453 45131 454 45389 455 45599 456 45821 457 45949 458 46171 459 46199 460 46237 461 46307 462 46327 463 46349 464 46439 465 46619 466 46663 467 46679 468 46807 469 46811 470 46877 471 47143 472 47147 473 47279 474 47387 475 47507 476 47599 477 47659 478 47713 479 47869 480 47917 481 47939 482 48029 483 48311 484 48571 485 48619 486 48679 487 48799 488 49037 489 49043 490 49157 491 49369 492 49523 493 49529 494 49537 495 49669 496 49957 497 49991 498 50153 499 50159 500 50177 501 50231 502 50363 503 50539 504 50581 505 50839 506 50909 507 51133 508 51203 509 51263 510 51283 511 51407 512 51449 513 51511 514 51871 515 52313 516 52571 517 52609 518 52999 519 53047 520 53149 521 53353 522 53407 523 53527 524 53719 525 53783 526 53849 527 53899 528 53987 529 54133 530 54167 531 54323 532 54331 533 54547 534 55243 535 55511 536 55529 537 55541 538 55609 539 55661 540 55697 541 55819 542 55849 543 55933 544 56093 545 56101 546 56207 547 56473 548 56503 549 56701 550 56809 551 56951 552 57047 553 57173 554 57191 555 57943 556 58169 557 58543 558 58567 559 58711 560 58771 561 58943 562 58997 563 59183 564 59207 565 59221 566 59377 567 59567 568 59699 569 59797 570 59887 571 59951 572 59971 573 60017 574 60037 575 60107 576 60251 577 60289 578 60353 579 60373 580 60607 581 60637 582 60821 583 61043 584 61129 585 61169 586 61261 587 61333 588 61441 589 61519 590 61583 591 61717 592 61813 593 62129 594 62219 595 62921 596 62929 597 62939 598 63281 599 63347 600 63377 601 63439 602 63527 603 63601 604 63649 605 63781 606 63949 607 63977 608 64231 609 64283 610 64609 611 64709 612 64921 613 65003 614 65099 615 65147 616 65183 617 65327 618 65927 619 66431 620 66593 621 66947 622 66959 623 67169 624 67391 625 67489 626 67511 627 67631 628 67789 629 68219 630 68281 631 68501 632 68531 633 68543 634 68713 635 68791 636 68821 637 68963 638 69067 639 69127 640 69191 641 69389 642 69593 643 69829 644 69833 645 70009 646 70121 647 70177 648 70249 649 70489 650 70537 651 70667 652 71089 653 71119 654 71699 655 71899 656 71933 657 72169 658 72211 659 72253 660 72481 661 72671 662 72797 663 72823 664 72973 665 73181 666 73709 667 73751 668 73771 669 73951 670 74047 671 74257 672 74507 673 74551 674 74573 675 74707 676 74857 677 74959 678 75133 679 75277 680 75641 681 75721 682 76243 683 76261 684 76343 685 76367 686 76387 687 76481 688 76771 689 76873 690 76949 691 77351 692 77359 693 77471 694 77509 695 77557 696 77569 697 77573 698 77713 699 77743 700 77969 701 78163 702 78311 703 78691 704 78791 705 79031 706 79139 707 79589 708 79631 709 79699 710 79769 711 79829 712 80021 713 80039 714 80107 715 80111 716 80149 717 80239 718 80287 719 80527 720 80537 721 80963 722 81023 723 81047 724 81049 725 81101 726 81173 727 81299 728 81307 729 81359 730 81421 731 81569 732 81769 733 82007 734 82129 735 82193 736 82223 737 82279 738 82307 739 82799 740 82837 741 82847 742 82891 743 82997 744 83023 745 83047 746 83269 747 83437 748 83497 749 83537 750 83873 751 83903 752 83939 753 84131 754 84163 755 84317 756 84407 757 84431 758 85021 759 85363 760 85487 761 85517 762 85601 763 85717 764 85751 765 86027 766 86239 767 86269 768 86297 769 86369 770 86413 771 86861 772 86923 773 86939 774 86951 775 87037 776 87049 777 87253 778 87337 779 87511 780 87649 781 87671 782 87797 783 87803 784 87917 785 87959 786 88117 787 88129 788 88259 789 88261 790 88289 791 88469 792 88547 793 88801 794 88807 795 88997 796 89293 797 89303 798 89519 799 89561 800 89989 801 90067 802 90281 803 90371 804 90619 805 90679 806 90907 807 90931 808 90977 809 91291 810 91457 811 91463 812 91529 813 91573 814 91621 815 91823 816 92111 817 92357 818 92413 819 92627 820 92849 821 92957 822 93239 823 93323 824 93481 825 93553 826 93739 827 93811 828 93901 829 94033 830 94169 831 94427 832 94777 833 94837 834 94873 835 95189 836 95191 837 95267 838 95279 839 95369 840 95441 841 95911 842 95929 843 96059 844 96199 845 96331 846 96769 847 97301 848 97367 849 97379 850 97577 851 97919 852 98317 853 98389 854 98491 855 98543 856 98639 857 98947 858 99131 859 99289 860 99607 861 99713 862 100447 863 100673 864 100703 865 100811 866 100999 867 101203 868 101267 869 101287 870 101347 871 101449 872 101891 873 101939 874 101957 875 102407 876 102437 877 102497 878 102533 879 102643 880 102647 881 102677 882 102701 883 102929 884 103007 885 103529 886 103913 887 103967 888 103979 889 104021 890 104693 891 104911 892 104971 893 105173 894 105397 895 105407 896 105613 897 105817 898 106031 899 106033 900 106181 901 106217 902 106391 903 106537 904 106907 905 107021 906 107033 907 107053 908 107357 909 107449 910 107761 911 107857 912 108089 913 108179 914 108247 915 108793 916 108869 917 109121 918 109139 919 109471 920 109537 921 109583 922 109663 923 109841 924 109873 925 109961 926 110441 927 110563 928 110623 929 110881 930 111217 931 111491 932 111731 933 111791 934 112019 935 112067 936 112199 937 112213 938 112247 939 112757 940 112807 941 113017 942 113027 943 113089 944 113131 945 113143 946 113149 947 113177 948 113329 949 113909 950 113963 951 113983 952 114031 953 114067 954 114113 955 114199 956 114203 957 114593 958 114749 959 114797 960 114967 961 115001 962 115259 963 115309 964 115361 965 115429 966 115523 967 115553 968 115679 969 115693 970 115873 971 115981 972 116107 973 116381 974 116471 975 116537 976 116539 977 116791 978 116989 979 117041 980 117043 981 117133 982 117167 983 117193 984 117329 985 117331 986 117877 987 118169 988 118399 989 118423 990 118457 991 118583 992 118589 993 118669 994 118687 995 118709 996 118717 997 118751 998 118757 999 118831 1000 119191