# Computed by Robert Israel, December 13 2021 # using Maple 2021.2, X86 64 WINDOWS, Nov 23 2021, Build ID 1576349 0 2 1 5 2 7 3 13 4 53 5 43 6 47 7 67 8 107 9 137 10 173 11 191 12 163 13 271 14 307 15 277 16 313 17 389 18 461 19 487 20 593 21 523 22 563 23 613 24 691 25 739 26 787 27 811 28 797 29 937 30 983 31 887 32 1039 33 1069 34 997 35 1181 36 1117 37 1249 38 1301 39 1453 40 1303 41 1597 42 1399 43 1483 44 1567 45 1721 46 1871 47 1783 48 1693 49 1697 50 1987 51 1877 52 1847 53 2311 54 2143 55 2309 56 2281 57 2467 58 2411 59 2333 60 2377 61 2609 62 2621 63 2927 64 2861 65 2767 66 3163 67 3001 68 2777 69 3109 70 2903 71 3049 72 3169 73 3061 74 3181 75 3301 76 3391 77 3541 78 3499 79 3967 80 3727 81 3767 82 4111 83 4057 84 4241 85 3931 86 4421 87 4021 88 4177 89 4093 90 4229 91 4231 92 4441 93 4877 94 4799 95 4673 96 4933 97 4943 98 4703 99 4733 100 5147 101 5309 102 5479 103 5227 104 5413 105 4789 106 5387 107 5717 108 5591 109 5827 110 5897 111 5743 112 6043 113 5869 114 5507 115 6163 116 6053 117 5849 118 6121 119 6079 120 6571 121 6091 122 6673 123 6199 124 6607 125 6481 126 6917 127 6529 128 6827 129 7219 130 6991 131 7351 132 7309 133 7307 134 7517 135 7333 136 6781 137 7369 138 7949 139 7561 140 8011 141 8171 142 8363 143 8233 144 8221 145 8161 146 8629 147 8467 148 7727 149 8311 150 8443 151 8677 152 8867 153 8521 154 9377 155 8839 156 9203 157 9029 158 9257 159 9283 160 8887 161 9293 162 9173 163 9791 164 9643 165 10009 166 10133 167 9619 168 9689 169 10259 170 10193 171 9613 172 9623 173 10667 174 10141 175 10937 176 10343 177 10531 178 10459 179 10627 180 10477 181 11677 182 11131 183 12097 184 10957 185 10427 186 11329 187 10867 188 11093 189 11923 190 12143 191 11801 192 11933 193 12073 194 11897 195 12553 196 12703 197 11839 198 12451 199 12613 200 12473 201 11351 202 13147 203 12577 204 12907 205 13477 206 12409 207 13093 208 12637 209 12589 210 14033 211 12697 212 12487 213 13729 214 13597 215 13331 216 13933 217 13417 218 14251 219 13327 220 14323 221 14173 222 13513 223 14621 224 14737 225 14561 226 13723 227 14401 228 14143 229 14683 230 14767 231 15083 232 15193 233 15661 234 14821 235 15643 236 15823 237 15377 238 15923 239 15859 240 15493 241 15241 242 16007 243 15901 244 16073 245 16447 246 15809 247 16657 248 17029 249 16273 250 16057 251 16729 252 17257 253 16519 254 17707 255 16931 256 17551 257 17203 258 17509 259 16453 260 17539 261 17351 262 17623 263 17929 264 17977 265 17239 266 18043 267 17923 268 18181 269 18433 270 18097 271 19273 272 18439 273 19373 274 18521 275 19013 276 18979 277 19157 278 19381 279 19249 280 19753 281 19609 282 19949 283 19727 284 19927 285 19423 286 19739 287 19763 288 20047 289 19477 290 19991 291 20249 292 21139 293 20483 294 21107 295 20357 296 20389 297 20753 298 21017 299 21377 300 20327 301 21893 302 21277 303 22079 304 21227 305 21871 306 22037 307 21757 308 21787 309 21683 310 21269 311 21751 312 21767 313 20857 314 22193 315 22637 316 22643 317 22921 318 23117 319 23857 320 22699 321 23599 322 23209 323 23167 324 23039 325 23071 326 23539 327 23743 328 24197 329 23929 330 23203 331 23603 332 24083 333 25013 334 23417 335 24677 336 25147 337 23813 338 24391 339 23971 340 23761 341 24509 342 24469 343 24919 344 24763 345 25057 346 24977 347 25849 348 24473 349 25577 350 25603 351 24049 352 25423 353 25307 354 25763 355 25793 356 25633 357 25951 358 26189 359 25579 360 26053 361 26347 362 27031 363 27551 364 26693 365 26717 366 27673 367 26423 368 26947 369 27539 370 27329 371 27061 372 28031 373 27631 374 27481 375 27763 376 27823 377 29147 378 27691 379 28771 380 27997 381 28921 382 29027 383 28409 384 29023 385 28123 386 29009 387 28837 388 28867 389 29717 390 30133 391 29803 392 30211 393 30113 394 29101 395 29641 396 29311 397 30677 398 30109 399 30223 400 30089 401 31307 402 30661 403 32561 404 30307 405 31397 406 31277 407 31531 408 30593 409 30983 410 32749 411 31081 412 31729 413 30631 414 31193 415 31663 416 31667 417 32059 418 32993 419 31321 420 33247 421 32077 422 32717 423 32719 424 32027 425 31907 426 32251 427 32587 428 33347 429 33469 430 32533 431 32159 432 33091 433 33601 434 32371 435 34183 436 33751 437 32957 438 34589 439 34157 440 33703 441 35339 442 34763 443 34267 444 34337 445 35149 446 34651 447 35053 448 33811 449 35963 450 35059 451 34381 452 34213 453 35531 454 34981 455 35533 456 34693 457 35221 458 36467 459 35281 460 35617 461 34513 462 35491 463 35311 464 34849 465 35731 466 37057 467 36583 468 35839 469 36313 470 34963 471 37549 472 37039 473 36433 474 37159 475 38281 476 37447 477 38239 478 38449 479 37619 480 37369 481 36529 482 38333 483 37993 484 37579 485 38083 486 36877 487 38461 488 39313 489 39971 490 38791 491 39667 492 38867 493 39241 494 39217 495 40351 496 39133 497 40163 498 39521 499 40423 500 39301 501 40493 502 40427 503 39047 504 40387 505 40693 506 40253 507 41479 508 40697 509 41149 510 40507 511 40429 512 42089 513 42061 514 40099 515 41641 516 41507 517 41761 518 41849 519 41737 520 41777 521 41897 522 42157 523 43913 524 42641 525 42829 526 43691 527 42223 528 42397 529 42557 530 42463 531 43669 532 43457 533 42073 534 43397 535 43427 536 43801 537 44119 538 44651 539 44267 540 43487 541 43759 542 43607 543 44687 544 43891 545 44843 546 44809 547 46499 548 45247 549 44927 550 44089 551 44453 552 46723 553 46279 554 45817 555 44087 556 46399 557 45307 558 46027 559 45197 560 46867 561 45853 562 46817 563 46457 564 45707 565 46181 566 47743 567 47119 568 46219 569 47881 570 47441 571 47777 572 47623 573 47507 574 47699 575 46747 576 46237 577 47563 578 45433 579 47497 580 48787 581 47057 582 49223 583 49201 584 47387 585 48953 586 49451 587 49597 588 49367 589 50111 590 49537 591 49211 592 50287 593 48589 594 46819 595 49339 596 49921 597 50651 598 51307 599 50591 600 49627 601 50377 602 49549 603 50261 604 49811 605 51343 606 52453 607 50147 608 51949 609 50329 610 51031 611 51647 612 52567 613 51193 614 51133 615 51437 616 51137 617 53549 618 52361 619 51539 620 54163 621 52259 622 52579 623 53633 624 52667 625 52981 626 52561 627 52807 628 52553 629 53117 630 52967 631 52631 632 52639 633 54049 634 54617 635 54269 636 53891 637 53299 638 53147 639 54497 640 53927 641 54563 642 54401 643 54679 644 55697 645 55621 646 55351 647 55207 648 55609 649 55931 650 56659 651 56711 652 55787 653 56767 654 57641 655 56467 656 57041 657 55487 658 56663 659 56041 660 56377 661 57503 662 56813 663 57731 664 57973 665 57413 666 58217 667 56951 668 57679 669 57301 670 57859 671 57259 672 58237 673 59077 674 57803 675 58943 676 57241 677 57713 678 57943 679 58427 680 59393 681 58043 682 60029 683 59407 684 59387 685 59771 686 59011 687 59513 688 59419 689 59221 690 60373 691 60611 692 60169 693 59611 694 60457 695 60127 696 60167 697 60397 698 61343 699 60647 700 60259 701 61861 702 60889 703 61129 704 60943 705 62003 706 61687 707 61057 708 61723 709 62633 710 61379 711 62851 712 62971 713 61609 714 61409 715 63463 716 63689 717 63079 718 63113 719 64661 720 62773 721 63247 722 63781 723 64891 724 62053 725 62483 726 63367 727 63863 728 65777 729 65029 730 64327 731 63697 732 62983 733 64613 734 64153 735 63907 736 64489 737 65581 738 65173 739 65629 740 65323 741 65179 742 64849 743 65899 744 65563 745 66943 746 63901 747 65293 748 66721 749 65851 750 65167 751 65551 752 66763 753 67631 754 66271 755 68099 756 68611 757 66571 758 64747 759 66361 760 68491 761 68053 762 65101 763 66973 764 66739 765 67987 766 67399 767 69029 768 67723 769 67789 770 67801 771 67043 772 67433 773 70621 774 70099 775 67891 776 70619 777 68863 778 69067 779 70003 780 70393 781 70879 782 69847 783 69859 784 70537 785 72169 786 67273 787 69661 788 70139 789 70141 790 70123 791 72109 792 70687 793 71983 794 71023 795 71699 796 71719 797 71993 798 70913 799 71413 800 72661 801 74177 802 70663 803 71233 804 72701 805 71549 806 71263 807 70423 808 72883 809 73387 810 72421 811 74099 812 73897 813 72073 814 75527 815 74731 816 73609 817 76163 818 72727 819 75793 820 74761 821 73783 822 74323 823 73681 824 74363 825 74257 826 74077 827 72647 828 74779 829 73243 830 75167 831 74047 832 74869 833 76507 834 75659 835 75989 836 77047 837 75833 838 74891 839 76679 840 76943 841 75997 842 77479 843 76777 844 76003 845 75367 846 78079 847 77527 848 77951 849 76231 850 78643 851 78259 852 79153 853 76991 854 79039 855 78593 856 77899 857 79319 858 79283 859 77801 860 78691 861 80527 862 80449 863 79613 864 78497 865 81047 866 80263 867 78823 868 77611 869 78541 870 80603 871 80909 872 80221 873 78839 874 81703 875 81421 876 81967 877 80369 878 81401 879 81163 880 80923 881 82373 882 81331 883 81293 884 81937 885 83737 886 79903 887 80933 888 81373 889 80953 890 83873 891 82549 892 80989 893 82051 894 81031 895 82633 896 80963 897 83431 898 82787 899 82003 900 84047 901 81943 902 83903 903 83653 904 81817 905 82903 906 82507 907 84131 908 84811 909 84307 910 83641 911 85199 912 84223 913 84059 914 83203 915 84391 916 84533 917 85427 918 84697 919 85201 920 86287 921 85607 922 84421 923 85237 924 85093 925 84313 926 87649 927 83891 928 87553 929 86923 930 88379 931 86627 932 85361 933 87427 934 87683 935 84463 936 87337 937 87589 938 86969 939 87433 940 88261 941 87211 942 87121 943 88079 944 87991 945 87511 946 89113 947 87181 948 89363 949 90163 950 89563 951 88513 952 90647 953 88813 954 89597 955 88843 956 90359 957 89107 958 89527 959 88681 960 91591 961 90247 962 87853 963 91237 964 90059 965 90473 966 91249 967 89939 968 89779 969 89443 970 90547 971 89897 972 91873 973 90907 974 91229 975 91921 976 91957 977 91397 978 91081 979 91141 980 92699 981 92173 982 91297 983 93581 984 93553 985 93967 986 93097 987 93997 988 93283 989 92377 990 93169 991 93979 992 94561 993 91807 994 94421 995 94693 996 94613 997 92867 998 96263 999 94057 1000 93913