# Computed by Robert Israel, March 21 2022 # using Maple 2022.0, X86 64 WINDOWS, Mar 8 2022, Build ID 1599809 1 2 2 3 3 4 4 20 5 24 6 1104 7 1274 8 2079 9 4345 10 13775 11 14905 12 20220 13 23408 14 25592 15 35167 16 49230 17 61456 18 66585 19 68479 20 75648 21 76640 22 121539 23 172255 24 194403 25 200384 26 229581 27 233090 28 236282 29 238017 30 247475 31 263145 32 283590 33 287615 34 295274 35 295640 36 326451 37 386169 38 422065 39 429385 40 429802 41 475968 42 585310 43 596884 44 703684 45 723634 46 765346 47 775935 48 829512 49 831416 50 852840 51 865692 52 877528 53 888994 54 895762 55 958867 56 1001428 57 1017784 58 1135230 59 1198224 60 1246266 61 1366370 62 1424951 63 1444960 64 1452582 65 1460265 66 1613079 67 1756907 68 1850914 69 1853774 70 1860194 71 1891135 72 1893073 73 2009519 74 2044998 75 2195325 76 2277754 77 2303841 78 2338375 79 2503497 80 2552012 81 2641681 82 2809688 83 2823380 84 2849520 85 3000815 86 3010776 87 3305522 88 3540580 89 3767535 90 3815841 91 3843187 92 3889911 93 3970889 94 3972815 95 4144387 96 4196549 97 4276129 98 4341194 99 4381203 100 4513145 101 4600802 102 4780416 103 4889378 104 4955587 105 5269705 106 5308929 107 5337555 108 5365376 109 5386899 110 5627215 111 6005852 112 6124521 113 6142830 114 6275378 115 6309810 116 6582390 117 6591657 118 6921702 119 6952959 120 6968928 121 7135428 122 7183407 123 7288977 124 7363400 125 7459980 126 7468422 127 7699559 128 7707654 129 8109647 130 8292111 131 8540862 132 8567499 133 8770112 134 9018944 135 9307440 136 9351675 137 9472585 138 9695764 139 9819095 140 9960047 141 10001250 142 10012410 143 10046015 144 10069260 145 10178700 146 10326606 147 10502904 148 10721676 149 10819655 150 10851523 151 11005270 152 11089168 153 11093225 154 11168849 155 11574218 156 11676734 157 11840092 158 11899650 159 11902013 160 12665679 161 12732270 162 12757882 163 12813033 164 12875555 165 13224804 166 13301007 167 13312271 168 13492346 169 13522033 170 13638976 171 13658224 172 13904528 173 14070849 174 14138361 175 14261982 176 14548599 177 15424222 178 15592235 179 15934542 180 15936960 181 16010255 182 16086552 183 16335935 184 16658855 185 16915576 186 16952987 187 16973306 188 17107490 189 17121959 190 17169892 191 17582644 192 17721604 193 17731787 194 18495455 195 18786649 196 19054676 197 19064913 198 19256040 199 19600866 200 19695935 201 19804421 202 19807424 203 20689420 204 20814034 205 20916797 206 20949860 207 21175791 208 21276020 209 21559416 210 22210833 211 22324467 212 22420152 213 22555252 214 23054766 215 23152550 216 23399233 217 23424674 218 23547846 219 23802272 220 24418215 221 24641450 222 24652435 223 24732395 224 24776175 225 24806111 226 24910345 227 25005310 228 25019773 229 25226554 230 25329394 231 25406789 232 25779372 233 25887171 234 26338375 235 26379482 236 26591242 237 26656500 238 26731785 239 26869839 240 27261009 241 27337446 242 27473897 243 27537799 244 27727713 245 28380275 246 28621535 247 28688766 248 28937363 249 29000739 250 29288707 251 29871755 252 31100718 253 31140780 254 31156892 255 31205710 256 31341458 257 31413305 258 31571532 259 31803559 260 31837156 261 32011994 262 32630447 263 32825505 264 33019055 265 33384324 266 33681208 267 33776582 268 34722975 269 34790305 270 35012060 271 35028531 272 35392860 273 35856534 274 36127832 275 36220671 276 36401742 277 36419822 278 36631441 279 36873584 280 36965867 281 36981084 282 37039150 283 37511904 284 37868690 285 38041975 286 38120835 287 38491650 288 38711134 289 38900048 290 38904190 291 38958629 292 39108629 293 39155655 294 39201084 295 39599069 296 40270826 297 40684275 298 41307321 299 41700196 300 41761845 301 42365258 302 42435856 303 42801992 304 43041331 305 43347455 306 43349820 307 43491135 308 43635830 309 44827317 310 45496469 311 45821500 312 45935825 313 46022655 314 46189800 315 46844400 316 46879346 317 46968660 318 47075655 319 47339457 320 47899472 321 47980345 322 48307633 323 48332305 324 48747634 325 48838041 326 49021050 327 49309715 328 49394555 329 49533535 330 49994456 331 50705151 332 51013235 333 51181202 334 51394337 335 51690143 336 51951034 337 52142840 338 52462139 339 52467580 340 52972901 341 53128282 342 53389335 343 54774967 344 54812953 345 55120520 346 55218312 347 56160602 348 56531496 349 57522492 350 57708794 351 58221023 352 58275260 353 58553406 354 59188014 355 59397834 356 59811572 357 59850274 358 59923460 359 61146788 360 61720150 361 62118514 362 62365418 363 62490532 364 63067904 365 63328725 366 64684383 367 64836060 368 64846595 369 64938636 370 64970367 371 65285695 372 65523060 373 65581401 374 65747703 375 65836546 376 65993914 377 66077429 378 66119454 379 66151449 380 66182693 381 66199359 382 66468302 383 66571710 384 66581292 385 66661111 386 66710519 387 66715217 388 66811205 389 66939508 390 67306115 391 67490624 392 67867150 393 68338225 394 68380668 395 68631486 396 69359652 397 69599122 398 69724370 399 70190687 400 70769793 401 71244794 402 71442360 403 71714279 404 71824836 405 72358897 406 72521314 407 72533396 408 72985231 409 72996653 410 73564916 411 73674215 412 74480547 413 74708232 414 74917120 415 75714296 416 76010175 417 76049338 418 76083875 419 76151235 420 77332394 421 77781470 422 77966250 423 79463225 424 79532684 425 79968966 426 79984527 427 80290704 428 80758177 429 81312776 430 82046756 431 82267396 432 82709392 433 83055231 434 83430424 435 83525827 436 84883239 437 85188513 438 85927679 439 85933829 440 86045435 441 87676425 442 88250583 443 88380721 444 88507490 445 88984226 446 89252128 447 89271996 448 90852565 449 91457905 450 91948745 451 92330749 452 92348249 453 92363700 454 93528854 455 93685510 456 94039504 457 94073088 458 94106909 459 94193070 460 94474086 461 94814887 462 95572204 463 95923086 464 96716644 465 96954909 466 97116947 467 97276150 468 98015071 469 98058300 470 98568767 471 98570175 472 98695253 473 98701883 474 98872401 475 99410563 476 99740309 477 99864568 478 100509179 479 100567474 480 100605285 481 101246424 482 101524737 483 101761062 484 102179015 485 102383917 486 103454354 487 103965764 488 104033700 489 104572226 490 104659533 491 104979358 492 106296842 493 106598664 494 107300864 495 107330881 496 107985170 497 108305751 498 108993948 499 109142430 500 109218450 501 109251603 502 109283189 503 109815615 504 109851745 505 110056299 506 110688587 507 110942419 508 111436747 509 112833428 510 113677816 511 114033899 512 114296975 513 115721570 514 116637884 515 118414436 516 120211631 517 120252474 518 120535750 519 120922954 520 121412300 521 122099598 522 122527255 523 122722945 524 123362316 525 123798892 526 123914777 527 124091232 528 124333801 529 124908827 530 125390853 531 126746644 532 126825600 533 126914745 534 126923615 535 127069299 536 127579538 537 127970535 538 129170018 539 129401104 540 129507572 541 129631711 542 131330925 543 131410799 544 131806705 545 134682754 546 135223354 547 135400265 548 136366867 549 136564625 550 137320500 551 138135683 552 138377617 553 138556535 554 138597219 555 139480120 556 139906283 557 140798892 558 140997386 559 141152444 560 141154439 561 141711374 562 142534804 563 142607909 564 142608300 565 143249139 566 143982816 567 144716489 568 145221670 569 145367826 570 147939624 571 148035888 572 148117354 573 148922817 574 149588032 575 149596905 576 149603638 577 149950592 578 151318495 579 151509247 580 151848657 581 152795496 582 152860255 583 153233350 584 153294203 585 154540633 586 154729067 587 155628683 588 156340513 589 157451044 590 158050244 591 158594543 592 158634125 593 158992209 594 159811521 595 160785065 596 161325520 597 162348186 598 162355137 599 163067406 600 163148192 601 163798320 602 164214510 603 165642382 604 166296675 605 166595114 606 166908650 607 166917568 608 166972695 609 167328952 610 167571106 611 168885985 612 169595879 613 169882292 614 170277099 615 171772684 616 172531655 617 172561279 618 173525425 619 174093600 620 174342993 621 174857194 622 174927884 623 176334240 624 176751963 625 177556675 626 178780686 627 179923274 628 181896624 629 181984725 630 182067990 631 182281700 632 182289071 633 182355844 634 182480063 635 183283943 636 183541071 637 183548079 638 183869075 639 183909371 640 184048067 641 184157138 642 184536291 643 185027167 644 185845444 645 185888166 646 186076440 647 186706426 648 187471934 649 187689449 650 187991915 651 188963038 652 188974464 653 189607655 654 189885468 655 190778750 656 191726599 657 192360321 658 193415877 659 193698810 660 193715192 661 193895674 662 193942970 663 194095681 664 194732922 665 195222780 666 195756400 667 195898275 668 196832874 669 196853837 670 197874655 671 198636127 672 198843392 673 199138203 674 199647935 675 203285092 676 203979804 677 204202162 678 204904625 679 205047969 680 205345787 681 206054036 682 206373974 683 206800585 684 208058665 685 209279667 686 209547851 687 209576833 688 209968524 689 211056274 690 211178331 691 211624592 692 213740304 693 213749430 694 214526882 695 216111104 696 217495524 697 217944055 698 218540749 699 218584017 700 220292874 701 220402467 702 220566847 703 221858142 704 222078543 705 222248958 706 222509000 707 222988626 708 224158561 709 224305270 710 224718793 711 225098054 712 226199319 713 226467985 714 226963356 715 226975758 716 227834624 717 228142839 718 228277900 719 228860320 720 230012405 721 230371694 722 230738838 723 231296656 724 232060487 725 232933935 726 233402652 727 233581253 728 234273461 729 234536665 730 234832967 731 234955304 732 235464053 733 237247724 734 238106023 735 238910661 736 239302475 737 239854394 738 240025814 739 240190499 740 240416056 741 240538066 742 242086124 743 243130440 744 243163725 745 243458654 746 243804980 747 245898366 748 247592582 749 247923120 750 249049206 751 249120345 752 250734980 753 251003147 754 251490464 755 252566677 756 254259310 757 254854854 758 255272335 759 255289349 760 257320618 761 258466878 762 258490449 763 259051507 764 259174345 765 259851999 766 261507739 767 261757278 768 261896606 769 262673442 770 263069448 771 264567985 772 265519969 773 265874295 774 266010915 775 266842250 776 267439568 777 267931809 778 268725225 779 271190347 780 272033535 781 272084768 782 273314957 783 273527434 784 273947724 785 273969362 786 274228031 787 274645460 788 275390275 789 276451762 790 278798313 791 279924244 792 280759011 793 281211335 794 281268835 795 281429824 796 282199049 797 283091454 798 283169949 799 283597698 800 284411617 801 284673564 802 285476644 803 286520084 804 286825175 805 287268222 806 287332706 807 288712446 808 288765714 809 289577727 810 289988775 811 290536119 812 290970423 813 291738635 814 291989602 815 292705023 816 294018994 817 295873193 818 295940824 819 295994710 820 296406719 821 296639685 822 297202112 823 298941097 824 299332281 825 299372436 826 299431120 827 300615337 828 301306756 829 301726749 830 301808133 831 301842180 832 302866388 833 303920169 834 304019680 835 304097324 836 304566827 837 305120239 838 305545660 839 306513784 840 306637929 841 307273329 842 307613020 843 307633993 844 309723560 845 309999704 846 311275096 847 312171061 848 313113896 849 313365100 850 313701537 851 313994163 852 315129025 853 315191108 854 315561586 855 315783505 856 316051137 857 316237500 858 316971018 859 319344520 860 319471945 861 319501664 862 320433824 863 320623080 864 321284796 865 321331472 866 321847407 867 322674039 868 323189074 869 323686564 870 324173640 871 324442314 872 325189442 873 325419374 874 325422229 875 325744196 876 325815057 877 326973869 878 327008961 879 327075800 880 327299859 881 327627950 882 328413188 883 328903024 884 329643120 885 331414524 886 332207281 887 333442683 888 333827374 889 335837098 890 335848835 891 336328420 892 336729624 893 336885276 894 337060623 895 337501416 896 339073531 897 339749255 898 339868216 899 340133924 900 342078216 901 342304995 902 342826538 903 343071043 904 343559185 905 344935304 906 345488744 907 345594994 908 345835670 909 346589374 910 348845507 911 349559243 912 349751399 913 350184036 914 350805951 915 350945200 916 351731324 917 352208624 918 353349224 919 353439095 920 354260909 921 354269487 922 354444483 923 354610664 924 355568394 925 355877385 926 356195950 927 356334474 928 356543967 929 358228829 930 360138064 931 360336029 932 361526098 933 361745785 934 362301405 935 362836039 936 363492844 937 365244930 938 366086006 939 366558175 940 366772674 941 367439852 942 368744256 943 371083455 944 374541601 945 375243750 946 376739914 947 377186355 948 377428777 949 378220031 950 379152864 951 379919655 952 381188625 953 381663953 954 382667350 955 385267365 956 386059560 957 386515216 958 386815395 959 387020631 960 388211694 961 389501540 962 389825964 963 389998790 964 390956075 965 392695204 966 393447725 967 394512456 968 396359370 969 396492564 970 396933536 971 397295857 972 397296745 973 397734505 974 397852427 975 397979456 976 398829773 977 399164831 978 401005801 979 401527191 980 401571535 981 402946699 982 403491011 983 403511554 984 406075347 985 406470663 986 406615949 987 406787200 988 407866084 989 408457836 990 408814655 991 409427137 992 409637840 993 410639964 994 410649554 995 411960658 996 412760310 997 413438685 998 414354815 999 414773919 1000 414995840