# Computed by Robert Israel, April 16 2023 # using Maple 2022.2, X86 64 WINDOWS, Oct 23 2022, Build ID 1657361 1 11733 2 15117 3 17245 4 28113 5 32365 6 34413 7 48745 8 78481 9 93453 10 101665 11 102957 12 105333 13 108753 14 134097 15 143101 16 157713 17 163801 18 170853 19 190621 20 208293 21 212545 22 233097 23 273417 24 274893 25 294301 26 300385 27 323281 28 346497 29 354565 30 363777 31 390205 32 405357 33 470341 34 500217 35 501477 36 542193 37 555153 38 561205 39 615385 40 652285 41 659733 42 684933 43 767553 44 854493 45 868533 46 880017 47 892441 48 981933 49 994645 50 1126077 51 1257841 52 1283577 53 1306113 54 1337221 55 1346401 56 1472545 57 1507353 58 1523341 59 1544005 60 1608153 61 1611001 62 1655853 63 1682313 64 1712701 65 1714105 66 1749745 67 1774801 68 1877613 69 1879021 70 1891765 71 1900945 72 1933233 73 1976041 74 2028385 75 2124145 76 2181565 77 2209533 78 2243665 79 2313897 80 2333013 81 2373477 82 2475001 83 2486193 84 2500345 85 2522517 86 2551893 87 2563705 88 2568745 89 2613745 90 2685453 91 2694777 92 2917405 93 2935077 94 2957221 95 2959233 96 3010893 97 3026733 98 3037465 99 3039121 100 3098701 101 3181713 102 3202917 103 3310557 104 3328917 105 3341157 106 3372657 107 3402721 108 3430585 109 3448617 110 3567813 111 3583977 112 3623253 113 3653277 114 3693421 115 3706165 116 3722793 117 3807717 118 3868593 119 3898045 120 3902005 121 4041865 122 4054317 123 4056445 124 4084413 125 4193817 126 4297465 127 4374717 128 4392721 129 4483977 130 4507917 131 4536897 132 4632657 133 4655697 134 4669921 135 4691733 136 4746205 137 4842685 138 4990857 139 5025417 140 5073153 141 5131617 142 5156785 143 5197105 144 5356797 145 5574241 146 5645845 147 5734765 148 5851045 149 5926533 150 5996845 151 6029493 152 6082885 153 6145917 154 6289917 155 6322141 156 6426753 157 6439857 158 6667053 159 6693513 160 7036201 161 7083357 162 7288233 163 7394577 164 7459953 165 7501677 166 7593297 167 7743093 168 8006545 169 8035413 170 8092257 171 8146405 172 8206017 173 8208685 174 8289933 175 8505505 176 8620921 177 8641585 178 8711245 179 8746053 180 8853121 181 8856933 182 8870793 183 8993157 184 9014041 185 9058501 186 9101733 187 9106741 188 9152853 189 9199765 190 9309633 191 9433617 192 9528513 193 9641517 194 9656133 195 9686881 196 9798121 197 9812157 198 9816265 199 9862381 200 9979197 201 10057713 202 10168953 203 10435681 204 10524417 205 10579857 206 10651317 207 10666653 208 10676733 209 10734693 210 10794781 211 10796185 212 10904401 213 11038497 214 11134257 215 11239197 216 11310153 217 11624757 218 11635345 219 11732581 220 11744065 221 11769297 222 11821317 223 11876365 224 11964453 225 11969493 226 12037645 227 12118681 228 12139201 229 12205833 230 12226677 231 12236221 232 12396633 233 12468745 234 12504993 235 12615117 236 12664257 237 12673833 238 12724377 239 12762933 240 12786841 241 12941457 242 12944517 243 13121853 244 13140177 245 13235401 246 13273593 247 13399233 248 13422241 249 13433905 250 13575777 251 13604757 252 13704265 253 13967493 254 14054905 255 14305645 256 14311833 257 14348881 258 14444641 259 14672913 260 14780553 261 14832357 262 15046165 263 15057897 264 15073741 265 15206577 266 15294385 267 15303745 268 15339633 269 15422905 270 15450481 271 15541345 272 15634977 273 15668605 274 15763465 275 15800397 276 16000377 277 16008301 278 16057045 279 16057653 280 16109997 281 16219585 282 16262457 283 16288885 284 16327977 285 16355193 286 16381653 287 16402141 288 16467805 289 16622817 290 16750801 291 16758393 292 16782301 293 17056113 294 17071953 295 17130565 296 17151481 297 17153853 298 17214121 299 17292777 300 17342133 301 17343393 302 17387245 303 17469001 304 17511841 305 17794585 306 17797105 307 17824353 308 17986893 309 17989557 310 18050221 311 18079233 312 18138205 313 18238497 314 18268741 315 18338041 316 18341065 317 18351505 318 18739113 319 18932005 320 18994713 321 19078021 322 19103365 323 19143177 324 19211941 325 19230513 326 19592785 327 19664065 328 19771021 329 19778613 330 19824841 331 19897557 332 20099517 333 20547685 334 20566257 335 20694241 336 20896233 337 20932381 338 21070585 339 21072241 340 21163321 341 21203281 342 21306093 343 21488793 344 21609721 345 21673653 346 21699213 347 21748645 348 21785401 349 21802645 350 21833281 351 21868557 352 21981093 353 22004277 354 22271757 355 22599865 356 22639465 357 22678233 358 22694613 359 22726113 360 22747533 361 22944093 362 23060733 363 23119377 364 23210853 365 23326377 366 23334445 367 23341105 368 23596557 369 23749377 370 23892481 371 24237865 372 24309717 373 24331321 374 24334593 375 24392701 376 24401521 377 24417901 378 24486333 379 24624933 380 24738117 381 24888777 382 24896341 383 24918121 384 24952645 385 25110933 386 25233513 387 25341333 388 25414593 389 25420893 390 25424785 391 25509565 392 25896417 393 25929541 394 26018605 395 26036245 396 26265093 397 26353945 398 26412513 399 26449921 400 26470617 401 26542765 402 26577685 403 26806893 404 26819101 405 26997153 406 27007345 407 27021453 408 27035313 409 27193317 410 27293757 411 27545365 412 27578877 413 27638997 414 27644185 415 27739797 416 27791817 417 27819145 418 27958893 419 28076941 420 28118521 421 28130005 422 28275297 423 28365481 424 28563301 425 28635153 426 28738977 427 28778401 428 28873621 429 28938781 430 29121121 431 29175693 432 29220265 433 29363545 434 29409657 435 29533501 436 29586421 437 29710045 438 29730957 439 29774697 440 29783881 441 29967477 442 30011185 443 30126597 444 30223617 445 30259621 446 30289645 447 30310921 448 30470041 449 30517197 450 30545281 451 30564685 452 30799441 453 30821397 454 30861685 455 31052485 456 31068717 457 31109185 458 31248505 459 31274965 460 31305205 461 31310133 462 31373785 463 31396317 464 31408917 465 31419865 466 31433613 467 31552413 468 31659513 469 31681801 470 31878753 471 32051665 472 32234577 473 32377713 474 32504005 475 32555013 476 32578345 477 32973805 478 33074785 479 33357745 480 33544617 481 33574713 482 33578133 483 33786897 484 33914553 485 33967585 486 34022913 487 34048081 488 34116481 489 34161513 490 34198413 491 34243381 492 34255113 493 34289245 494 34306885 495 34350481 496 34634877 497 34777981 498 34826613 499 34951533 500 34975585 501 35012881 502 35057733 503 35074405 504 35083045 505 35503381 506 35632801 507 35693281 508 35728557 509 35783133 510 35918281 511 36174205 512 36181653 513 36204477 514 36243033 515 36272877 516 36588093 517 36597597 518 36881853 519 37105741 520 37193217 521 37251177 522 37389993 523 37559733 524 37822677 525 37926001 526 38050201 527 38095345 528 38222605 529 38274153 530 38399221 531 38460601 532 38893681 533 38914233 534 38946993 535 39130197 536 39187045 537 39311605 538 39468777 539 39504781 540 39788277 541 40220821 542 40234321 543 40476453 544 40535965 545 40612321 546 40617865 547 40639645 548 40650117 549 40931821 550 41049901 551 41082297 552 41245377 553 41292213 554 41357845 555 41375485 556 41467857 557 41576757 558 41709385 559 41965921 560 41980285 561 42052501 562 42085765 563 42090297 564 42207481 565 42332221 566 42465385 567 42692217 568 42693333 569 42695605 570 42965133 571 43100313 572 43153345 573 43294857 574 43310341 575 43328013 576 43331005 577 43494985 578 43752633 579 43773153 580 43773297 581 43831257 582 43855345 583 43960645 584 44082721 585 44503201 586 44671533 587 44693821 588 44772841 589 44832421 590 44911045 591 45020697 592 45068433 593 45458641 594 45569521 595 45572577 596 45671941 597 45688645 598 45714813 599 45871197 600 45954717 601 45986581 602 46074421 603 46094941 604 46214281 605 46234833 606 46327893 607 46508365 608 46909405 609 46991913 610 46997997 611 47214357 612 47223145 613 47274477 614 47582245 615 47725381 616 47871177 617 48037497 618 48158853 619 48259257 620 48261241 621 48363085 622 48447213 623 48643053 624 48676713 625 48683013 626 48771685 627 48820713 628 48922381 629 49211313 630 49565881 631 49751313 632 49842685 633 49884265 634 49934305 635 50283181 636 50315365 637 50356945 638 50373177 639 50831457 640 50934777 641 51149485 642 51434065 643 51443493 644 51725521 645 51793921 646 51875853 647 52090165 648 52529397 649 52619613 650 52673545 651 52751157 652 52789321 653 52870497 654 52993833 655 53484985 656 53576097 657 53586177 658 53589453 659 53714665 660 53866797 661 54229645 662 54430377 663 54654265 664 55011993 665 55053177 666 55142277 667 55384557 668 55753017 669 55764541 670 55851513 671 55870917 672 55890357 673 56057613 674 56092677 675 56144877 676 56409805 677 56585845 678 56589985 679 56797413 680 56810485 681 56813397 682 57011221 683 57055105 684 57066121 685 57528181 686 57603813 687 57630745 688 57669333 689 57673585 690 57842281 691 57860097 692 57882633 693 57993657 694 58017093 695 58235041 696 58471953 697 58786345 698 58788357 699 59218233 700 59221257 701 59299741 702 59300277 703 59322453 704 59356585 705 59484993 706 59493813 707 59532085 708 59557681 709 59596741 710 59689257 711 59708485 712 59722345 713 59848377 714 59916777 715 59959621 716 60048541 717 60092281 718 60094441 719 60257517 720 60441333 721 60720657 722 60799285 723 60817681 724 61205757 725 61329601 726 61333021 727 61335541 728 61522885 729 61780857 730 61951677 731 61995781 732 62354013 733 62590893 734 62839585 735 62886385 736 63035281 737 63037797 738 63124233 739 63164665 740 63183205 741 63249117 742 63336417 743 63395641 744 63804777 745 63834513 746 63838405 747 63979917 748 64014297 749 64036617 750 64052997 751 64081801 752 64148757 753 64179897 754 64226845 755 64233901 756 64309501 757 64388013 758 64446477 759 64590985 760 64620865 761 64650385 762 64826785 763 64997313 764 65283121 765 65302233 766 65458621 767 65487633 768 65533465 769 65673505 770 65901057 771 66113457 772 66300445 773 66346165 774 66461221 775 66495745 776 66675057 777 66693597 778 66748105 779 66799113 780 66827157 781 66914097 782 67114405 783 67312617 784 67313733 785 67329753 786 67358701 787 67739365 788 67832997 789 68024877 790 68126185 791 68272201 792 68447341 793 68462853 794 68678457 795 68678821 796 68792221 797 68800285 798 69053793 799 69088533 800 69406345 801 69621301 802 69630513 803 69651145 804 69680881 805 69741213 806 70041745 807 70064281 808 70197117 809 70247733 810 70429497 811 70652485 812 70901965 813 71124985 814 71178297 815 71219877 816 71325685 817 71548705 818 71783245 819 71994777 820 72116853 821 72283681 822 72332821 823 72381565 824 72538197 825 72643645 826 72822597 827 73112397 828 73310793 829 73578093 830 73708377 831 73856157 832 73857781 833 74037993 834 74298205 835 74438277 836 74460745 837 74686893 838 74920497 839 74977345 840 75103557 841 75331621 842 75413913 843 75469857 844 75618033 845 76139493 846 76389153 847 76421517 848 76458781 849 76766005 850 76804053 851 76807293 852 77044465 853 77053285 854 77219997 855 77363101 856 77542917 857 77659233 858 78000693 859 78133465 860 78187645 861 78216265 862 78299641 863 78341545 864 78506457 865 78521577 866 78541233 867 78562981 868 78659785 869 78878517 870 78896665 871 78981445 872 78990121 873 79149813 874 79266093 875 79715913 876 79825533 877 79860421 878 79882377 879 79932777 880 80003485 881 80105397 882 80231757 883 80302317 884 80348941 885 80353081 886 80571565 887 80750013 888 80870577 889 80927277 890 81456481 891 81483333 892 81517321 893 81902305 894 82130793 895 82464481 896 82981081 897 83089977 898 83188977 899 83244421 900 83506105 901 83768941 902 83772145 903 83906281 904 83938677 905 84058381 906 84191577 907 84341881 908 84612057 909 84716997 910 84872845 911 84899193 912 84992905 913 84996181 914 84997617 915 85105801 916 85360465 917 85469577 918 85595941 919 85759885 920 85817845 921 86139505 922 86319357 923 86578377 924 86622693 925 86742933 926 87058441 927 87089185 928 87110101 929 87203553 930 87304141 931 87339781 932 87493501 933 87516685 934 87702297 935 87820377 936 88012981 937 88484397 938 88688877 939 88818265 940 88903585 941 89514393 942 89689317 943 89769957 944 89798545 945 89827053 946 90102601 947 90183777 948 90280621 949 90549901 950 90724317 951 91008541 952 91122301 953 91140117 954 91275445 955 91283221 956 91330233 957 91360441 958 91452781 959 91486441 960 91834233 961 92353857 962 92405485 963 92538541 964 92775453 965 92794353 966 93102153 967 93231541 968 93421045 969 93709981 970 93715233 971 93817617 972 93842493 973 93951685 974 94039233 975 94214341 976 94243497 977 94438257 978 94455001 979 94630285 980 94863777 981 94915797 982 94987081 983 95094721 984 95145657 985 95233713 986 95243397 987 95294193 988 95666397 989 95736957 990 95866233 991 95895685 992 96126265 993 96303813 994 96339597 995 96591205 996 97396345 997 97937281 998 97997005 999 98310241 1000 98526957