# Computed using Maple code by Robert Israel, Sep 17 2017 0 1 1 2 2 2 3 3 4 4 5 4 6 6 7 8 8 8 9 11 10 14 11 16 12 20 13 24 14 28 15 34 16 42 17 48 18 57 19 68 20 78 21 94 22 110 23 126 24 148 25 172 26 198 27 230 28 266 29 304 30 351 31 404 32 460 33 526 34 602 35 684 36 780 37 888 38 1004 39 1140 40 1290 41 1456 42 1646 43 1856 44 2088 45 2351 46 2644 47 2964 48 3326 49 3728 50 4168 51 4664 52 5212 53 5812 54 6484 55 7226 56 8042 57 8948 58 9946 59 11042 60 12256 61 13594 62 15058 63 16677 64 18456 65 20404 66 22552 67 24906 68 27480 69 30312 70 33414 71 36802 72 40520 73 44584 74 49020 75 53878 76 59184 77 64966 78 71286 79 78180 80 85684 81 93876 82 102796 83 112496 84 123069 85 134566 86 147060 87 160654 88 175420 89 191448 90 208864 91 227766 92 248256 93 270494 94 294600 95 320708 96 349010 97 379656 98 412816 99 448720 100 487560 101 529548 102 574960 103 624034 104 677040 105 734310 106 796144 107 862868 108 934889 109 1012580 110 1096342 111 1186674 112 1284028 113 1388902 114 1501900 115 1623580 116 1754558 117 1895554 118 2047260 119 2210432 120 2385940 121 2574634 122 2777428 123 2995380 124 3229528 125 3480990 126 3751044 127 4040946 128 4352060 129 4685928 130 5044080 131 5428174 132 5840058 133 6281598 134 6754796 135 7261881 136 7805114 137 8386908 138 9009948 139 9676964 140 10390876 141 11154904 142 11972338 143 12846696 144 13781844 145 14781742 146 15850630 147 16993128 148 18213998 149 19518336 150 20911668 151 22399720 152 23988584 153 25684876 154 27495456 155 29427618 156 31489266 157 33688592 158 36034328 159 38535894 160 41203084 161 44046324 162 47076820 163 50306266 164 53747088 165 57412623 166 61316802 167 65474412 168 69901306 169 74614060 170 79630256 171 84968716 172 90649124 173 96692364 174 103120756 175 109957660 176 117227848 177 124957744 178 133175042 179 141909088 180 151191144 181 161054002 182 171532374 183 182663206 184 194485280 185 207039618 186 220369848 187 234521756 188 249543782 189 265487380 190 282406566 191 300358472 192 319403700 193 339605920 194 361032428 195 383754560 196 407847278 197 433389750 198 460465867 199 489163784 200 519576572 201 551802780 202 585945958 203 622115418 204 660426808 205 701001668 206 743968244 207 789462116 208 837625798 209 888609604 210 942572356 211 999680992 212 1060111512 213 1124049794 214 1191691208 215 1263241652 216 1338918476 217 1418950092 218 1503577162 219 1593053608 220 1687646246 221 1787636132 222 1893319622 223 2005008142 224 2123029612 225 2247729652 226 2379471430 227 2518637190 228 2665629688 229 2820872048 230 2984809508 231 3157910994 232 3340669062 233 3533601888 234 3737254997 235 3952201328 236 4179043444 237 4418415454 238 4670983264 239 4937447000 240 5218543186 241 5515045160 242 5827765744 243 6157559762 244 6505324608 245 6872003244 246 7258587026 247 7666116482 248 8095684718 249 8548440568 250 9025589640 251 9528398140 252 10058196382 253 10616380210 254 11204415252 255 11823840878 256 12476272008 257 13163403832 258 13887016368 259 14648976642 260 15451243990 261 16295875238 262 17185027310 263 18120963280 264 19106058152 265 20142802066 266 21233807096 267 22381813736 268 23589694858 269 24860463280 270 26197279144 271 27603454616 272 29082462386 273 30637944085 274 32273715788 275 33993777638 276 35802323344 277 37703746656 278 39702652270 279 41803866544 280 44012445110 281 46333685172 282 48773137596 283 51336615898 284 54030210076 285 56860300274 286 59833567316 287 62957008214 288 66237951756 289 69684070684 290 73303399204 291 77104350644 292 81095731506 293 85286761354 294 89687092700 295 94306827298 296 99156538596 297 104247294172 298 109590674672 299 115198799052 300 121084350010 301 127260595792 302 133741418624 303 140541343612 304 147675563716 305 155159971892 306 163011193756 307 171246616232 308 179884423914 309 188943635932 310 198444138832 311 208406727608 312 218853147330 313 229806130888 314 241289445232 315 253327938439 316 265947582868 317 279175527286 318 293040150162 319 307571108872 320 322799398528 321 338757412194 322 355478996950 323 372999520352 324 391355938396 325 410586859392 326 430732618940 327 451835356598 328 473939088716 329 497089792896 330 521335494540 331 546726349718 332 573314740268 333 601155371652 334 630305366956 335 660824374148 336 692774676464 337 726221299018 338 761232129858 339 797878044304 340 836233025952 341 876374303000 342 918382488420 343 962341717194 344 1008339799768 345 1056468380096 346 1106823091020 347 1159503727024 348 1214614422426 349 1272263827140 350 1332565301154 351 1395637115256 352 1461602649728 353 1530590613356 354 1602735269364 355 1678176659962 356 1757060852800 357 1839540195178 358 1925773567820 359 2015926661976 360 2110172265505 361 2208690549336 362 2311669378940 363 2419304636352 364 2531800543164 365 2649370010704 366 2772235002180 367 2900626896718 368 3034786883076 369 3174966366612 370 3321427379540 371 3474443023244 372 3634297925506 373 3801288702752 374 3975724456660 375 4157927287876 376 4348232816306 377 4546990738614 378 4754565405308 379 4971336405960 380 5197699195022 381 5434065739650 382 5680865177736 383 5938544520270 384 6207569378258 385 6488424702374 386 6781615570798 387 7087668004664 388 7407129799212 389 7740571407116 390 8088586853040 391 8451794667028 392 8830838874594 393 9226390022268 394 9639146225188 395 10069834276654 396 10519210797572 397 10988063411706 398 11477211988952 399 11987509933004 400 12519845499470 401 13075143188318 402 13654365185940 403 14258512843120 404 14888628233796 405 15545795769800 406 16231143857058 407 16945846640100 408 17691125809723 409 18468252457998 410 19278549030308 411 20123391347958 412 21004210685242 413 21922495953072 414 22879795961288 415 23877721743614 416 24917948999374 417 26002220623164 418 27132349306438 419 28310220266876 420 29537794076236 421 30817109570204 422 32150286898372 423 33539530684660 424 34987133280592 425 36495478172658 426 38067043513096 427 39704405755832 428 41410243462196 429 43187341244012 430 45038593826010 431 46967010294916 432 48975718501642 433 51067969598908 434 53247142783656 435 55516750210556 436 57880442058366 437 60342011821460 438 62905401792584 439 65574708717416 440 68354189697292 441 71248268304982 442 74261540893728 443 77398783180048 444 80664957063324 445 84065217663048 446 87604920657518 447 91289629886098 448 95125125196386 449 99117410622968 450 103272722859958 451 107597540008116 452 112098590687352 453 116782863476504 454 121657616660432 455 126730388380112 456 132009007146694 457 137501602699606 458 143216617309330 459 149162817484475 460 155349306063920 461 161785534799380 462 168481317387072 463 175446842930390 464 182692689942924 465 190229840850720 466 198069696976000 467 206224094116584 468 214705318680524 469 223526124357380 470 232699749447048 471 242239934805012 472 252160942385908 473 262477574513148 474 273205193832068 475 284359743930432 476 295957770759824 477 308016444815378 478 320553584059486 479 333587677728464 480 347137910980888 481 361224190374006 482 375867170314292 483 391088280441874 484 406909753935688 485 423354656893906 486 440446918749524 487 458211363709700 488 476673743382068 489 495860770547728 490 515800154072384 491 536520635127128 492 558052024679536 493 580425242249658 494 603672356110416 495 627826624895356 496 652922540610914 497 678995873242004 498 706083716916694 499 734224537628996 500 763458222719850 501 793826132084028 502 825371151105238 503 858137745531628 504 892172018260556 505 927521768040184 506 964236550311530 507 1002367740162644 508 1041968597408178 509 1083094334029178 510 1125802183949564 511 1170151475167412 512 1216203704489150 513 1264022614848517 514 1313674275232680 515 1365227163479504 516 1418752251932136 517 1474323095979956 518 1532015925766296 519 1591909741053316 520 1654086409281952 521 1718630767123282 522 1785630725518344 523 1855177378253420 524 1927365114383856 525 2002291734511840 526 2080058570974270 527 2160770612272862 528 2244536631761182 529 2331469320654032 530 2421685425712964 531 2515305891632064 532 2612456008200614 533 2713265562619998 534 2817868997008190 535 2926405571182622 536 3039019531122644 537 3155860283156464 538 3277082573979444 539 3402846676928836 540 3533318584575096 541 3668670207752300 542 3809079581480254 543 3954731077855188 544 4105815626047532 545 4262530939891176 546 4425081753157440 547 4593680062672180 548 4768545379794056 549 4949904990364536 550 5137994223311732 551 5333056728460516 552 5535344763680828 553 5745119491581752 554 5962651286340128 555 6188220050820874 556 6422115544223056 557 6664637720881344 558 6916097080407760 559 7176815029435886 560 7447124255642968 561 7727369114263878 562 8017906027391858 563 8319103896790732 564 8631344530463564 565 8955023083310494 566 9290548512652156 567 9638344048899468 568 9998847681744206 569 10372512662701264 570 10759808024324975 571 11161219116517956 572 11577248160823946 573 12008414823073152 574 12455256804845180 575 12918330454709052 576 13398211399657540 577 13895495197254120 578 14410798009525696 579 14944757299070292 580 15498032547959220 581 16071306000544032 582 16665283430697238 583 17280694934133092 584 17918295747000886 585 18578867091348124 586 19263217048170502 587 19972181459333044 588 20706624859034014 589 21467441435605208 590 22255556025034620 591 23071925136962642 592 23917538014031912 593 24793417726086396 594 25700622300057520 595 26640245886514000 596 27613419964488208 597 28621314585514058 598 29665139657958768 599 30746146273387188 600 31865628076002486 601 33024922676359686 602 34225413111229036 603 35468529350772820 604 36755749854355180 605 38088603177014812 606 39468669627893308 607 40897582982075622 608 42377032248038956 609 43908763492142152 610 45494581721765348 611 47136352829473998 612 48836005599794972 613 50595533780381976 614 52416998220135632 615 54302529076039832 616 56254328090671674 617 58274670943161376 618 60365909675553594 619 62530475196723028 620 64770879866852852 621 67089720164632532 622 69489679439544972 623 71973530752503064 624 74544139807215560 625 77204467974892206 626 79957575415819126 627 82806624300431636 628 85754882132756458 629 88805725180047304 630 91962642011514339 631 95229237149303334 632 98609234835869876 633 102106482920947796 634 105724956871576204 635 109468763909682720 636 113342147280746314 637 117349490657343882 638 121495322682461092 639 125784321656443672 640 130221320371767276 641 134811311100920464 642 139559450741664982 643 144471066124260560 644 149551659486396208 645 154806914120520138 646 160242700198599002 647 165865080780538060 648 171680318011422160 649 177694879513089608 650 183915444976807458 651 190348912962714888 652 197002407912076410 653 203883287379696454 654 210999149492713700 655 218357840642398500 656 225967463416935386 657 233836384782015620 658 241973244516496448 659 250386963911793450 660 259086754742496144 661 268082128516151432 662 277382906011629060 663 286999227114284580 664 296941560956613216 665 307220716374625026 666 317847852688945584 667 328834490820155356 668 340192524749485616 669 351934233334733504 670 364072292491806604 671 376619787753977274 672 389590227219648380 673 402997554900019346 674 416856164479776444 675 431180913502637274 676 445987137994201256 677 461290667536368482 678 477107840806278280 679 493455521593374536 680 510351115310102716 681 527812586010408188 682 545858473930905776 683 564507913571576172 684 583780652331483870 685 603697069715767010 686 624278197132218890 687 645545738294404220 688 667522090249063476 689 690230365047714436 690 713694412080976388 691 737938841095002868 692 762989045911664520 693 788871228872730231 694 815612426029207860 695 843240533099373634 696 871784332217610442 697 901273519497153740 698 931738733432324916 699 963211584164408816 700 995724683636386856 701 1029311676664330928 702 1064007272951836028 703 1099847280075001894 704 1136868637468184976 705 1175109451439320500 706 1214609031244823118 707 1255407926256916628 708 1297547964254828538 709 1341072290872572866 710 1386025410239033296 711 1432453226844646820 712 1480403088670368486 713 1529923831617739204 714 1581065825277469024 715 1633881020075438836 716 1688422995838316040 717 1744747011819586882 718 1802910058228412576 719 1862970909307165824 720 1924990178002143962 721 1989030372273670140 722 2055155953095421836 723 2123433394191498248 724 2193931243561571056 725 2266720186848288976 726 2341873112599807820 727 2419465179482289470 728 2499573885501242050 729 2582279139289310884 730 2667663333520257908 731 2755811420513103072 732 2846810990089192168 733 2940752349747246358 734 3037728607225903564 735 3137835755522122524 736 3241172760436278626 737 3347841650719477206 738 3457947610897546946 739 3571599076848811516 740 3688907834217700900 741 3809989119745278776 742 3934961725600598356 743 4063948106802042688 744 4197074491816905984 745 4334470996430535392 746 4476271740981883792 747 4622614971061534028 748 4773643181771557426 749 4929503245652403360 750 5090346544381361324 751 5256329104350685978 752 5427611736239644228 753 5604360178694234070 754 5786745246232136380 755 5974942981496998222 756 6169134811985787760 757 6369507711377068596 758 6576254365594966060 759 6789573343743405873 760 7009669274049644180 761 7236753024963433568 762 7471041891558177820 763 7712759787385215536 764 7962137441940125652 765 8219412603900188848 766 8484830250297290628 767 8758642801798774908 768 9041110344269248440 769 9332500856791880728 770 9633090446336478618 771 9943163589262373952 772 10263013379850142004 773 10592941786065444528 774 10933259912759344212 775 11284288272515896346 776 11646357064367668864 777 12019806460601230518 778 12404986901881619420 779 12802259400935254228 780 13211995855032521742 781 13634579367518788412 782 14070404578653693736 783 14519878006020771608 784 14983418394777537924 785 15461457078028015500 786 15954438347602298538 787 16462819835536490430 788 16987072906558948876 789 17527683061891886152 790 18085150354686808520 791 18659989817425685476 792 19252731901623400636 793 19863922930177223418 794 20494125562723310188 795 21143919274364517268 796 21813900848144791448 797 22504684881660615584 798 23216904308204921344 799 23951210932850722732 800 24708275983897958424 801 25488790680112675200 802 26293466814200467798 803 27123037352973414206 804 27978257054676164108 805 28859903103950648534 806 29768775764937359620 807 30705699053018428122 808 31671521425722638980 809 32667116493332244476 810 33693383749739665932 811 34751249324118263216 812 35841666753992414926 813 36965617780301416772 814 38124113165069057560 815 39318193532313255346 816 40548930232840511284 817 41817426233588670764 818 43124817032205565646 819 44472271597562691048 820 45860993336923307818 821 47292221090510106698 822 48767230154230479158 823 50287333331339294440 824 51853882013846607032 825 53468267294492091536 826 55131921110131582668 827 56846317417410555290 828 58612973401615334819 829 60433450719618267680 830 62309356777864632920 831 64242346046366733346 832 66234121409698070342 833 68286435556014297646 834 70401092405147155002 835 72579948576847249140 836 74824914900287732172 837 77137957965962460472 838 79521101721144247046 839 81976429110107573764 840 84506083760343877062 841 87112271716032085900 842 89797263220068625800 843 92563394545987244888 844 95413069881136314220 845 98348763262525796972 846 101373020566784806088 847 104488461555710928676 848 107697781978940266446 849 111003755735298661224 850 114409237094438047214 851 117917162980413097364 852 121530555318887899832 853 125252523449709332736 854 129086266606638739640 855 133035076466071402936 856 137102339766623953404 857 141291541001528801210 858 145606265185816161136 859 150050200700318880854 860 154627142214598565782 861 159340993690936850322 862 164195771471594633974 863 169195607451610039908 864 174344752339455396260 865 179647579007937199112 866 185108585937795942848 867 190732400756516801646 868 196523783874930848638 869 202487632224264790592 870 208628983096356241474 871 214953018089825679548 872 221465067165080319056 873 228170612811089514144 874 235075294326951272536 875 242184912221359796396 876 249505432733154112542 877 257042992476214129782 878 264803903212067519806 879 272794656753647185124 880 281021930003732180184 881 289492590131709220982 882 298213699892375033696 883 307192523090600245160 884 316436530195787539764 885 325953404110147238074 886 335751046094921804036 887 345837581858811174772 888 356221367812949134028 889 366910997496897806356 890 377915308180256762846 891 389243387644590062468 892 400904581150500599286 893 412908498594820241344 894 425265021863000261804 895 437984312381922536376 896 451076818878501509660 897 464553285349572892152 898 478424759248711704940 899 492702599895783017756 900 507398487115165446001 901 522524430108745609414 902 538092776569954564792 903 554116222045265545516 904 570607819549742844304 905 587580989443417505720 906 605049529575426311942 907 623027625703034397784 908 641529862192861655380 909 660571233011807389764 910 680167153015365936102 911 700333469541240809528 912 721086474316353832742 913 742442915685559429594 914 764420011170605304472 915 787035460368085345502 916 810307458195360995014 917 834254708493675784502 918 858896437997909321696 919 884252410682665355428 920 910342942494655768232 921 937188916481582212572 922 964811798327984781392 923 993233652308814509440 924 1022477157671746063300 925 1052565625459535501306 926 1083523015784037069070 927 1115373955563773823588 928 1148143756737267830660 929 1181858434964668077892 930 1216544728830518023564 931 1252230119560839765392 932 1288942851268069320814 933 1326711951737706006116 934 1365567253770899913896 935 1405539417097586030020 936 1446659950875128633128 937 1488961236787828592530 938 1532476552763059779912 939 1577240097320184574688 940 1623287014568817532104 941 1670653419873451104400 942 1719376426201871980044 943 1769494171175248086414 944 1821045844838244693728 945 1874071718167976052904 946 1928613172341085305030 947 1984712728778759924548 948 2042414079989973822980 949 2101762121233771006692 950 2162802983021959085626 951 2225584064484103392986 952 2290154067617276574084 953 2356563032443613696336 954 2424862373099286945224 955 2495104914879121484836 956 2567344932261714155136 957 2641638187940525454372 958 2718041972887069454838 959 2796615147473014652392 960 2877418183678665746040 961 2960513208416000720272 962 3045964047995177870216 963 3133836273764136287864 964 3224197248951671655548 965 3317116176745165301754 966 3412664149634909147516 967 3510914200057785557584 968 3611941352373917220796 969 3715822676210726888400 970 3822637341209725644524 971 3932466673212268946032 972 4045394211921409002690 973 4161505770077918044884 974 4280889494189546855176 975 4403635926853541830203 976 4529838070713461952368 977 4659591454092401355208 978 4792994198345756854982 979 4930147086977775474704 980 5071153636567261350012 981 5216120169548935511610 982 5365155888898121075716 983 5518372954767656743626 984 5675886563127142089256 985 5837815026455886802820 986 6004279856542258802648 987 6175405849443419723558 988 6351321172660801314638 989 6532157454588098253108 990 6718049876289946526674 991 6909137265670925044588 992 7105562194096046752562 993 7307471075525406713846 994 7515014268227234308420 995 7728346179135239911722 996 7947625370917763159642 997 8173014671827929097388 998 8404681288405784786654 999 8642796921105129885856 1000 8887537882919582333640