0 0 1 1 2 22 3 223 4 1344 5 5727 6 19193 7 54046 8 133476 9 297633 10 611644 11 1175845 12 2138500 13 3711279 14 6187767 15 9965276 16 15570232 17 23687409 18 35193282 19 51193771 20 73066648 21 102508879 22 141589173 23 192806010 24 259151420 25 344180785 26 452088936 27 587792817 28 757020988 29 966410239 30 1223609587 31 1537391928 32 1917773616 33 2376142241 34 2925392878 35 3580073079 36 4356536880 37 5273108095 38 6350253169 39 7610763862 40 9079950036 41 10785842817 42 12759408404 43 15034772797 44 17649457716 45 20644627983 46 24065350639 47 27960866068 48 32384871400 49 37395816465 50 43057212570 51 49437954371 52 56612655112 53 64661995503 54 73673086509 55 83739846322 56 94963391788 57 107452444561 58 121323752256 59 136702524873 60 153722886764 61 172528344415 62 193272270315 63 216118403184 64 241241364832 65 268827193921 66 299073896902 67 332192016399 68 368405217312 69 407950890911 70 451080777193 71 498061605774 72 549175755588 73 604721933665 74 665015873260 75 730391051605 76 801199427556 77 877812199407 78 960620583143 79 1050036611404 80 1146493953432 81 1250448756273 82 1362380507506 83 1482792919771 84 1612214837368 85 1751201165199 86 1900333820325 87 2060222706410 88 2231506711324 89 2414854728177 90 2610966700056 91 2820574688737 92 3044443967644 93 3283374139327 94 3538200277731 95 3809794095528 96 4099065136784 97 4406961995233 98 4734473558430 99 5082630278055 100 5452505466640 101 5845216620991 102 6261926772577 103 6703845865158 104 7172232159924 105 7668393668417 106 8193689613508 107 8749531918701 108 9337386726036 109 9958775942863 110 10615278817759 111 11308533545860 112 12040238903880 113 12812155915089 114 13626109544522 115 14483990424691 116 15387756612072 117 16339435374639 118 17341125010717 119 18394996699426 120 19503296382988 121 20668346681169 122 21892548838128 123 23178384701945 124 24528418737100 125 25945300070175 126 27431764569051 127 28990636955872 128 30624832954048 129 32337361469569 130 34131326806902 131 36009930919743 132 37976475696896 133 40034365283551 134 42187108438233 135 44438320925694 136 46791727946020 137 49251166600225 138 51820588392604 139 54504061770117 140 57305774699076 141 60230037279407 142 63281284396759 143 66464078412732 144 69783111893496 145 73243210377073 146 76849335179554 147 80606586240523 148 84520205007960 149 88595577362895 150 92838236584085 151 97253866352986 152 101848303799292 153 106627542587313 154 111597736043464 155 116765200325137 156 122136417631228 157 127718039454591 158 133516889876691 159 139539968904728 160 145794455851504 161 152287712758305 162 159027287861070 163 166020919100119 164 173276537673712 165 180802271635711 166 188606449537617 167 196697604115254 168 205084476020372 169 213776017597441 170 222781396705908 171 232110000588189 172 241771439783668 173 251775552088975 174 262132406564815 175 272852307589620 176 283945798960296 177 295423668040337 178 307296949955578 179 319576931837859 180 332275157116872 181 345403429860463 182 358973819163661 183 372998663586706 184 387490575642348 185 402462446332689 186 417927449735840 187 433899047642665 188 450390994243884 189 467417340867807 190 484992440768971 191 503130953967952 192 521847852142624 193 541158423571137 194 561078278126886 195 581623352325743 196 602809914425824 197 624654569580063 198 647174265041865 199 670386295424110 200 694308308011780 201 718958308128481 202 744354664557132 203 770516115015093 204 797461771684004 205 825211126794607 206 853784058266823 207 883200835405356 208 913482124651096 209 944648995388593 210 976722925809874 211 1009725808834875 212 1043679958088760 213 1078608113936399 214 1114533449574277 215 1151479577180106 216 1189470554120412 217 1228530889216369 218 1268685549068152 219 1309959964438081 220 1352380036692828 221 1395972144304959 222 1440763149414083 223 1486780404447880 224 1534051758803280 225 1582605565588065 226 1632470688423166 227 1683676508305927 228 1736252930534608 229 1790230391694399 230 1845639866705217 231 1902512875931558 232 1960881492354676 233 2020778348807361 234 2082236645271588 235 2145290156239309 236 2209973238136660 237 2276320836811855 238 2344368495087039 239 2414152360374372 240 2485709192356616 241 2559076370732497 242 2634291903027114 243 2711394432467667 244 2790423245924776 245 2871418281919663 246 2954420138697469 247 3039470082366978 248 3126610055107020 249 3215882683439825 250 3307331286571600 251 3400999884800601 252 3496933207992972 253 3595176704126623 254 3695776547903419 255 3798779649429952 256 3904233662967168 257 4012186995749121 258 4122688816871126 259 4235789066247583 260 4351538463639744 261 4469988517753695 262 4591191535408825 263 4715200630777054 264 4842069734693092 265 4971853604036001 266 5104607831182332 267 5240388853531109 268 5379253963100932 269 5521261316199471 270 5666469943165623 271 5814939758184604 272 5966731569176248 273 6121907087756785 274 6280528939274370 275 6442660672918635 276 6608366771904536 277 6777712663730767 278 6950764730513013 279 7127590319392314 280 7308257753018812 281 7492836340111153 282 7681396386091816 283 7874009203798641 284 8070747124272828 285 8271683507623679 286 8476892753970355 287 8686450314460920 288 8900432702368944 289 9118917504267937 290 9341983391283886 291 9569710130426167 292 9802178595997104 293 10039470781080447 294 10281669809109041 295 10528859945511958 296 10781126609441364 297 11038556385579393 298 11301237036025300 299 11569257512263165 300 11842707967210420 301 12121679767347471 302 12406265504928687 303 12696559010275028 304 12992655364148584 305 13294650910209297 306 13602643267554138 307 13916731343339011 308 14237015345483656 309 14563596795459823 310 14896578541162989 311 15236064769867890 312 15582161021268140 313 15934974200600209 314 16294612591852032 315 16661185871056521 316 17034805119670252 317 17415582838037599 318 17803632958940587 319 18199070861234736 320 18602013383571168 321 19012578838205249 322 19430887024892038 323 19857059244868815 324 20291218314924960 325 20733488581559455 326 21183995935226281 327 21642867824667982 328 22110233271337668 329 22586222883909729 330 23070968872879532 331 23564605065252373 332 24067266919321956 333 24579091539538671 334 25100217691467943 335 25630785816838924 336 26170938048683800 337 26720818226567985 338 27280571911911474 339 27850346403401627 340 28430290752497656 341 29020555779027087 342 29621294086874469 343 30232660079762602 344 30854809977126556 345 31487901830080753 346 32132095537479384 347 32787552862070433 348 33454437446743580 349 34132914830872255 350 34823152466750115 351 35525319736122216 352 36239587966811152 353 36966130449438433 354 37705122454241374 355 38456741247985767 356 39221166110974608 357 39998578354153151 358 40789161336310561 359 41593100481378438 360 42410583295826484 361 43241799386155585 362 44086940476488580 363 44946200426258989 364 45819775247997972 365 46707863125219791 366 47610664430406047 367 48528381743088964 368 49461219868033992 369 50409385853522001 370 51373089009731338 371 52352540927220019 372 53347955495508328 373 54359548921762095 374 55387539749576925 375 56432148877863650 376 57493599579835276 377 58572117522095697 378 59667930783830448 379 60781269876099769 380 61912367761234252 381 63061459872333343 382 64228784132866971 383 65414580976380576 384 66619093366303808 385 67842566815863169 386 69085249408098870 387 70347391815986175 388 71629247322661504 389 72931071841753567 390 74253123937819801 391 75595664846888382 392 76958958497106084 393 78343271529492257 394 79748873318799196 395 81176035994479173 396 82625034461758404 397 84096146422818223 398 85589652398083735 399 87105835747620220 400 88644982692637560 401 90207382337102961 402 91793326689462242 403 93403110684469963 404 95037032205128664 405 96695392104737487 406 98378494229050453 407 100086645438544666 408 101820155630798716 409 103579337762981553 410 105364507874452104 411 107175985109469905 412 109014091740017020 413 110879153188731519 414 112771498051952787 415 114691458122878936 416 116639368414836592 417 118615567184663329 418 120620395956203022 419 122654199543914391 420 124717326076593008 421 126810127021207039 422 128932957206846993 423 131086174848789750 424 133270141572677140 425 135485222438809345 426 137731785966553396 427 140010204158867037 428 142320852526938228 429 144664110114940559 430 147040359524904847 431 149449986941707188 432 151893382158173736 433 154370938600302481 434 156883053352602298 435 159430127183549539 436 162012564571162440 437 164630773728693615 438 167285166630440909 439 169976159037676882 440 172704170524697196 441 175469624504988177 442 178272948257513824 443 181114572953122537 444 183994933681073836 445 186914469475685343 446 189873623343100299 447 192872842288175888 448 195912577341492640 449 198993283586485185 450 202115420186694630 451 205279450413142831 452 208485841671828832 453 211735065531347743 454 215027597750632329 455 218363918306817582 456 221744511423228548 457 225169865597491681 458 228640473629769996 459 232156832651122293 460 235719444151986724 461 239328814010788975 462 242985452522675335 463 246689874428370924 464 250442598943163352 465 254244149786012081 466 258095055208783762 467 261995848025613819 468 265947065642394552 469 269949250086390031 470 274002948035978053 471 278108710850519434 472 282267094600354908 473 286478660096929905 474 290743972923047480 475 295063603463249665 476 299438126934327516 477 303868123415960127 478 308354177881482883 479 312896880228785224 480 317496825311338192 481 322154612969352033 482 326870848061064126 483 331646140494157511 484 336481105257310288 485 341376362451876159 486 346332537323696385 487 351350260295043430 488 356430166996696564 489 361572898300149697 490 366779100349951716 491 372049424596179597 492 377384527827044564 493 382785072201631567 494 388251725282772351 495 393785160070052388 496 399386055032951944 497 405055094144121553 498 410792966912792170 499 416600368418320275 500 422477999343868200 501 428426566010219951 502 434446780409732797 503 440539360240424898 504 446705028940199244 505 452944515721204177 506 459258555604330768 507 465647889453847321 508 472113264012171276 509 478655431934778783 510 485275151825252219 511 491973188270465920 512 498750311875910400 513 505607299301155329 514 512544933295451542 515 519564002733472351 516 526665302651194432 517 533849634281918559 518 541117805092430457 519 548470628819302046 520 555908925505333348 521 563433521536135329 522 571045249676853948 523 578744949109035685 524 586533465467634820 525 594411650878162735 526 602380363993979511 527 610440470033728092 528 618592840818911288 529 626838354811611889 530 635177897152356162 531 643612359698121003 532 652142641060485016 533 660769646643923791 534 669494288684249653 535 678317486287196154 536 687240165467147580 537 696263259186013745 538 705387707392250344 539 714614457060025137 540 723944462228530236 541 733378684041440767 542 742918090786520179 543 752563657935372472 544 762316368183341616 545 772177211489558433 546 782147185117135214 547 792227293673508343 548 802418549150929200 549 812721970967103615 550 823138586005980145 551 833669428658687446 552 844315540864621012 553 855077972152679553 554 865957779682651284 555 876956028286750397 556 888073790511303988 557 899312146658589711 558 910672184828824431 559 922155000962304148 560 933761698881695464 561 945493390334478865 562 957351195035544090 563 969336240709937859 564 981449663135764232 565 993692606187237871 566 1006066221877890477 567 1018571670403930674 568 1031210120187757612 569 1043982747921628561 570 1056890738611480768 571 1069935285620907849 572 1083117590715290988 573 1096438864106085215 574 1109900324495261035 575 1123503199119901680 576 1137248723796956256 577 1151138142968149057 578 1165172709745045318 579 1179353685954273679 580 1193682342182905632 581 1208159957823992223 582 1222787821122258281 583 1237567229219954446 584 1252499488202867268 585 1267585913146487649 586 1282827828162337900 587 1298226566444457685 588 1313783470316049124 589 1329499891276281327 590 1345377190047254631 591 1361416736621124812 592 1377619910307387544 593 1393988099780323377 594 1410522703126603506 595 1427225127893056603 596 1444096791134596984 597 1461139119462314383 598 1478353549091725605 599 1495741525891188330 600 1513304505430477340 601 1531043953029523441 602 1548961343807315352 603 1567058162730964833 604 1585335904664935324 605 1603796074420434367 606 1622440186804970083 607 1641269766672071976 608 1660286348971176336 609 1679491478797676513 610 1698886711443138334 611 1718473612445680935 612 1738253757640523280 613 1758228733210696639 614 1778400135737923297 615 1798769572253661766 616 1819338660290318772 617 1840109027932628289 618 1861082313869197892 619 1882260167444222701 620 1903644248709367188 621 1925236228475815119 622 1947037788366487903 623 1969050620868431620 624 1991276429385373000 625 2013716928290444625 626 2036373842979079626 627 2059248909922076147 628 2082343876718831848 629 2105660502150748719 630 2129200556234808477 631 2152965820277318818 632 2176958086927830796 633 2201179160233227601 634 2225630855691985008 635 2250315000308603769 636 2275233432648214220 637 2300388002891353375 638 2325780572888914779 639 2351413016217271392 640 2377287218233571776 641 2403405076131209857 642 2429768498995468534 643 2456379407859337407 644 2483239735759504896 645 2510351427792525023 646 2537716441171159129 647 2565336745280892798 648 2593214321736628260 649 2621351164439552545 650 2649749279634181660 651 2678410685965581061 652 2707337414536762692 653 2736531508966258863 654 2765995025445873239 655 2795730032798609212 656 2825738612536775928 657 2856022858920272241 658 2886584879015048866 659 2917426792751749003 660 2948550732984527704 661 2979958845550050255 662 3011653289326669845 663 3043636236293784794 664 3075909871591375612 665 3108476393579722161 666 3141338013899301192 667 3174496957530864529 668 3207955462855698172 669 3241715781716062591 670 3275780179475814483 671 3310150935081210264 672 3344830341121891568 673 3379820703892053025 674 3415124343451792590 675 3450743593688644695 676 3486680802379296496 677 3522938331251487487 678 3559518556046092753 679 3596423866579390134 680 3633656666805511572 681 3671219374879078913 682 3709114423218024436 683 3747344258566596381 684 3785911342058549748 685 3824818149280522639 686 3864067170335598415 687 3903660909907053940 688 3943601887322294184 689 3983892636616973457 690 4024535706599303546 691 4065533660914549027 692 4106889078109710024 693 4148604551698392687 694 4190682690225867661 695 4233126117334316818 696 4275937471828268524 697 4319119407740221713 698 4362674594396459040 699 4406605716483049385 700 4450915474112039980 701 4495606582887838431 702 4540681773973784907 703 4586143794158914768 704 4631995405924911904 705 4678239387513253057 706 4724878532992543398 707 4771915652326043631 708 4819353571439388896 709 4867195132288499743 710 4915443192927685449 711 4964100627577939950 712 5013170326695430660 713 5062655197040180449 714 5112558161744943052 715 5162882160384272181 716 5213630149043784612 717 5264805100389617519 718 5316410003738080327 719 5368447865125501356 720 5420921707378269528 721 5473834570183071409 722 5527189510157323858 723 5580989600919802555 724 5635237933161466680 725 5689937614716480015 726 5745091770633428741 727 5800703543246736202 728 5856776092248274908 729 5913312594759176049 730 5970316245401836792 731 6027790256372125633 732 6085737857511786076 733 6144162296381038911 734 6203066838331383363 735 6262454766578597384 736 6322329382275937360 737 6382694004587537505 738 6443551970762009214 739 6504906636206240647 740 6566761374559396816 741 6629119577767120447 742 6691984656155933889 743 6755360038507842342 744 6819249172135138676 745 6883655522955410113 746 6948582575566747044 747 7014033833323154253 748 7080012818410164820 749 7146523071920656975 750 7213568153930874175 751 7281151643576648676 752 7349277139129828872 753 7417948258074910673 754 7487168637185873194 755 7556941932603219027 756 7627271819911219368 757 7698161994215364271 758 7769616170220018301 759 7841638082306281858 760 7914231484610058444 761 7987400151100328145 762 8061147875657627600 763 8135478472152736729 764 8210395774525572492 765 8285903636864289951 766 8362005933484590907 767 8438706559009240384 768 8516009428447791232 769 8593918477276517121 770 8672437661518554198 771 8751570957824251679 772 8831322363551731648 773 8911695896847658335 774 8992695596728217145 775 9074325523160303710 776 9156589757142923236 777 9239492400788800417 778 9323037577406200188 779 9407229431580959589 780 9492072129258731012 781 9577569857827437103 782 9663726826199937591 783 9750547264896908316 784 9838035426129932728 785 9926195583884806129 786 10015032034005052930 787 10104549094275657195 788 10194751104507006744 789 10285642426619051087 790 10377227444725673461 791 10469510565219277242 792 10562496216855587004 793 10656188850838664497 794 10750592940906139816 795 10845712983414658033 796 10941553497425541564 797 11038119024790668543 798 11135414130238567475 799 11233443401460728440 800 11332211449198131120 801 11431722907327989921 802 11531982432950716462 803 11632994706477099703 804 11734764431715703984 805 11837296335960485247 806 11940595170078625713 807 12044665708598587286 808 12149512749798383956 809 12255141115794073473 810 12361555652628468564 811 12468761230360067965 812 12576762743152207540 813 12685565109362431759 814 12795173271632085807 815 12905592196976128596 816 13016826876873166952 817 13128882327355711249 818 13241763589100652762 819 13355475727519963011 820 13470023832851615368 821 13585413020250729199 822 13701648429880936813 823 13818735227005973490 824 13936678602081490860 825 14055483770847093905 826 14175155974418601856 827 14295700479380533257 828 14417122577878815468 829 14539427587713718879 830 14662620852433016107 831 14786707741425366448 832 14911693650013925856 833 15037583999550182721 834 15164384237508019718 835 15292099837578001999 836 15420736299761892000 837 15550299150467391135 838 15680793942603108649 839 15812226255673757902 840 15944601695875580356 841 16077925896191997537 842 16212204516489491244 843 16347443243613712277 844 16483647791485817956 845 16620823901199038703 846 16758977341115473959 847 16898113906963117708 848 17038239421933113880 849 17179359736777241905 850 17321480729905632690 851 17464608307484715291 852 17608748403535394552 853 17753906980031459983 854 17900090026998226149 855 18047303562611404842 856 18195553633296209308 857 18344846313826690801 858 18495187707425307736 859 18646583945862727713 860 18799041189557862684 861 18952565627678137535 862 19107163478239992355 863 19262840988209618664 864 19419604433603929872 865 19577460119591766241 866 19736414380595334622 867 19896473580391883239 868 20057644112215611792 869 20219932398859817151 870 20383344892779274913 871 20547888076192857094 872 20713568461186386228 873 20880392589815726145 874 21048367034210109700 875 21217498396675703725 876 21387793309799411476 877 21559258436552912847 878 21731900470396942623 879 21905726135385807044 880 22080742186272138952 881 22256955408611891793 882 22434372618869572746 883 22613000664523715251 884 22792846424172591208 885 22973916807640163119 886 23156218756082276445 887 23339759242093092450 888 23524545269811761804 889 23710583875029339217 890 23897882125295939376 891 24086447120028134457 892 24276285990616593484 893 24467405900533963807 894 24659814045442994971 895 24853517653304905248 896 25048523984487991104 897 25244840331876479873 898 25442474020979625910 899 25641432410041050495 900 25841722890148325760 901 26043352885342802911 902 26246329852729685017 903 26450661282588344638 904 26656354698482886564 905 26863417657372955937 906 27071857749724792028 907 27281682599622527941 908 27492899864879736516 909 27705517237151222703 910 27919542442045062679 911 28134983239234889980 912 28351847422572428920 913 28570142820200275569 914 28789877294664926562 915 29011058743030056011 916 29233695096990040792 917 29457794322983734479 918 29683364422308490197 919 29910413431234432666 920 30138949421118979708 921 30368980498521613489 922 30600514805318901768 923 30833560518819769425 924 31068125851881020540 925 31304219053023111295 926 31541848406546173971 927 31781022232646292312 928 32021748887532028528 929 32264036763541202209 930 32507894289257921422 931 32753329929629866263 932 33000352186085825136 933 33248969596653484031 934 33499190736077469073 935 33751024215937642614 936 34004478684767653140 937 34259562828173739265 938 34516285368953788084 939 34774655067216648157 940 35034680720501697396 941 35296371163898666127 942 35559735270167715599 943 35824781949859772212 944 36091520151437117736 945 36359958861394235793 946 36630107104378914874 947 36901973943313608163 948 37175568479517050440 949 37450899852826132335 950 37727977241718032205 951 38006809863432605906 952 38287406974095034732 953 38569777868838731793 954 38853931881928507104 955 39139878386883991657 956 39427626796603320748 957 39717186563487076831 958 40008567179562492171 959 40301778176607911568 960 40596829126277515424 961 40893729640226303425 962 41192489370235339110 963 41493118008337255599 964 41795625286942022752 965 42100020978962976031 966 42406314897943107337 967 42714516898181618094 968 43024636874860734852 969 43336684764172787681 970 43650670543447551628 971 43966604231279851509 972 44284495887657430308 973 44604355614089081455 974 44926193553733045255 975 45250019891525669740 976 45575844854310336216 977 45903678710966649777 978 46233531772539895058 979 46565414392370757499 980 46899336966225310392 981 47235309932425267983 982 47573343771978504901 983 47913449008709842186 984 48255636209392100188 985 48599915983877418609 986 48946298985228843960 987 49294795909852184705 988 49645417497628134364 989 49998174532044662847 990 50353077840329676291 991 50710138293583945672 992 51069366806914304464 993 51430774339567115617 994 51794371895062008126 995 52160170521325883463 996 52528181310827192144 997 52898415400710480703 998 53270883972931209345 999 53645598254390840550 1000 54022569517072198900