# Computed by Robert Israel, June 26 2020 # using Maple 2019.2, X86 64 WINDOWS, Nov 26 2019, Build ID 1435526 1 1 2 4 3 37 4 196 5 1315 6 1941 7 2428 8 2451 9 3223 10 5613 11 5681 12 6758 13 9141 14 12768 15 15507 16 16206 17 20076 18 21373 19 28827 20 30252 21 33442 22 37466 23 40332 24 47532 25 59355 26 81769 27 92446 28 94669 29 99424 30 109089 31 114423 32 123253 33 129186 34 149073 35 191288 36 200654 37 202489 38 212787 39 229372 40 234825 41 237832 42 284586 43 300355 44 343540 45 382410 46 417282 47 422973 48 455586 49 488610 50 489221 51 502029 52 516750 53 521019 54 553659 55 578116 56 618751 57 676251 58 685738 59 712918 60 754432 61 765361 62 768122 63 790673 64 792750 65 811104 66 852613 67 856350 68 886601 69 942344 70 983010 71 1031136 72 1111528 73 1248039 74 1260597 75 1269067 76 1285911 77 1338585 78 1493702 79 1495024 80 1506681 81 1532610 82 1650968 83 1691377 84 1716221 85 1741525 86 1767033 87 1811826 88 1873432 89 1930632 90 2023360 91 2183713 92 2197896 93 2279017 94 2388608 95 2392050 96 2411673 97 2501578 98 2552174 99 2626980 100 2692608 101 2706626 102 2757808 103 2795690 104 2998351 105 3371250 106 3900206 107 3955107 108 3955616 109 4015898 110 4064290 111 4279200 112 4555728 113 4675520 114 4734968 115 4757586 116 4887756 117 5091604 118 5264361 119 5274755 120 5321521 121 5407208 122 5407440 123 5569177 124 5576443 125 5629858 126 5757668 127 5784850 128 5797806 129 5954050 130 6076257 131 6076441 132 6138187 133 6575394 134 6718845 135 6735054 136 6921630 137 7524189 138 7917290 139 8245524 140 8425030 141 8849751 142 9173106 143 9574811 144 9736889 145 9746622 146 9887319 147 9906632 148 10367962 149 10523407 150 10775844 151 10783448 152 11194170 153 11250352 154 11427810 155 11488477 156 11956220 157 12221587 158 12221899 159 12238746 160 12660221 161 12703472 162 13197782 163 13240720 164 13308724 165 13731298 166 14063977 167 14200719 168 15282040 169 15630906 170 15816632 171 16298100 172 16726593 173 17225342 174 17569930 175 18119369 176 18626953 177 19516654 178 19829367 179 20397059 180 20634517 181 21142863 182 21605948 183 21907548 184 22073768 185 22455252 186 23496300 187 23611206 188 24771687 189 24892456 190 25449892 191 25674301 192 25952054 193 26069407 194 26251611 195 26256225 196 26779195 197 27342297 198 27791975 199 28410665 200 29849705 201 30382387 202 31471666 203 33031845 204 34961152 205 35577006 206 36659626 207 37970075 208 38385967 209 38517968 210 39003401 211 39073452 212 39213676 213 39246976 214 39358960 215 39377776 216 40492467 217 40654433 218 40852038 219 41059530 220 41492383 221 41553665 222 41725354 223 42913664 224 43200280 225 43903388 226 45545025 227 45673840 228 45894139 229 45954013 230 46180813 231 46216953 232 48584628 233 49029346 234 49070960 235 49215530 236 51558134 237 51641570 238 52085502 239 52786244 240 53630651 241 53674561 242 58743399 243 58888629 244 60007838 245 60629716 246 61474041 247 61808140 248 61926034 249 61929134 250 63529210 251 63708544 252 63968005 253 65861216 254 66830190 255 67123870 256 67466560 257 67553817 258 68186992 259 68950053 260 69236365 261 69873650 262 72549088 263 73098999 264 73882900 265 73969254 266 74067852 267 74447547 268 74826637 269 75701176 270 75707740 271 76617756 272 80177169 273 80670375 274 81553592 275 82387176 276 84727239 277 84749457 278 85002064 279 85146440 280 86862512 281 88881392 282 90533339 283 90871551 284 91404577 285 91423712 286 92973664 287 96659334 288 98620245 289 100422081 290 101941027 291 101974531 292 102440769 293 105932457 294 106629568 295 108538777 296 109276104 297 110543202 298 110980954 299 111843997 300 113983870 301 114740448 302 116243898 303 116764954 304 118427138 305 128582820 306 131668210 307 132450514 308 132885186 309 133287057 310 133381808 311 135469962 312 141822461 313 142439496 314 144118540 315 145352667 316 146597265 317 148222505 318 150351776 319 154201006 320 155561627 321 155666162 322 157717575 323 158899063 324 159753236 325 160067389 326 162323667 327 164657746 328 165645576 329 165842832 330 166141360 331 166515518 332 168933782 333 169641387 334 171347386 335 172124417 336 172585705 337 175126078 338 175654140 339 176641444 340 177484947 341 177778215 342 181372717 343 185965750 344 187093250 345 190429328 346 191005140 347 191242437 348 194853282 349 195333141 350 199022671 351 200605174 352 200713563 353 201670250 354 202757577 355 203493097 356 206207939 357 208909468 358 209786207 359 214286246 360 214449152 361 220377457 362 222977781 363 230461698 364 232480144 365 241885696 366 242637715 367 244516048 368 247737794 369 250263016 370 250828908 371 253116957 372 256953645 373 263102680 374 266742845 375 268585590 376 268611250 377 271681346 378 272313417 379 279332066 380 279377482 381 286530668 382 288323137 383 288450235 384 291234737 385 292565121 386 293771115 387 304327664 388 304561413 389 313800600 390 314326540 391 317812614 392 319223880 393 320728516 394 321210177 395 332636526 396 335522426 397 336113461 398 339919532 399 345690906 400 347460777 401 350227090 402 350381936 403 364717223 404 365110622 405 369903520 406 373520232 407 373985474 408 377765752 409 379821807 410 383636873 411 393601836 412 395457544 413 404110487 414 407027358 415 408209530 416 409670605 417 412255899 418 415891816 419 418419027 420 418863956 421 430843567 422 432789250 423 433800781 424 434524587 425 436130930 426 443603152 427 449161044 428 451470754 429 454904881 430 457481239 431 458382730 432 459921638 433 460958929 434 461059125 435 468709300 436 474741900 437 477486236 438 488151081 439 499078575 440 499793976 441 501184378 442 504112468 443 515260044 444 529223377 445 530730480 446 532297217 447 533774878 448 534836882 449 534895966 450 535005280 451 535179822 452 536468977 453 540399692 454 541788735 455 544585328 456 556384150 457 558627050 458 559240033 459 562311329 460 563791672 461 565352936 462 567141601 463 568302241 464 569554925 465 576116832 466 582465885 467 586728180 468 592132219 469 598569236 470 599106592 471 615305979 472 620391060 473 620758776 474 631047138 475 632258289 476 633786331 477 633940115 478 639618321 479 641682382 480 651883905 481 658853654 482 675010283 483 692763412 484 696553928 485 718817427 486 723234759 487 726128382 488 730769249 489 741534060 490 744242580 491 756013195 492 757391128 493 760201703 494 760480721 495 763430660 496 764542494 497 768462753 498 771111945 499 771398618 500 773604528 501 774215833 502 782239041 503 785293922 504 788919920 505 790657345 506 799132258 507 804884313 508 807693162 509 810126333 510 815518329 511 819407189 512 826486785 513 829011508 514 829508984 515 836059473 516 839682850 517 841664278 518 853912458 519 856212787 520 868263656 521 878912419 522 890455140 523 890532137 524 895982877 525 919168990 526 920595170 527 921279393 528 929369883 529 932767715 530 936784540 531 951710490 532 958984400 533 964553949 534 964660818 535 982523052 536 992393318 537 992510730 538 992862565 539 992982292 540 1002210509 541 1003274880 542 1006866425 543 1036480671 544 1041739380 545 1075661379 546 1077667740 547 1077872960 548 1078956658 549 1082487769 550 1084743882 551 1094788570 552 1097223778 553 1103562746 554 1107427743 555 1109237078 556 1112852700 557 1124720640 558 1135714636 559 1142202253 560 1152462610 561 1152469305 562 1156417027 563 1157447655 564 1163363762 565 1165332780 566 1172778545 567 1173836743 568 1197498429 569 1217411758 570 1234159904 571 1244520596 572 1247487066 573 1248380464 574 1249014701 575 1255137404 576 1263826811 577 1280234835 578 1280317330 579 1281445716 580 1284486129 581 1289835406 582 1296840954 583 1306049903 584 1308324790 585 1321016550 586 1330964000 587 1343644625 588 1344970241 589 1345043626 590 1346446050 591 1347676422 592 1350838650 593 1353369861 594 1353730222 595 1378860718 596 1406436465 597 1408953651 598 1427300017 599 1458844188 600 1487195830 601 1490097375 602 1490530719 603 1492248681 604 1501492617 605 1503140512 606 1504093077 607 1505127872 608 1521440921 609 1532141303 610 1543973830 611 1544031775 612 1548424176 613 1557487692 614 1557841141 615 1584611001 616 1591181420 617 1593968886 618 1609337978 619 1610043760 620 1611115993 621 1619399051 622 1630520683 623 1633110733 624 1633585264 625 1636336453 626 1641737500 627 1663797411 628 1673369900 629 1687839400 630 1697724410 631 1723603825 632 1728647669 633 1737917380 634 1742470641 635 1750530002 636 1758180258 637 1764740540 638 1775603657 639 1788534243 640 1817045289 641 1819887895 642 1821039456 643 1833646004 644 1891622261 645 1906122104 646 1913713714 647 1923412697 648 1927629036 649 1929121570 650 1940284444 651 1943189776 652 1947026611 653 1972248620 654 1999414404 655 2005789476 656 2052276814 657 2055856003 658 2057306226 659 2071075550 660 2071733786 661 2076140676 662 2077580632 663 2083884022 664 2084153457 665 2097758754 666 2108495403 667 2112036641 668 2114467304 669 2119870270 670 2149535305 671 2161509574 672 2182733346 673 2193577444 674 2206894210 675 2221388607 676 2228883945 677 2231856981 678 2240097119 679 2246574060 680 2251092592 681 2252698064 682 2295535649 683 2316038464 684 2321933980 685 2328459250 686 2345054820 687 2356097272 688 2362624561 689 2364363547 690 2365601785 691 2367853074 692 2369669248 693 2396266868 694 2404949086 695 2413335654 696 2436825460 697 2446990382 698 2452309020 699 2459735512 700 2482009995 701 2492299436 702 2494762739 703 2507739130 704 2514424768 705 2534127388 706 2539562580 707 2544359980 708 2548446670 709 2550135190 710 2584232030 711 2586075842 712 2589248827 713 2592617670 714 2595244389 715 2615048922 716 2616156585 717 2616302348 718 2617906697 719 2618962625 720 2626135371 721 2629571428 722 2631002145 723 2639291148 724 2640596930 725 2706007952 726 2723929713 727 2724147051 728 2730455918 729 2739530971 730 2743927772 731 2747704925 732 2750722240 733 2753774056 734 2763335628 735 2789252277 736 2796692250 737 2819393865 738 2838514240 739 2841156283 740 2863722621 741 2889840520 742 2893697460 743 2929387203 744 2931368149 745 2938839256 746 2940913845 747 2943066830 748 2946199782 749 2948994398 750 2952579253 751 2962758030 752 2963088448 753 2968543000 754 2979814386 755 2986609457 756 2993990283 757 2999544381 758 3000080763 759 3002768737 760 3005262927 761 3010683535 762 3030777376 763 3076479549 764 3077225648 765 3095309289 766 3114765212 767 3133134279 768 3136446546 769 3138911913 770 3139165293 771 3142949852 772 3165902512 773 3166929780 774 3181872240 775 3186151454 776 3192637949 777 3205632826 778 3225898974 779 3234014825 780 3246351636 781 3271500729 782 3279707460 783 3286868050 784 3294781613 785 3305391076 786 3308496939 787 3315335446 788 3319473393 789 3338172416 790 3345836666 791 3346277408 792 3351287826 793 3407448640 794 3410401240 795 3430106696 796 3431096370 797 3452040590 798 3503902386 799 3510591777 800 3532991880 801 3549388140 802 3559098939 803 3560807264 804 3574814050 805 3575427066 806 3576251800 807 3576845350 808 3610732690 809 3618747315 810 3661639531 811 3669553251 812 3669643737 813 3671055281 814 3689871991 815 3692317679 816 3707213315 817 3715510799 818 3760705000 819 3769413121 820 3787163725 821 3798892242 822 3850944652 823 3891142243 824 3894264037 825 3911644826 826 3934872255 827 3995661780 828 4031315430 829 4035068187 830 4038818290 831 4044159970 832 4050647277 833 4060413332 834 4066143778 835 4067001372 836 4114653972 837 4115949848 838 4116967339 839 4146832188 840 4178411253 841 4192990131 842 4230002624 843 4233189899 844 4255696269 845 4266987757 846 4269166896 847 4331615608 848 4334286499 849 4360387543 850 4391811061 851 4396230000 852 4408958290 853 4450439736 854 4472971227 855 4477528143 856 4499171740 857 4523091354 858 4524230061 859 4543413292 860 4558254111 861 4571964090 862 4595739219 863 4659954929 864 4678552633 865 4685742036 866 4742936368 867 4767795827 868 4788655928 869 4808208385 870 4827798902 871 4910353176 872 4918295280 873 4926990952 874 4927117952 875 4947884591 876 4958278130 877 4962091770 878 5043545560 879 5069050965 880 5098958018 881 5113082261 882 5116545137 883 5145629157 884 5153987568 885 5177859513 886 5201325873 887 5203125730 888 5233006626 889 5259309368 890 5285774527 891 5288984001 892 5327135892 893 5362180209 894 5368236428 895 5377133728 896 5384477459 897 5419694025 898 5426387049 899 5441650929 900 5451520690 901 5470074211 902 5477265885 903 5493005964 904 5493738481 905 5503601601 906 5532459254 907 5655262437 908 5668943970 909 5670783097 910 5672405403 911 5745027427 912 5747834252 913 5752560250 914 5756168475 915 5859684831 916 5879216420 917 5916785209 918 5930990894 919 5934778137 920 5949432729 921 5955821126 922 5994004869 923 6006031806 924 6029300512 925 6030841455 926 6048891634 927 6073550368 928 6079359001 929 6138333400 930 6151239800 931 6196697515 932 6206112046 933 6233006802 934 6236808192 935 6277741193 936 6291724099 937 6330787928 938 6360886676 939 6370604386 940 6422662912 941 6424358372 942 6425550300 943 6441411880 944 6519136598 945 6520382612 946 6553884060 947 6562217175 948 6562638900 949 6572531961 950 6574991907 951 6576405987 952 6582457245 953 6586173298 954 6646845753 955 6653934913 956 6658300737 957 6671878290 958 6691926015 959 6709575345 960 6753024835 961 6762861513 962 6801463802 963 6831005725 964 6845070343 965 6851384475 966 6859046277 967 6882165673 968 6913970852 969 6962710762 970 7018574786 971 7021333936 972 7069839418 973 7118301905 974 7120310331 975 7124230450 976 7175972951 977 7253430591 978 7267681213 979 7291443770 980 7328315135 981 7346894410 982 7360141328 983 7376577873 984 7401553020 985 7431539248 986 7490113127 987 7533738642 988 7549642432 989 7567670341 990 7616026385 991 7662516256 992 7687721302 993 7693409454 994 7701581665 995 7759623159 996 7759878668 997 7800373638 998 7843793391 999 7863728589 1000 7884155480