# Computed by Robert Israel, March 16 2021 # using Maple 2021.0, X86 64 WINDOWS, Jan 24 2021, Build ID 1515702 1 1 2 2 3 4 4 14 5 20 6 26 7 31 8 39 9 42 10 57 11 64 12 69 13 87 14 92 15 114 16 127 17 150 18 152 19 172 20 213 21 274 22 301 23 326 24 379 25 436 26 460 27 499 28 523 29 597 30 708 31 747 32 817 33 819 34 912 35 1382 36 1452 37 1595 38 1600 39 1603 40 1632 41 1647 42 1670 43 1768 44 1833 45 1834 46 1873 47 1890 48 1986 49 2137 50 2696 51 2702 52 2859 53 3080 54 3154 55 3167 56 3173 57 3386 58 3933 59 4279 60 4483 61 4629 62 4658 63 4739 64 4740 65 4916 66 5086 67 5887 68 5992 69 6036 70 6210 71 6295 72 6319 73 6334 74 6364 75 6369 76 6372 77 6868 78 6924 79 7106 80 7107 81 7313 82 7331 83 7342 84 7807 85 7809 86 7908 87 8031 88 8074 89 8078 90 8082 91 8094 92 8149 93 8179 94 8191 95 8211 96 8241 97 8243 98 8247 99 8310 100 8329 101 8344 102 8347 103 8360 104 8363 105 8377 106 10876 107 11454 108 11483 109 12570 110 12695 111 12699 112 12702 113 12859 114 12884 115 12887 116 12896 117 14197 118 17042 119 17044 120 17070 121 18108 122 18154 123 18537 124 18544 125 18711 126 19303 127 19305 128 19830 129 21451 130 21743 131 21932 132 24109 133 24237 134 24505 135 24906 136 24907 137 24977 138 26007 139 26931 140 27100 141 27454 142 27696 143 28039 144 28201 145 28336 146 28875 147 29118 148 29123 149 29679 150 29989 151 30268 152 30884 153 30958 154 31028 155 31090 156 32018 157 32121 158 32376 159 32459 160 32622 161 32623 162 32715 163 32823 164 32859 165 37395 166 39343 167 39364 168 40487 169 40495 170 41607 171 45154 172 49104 173 50353 174 58572 175 60361 176 60993 177 62389 178 64228 179 64941 180 67599 181 67863 182 68602 183 70434 184 70929 185 70944 186 72472 187 72481 188 72768 189 72836 190 73159 191 73178 192 73187 193 73191 194 73575 195 73631 196 73663 197 77952 198 78607 199 78615 200 84265 201 84400 202 86039 203 86042 204 86768 205 86866 206 86876 207 91517 208 93953 209 93960 210 94362 211 95249 212 96597 213 97171 214 98832 215 99384 216 100155 217 100589 218 100730 219 100838 220 101009 221 107279 222 110085 223 110198 224 111636 225 113499 226 113515 227 115782 228 115827 229 115853 230 119610 231 120369 232 120489 233 121844 234 122763 235 125524 236 126450 237 127193 238 127395 239 127409 240 128893 241 128979 242 129297 243 129551 244 129576 245 130260 246 130268 247 130707 248 130727 249 130783 250 130989 251 131027 252 144445 253 146097 254 155967 255 159844 256 159862 257 162792 258 169068 259 183250 260 186868 261 189453 262 194299 263 194449 264 200064 265 200066 266 200557 267 202557 268 204545 269 214855 270 224104 271 225311 272 229374 273 237030 274 237147 275 237529 276 237701 277 251500 278 253251 279 259703 280 261919 281 267675 282 267747 283 269818 284 276231 285 276267 286 276390 287 277039 288 277685 289 280117 290 282903 291 282961 292 283324 293 288475 294 288523 295 289279 296 289294 297 291216 298 292761 299 292768 300 292770 301 293704 302 308499 303 314817 304 321192 305 325514 306 332227 307 338510 308 341857 309 343187 310 343263 311 343506 312 347345 313 357360 314 364228 315 369345 316 370295 317 370575 318 371184 319 379722 320 380636 321 384136 322 384384 323 384425 324 386394 325 386871 326 395504 327 400130 328 400947 329 400975 330 401039 331 401473 332 401875 333 403650 334 415414 335 419855 336 429970 337 443074 338 445527 339 446336 340 446598 341 449409 342 449777 343 451292 344 456661 345 458218 346 461221 347 461453 348 461707 349 461720 350 461724 351 462306 352 473713 353 476517 354 476581 355 478861 356 479581 357 481670 358 483423 359 489425 360 489479 361 489481 362 492377 363 494997 364 499047 365 500239 366 500664 367 501049 368 509095 369 510026 370 511325 371 514830 372 517185 373 517262 374 518534 375 519112 376 519707 377 524725 378 525705 379 525816 380 576187 381 590287 382 633340 383 633341 384 645741 385 645853 386 655988 387 658304 388 669774 389 672349 390 700359 391 712230 392 754603 393 757143 394 759671 395 764401 396 770462 397 770854 398 775784 399 781877 400 808318 401 810982 402 812209 403 818327 404 818534 405 819946 406 820054 407 824974 408 850839 409 870541 410 873222 411 909227 412 927930 413 935011 414 940225 415 940432 416 940589 417 944604 418 978958 419 982174 420 986386 421 994626 422 1007232 423 1012022 424 1021756 425 1031483 426 1031783 427 1032937 428 1050263 429 1059067 430 1062009 431 1072559 432 1075337 433 1079760 434 1081479 435 1100057 436 1103560 437 1111068 438 1112625 439 1116360 440 1149897 441 1150122 442 1156099 443 1162147 444 1163349 445 1165438 446 1169620 447 1174165 448 1176896 449 1177379 450 1194798 451 1202035 452 1230637 453 1256348 454 1268011 455 1282337 456 1307570 457 1317855 458 1365493 459 1369759 460 1372013 461 1378633 462 1378752 463 1384145 464 1384741 465 1385243 466 1385860 467 1385870 468 1385893 469 1439064 470 1454534 471 1457939 472 1474741 473 1487138 474 1487490 475 1493161 476 1495404 477 1512737 478 1538046 479 1538110 480 1540907 481 1548059 482 1548655 483 1550415 484 1550416 485 1551305 486 1551411 487 1557755 488 1557884 489 1564887 490 1577939 491 1581597 492 1590649 493 1596393 494 1597579 495 1598187 496 1601236 497 1602252 498 1602272 499 1604198 500 1608208 501 1636364 502 1649579 503 1650607 504 1665957 505 1708181 506 1715912 507 1722477 508 1768736 509 1785458 510 1794308 511 1797073 512 1801542 513 1803025 514 1816026 515 1825330 516 1835379 517 1835453 518 1837002 519 1837122 520 1843879 521 1845049 522 1845790 523 1846067 524 1856855 525 1876938 526 1883174 527 1886655 528 1894030 529 1918502 530 1919951 531 1937193 532 1937794 533 1937886 534 1940010 535 1943969 536 1951819 537 1957248 538 1958128 539 1961736 540 1965419 541 1966078 542 1974628 543 1987016 544 2002287 545 2003002 546 2027824 547 2028640 548 2033605 549 2033612 550 2033933 551 2037844 552 2039543 553 2040215 554 2050614 555 2054249 556 2070125 557 2070157 558 2072863 559 2074517 560 2074596 561 2083071 562 2083812 563 2084366 564 2087973 565 2089773 566 2090202 567 2090353 568 2092492 569 2094651 570 2098192 571 2098297 572 2098407 573 2098490 574 2099631 575 2099634 576 2100130 577 2104325 578 2203901 579 2208133 580 2220760 581 2227111 582 2280203 583 2280261 584 2340333 585 2414648 586 2469799 587 2503151 588 2530126 589 2536875 590 2555060 591 2570697 592 2577722 593 2582127 594 2596010 595 2645939 596 2671519 597 2680768 598 2717928 599 2781567 600 2802837 601 2857246 602 2881479 603 2932124 604 2936981 605 2953540 606 2958199 607 2958554 608 2958620 609 3014757 610 3029632 611 3034394 612 3088468 613 3108513 614 3111710 615 3115973 616 3143448 617 3146287 618 3151626 619 3174405 620 3209764 621 3217180 622 3222089 623 3250092 624 3255006 625 3258051 626 3258112 627 3260082 628 3267889 629 3268033 630 3272640 631 3277913 632 3425140 633 3431461 634 3467143 635 3515803 636 3571051 637 3582389 638 3595262 639 3608691 640 3614604 641 3716740 642 3730549 643 3735455 644 3744221 645 3744863 646 3757764 647 3821808 648 3865445 649 3876001 650 3887833 651 3946433 652 3962774 653 3963442 654 3968610 655 3991462 656 4056453 657 4056459 658 4082654 659 4099775 660 4105503 661 4148696 662 4191971 663 4192029 664 4226249 665 4235591 666 4243895 667 4279796 668 4284506 669 4287695 670 4302356 671 4305667 672 4311223 673 4323149 674 4323377 675 4332713 676 4420594 677 4426395 678 4456597 679 4463477 680 4497970 681 4501936 682 4505278 683 4507681 684 4508040 685 4509985 686 4515991 687 4515994 688 4522943 689 4524623 690 4525007 691 4526207 692 4527628 693 4527859 694 4550021 695 4568591 696 4574520 697 4600612 698 4603110 699 4621355 700 4621585 701 4622916 702 4625356 703 4633721 704 4633879 705 4635163 706 4656307 707 4667386 708 4671139 709 4673211 710 4673887 711 4673919 712 4673982 713 4686373 714 4693349 715 4695725 716 4698734 717 4708105 718 4711544 719 4713072 720 4714167 721 4714838 722 4716382 723 4717913 724 4722281 725 4722406 726 4722498 727 4747816 728 4871841 729 4877069 730 4893780 731 4962760 732 5004891 733 5065246 734 5099203 735 5102310 736 5115226 737 5116287 738 5272963 739 5276424 740 5388621 741 5419229 742 5456426 743 5482843 744 5495084 745 5529288 746 5535951 747 5589490 748 5617561 749 5703457 750 5703460 751 5754227 752 5829742 753 5837347 754 5852231 755 5864899 756 5864909 757 5865664 758 5883040 759 5911572 760 5912743 761 5932388 762 5943991 763 5960176 764 5967847 765 5977055 766 6049724 767 6076668 768 6079139 769 6085074 770 6144126 771 6161644 772 6165339 773 6179635 774 6184312 775 6197359 776 6221889 777 6250339 778 6259146 779 6292637 780 6307629 781 6338774 782 6368547 783 6395365 784 6463296 785 6641744 786 6646388 787 6673452 788 6750977 789 6759369 790 6765104 791 6766707 792 6768250 793 6875947 794 6876529 795 6879048 796 6879639 797 6891347 798 6926958 799 6947647 800 6952012 801 6996183 802 7006903 803 7013729 804 7068591 805 7068623 806 7072768 807 7082657 808 7120856 809 7134708 810 7231553 811 7238721 812 7254080 813 7255091 814 7255104 815 7271259 816 7300840 817 7308003 818 7308035 819 7308935 820 7314015 821 7324332 822 7329846 823 7339151 824 7339474 825 7347101 826 7366840 827 7370806 828 7370835 829 7495557 830 7560484 831 7608282 832 7647354 833 7677654 834 7693532 835 7740467 836 7750586 837 7788753 838 7822908 839 7827780 840 7857261 841 7877693 842 7878461 843 7927328 844 7959852 845 7998029 846 8005224 847 8026954 848 8055536 849 8061347 850 8064469 851 8066651 852 8068863 853 8069253 854 8072970 855 8076861 856 8078591 857 8080511 858 8100658 859 8107040 860 8115825 861 8116255 862 8152240 863 8152816 864 8154292 865 8196023 866 8198192 867 8239040 868 8239853 869 8249316 870 8261944 871 8261947 872 8262471 873 8301009 874 8303401 875 8307579 876 8311778 877 8315252 878 8321031 879 8325855 880 8355685 881 8355721 882 8358244 883 8374083 884 8377610 885 8380704 886 8384095 887 8385454 888 8388579 889 8390053 890 8390551 891 8392052 892 8392172 893 8394095 894 8394100 895 8394136 896 8509856 897 9041731 898 9264566 899 9472341 900 9647032 901 9948097 902 9965833 903 10019445 904 10041834 905 10077419 906 10105021 907 10158925 908 10271761 909 10330621 910 10518417 911 10549925 912 10577582 913 10600863 914 10610286 915 10711489 916 10771757 917 10892248 918 11141628 919 11354352 920 11430696 921 11430825 922 11449818 923 11479259 924 11488162 925 11527065 926 11537385 927 11715226 928 11715289 929 11725545 930 11793519 931 11803057 932 11816986 933 11992734 934 12135144 935 12224031 936 12268254 937 12398065 938 12447183 939 12458337 940 12467514 941 12586864 942 12603225 943 12627672 944 12697606 945 12744322 946 12764535 947 12778339 948 12788834 949 12789004 950 12865142 951 12885556 952 12886404 953 12926458 954 12931744 955 12935956 956 12941333 957 13011713 958 13012716 959 13027181 960 13053092 961 13059603 962 13067973 963 13099172 964 13099284 965 13108827 966 13186687 967 13434377 968 13611069 969 13659240 970 13673833 971 13773339 972 14111193 973 14112522 974 14243282 975 14355508 976 14357914 977 14411428 978 14431912 979 14458540 980 14501541 981 14670266 982 14739475 983 14756322 984 14773667 985 14830900 986 14890868 987 14892143 988 14947053 989 15198183 990 15397151 991 15427676 992 15452574 993 15550089 994 15583631 995 15632034 996 15665810 997 15717702 998 15728857 999 15739089 1000 15766662