# Produced using Maple code by Robert Israel, Apr 4 2017 1 18 2 74 3 4386 4 4505 5 9314 6 10357 7 21095 8 29621 9 38784 10 102463 11 105200 12 116134 13 163300 14 179967 15 186918 16 210515 17 252830 18 348709 19 354022 20 362345 21 396820 22 400915 23 431568 24 438862 25 457748 26 464118 27 470852 28 477341 29 493070 30 506328 31 524584 32 538598 33 601696 34 644935 35 653111 36 671094 37 674328 38 747884 39 800468 40 811808 41 828342 42 914547 43 940153 44 949330 45 949967 46 1019596 47 1036473 48 1054050 49 1060329 50 1110477 51 1449830 52 1540403 53 1576922 54 1605314 55 1622618 56 1641007 57 1717734 58 2008640 59 2015878 60 2078731 61 2149606 62 2197255 63 2203835 64 2306805 65 2341840 66 2530896 67 2591180 68 2626915 69 2701794 70 2778521 71 2781643 72 2801145 73 2812870 74 2885397 75 2887882 76 2996354 77 3237749 78 3401857 79 3408906 80 3425573 81 3430774 82 3484541 83 3489427 84 3503637 85 3523867 86 3763141 87 3818812 88 3857851 89 3902357 90 3917820 91 3960625 92 4121023 93 4219807 94 4250397 95 4264551 96 4285103 97 4289919 98 4403305 99 4515102 100 4537824 101 4601055 102 4688044 103 4838488 104 4952581 105 4968254 106 5117613 107 5209495 108 5233379 109 5488907 110 5501206 111 5540609 112 5636012 113 5677130 114 5790418 115 5848203 116 6156210 117 6239594 118 6251837 119 6369668 120 6393447 121 6549001 122 6585653 123 6634282 124 6651859 125 6748102 126 6813174 127 6899470 128 7013948 129 7058706 130 7117744 131 7134950 132 7221309 133 7347491 134 7445666 135 7477740 136 7639937 137 7725155 138 8016082 139 8053833 140 8147213 141 8219880 142 8242966 143 8265758 144 8305434 145 8344627 146 8398100 147 8683056 148 8788371 149 8791514 150 8920293 151 9035618 152 9338711 153 9514138 154 9541970 155 9576158 156 9691119 157 9734799 158 9879692 159 10074488 160 10233801 161 10268241 162 10377231 163 10486550 164 10525379 165 10530426 166 10638534 167 10690334 168 10832399 169 10839826 170 11003283 171 11152565 172 11173026 173 11206332 174 11269913 175 11274624 176 11350644 177 11399483 178 11457156 179 11470323 180 11498141 181 11525574 182 11655662 183 11716611 184 11799785 185 11841848 186 11998347 187 12088346 188 12102997 189 12223194 190 12347003 191 12550885 192 12586074 193 12628844 194 12700069 195 12866585 196 13142434 197 13261245 198 13279858 199 13305037 200 13465512 201 13503851 202 13518096 203 13688133 204 13705059 205 13721453 206 14148880 207 14256302 208 14300878 209 14457265 210 14645012 211 14841922 212 14975475 213 15127746 214 15161584 215 15222498 216 15765117 217 15881135 218 15939305 219 15999806 220 16041526 221 16189310 222 16543622 223 16569767 224 16593672 225 16654544 226 16758564 227 17125840 228 17270677 229 17291635 230 17835276 231 17880230 232 17921691 233 17958287 234 18088585 235 18158795 236 18168805 237 18405524 238 18712040 239 19015301 240 19085049 241 19102311 242 19294867 243 19401323 244 19453375 245 19562001 246 19596714 247 19604099 248 19958439 249 20182390 250 20302741 251 20393797 252 20447718 253 20467101 254 20529086 255 20606604 256 20742180 257 20944137 258 21161214 259 21218348 260 21222219 261 21494414 262 21551527 263 21713997 264 21911677 265 22119535 266 22281550 267 22363282 268 22519319 269 22522637 270 22607855 271 22693416 272 22756248 273 22758754 274 22974970 275 22986331 276 23042037 277 23238079 278 23369056 279 23547234 280 23701983 281 23843761 282 23912711 283 23965533 284 24151222 285 24237637 286 24434834 287 24464094 288 24823026 289 24873503 290 25249011 291 25472430 292 25480165 293 25551236 294 25569058 295 25585907 296 25594146 297 25759402 298 25935697 299 26549597 300 26551193 301 27052694 302 27166157 303 27406453 304 27555952 305 28034465 306 28047387 307 28458735 308 28525592 309 28905664 310 29374405 311 29425029 312 29731048 313 29777185 314 29857342 315 30084765 316 30265099 317 30473944 318 30499774 319 30583375 320 30720554 321 31192389 322 31257090 323 31370763 324 32054117 325 32329238 326 32435904 327 32494368 328 32567126 329 32613172 330 32661339 331 32759227 332 32973014 333 32984935 334 33134483 335 33232658 336 33340521 337 33499540 338 33645994 339 33807428 340 33818803 341 33931629 342 33949374 343 33965369 344 33991108 345 34014978 346 34067779 347 34224705 348 34330874 349 34561874 350 34815148 351 35214834 352 35248350 353 35568761 354 35774799 355 35824289 356 36027723 357 36480812 358 36554172 359 36634693 360 36644031 361 36726127 362 37164418 363 37498556 364 37610633 365 37668208 366 37921342 367 38259008 368 38277894 369 38304725 370 38354047 371 38587007 372 38839532 373 39210399 374 39497973 375 39702177 376 39714175 377 39894873 378 39976318 379 39977305 380 40677655 381 40709491 382 40723820 383 40874908 384 41637033 385 41725821 386 41928100 387 42299849 388 42532200 389 42645544 390 42785649 391 42825241 392 42835307 393 42988446 394 43101517 395 43269048 396 43431735 397 43446421 398 43534719 399 43932179 400 44204528 401 44206600 402 44330633 403 44356449 404 44388635 405 44465572 406 44533836 407 44673843 408 44790974 409 45187279 410 45198885 411 45279658 412 45312859 413 45437760 414 45570795 415 45594700 416 45658673 417 45899235 418 46116053 419 46494522 420 46537859 421 46658322 422 46718963 423 47006670 424 47215550 425 47256073 426 47295959 427 47810900 428 48090403 429 48288314 430 48508842 431 48537157 432 48640414 433 48821637 434 48978752 435 49044342 436 49660244 437 49785117 438 50046133 439 50060511 440 50464397 441 51602702 442 51755435 443 52538063 444 52695297 445 52839364 446 53094115 447 53112350 448 53139755 449 53357609 450 53408065 451 53448819 452 53626227 453 53891429 454 54253987 455 54550878 456 54922613 457 55067681 458 55623355 459 55675001 460 55824073 461 55905945 462 56075079 463 56330271 464 56944325 465 56963498 466 57434283 467 57505158 468 57625068 469 57800033 470 57997286 471 58070723 472 58410370 473 58529762 474 58693058 475 58939241 476 59099310 477 59162485 478 59193285 479 59284222 480 59551951 481 59748917 482 59854218 483 59870808 484 60246246 485 60278278 486 60280084 487 60317681 488 60568253 489 60758289 490 61441608 491 61687371 492 62079476 493 62095380 494 62103500 495 62129645 496 62184910 497 62322320 498 62572647 499 62648660 500 62875404 501 63340659 502 63402490 503 63425149 504 63464860 505 63528966 506 63619651 507 63964884 508 64025098 509 64149523 510 64626272 511 65109426 512 65419722 513 65456773 514 65680612 515 65695767 516 65709662 517 65717670 518 66207642 519 66355944 520 66402410 521 67009884 522 67721035 523 67761677 524 67879235 525 67882721 526 67906416 527 68032234 528 68039549 529 68164310 530 68298136 531 68304541 532 68708294 533 68777363 534 68809199 535 69227890 536 69366756 537 69441810 538 69657319 539 69748466 540 69804025 541 69877308 542 69938236 543 70231795 544 70243079 545 70280634 546 70510108 547 70512670 548 70649947 549 70886876 550 71060567 551 71097737 552 71488778 553 71520600 554 71931647 555 73268423 556 73335896 557 73758955 558 73946233 559 74029337 560 74278642 561 74832335 562 74869162 563 75173732 564 75177526 565 75178121 566 75356187 567 75436876 568 75525356 569 75541134 570 75969604 571 76092685 572 76099734 573 76998786 574 77249841 575 77500791 576 77760351 577 78111856 578 78423692 579 78652438 580 78892601 581 78903262 582 79104295 583 79440820 584 79763352 585 79845672 586 79859511 587 79891676 588 80079864 589 80101249 590 80612627 591 80639381 592 80814367 593 80946730 594 81264971 595 81484841 596 82381590 597 82439704 598 82464841 599 82861160 600 82867782 601 82952160 602 83009154 603 83179961 604 83189320 605 83280061 606 83339694 607 83384123 608 83384592 609 83555294 610 83934834 611 84499930 612 84583230 613 84615990 614 85332629 615 85845547 616 86003915 617 86172069 618 86224716 619 86677378 620 86683342 621 86883024 622 87070806 623 87251665 624 87373304 625 87407065 626 87538798 627 87548885 628 87582919 629 87710137 630 87791778 631 88099106 632 88265601 633 88334670 634 88362138 635 88559986 636 88692741 637 88725214 638 89075501 639 89223348 640 89453305 641 89563380 642 89787352 643 90487688 644 90577155 645 90735159 646 90865065 647 90951571 648 90980964 649 91007340 650 91054177 651 91187751 652 91189459 653 91580871 654 91725729 655 91753813 656 91842538 657 91945214 658 92546472 659 92575543 660 92893105 661 92990972 662 93008549 663 93280688 664 93406464 665 93454421 666 93621896 667 93711041 668 93958134 669 94113884 670 94128780 671 94231806 672 94241781 673 94250657 674 94751171 675 94958651 676 95204169 677 95417109 678 95467873 679 95640969 680 96174747 681 96338834 682 96500226 683 96684221 684 96844766 685 97060478 686 97150995 687 97502773 688 98087063 689 98135174 690 98470236 691 98567739 692 98577476 693 99308269 694 99362246 695 99632957 696 99811422 697 99921203 698 99943631 699 100021828 700 100163578 701 100171803 702 100221258 703 101037682 704 101063540 705 101170416 706 101721988 707 101809376 708 102546805 709 102715841 710 103067192 711 103205526 712 103228031 713 103392153 714 103456098 715 103893696 716 104027865 717 104437680 718 104851107 719 104870980 720 104982623 721 105020206 722 105038007 723 105042844 724 105336963 725 105556812 726 106033659 727 106059412 728 106236127 729 106272072 730 106399794 731 106621421 732 106925109 733 106952710 734 107012252 735 107062393 736 107310025 737 107578839 738 107603864 739 107734064 740 107917401 741 107931688 742 108180300 743 108433385 744 108500907 745 108503910 746 108548031 747 109277529 748 109492289 749 109592116 750 109632037 751 109843101 752 109848120 753 110286887 754 110347311 755 110628186 756 110651405 757 110794429 758 111658047 759 111785384 760 111979865 761 112013052 762 112779741 763 112817919 764 112879785 765 113039000 766 113070108 767 113252773 768 113508455 769 113584104 770 113600701 771 114002830 772 114010201 773 114725608 774 115681080 775 115898493 776 116311465 777 116472717 778 116999320 779 117028272 780 117120637 781 117192499 782 117230418 783 117385482 784 117451079 785 117479184 786 117581825 787 117624854 788 117744127 789 117804068 790 117822919 791 117842183 792 118017169 793 118276827 794 118421762 795 118955141 796 119107412 797 119123155 798 119374602 799 119723027 800 119901527 801 119921470 802 119986444 803 120210472 804 120216555 805 120386340 806 120550217 807 120945843 808 120976587 809 121409943 810 121492368 811 122033349 812 122404419 813 122438817 814 122947689 815 123055916 816 123110369 817 123229971 818 123360906 819 123576814 820 123638456 821 123781081 822 123802949 823 124177050 824 124254344 825 124495641 826 124747333 827 125035201 828 125088114 829 125121497 830 125481794 831 125587963 832 125865030 833 126271723 834 126580815 835 126711645 836 126789296 837 127251107 838 127329353 839 127724503 840 128581436 841 128585048 842 128594680 843 129316261 844 129439055 845 129859636 846 129874105 847 130022953 848 130190967 849 130315609 850 131334571 851 131445255 852 131641878 853 131649515 854 131738989 855 131783747 856 131888502 857 131945041 858 132040122 859 132124220 860 132726262 861 132831850 862 133259858 863 133535056 864 133603530 865 133725456 866 134985274 867 135132148 868 135201889 869 135217674 870 135467546 871 135649532 872 135691861 873 135760762 874 136108186 875 136142465 876 136401493 877 136616918 878 137814772 879 137848344 880 138119440 881 138421497 882 138621074 883 138728608 884 138903055 885 139305954 886 139358489 887 139450098 888 139476551 889 139575783 890 139638405 891 139706431 892 140463691 893 140730167 894 141012372 895 141897739 896 142215665 897 142718846 898 143956677 899 144071925 900 144238385 901 144258615 902 144797790 903 145461894 904 145539335 905 146006375 906 146082297 907 146180416 908 146419060 909 146669114 910 147933531 911 148029032 912 148185461 913 148320883 914 148814740 915 148947950 916 149182247 917 149368580 918 149503337 919 149642707 920 149865062 921 149919480 922 150456611 923 150959540 924 151168595 925 151195314 926 151958244 927 152063048 928 152136044 929 152353625 930 152536752 931 153042621 932 153426256 933 153575132 934 153585702 935 153657865 936 153680818 937 153707222 938 153957150 939 154048528 940 154108091 941 154166646 942 154172750 943 154235155 944 154354778 945 154522673 946 154847515 947 155177005 948 155556629 949 155716929 950 156022941 951 156185663 952 156311614 953 156361433 954 156420534 955 156550468 956 156600350 957 156933277 958 157133995 959 157323303 960 157364512 961 157379968 962 157500634 963 157697250 964 158080983 965 158832265 966 159300488 967 159385048 968 159437660 969 159480591 970 159717632 971 159774283 972 160219287 973 160620247 974 161157980 975 161238368 976 161630564 977 161742235 978 161841180 979 161908107 980 162236498 981 162292645 982 162523435 983 162856908 984 163105807 985 163670581 986 163684658 987 163691042 988 163747525 989 163804659 990 163857558 991 164060607 992 164207138 993 164275766 994 164394248 995 164602421 996 164751661 997 165328468 998 165893823 999 166256759 1000 166647212