# Computed by Robert Israel, September 22 2023 # using Maple 2023.1, X86 64 WINDOWS, Jul 07 2023, Build ID 1723669 1 2 2 3 3 5 4 7 5 126 6 154 7 315 8 329 9 342 10 418 11 833 12 884 13 1134 14 1344 15 1595 16 1776 17 1826 18 1955 19 2354 20 4248 21 4332 22 5828 23 7588 24 7791 25 9983 26 14161 27 15194 28 16416 29 21479 30 22165 31 23472 32 25994 33 26128 34 27383 35 33282 36 42479 37 42772 38 43416 39 43492 40 44733 41 45428 42 51988 43 55223 44 61755 45 72171 46 72471 47 81191 48 81524 49 84329 50 88367 51 91379 52 96159 53 112258 54 124184 55 133128 56 136259 57 136686 58 139466 59 143824 60 155771 61 164616 62 181248 63 183315 64 214914 65 217792 66 224961 67 227359 68 231173 69 234525 70 235136 71 248248 72 253227 73 257955 74 269288 75 276916 76 311375 77 314116 78 321385 79 323454 80 329613 81 332424 82 338142 83 344253 84 354144 85 413927 86 423613 87 428783 88 443232 89 444912 90 448224 91 461244 92 523735 93 537136 94 541184 95 556699 96 557585 97 571494 98 571528 99 591977 100 593922 101 595335 102 639944 103 645265 104 652965 105 653291 106 654456 107 655871 108 666672 109 677292 110 722449 111 726733 112 727124 113 738378 114 739123 115 761376 116 762624 117 766441 118 776112 119 781636 120 819273 121 831358 122 834948 123 837315 124 839838 125 841434 126 845121 127 878712 128 881377 129 885568 130 919646 131 925221 132 951957 133 958751 134 977214 135 978789 136 981717 137 991116 138 994368 139 999481 140 1116225 141 1116819 142 1126317 143 1144273 144 1154664 145 1156519 146 1161216 147 1162213 148 1164288 149 1183854 150 1185144 151 1186146 152 1219512 153 1221915 154 1238781 155 1253919 156 1257194 157 1258125 158 1259454 159 1262436 160 1266288 161 1266517 162 1268951 163 1273776 164 1276931 165 1299674 166 1311583 167 1312248 168 1343292 169 1352299 170 1382172 171 1388583 172 1389913 173 1399487 174 1419985 175 1427646 176 1466773 177 1483751 178 1488525 179 1489194 180 1491644 181 1527565 182 1539919 183 1552448 184 1554616 185 1556384 186 1561854 187 1581454 188 1592727 189 1612465 190 1617273 191 1648727 192 1666746 193 1682868 194 1733325 195 1741491 196 1743214 197 1747345 198 1767579 199 1774521 200 1784337 201 1796676 202 1811641 203 1813998 204 1826185 205 1833139 206 1871377 207 1884174 208 1888125 209 1898598 210 1922515 211 1928185 212 1933659 213 1938391 214 1962938 215 1971795 216 1984896 217 1996936 218 1999898 219 2113345 220 2255994 221 2256828 222 2257374 223 2272145 224 2282293 225 2355385 226 2356465 227 2358121 228 2362717 229 2447725 230 2484313 231 2525395 232 2533465 233 2542285 234 2551681 235 2595669 236 2615721 237 2631838 238 2641681 239 2643848 240 2661319 241 2696449 242 2711547 243 2724245 244 2751637 245 2754257 246 2767122 247 2772966 248 2782856 249 2836686 250 2858352 251 2863732 252 2868743 253 2878233 254 2884333 255 2887213 256 2889525 257 2927954 258 2935443 259 2939295 260 2946256 261 2975474 262 2999359 263 3127531 264 3135732 265 3141489 266 3147417 267 3162145 268 3189948 269 3211369 270 3235375 271 3246264 272 3251516 273 3258332 274 3294647 275 3319137 276 3321216 277 3323556 278 3325432 279 3331575 280 3334448 281 3336219 282 3344384 283 3354366 284 3366383 285 3377815 286 3422484 287 3426612 288 3435993 289 3442364 290 3444574 291 3545395 292 3545451 293 3559769 294 3563755 295 3566624 296 3577345 297 3588352 298 3629622 299 3636277 300 3638166 301 3643326 302 3661476 303 3661775 304 3664416 305 3696147 306 3711488 307 3716368 308 3727152 309 3736616 310 3753532 311 3774752 312 3782793 313 3812137 314 3834238 315 3835188 316 3843489 317 3843585 318 3932334 319 3966189 320 4118232 321 4125261 322 4136734 323 4156542 324 4158719 325 4165524 326 4195569 327 4214725 328 4227881 329 4237244 330 4311517 331 4323725 332 4345518 333 4345585 334 4364737 335 4372288 336 4442978 337 4454725 338 4464468 339 4475454 340 4487714 341 4513125 342 4513197 343 4518124 344 4535232 345 4588557 346 4598879 347 4628286 348 4643772 349 4653534 350 4657664 351 4659791 352 4663417 353 4716642 354 4762254 355 4797744 356 4812471 357 4964316 358 4967591 359 5119629 360 5166375 361 5169445 362 5181889 363 5183665 364 5183822 365 5213239 366 5232238 367 5233358 368 5246523 369 5314874 370 5318328 371 5341465 372 5353299 373 5384421 374 5418671 375 5441156 376 5452216 377 5495992 378 5499669 379 5512741 380 5516599 381 5536195 382 5537343 383 5542757 384 5555675 385 5558488 386 5572716 387 5588661 388 5595289 389 5619145 390 5646564 391 5664451 392 5667575 393 5697656 394 5716746 395 5722165 396 5764563 397 5771332 398 5776446 399 5778865 400 5814558 401 5826121 402 5871545 403 5894529 404 5912889 405 5913999 406 6111279 407 6116964 408 6125751 409 6131293 410 6135444 411 6155856 412 6156232 413 6166735 414 6215641 415 6222238 416 6239622 417 6241177 418 6294444 419 6322688 420 6343344 421 6353767 422 6359913 423 6374766 424 6395188 425 6417477 426 6447742 427 6455525 428 6466496 429 6467673 430 6519511 431 6544945 432 6556254 433 6568345 434 6591126 435 6624924 436 6625717 437 6633315 438 6666764 439 6668988 440 6691679 441 6783361 442 6831828 443 6841242 444 6872519 445 6886717 446 6927677 447 6996112 448 7111944 449 7116355 450 7135616 451 7135994 452 7141182 453 7143367 454 7148264 455 7161265 456 7172228 457 7173192 458 7176571 459 7264642 460 7275177 461 7278215 462 7281373 463 7282716 464 7312375 465 7366128 466 7373888 467 7376616 468 7411182 469 7416721 470 7432736 471 7461272 472 7471225 473 7535835 474 7595831 475 7617558 476 7676181 477 7713937 478 7729878 479 7736142 480 7738515 481 7777432 482 7778876 483 7781488 484 7798995 485 7811721 486 7822815 487 7828288 488 7988892 489 8136828 490 8138688 491 8153229 492 8162388 493 8173212 494 8187744 495 8211644 496 8211854 497 8223726 498 8242176 499 8253721 500 8329998 501 8332918 502 8445255 503 8468334 504 8477161 505 8481273 506 8495454 507 8523537 508 8526656 509 8534838 510 8548111 511 8613612 512 8614822 513 8652618 514 8662122 515 8682684 516 8714772 517 8722129 518 8771868 519 8777328 520 8851712 521 8868483 522 8888143 523 8919656 524 8921331 525 8923998 526 8941134 527 8984833 528 8998297 529 9118974 530 9139779 531 9166531 532 9174529 533 9182278 534 9193522 535 9193615 536 9195795 537 9215269 538 9219774 539 9226611 540 9245325 541 9247821 542 9251361 543 9255288 544 9288961 545 9331388 546 9332253 547 9387777 548 9443473 549 9459121 550 9554961 551 9566471 552 9575995 553 9584231 554 9585966 555 9721182 556 9723259 557 9755571 558 9774525 559 9931452 560 9957839 561 9963945 562 9994296 563 11158945 564 11161724 565 11178433 566 11184366 567 11228329 568 11255625 569 11263318 570 11277739 571 11278977 572 11279331 573 11322378 574 11328432 575 11333917 576 11338184 577 11344638 578 11351936 579 11389518 580 11413549 581 11428728 582 11447553 583 11448542 584 11454138 585 11465377 586 11481756 587 11516422 588 11581925 589 11619765 590 11629462 591 11638222 592 11644734 593 11695563 594 11711466 595 11726464 596 11772637 597 11779734 598 11782857 599 11789918 600 11811198 601 11816442 602 11865168 603 11887525 604 11892588 605 11896188 606 11917788 607 11969454 608 11971189 609 11995443 610 12123463 611 12124128 612 12138434 613 12151845 614 12171355 615 12216386 616 12242286 617 12244969 618 12255232 619 12259414 620 12278785 621 12293227 622 12336688 623 12352249 624 12353562 625 12378624 626 12421849 627 12432195 628 12435525 629 12446238 630 12448683 631 12453661 632 12473424 633 12474336 634 12476737 635 12477452 636 12495912 637 12531674 638 12543125 639 12558315 640 12577159 641 12618216 642 12623286 643 12631356 644 12675565 645 12723582 646 12742525 647 12751452 648 12762333 649 12792414 650 12814172 651 12814648 652 12815161 653 12821166 654 12844465 655 12887161 656 12887917 657 12928489 658 12949833 659 12949925 660 12969594 661 12994195 662 12995196 663 13162723 664 13177393 665 13179571 666 13227762 667 13256545 668 13263118 669 13314973 670 13394411 671 13399661 672 13418874 673 13435885 674 13482865 675 13494446 676 13497933 677 13539267 678 13619634 679 13631799 680 13633752 681 13649646 682 13677553 683 13751675 684 13787521 685 13832713 686 13927199 687 13937493 688 14111851 689 14133457 690 14133672 691 14145985 692 14168334 693 14169446 694 14188217 695 14227116 696 14251926 697 14352942 698 14355138 699 14356534 700 14419566 701 14419691 702 14438473 703 14494515 704 14515852 705 14535356 706 14555332 707 14664217 708 14692494 709 14719422 710 14747776 711 14812325 712 14857524 713 14912254 714 14991216 715 15111349 716 15145669 717 15152965 718 15179274 719 15254492 720 15263532 721 15266557 722 15433575 723 15435318 724 15527412 725 15545299 726 15629926 727 15635682 728 15655449 729 15658286 730 15753375 731 15769929 732 15825896 733 15911662 734 15959916 735 15972979 736 15988728 737 16112185 738 16129722 739 16149496 740 16159339 741 16176672 742 16187344 743 16195926 744 16199918 745 16215324 746 16217916 747 16231424 748 16233555 749 16241964 750 16298988 751 16415316 752 16429422 753 16453332 754 16485136 755 16527145 756 16543615 757 16554486 758 16554725 759 16557112 760 16626648 761 16651699 762 16662672 763 16663452 764 16775625 765 16778721 766 16821246 767 16821421 768 16847761 769 16871488 770 16886782 771 16939531 772 16965261 773 17111979 774 17119558 775 17125443 776 17128575 777 17171256 778 17188184 779 17212951 780 17252391 781 17289118 782 17299942 783 17317644 784 17348214 785 17376336 786 17466462 787 17531272 788 17577625 789 17642646 790 17728212 791 17764124 792 17775865 793 17784816 794 17792132 795 17851725 796 17853239 797 17862858 798 17931447 799 17943373 800 17995775 801 17998941 802 18165216 803 18166863 804 18182384 805 18198894 806 18199777 807 18239113 808 18351376 809 18375577 810 18384393 811 18399671 812 18512284 813 18555324 814 18558784 815 18611196 816 18621454 817 18641185 818 18641951 819 18691191 820 18691896 821 18699116 822 18712248 823 18724412 824 18779691 825 18796223 826 18814496 827 18841862 828 18842832 829 18855674 830 18896418 831 18944893 832 18946488 833 18966656 834 18984589 835 19153775 836 19212183 837 19222452 838 19224531 839 19229517 840 19238868 841 19325449 842 19328298 843 19332379 844 19345359 845 19379734 846 19512192 847 19521541 848 19526286 849 19563222 850 19571227 851 19622525 852 19628686 853 19699125 854 19733494 855 19744944 856 19826263 857 19882689 858 19892841 859 19926142 860 19937232 861 19992731 862 19993884 863 21136115 864 21143552 865 21146481 866 21173923 867 21213577 868 21217945 869 21233975 870 21252868 871 21265752 872 21275163 873 21276957 874 21294481 875 21299166 876 21326569 877 21328983 878 21334488 879 21335161 880 21349848 881 21354949 882 21357457 883 21363258 884 21384429 885 21454249 886 21481773 887 21492284 888 21497113 889 21548451 890 21556681 891 21595525 892 21629556 893 21634688 894 21682575 895 21688446 896 21688813 897 21689185 898 21729115 899 21752178 900 21781116 901 21797732 902 21814191 903 21821184 904 21832736 905 21852854 906 21872682 907 21876828 908 21912282 909 22155837 910 22159126 911 22262526 912 22283713 913 22357585 914 22412898 915 22413312 916 22446172 917 22453629 918 22473537 919 22525318 920 22543645 921 22577787 922 22611951 923 22632841 924 22644811 925 22645616 926 22657712 927 22665216 928 22685525 929 22699117 930 22772461 931 22772764 932 22813236 933 22814183 934 22816414 935 22831732 936 22836336 937 22886215 938 22916525 939 22996142 940 23112384 941 23119524 942 23124816 943 23134569 944 23141811 945 23152529 946 23155636 947 23161944 948 23171646 949 23179422 950 23188125 951 23249469 952 23255245 953 23272585 954 23334912 955 23354382 956 23364265 957 23395229 958 23476266 959 23515668 960 23563462 961 23572591 962 23617741 963 23646921 964 23668128 965 23732541 966 23737118 967 23794437 968 23854446 969 23885127 970 23917572 971 23933998 972 24119196 973 24132732 974 24134457 975 24138224 976 24156174 977 24162729 978 24177646 979 24213258 980 24217622 981 24253177 982 24258464 983 24267145 984 24274537 985 24319119 986 24371452 987 24423912 988 24428277 989 24455992 990 24474288 991 24574512 992 24582584 993 24622299 994 24656544 995 24672222 996 24698231 997 24731382 998 24733497 999 24821566 1000 24846214