# Computed by Robert Israel, April 20 2022 # using Maple 2022.0, X86 64 WINDOWS, Mar 8 2022, Build ID 1599809 1 134999 2 999431 3 1383947 4 1903103 5 3013091 6 3626339 7 7282487 8 7493831 9 7842827 10 9336263 11 9366839 12 9386639 13 9562499 14 9942659 15 11230199 16 11370743 17 11394431 18 11650571 19 11769839 20 11884079 21 13182623 22 13413599 23 13449311 24 13611023 25 13683179 26 13881323 27 15123527 28 15788771 29 15925391 30 15934463 31 17505611 32 17771291 33 17788751 34 19097063 35 19126007 36 19167191 37 19176191 38 19217771 39 19352951 40 19483643 41 19782143 42 19824803 43 19933379 44 30310559 45 30677903 46 30842891 47 30862943 48 30977603 49 32011631 50 32094719 51 32318831 52 32628131 53 32704307 54 34128791 55 34565039 56 34638491 57 34707311 58 34926803 59 34941059 60 36079091 61 36082799 62 36234479 63 36443951 64 36663299 65 70062191 66 70340723 67 70609499 68 70609859 69 70813979 70 72359519 71 72396647 72 72532151 73 72579347 74 74397527 75 74669327 76 91363859 77 91595327 78 91749023 79 91779839 80 93056543 81 93609359 82 93896711 83 93897719 84 95014943 85 95355479 86 95390639 87 95501303 88 95836319 89 95890607 90 97048811 91 97138631 92 97333991 93 97405199 94 97443263 95 97455359 96 97931807 97 99103211 98 99150479 99 99236663 100 99490607 101 99531431 102 99728063 103 110735423 104 111188159 105 111627647 106 111650879 107 111780143 108 111889091 109 111959171 110 111986711 111 112113119 112 112467743 113 113072543 114 113459999 115 113576399 116 113627627 117 114354503 118 114419519 119 114864131 120 115262207 121 115585559 122 115979951 123 117175967 124 117511679 125 117593507 126 117607031 127 117689111 128 117803663 129 118234223 130 118274399 131 119263751 132 119433599 133 119884679 134 130441331 135 130457231 136 130470839 137 130619303 138 130706711 139 131023727 140 131468411 141 131487407 142 131647463 143 132212123 144 132272831 145 132601571 146 132692363 147 132754031 148 133070291 149 133144031 150 133145423 151 133274159 152 133460447 153 133622399 154 133668191 155 134289791 156 134546831 157 134870831 158 135133919 159 135166799 160 135306443 161 135371543 162 135518291 163 135718631 164 135783647 165 136015199 166 136018871 167 136306847 168 136817531 169 136942271 170 137223071 171 137420399 172 137884391 173 138078431 174 138165371 175 138272231 176 138645431 177 138748283 178 138980591 179 139389119 180 139474403 181 139664339 182 139796171 183 139942403 184 150320399 185 150901343 186 151584659 187 152218247 188 152933171 189 153646487 190 153987299 191 155043503 192 155045771 193 155058707 194 155359847 195 155536091 196 155961503 197 156850091 198 157004063 199 157227263 200 157362911 201 157408019 202 158091119 203 159185879 204 159524999 205 159979511 206 170171171 207 170185007 208 170318591 209 170322731 210 170407043 211 170616203 212 170805671 213 171171071 214 171281807 215 171339251 216 171409391 217 171697931 218 171959111 219 172249631 220 172824191 221 173071079 222 173167679 223 173468303 224 173561831 225 173597003 226 174138119 227 175106231 228 175252463 229 176001803 230 176237291 231 176508071 232 176734763 233 176962463 234 177492743 235 177540551 236 178194743 237 178228979 238 178343423 239 178673291 240 178810631 241 179093591 242 179199143 243 179437367 244 190058651 245 190258199 246 190635551 247 190742939 248 190988111 249 191174147 250 191210219 251 191428271 252 191866331 253 191963699 254 192070331 255 192092543 256 192141263 257 192376871 258 192732671 259 192815531 260 193135823 261 193184819 262 193209983 263 193488731 264 193904171 265 194592023 266 195089831 267 195109703 268 195110423 269 195114863 270 195390971 271 195665579 272 195813071 273 197982431 274 300269159 275 300647339 276 300795371 277 301110263 278 301557959 279 301612463 280 301753943 281 301917599 282 302334047 283 302616071 284 302618483 285 303051923 286 303624719 287 303627323 288 303864371 289 303916031 290 304192979 291 304249931 292 304325243 293 304474931 294 304918343 295 305169551 296 305340551 297 305453411 298 305619263 299 306396323 300 306826703 301 307628603 302 307901591 303 308100671 304 308574719 305 309554279 306 320295491 307 321212231 308 321576263 309 322007759 310 322402163 311 322432811 312 323379263 313 323693603 314 323726303 315 323952287 316 323995247 317 324011591 318 324134999 319 324343871 320 324537011 321 324541331 322 324746963 323 325807343 324 326003939 325 326080127 326 326460863 327 326848499 328 327188843 329 328258943 330 328328279 331 328507199 332 328531391 333 328921163 334 329150303 335 340271999 336 340704071 337 340797599 338 340857719 339 341087111 340 341264447 341 341470079 342 341889479 343 341991971 344 342523403 345 343047359 346 343109051 347 343533887 348 343614743 349 343708523 350 343819403 351 343951199 352 344032319 353 344603531 354 345120407 355 345173531 356 345270311 357 345279563 358 345290291 359 345850199 360 345961799 361 346113107 362 346233263 363 346706999 364 347047919 365 347153399 366 347294771 367 347416343 368 347491871 369 347764211 370 348881723 371 349357103 372 349456799 373 349495379 374 349499879 375 349543127 376 349852823 377 360294479 378 360400751 379 360879119 380 360882083 381 361129823 382 361204223 383 361539359 384 361764407 385 362011103 386 362141291 387 362306699 388 362332643 389 362675123 390 362722751 391 362916503 392 362973323 393 363296231 394 364216103 395 364252571 396 364269671 397 364746131 398 365972543 399 366308711 400 367437671 401 368064623 402 368411591 403 369228527 404 369474299 405 369647423 406 380288063 407 382847831 408 383652359 409 383723999 410 384280307 411 384816203 412 387011519 413 389614679 414 389745359 415 389771927 416 389902391 417 389944367 418 700352999 419 700581071 420 701311643 421 702041579 422 702262511 423 702292499 424 703082483 425 704021543 426 704115179 427 704348927 428 704467163 429 704710619 430 704784131 431 704822579 432 705344639 433 705395711 434 706687799 435 706795559 436 707850551 437 708182171 438 708597359 439 721080623 440 721234799 441 721345943 442 723357359 443 723520079 444 723701579 445 725822963 446 726726311 447 727320131 448 729177983 449 729843407 450 740433203 451 741201119 452 741471191 453 742599323 454 742812251 455 744064331 456 744462143 457 746387531 458 746726111 459 748603631 460 748953551 461 749735999 462 761381279 463 763009259 464 763449983 465 763734971 466 769571711 467 780763679 468 782259323 469 782881559 470 784575719 471 784646351 472 785411999 473 787778639 474 788335343 475 910804751 476 911102147 477 911190851 478 911311211 479 911831471 480 911978063 481 911983931 482 912012191 483 913230443 484 913614239 485 915110783 486 915914411 487 916017407 488 917426303 489 917475803 490 917575487 491 917758043 492 918481391 493 919108079 494 919331531 495 919720799 496 919740743 497 930169439 498 930362999 499 932248799 500 932416319 501 932523479 502 933362879 503 933466931 504 933746003 505 934100159 506 934333679 507 934505459 508 934675559 509 934961039 510 936443507 511 936877787 512 938074031 513 938958479 514 939247091 515 939300623 516 951001439 517 951408959 518 951472331 519 951881111 520 951962003 521 952900367 522 953256383 523 953547983 524 953740343 525 953753327 526 953795807 527 953935163 528 954505439 529 955188287 530 955576439 531 955585511 532 955597607 533 956485151 534 957700223 535 958352699 536 959755103 537 959804159 538 970025327 539 970074143 540 970170371 541 970288199 542 970584479 543 970801919 544 970897679 545 971511407 546 972183167 547 972455903 548 972823823 549 973594943 550 974325239 551 974485079 552 974492063 553 974859839 554 974988143 555 975107327 556 975140207 557 975228407 558 975566591 559 976115711 560 976333439 561 976367087 562 976416983 563 976488911 564 976761371 565 976798079 566 978056111 567 978263339 568 978581951 569 978994943 570 979291403 571 979822871 572 991058543 573 991159343 574 991216799 575 991510631 576 991705823 577 991852091 578 991882079 579 992019599 580 992474963 581 992789351 582 993023051 583 993024731 584 993226331 585 993351743 586 993472811 587 993675311 588 994292207 589 994848623 590 995334911 591 995719103 592 995797043 593 995910299 594 996253859 595 996369191 596 996603263 597 997027919 598 997169543 599 997432127 600 997612199 601 997654943 602 997661531 603 997667999 604 997786607 605 997842239 606 999114587 607 999172043 608 999253007 609 999263039 610 999327383 611 999425951 612 999431423 613 999537947 614 999607643 615 999766799 616 999954311 617 1102790219 618 1103199551 619 1104723839 620 1107007439 621 1108479299 622 1108863167 623 1109433023 624 1109592791 625 1109598263 626 1110270563 627 1111386671 628 1112565431 629 1112588159 630 1112731427 631 1112935643 632 1113078023 633 1113117839 634 1113350867 635 1113681383 636 1114243451 637 1114588439 638 1115174303 639 1115428607 640 1115627291 641 1116016199 642 1116181511 643 1116777419 644 1116821999 645 1118076959 646 1118765519 647 1119575591 648 1121237639 649 1121570207 650 1123308503 651 1123637951 652 1124055923 653 1124060543 654 1128006431 655 1128176867 656 1129445543 657 1129550183 658 1129679099 659 1131007643 660 1131584939 661 1133779967 662 1135422179 663 1135665299 664 1136152403 665 1137060299 666 1137169799 667 1137483839 668 1137860351 669 1138031171 670 1138135391 671 1139338199 672 1139966879 673 1141941131 674 1142561831 675 1143453023 676 1144336031 677 1144674299 678 1144716299 679 1144945583 680 1146512699 681 1146878099 682 1148045867 683 1150630991 684 1150670303 685 1150775627 686 1151268719 687 1151436563 688 1151816111 689 1152207503 690 1152232703 691 1152264959 692 1152399887 693 1152845783 694 1153702799 695 1153781819 696 1154799791 697 1155259799 698 1156216751 699 1156258151 700 1156525631 701 1156786919 702 1157548247 703 1157983667 704 1158033599 705 1158052031 706 1158188543 707 1159247231 708 1159700471 709 1160477183 710 1160804303 711 1160987903 712 1161808847 713 1164348599 714 1165835903 715 1166001407 716 1167510203 717 1168146671 718 1168657199 719 1169432879 720 1170133247 721 1170286847 722 1170305531 723 1170719423 724 1171124891 725 1172453063 726 1173437171 727 1173464351 728 1173608351 729 1174521671 730 1175164847 731 1175339519 732 1175865839 733 1177130879 734 1177562879 735 1178499671 736 1180061039 737 1181231039 738 1181777999 739 1182102479 740 1182440951 741 1183079999 742 1184039999 743 1184065859 744 1184169671 745 1184290271 746 1184474591 747 1184523407 748 1185222191 749 1185583103 750 1186316279 751 1187878931 752 1189368359 753 1191099251 754 1191227399 755 1191351599 756 1191375431 757 1192060799 758 1192142951 759 1192502303 760 1193239871 761 1193564807 762 1193655599 763 1194187823 764 1194475631 765 1196233919 766 1196483399 767 1196846099 768 1196933651 769 1197535931 770 1198069391 771 1198354103 772 1198679903 773 1300425551 774 1300484891 775 1300514051 776 1301614271 777 1302179579 778 1302508511 779 1302787691 780 1303478999 781 1303497779 782 1303926119 783 1303991879 784 1304614403 785 1305330371 786 1305767663 787 1306063799 788 1306288751 789 1306334411 790 1306978319 791 1306991159 792 1307343599 793 1307357999 794 1308528971 795 1308572831 796 1308687119 797 1308883967 798 1308956219 799 1309228451 800 1309361591 801 1309922531 802 1310121431 803 1311356303 804 1311491411 805 1313418851 806 1313442107 807 1317240143 808 1317801203 809 1318192259 810 1318328171 811 1318649903 812 1318800671 813 1318888079 814 1320100343 815 1320217271 816 1321032023 817 1321393319 818 1321455599 819 1321695143 820 1322285579 821 1322322623 822 1322415443 823 1322817479 824 1323020843 825 1323355571 826 1323787607 827 1324592891 828 1325375027 829 1325739743 830 1326403907 831 1327429511 832 1327677119 833 1327698431 834 1328537783 835 1329030779 836 1329554771 837 1329921431 838 1331559239 839 1331602343 840 1332159527 841 1332548531 842 1332714959 843 1333412471 844 1334200247 845 1335321863 846 1335353039 847 1336114691 848 1336709807 849 1337133671 850 1337674931 851 1337946479 852 1338725771 853 1340404991 854 1340473727 855 1340526851 856 1340856971 857 1340953703 858 1341193391 859 1341210131 860 1341299231 861 1341304163 862 1342456079 863 1342727999 864 1342794023 865 1344040343 866 1344204551 867 1344205127 868 1344595823 869 1344845807 870 1345017371 871 1345336991 872 1345652111 873 1345731911 874 1345787171 875 1346008211 876 1347766163 877 1348756499 878 1348781099 879 1348937531 880 1348967231 881 1350126251 882 1351003103 883 1351042991 884 1351089143 885 1351202999 886 1351919171 887 1352299031 888 1352351699 889 1352739023 890 1353146507 891 1353207743 892 1353314927 893 1353587579 894 1355030207 895 1355030711 896 1355434079 897 1355573771 898 1356297983 899 1357382267 900 1357398431 901 1357517699 902 1358404991 903 1358452331 904 1360404191 905 1360538891 906 1360987631 907 1361060927 908 1361142143 909 1361290379 910 1361660831 911 1361834423 912 1362305771 913 1363627319 914 1365159119 915 1365255539 916 1365256511 917 1365418871 918 1365744911 919 1365861599 920 1365946091 921 1367499599 922 1367530163 923 1367746379 924 1367890631 925 1368019403 926 1368404423 927 1369255103 928 1369769939 929 1371114791 930 1371274907 931 1371704903 932 1371915899 933 1372664339 934 1373347583 935 1376185571 936 1376757419 937 1376958347 938 1377169991 939 1377184499 940 1377783971 941 1378097663 942 1378736351 943 1378928423 944 1379097143 945 1379663171 946 1380037823 947 1380040799 948 1380266999 949 1380661631 950 1380834071 951 1381546799 952 1381604291 953 1381652411 954 1381677623 955 1381747091 956 1382115671 957 1382187491 958 1382722199 959 1382758031 960 1383420851 961 1383713099 962 1383769763 963 1384415423 964 1384441343 965 1384690283 966 1384960319 967 1386680723 968 1388012543 969 1389861899 970 1390358771 971 1390762799 972 1391017751 973 1393480799 974 1393503803 975 1394104319 976 1394328863 977 1394767331 978 1394885939 979 1394893499 980 1395247979 981 1395357911 982 1395671903 983 1398010571 984 1398787811 985 1399815359 986 1500080639 987 1501713791 988 1504139999 989 1504150031 990 1504173263 991 1506515471 992 1508893847 993 1510871183 994 1511393771 995 1514501603 996 1515621743 997 1516539671 998 1516580207 999 1517040671 1000 1517332823