# Computed by Robert Israel, March 22 2021 # using Maple 2021.0, X86 64 WINDOWS, Jan 24 2021, Build ID 1515702 1 3 2 6 3 18 4 42 5 82 6 271 7 284 8 369 9 445 10 682 11 1069 12 1193 13 1900 14 2241 15 3894 16 6137 17 7108 18 8164 19 9658 20 10126 21 12645 22 14842 23 14936 24 17913 25 18420 26 19480 27 23893 28 24605 29 28959 30 32913 31 36279 32 40847 33 43936 34 44559 35 45500 36 46932 37 48740 38 51892 39 53747 40 55481 41 56360 42 73200 43 81083 44 83142 45 86345 46 87410 47 90908 48 111359 49 115274 50 123932 51 126484 52 135554 53 141987 54 171871 55 183521 56 188098 57 189974 58 199331 59 200921 60 205745 61 207027 62 218363 63 231789 64 233495 65 240651 66 243779 67 252447 68 254549 69 261696 70 263164 71 264964 72 265348 73 275882 74 281427 75 316143 76 325586 77 337577 78 339613 79 354404 80 383435 81 396783 82 418828 83 420626 84 427340 85 429607 86 436898 87 464628 88 466981 89 468897 90 502916 91 519585 92 537020 93 545047 94 552145 95 559811 96 564940 97 591490 98 599397 99 602042 100 614781 101 630906 102 689473 103 711733 104 715142 105 726697 106 735378 107 746476 108 758207 109 758797 110 779641 111 818423 112 821457 113 825126 114 906127 115 906754 116 944991 117 955479 118 958781 119 968644 120 988614 121 1008768 122 1029126 123 1035238 124 1049657 125 1094151 126 1097668 127 1098374 128 1108144 129 1161710 130 1187817 131 1223749 132 1231887 133 1261744 134 1272295 135 1283566 136 1284319 137 1368728 138 1383636 139 1466992 140 1471799 141 1483927 142 1495239 143 1524674 144 1565095 145 1602537 146 1624486 147 1727376 148 1743960 149 1766696 150 1774642 151 1787861 152 1828641 153 1855596 154 1863778 155 1895501 156 1977944 157 2005890 158 2015258 159 2025514 160 2082208 161 2100111 162 2128679 163 2177899 164 2319574 165 2340730 166 2349777 167 2376022 168 2431974 169 2446288 170 2483411 171 2487442 172 2518500 173 2540319 174 2587432 175 2628537 176 2681734 177 2746463 178 2789894 179 2795327 180 2796427 181 2828200 182 2845734 183 2884333 184 2917568 185 3040159 186 3057201 187 3080027 188 3086842 189 3155795 190 3184778 191 3306338 192 3341867 193 3349123 194 3414829 195 3431602 196 3523410 197 3558783 198 3695670 199 3738038 200 3751860 201 3775796 202 3794692 203 3915337 204 3935885 205 3980903 206 4044294 207 4083256 208 4110819 209 4117301 210 4201578 211 4208240 212 4236030 213 4276021 214 4301355 215 4308021 216 4336205 217 4388612 218 4417085 219 4430624 220 4504068 221 4512293 222 4551975 223 4593217 224 4761685 225 4781385 226 5095087 227 5160612 228 5255652 229 5388686 230 5493447 231 5500932 232 5532496 233 5592920 234 5652259 235 5691809 236 5774459 237 5843788 238 5969655 239 5975908 240 6030820 241 6054392 242 6079535 243 6260492 244 6332556 245 6350204 246 6463165 247 6487584 248 6511846 249 6657390 250 6708349 251 6815877 252 7048796 253 7186448 254 7349346 255 7390621 256 7583461 257 7722162 258 7874461 259 7908405 260 8035500 261 8134859 262 8189076 263 8296547 264 8417263 265 8535120 266 8562745 267 8618445 268 8711597 269 8767779 270 8938928 271 9005244 272 9041433 273 9062229 274 9069792 275 9320779 276 9369043 277 9396157 278 9444606 279 9466013 280 9600695 281 9777313 282 9789292 283 9807037 284 9916070 285 9967742 286 10065521 287 10087518 288 10107477 289 10268260 290 10367454 291 10438591 292 10489448 293 10563090 294 10603924 295 10622327 296 10747761 297 10776692 298 10820259 299 10828509 300 10963083 301 10994302 302 11100954 303 11321921 304 11457663 305 11714138 306 11802280 307 12071131 308 12082059 309 12127757 310 12579599 311 12699957 312 12724551 313 12733512 314 12800554 315 12982586 316 13163994 317 13184497 318 13309595 319 13460825 320 13561867 321 13688898 322 13841955 323 13979652 324 14049741 325 14098938 326 14155295 327 14275560 328 14381896 329 14512570 330 14832441 331 15073981 332 15429547 333 15524898 334 15549467 335 15638132 336 15749179 337 15786256 338 15823395 339 16044723 340 16082272 341 16097195 342 16159751 343 16219756 344 16257527 345 16348029 346 16423581 347 16522008 348 16865383 349 16931996 350 17108927 351 17173265 352 17227177 353 17340877 354 17418511 355 17668449 356 17694644 357 17770481 358 17851503 359 18046301 360 18085828 361 18128044 362 18167677 363 18231157 364 18247198 365 18420092 366 18470640 367 18861985 368 18983356 369 19129577 370 19172932 371 19295181 372 19333061 373 19431461 374 19664510 375 19689230 376 19867948 377 19895608 378 19912206 379 20159212 380 20287526 381 20301464 382 20497384 383 20511376 384 20581388 385 20662680 386 20959213 387 21004390 388 21231754 389 21644036 390 21715922 391 21816640 392 21877359 393 21975676 394 22164472 395 22181950 396 22295470 397 22382902 398 22456044 399 22561508 400 22737882 401 22826268 402 23225857 403 23464508 404 23491496 405 23536401 406 23581280 407 23674132 408 23836466 409 23896614 410 23990098 411 24335604 412 24533628 413 24564137 414 24625275 415 24701825 416 24812201 417 25196862 418 25410891 419 25504033 420 25662829 421 25675248 422 25881451 423 25972342 424 26227070 425 26523454 426 26713678 427 26968170 428 27000051 429 27256220 430 27355876 431 27642363 432 27937160 433 28161730 434 28197620 435 28246577 436 28472078 437 28475297 438 28619408 439 28688321 440 28816865 441 28866479 442 29048375 443 29147484 444 29432922 445 29596242 446 29696382 447 29766610 448 29816816 449 29917199 450 30018034 451 30744108 452 30860018 453 31307583 454 31493107 455 31682409 456 31875600 457 31910048 458 32031348 459 32135316 460 32166563 461 32239232 462 32448021 463 32482888 464 32671505 465 32934349 466 33268598 467 33342822 468 33356902 469 33515719 470 34034637 471 34123786 472 34388727 473 34693807 474 34895395 475 34964201 476 34985776 477 35036335 478 35057987 479 35090452 480 35343954 481 35365759 482 35602347 483 35744624 484 35803224 485 35836226 486 36426708 487 36551924 488 36570362 489 36758835 490 36925438 491 37107038 492 37707465 493 37763546 494 37819812 495 37857199 496 38138984 497 38512527 498 38553993 499 38667438 500 38701604 501 38876032 502 38932891 503 38951884 504 39443692 505 39596717 506 39677516 507 40483324 508 40797624 509 40953172 510 41124774 511 41476865 512 41598395 513 41987812 514 42188815 515 42540882 516 42600276 517 42663752 518 42723302 519 43041889 520 43381496 521 43521642 522 43681942 523 43883111 524 44160707 525 44201145 526 44221317 527 44342774 528 44427649 529 44464162 530 44748001 531 45501820 532 45563248 533 45813365 534 45936575 535 45973481 536 46060026 537 46080638 538 46142141 539 46158616 540 46307279 541 46390030 542 46452028 543 46593087 544 46841981 545 46866863 546 46991589 547 47299635 548 47805169 549 48056719 550 48435716 551 48583313 552 48710170 553 48790660 554 49282859 555 49389407 556 49427834 557 49576799 558 49640747 559 49832657 560 50132518 561 50261361 562 50476128 563 50695876 564 51036739 565 51188202 566 51318234 567 51387627 568 51583158 569 51709407 570 51800671 571 52079757 572 52167030 573 52236891 574 52298198 575 52521440 576 53246902 577 53529557 578 53861605 579 53954866 580 54150708 581 54262039 582 54422458 583 54529268 584 54730245 585 54864639 586 55317700 587 55655330 588 55695764 589 56242725 590 56487297 591 56509844 592 56741796 593 56759885 594 56919007 595 57855046 596 58043534 597 58366122 598 58781670 599 58804933 600 59194123 601 59268449 602 59291580 603 59896279 604 60059611 605 60171888 606 60804600 607 61091607 608 61256640 609 61440902 610 61610973 611 61728905 612 62055883 613 62155490 614 62369380 615 62822194 616 63085216 617 63128084 618 63540036 619 63588147 620 63900916 621 64455354 622 64740712 623 64818410 624 64862155 625 64987910 626 65176956 627 65225398 628 65424894 629 65571056 630 65663928 631 66671248 632 66941913 633 67454736 634 67528891 635 67558646 636 67632591 637 67830712 638 67905208 639 68172994 640 68500896 641 69143568 642 69423419 643 69473351 644 69844707 645 69849665 646 69950198 647 70801259 648 70907626 649 71160607 650 71312612 651 71586767 652 72120821 653 72274015 654 72304754 655 72432252 656 72611149 657 72739134 658 72764745 659 72969656 660 73200466 661 73426372 662 73787038 663 73941611 664 74127744 665 74282818 666 74484971 667 74593715 668 74795835 669 75107501 670 75445265 671 75450466 672 75476557 673 75601606 674 76233988 675 76312434 676 76653047 677 76700285 678 76968403 679 77806086 680 78049533 681 78574607 682 79005269 683 79212869 684 79271689 685 79351671 686 80577608 687 80927444 688 80981314 689 81256699 690 81283551 691 81499622 692 82441643 693 82523101 694 82719003 695 82746277 696 83400562 697 83449835 698 83613978 699 83833045 700 83860461 701 84524405 702 84551899 703 84904139 704 85235499 705 85268451 706 85351163 707 85599753 708 86009327 709 86259031 710 86458823 711 86731578 712 87093646 713 87177370 714 87378504 715 87797741 716 87881720 717 87937959 718 88218267 719 89112904 720 89254010 721 89282303 722 89316234 723 89796229 724 90385519 725 90726502 726 91158978 727 91415531 728 91587075 729 92101411 730 92130140 731 92646323 732 93048816 733 93509827 734 93856449 735 94203240 736 94550716 737 94811658 738 94864062 739 95125860 740 95445823 741 95743176 742 96298540 743 96497404 744 96620487 745 96913700 746 97090037 747 98564364 748 98794998 749 99269588 750 99417953 751 99447757 752 99596039 753 99750791 754 99810359 755 100519607 756 100734858 757 100788712 758 101153295 759 101656986 760 101927390 761 102445087 762 102499211 763 102897460 764 103230114 765 103320915 766 103684684 767 103805851 768 104284860 769 104406229 770 104594472 771 105228805 772 105656228 773 105931755 774 105999176 775 106207572 776 107443247 777 107621816 778 107843667 779 108053886 780 108183863 781 108276249 782 109672802 783 109853460 784 110040693 785 110421347 786 110452736 787 110828154 788 110853257 789 110890918 790 110922258 791 112618357 792 112927802 793 112965713 794 113249448 795 113496143 796 113565611 797 113622442 798 113723804 799 114161305 800 114389692 801 114955538 802 115344135 803 115535459 804 115567474 805 115592868 806 115624843 807 116398617 808 116680259 809 117007349 810 117103681 811 117129270 812 117322075 813 117457044 814 117489292 815 118553020 816 118902338 817 119939191 818 120173350 819 120362293 820 120596894 821 120720591 822 121869720 823 121993946 824 122125367 825 122289256 826 122328555 827 122361330 828 122387634 829 123742984 830 124734501 831 125191686 832 125390838 833 125496929 834 125988856 835 126155073 836 126394609 837 127228431 838 128702248 839 129064961 840 129239964 841 130075902 842 130251863 843 130278874 844 130962462 845 131471102 846 131640757 847 132286160 848 132415438 849 132967312 850 133206227 851 133821575 852 133848989 853 134157410 854 134301426 855 135469553 856 135641818 857 136981585 858 137230723 859 137501000 860 137709225 861 137820318 862 137987152 863 138063415 864 138230390 865 138300064 866 139421543 867 139630749 868 140120492 869 140218333 870 140785647 871 140855821 872 141277039 873 141523000 874 142227089 875 142685011 876 143179439 877 143809290 878 143851883 879 144064769 880 144128515 881 144518203 882 144553709 883 144560826 884 144766627 885 144915783 886 145236115 887 145264557 888 146012753 889 146198287 890 146520007 891 146548678 892 148204808 893 148305376 894 148420437 895 148700902 896 150512428 897 150621023 898 150794914 899 150802059 900 151230011 901 151709440 902 152102265 903 152175107 904 152976495 905 153377877 906 153524070 907 154146259 908 154849617 909 155392858 910 156497609 911 156571381 912 157235698 913 157390854 914 157538942 915 157760799 916 158502291 917 158650536 918 158836058 919 159319757 920 159349667 921 159386781 922 160392439 923 160616588 924 160728397 925 161700802 926 161857956 927 161895343 928 162570897 929 162864068 930 163315087 931 163616429 932 163993705 933 164333108 934 164340658 935 165771207 936 165930512 937 166043921 938 166537607 939 166993644 940 168213848 941 168320682 942 169775059 943 170273728 944 170396619 945 170811664 946 171242568 947 171311959 948 171358119 949 171665915 950 172584096 951 172816445 952 173164858 953 173676390 954 175573485 955 175845726 956 176321743 957 176790239 958 176907427 959 177212836 960 177252149 961 177330541 962 178201182 963 178358363 964 178389744 965 178475940 966 179065277 967 179096746 968 179136261 969 179687225 970 181036820 971 182145471 972 182693242 973 182978829 974 183177352 975 183415856 976 184005251 977 184483669 978 184683401 979 185210436 980 185322244 981 186050771 982 187253863 983 187366198 984 187374293 985 188380714 986 189017530 987 189106324 988 189987173 989 190270365 990 190594105 991 190958994 992 191567537 993 192348004 994 192510967 995 193366495 996 196348035 997 196635759 998 196841587 999 196882730 1000 198869867