0 0 1 0 2 0 3 1 4 79 5 1987 6 16834 7 85275 8 317471 9 962089 10 2515262 11 5882109 12 12605095 13 25175191 14 47443474 15 85152487 16 146608359 17 243516365 18 392004286 19 613859609 20 938008287 21 1402264459 22 2055382210 23 2959442131 24 4192607119 25 5852283537 26 8058725534 27 10959122005 28 14732207351 29 19593438879 30 25800785362 31 33661172959 32 43537636375 33 55857224821 34 71119714014 35 89907177137 36 112894469359 37 140860682195 38 174701625666 39 215443397899 40 264257103487 41 322474783609 42 391606622590 43 473359497261 44 569656937159 45 682660565287 46 814793090834 47 968762926935 48 1147590508231 49 1354636384669 50 1593631169662 51 1868707422409 52 2184433545855 53 2545849783451 54 2958506399554 55 3428504129987 56 3962536990959 57 4567937536225 58 5252724654046 59 6025653997189 60 6896271140887 61 7874967565359 62 8973039561170 63 10202750157391 64 11577394174199 65 13111366503237 66 14820233720734 67 16720809140065 68 18831231412111 69 21171046783459 70 23761295124162 71 26624599838459 72 29785261773535 73 33269357243081 74 37104840284094 75 41321649267037 76 45951817981159 77 51029591318455 78 56591545681426 79 62676714241479 80 69326717176487 81 76585897017709 82 84501459237950 83 93123618214521 84 102505748702239 85 112704542953387 86 123780173623234 87 135796462601395 88 148821055910991 89 162925604819249 90 178185953304862 91 194682332029109 92 212499558959415 93 231727246795711 94 252460017351634 95 274797723044287 96 298845675647959 97 324714882468885 98 352522290099806 99 382391035914769 100 414450707466287 101 448837609948659 102 485695041892930 103 525173579260651 104 567431368105279 105 612634425971737 106 660956952206334 107 712581647350925 108 767700041796871 109 826512833876039 110 889230237567762 111 956072340002359 112 1027269468943495 113 1103062570433341 114 1183703596786174 115 1269455905117737 116 1360594666599359 117 1457407286627515 118 1560193836101186 119 1669267494001059 120 1784955001466287 121 1907597127566209 122 2037549146966110 123 2175181329687781 124 2320879443167319 125 2475045266814287 126 2638097119278034 127 2810470398628655 128 2992618135661751 129 3185011560537829 130 3388140682968862 131 3602514886166209 132 3828663534765775 133 4067136596947971 134 4318505280971714 135 4583362686343387 136 4862324469843359 137 5156029526634345 138 5465140686677566 139 5790345426684349 140 6132356597832487 141 6491913169478359 142 6869780989097490 143 7266753558687911 144 7683652827872359 145 8121330003937037 146 8580666379046334 147 9062574174874585 148 9567997404897631 149 10097912754588619 150 10653330479764162 151 11235295323328659 152 11844887450666255 153 12483223403931601 154 13151457075492254 155 13850780700777237 156 14582425870787959 157 15347664564529375 158 16147810201620946 159 16984218715348639 160 17858289646420887 161 18771467257693109 162 19725241670127070 163 20721150020253041 164 21760777639404399 165 22845759254995987 166 23977780214119234 167 25158577729728715 168 26389942149696511 169 27673718249012409 170 29011806545409662 171 30406164638697709 172 31858808574084935 173 33371814229776231 174 34947318729131794 175 36587521877675287 176 38294687625241159 177 40071145553552605 178 41919292389523326 179 43841593544577929 180 45840584680287487 181 47918873300618459 182 50079140371094850 183 52324141965175171 184 54656710938147439 185 57079758628847137 186 59596276589504734 187 62209338344031045 188 64922101175050391 189 67737807939993199 190 70659788916561362 191 73691463677881359 192 76836342997661815 193 80098030785673861 194 83480226053874334 195 86986724913493537 196 90621422603410959 197 94388315550144035 198 98291503459776706 199 102335191442156219 200 106523692167688287 201 110861428057062409 202 115352933504240830 203 120002857133046301 204 124815964087685479 205 129797138357546487 206 134951385136610834 207 140283833217821575 208 145799737422751271 209 151504481066914989 210 157403578461075262 211 163502677448887609 212 169807561981236895 213 176324154727616491 214 183058519724903874 215 190016865063887987 216 197205545613905359 217 204631065785943665 218 212300082334573086 219 220219407199067509 220 228396010384079287 221 236837022880232959 222 245549739625005010 223 254541622504258431 224 263820303394802519 225 273393587248350037 226 283269455217245534 227 293456067822340305 228 303961768163391151 229 314795085172361779 230 325964736910007362 231 337479633906124459 232 349348882543850175 233 361581788488396121 234 374187860160604414 235 387176812255714637 236 400558569307732359 237 414343269299791495 238 428541267320904466 239 443163139269495799 240 458219685604116487 241 473721935141738109 242 489681148904027390 243 506108824012003561 244 523016697629482559 245 540416750955713787 246 558321213267616834 247 576742566012027235 248 595693546948362031 249 615187154342117569 250 635236651209613662 251 655855569614399909 252 677057715015741655 253 698857170669604751 254 721268302082559954 255 744305761519029487 256 767984492562299959 257 792319734729727525 258 817327028142562846 259 843022218250825089 260 869421460613655887 261 896541225735585859 262 924398303959147970 263 953009810414273691 264 982393190024909599 265 1012566222573293737 266 1043547027822332734 267 1075354070696522365 268 1108006166521855911 269 1141522486325166359 270 1175922562193350162 271 1211226292692921959 272 1247453948350351335 273 1284626177193634381 274 1322764010355554494 275 1361888867739088537 276 1402022563745416159 277 1443187313064991755 278 1485405736532140226 279 1528700867043639379 280 1573096155541753487 281 1618615477062184209 282 1665283136847406750 283 1713123876525860821 284 1762162880357467639 285 1812425781545945887 286 1863938668618401234 287 1916728091872665695 288 1970821069892864791 289 2026245096133692149 290 2083028145573872862 291 2141198681439298609 292 2200785661996319215 293 2261818547415677011 294 2324327306707572034 295 2388342424728347787 296 2453894909259288959 297 2521016298158024185 298 2589738666583028606 299 2660094634291722669 300 2732117373012665287 301 2805840613892341159 302 2881298655017043730 303 2958526369010356951 304 3037559210706740679 305 3118433224901726237 306 3201185054179230334 307 3285851946816497225 308 3372471764767180671 309 3461082991723078939 310 3551724741255037762 311 3644436765033537859 312 3739259461129485295 313 3836233882395724641 314 3935401744929796574 315 4036805436618463237 316 4140488025764526359 317 4246493269796464815 318 4354865624061419986 319 4465650250702058959 320 4578893027617847287 321 4694640557511264709 322 4812940177019498910 323 4933839965932154081 324 5057388756495512719 325 5183636142803890787 326 5312632490278628034 327 5444428945235256955 328 5579077444539395551 329 5716630725351910729 330 5857142334963900862 331 6000666640722047709 332 6147258840044889575 333 6296974970530569271 334 6449871920156612114 335 6606007437572290887 336 6765440142484136359 337 6928229536135153645 338 7094436011878306366 339 7264120865844832249 340 7437346307707955487 341 7614175471542562859 342 7794672426781412290 343 7978902189268444211 344 8166930732409767759 345 8358824998422895537 346 8554652909684802334 347 8754483380179384885 348 8958386327044901431 349 9166432682221971519 350 9378694404202718162 351 9595244489881636159 352 9816156986508772055 353 10041507003745802901 354 10271370725825602654 355 10505825423815886737 356 10744949467987526959 357 10988822340288130675 358 11237524646921479746 359 11491138131033426539 360 11749745685504845887 361 12013431365852243609 362 12282280403236623870 363 12556379217581219341 364 12835815430798689799 365 13120677880128396487 366 13411056631584361234 367 13707042993514521015 368 14008729530271890311 369 14316210075998245309 370 14629579748520945662 371 14948934963363511209 372 15274373447870572735 373 15605994255447817531 374 15943897779917552194 375 16288185769990506787 376 16638961343854506159 377 16996329003880635905 378 17360394651447532126 379 17731265601884425829 380 18109050599533574487 381 18493859832932714959 382 18885804950118173650 383 19284999074049271471 384 19691556818154662839 385 20105594302001249637 386 20527229167086312734 387 20956580592753505345 388 21393769312233354191 389 21838917628808916099 390 22292149432107239362 391 22753590214517280859 392 23223367087734931615 393 23701608799435805161 394 24188445750076444734 395 24684010009824607037 396 25188435335619281959 397 25701857188361109335 398 26224412750233855506 399 26756240942157614119 400 27297482441374397287 401 27848279699166784909 402 28408776958710301630 403 28979120273060192601 404 29559457523273270879 405 30149938436665510987 406 30750714605206064834 407 31361939504048377875 408 31983768510199085071 409 32616358921325367889 410 33259869974701455262 411 33914462866294953109 412 34580300769993688695 413 35257548856973757791 414 35946374315209464274 415 36646946369125843487 416 37359436299394462359 417 38084017462873190965 418 38820865312690641886 419 39570157418475975409 420 40332073486734770287 421 41106795381371661459 422 41894507144360447810 423 42695395016562374731 424 43509647458693297919 425 44337455172440436537 426 45179011121729425534 427 46034510554142378605 428 46904151022487674951 429 47788132406522184679 430 48686656934826649362 431 49599929206834935959 432 50528156215017883975 433 51471547367222467421 434 52430314509166994814 435 53404671947093072137 436 54394836470575055359 437 55401027375487720795 438 56423466487132883266 439 57462378183525693699 440 58517989418841349487 441 59590529747022952609 442 60680231345551252190 443 61787329039377009861 444 62912060325016727959 445 64054665394812482287 446 65215387161356602834 447 66394471282081947535 448 67592166184018515831 449 68808723088717150469 450 70044396037341077662 451 71299441915926037409 452 72574120480809757455 453 73868694384231526051 454 75183429200102620354 455 76518593449948348987 456 77874458629022468959 457 79251299232594738825 458 80649392782412371646 459 82069019853336152989 460 83510464100151990887 461 84974012284558666359 462 86459954302332554770 463 87968583210670089991 464 89500195255708744999 465 91055089900227304237 466 92633569851526204734 467 94235941089488724665 468 95862512894823799711 469 97513597877491249259 470 99189512005310196162 471 100890574632751465459 472 102617108529914749135 473 104369439911691325681 474 106147898467113124894 475 107952817388888930037 476 109784533403128511159 477 111643386799255485055 478 113529721460109699026 479 115443884892239937279 480 117386228256387750487 481 119357106398163210709 482 121356877878913395550 483 123385905006784407121 484 125444553867977733039 485 127533194358201758387 486 129652200214319239234 487 131801949046191549995 488 133982822368720518591 489 136195205634088665049 490 138439488264198660862 491 140716063683312828109 492 143025329350893499015 493 145367686794645058311 494 147743541643758492434 495 150153303662359271287 496 152597386783159389959 497 155076209141314399485 498 157590193108486257406 499 160139765327112830569 500 162725356744884884287 501 165347402649431393659 502 168006342703214014530 503 170702620978631553251 504 173436685993335276079 505 176208990745755900737 506 179019992750843114334 507 181870154076018463525 508 184759941377342464471 509 187689825935896781839 510 190660283694382327762 511 193671795293934133359 512 196724846111153847095 513 199819926295360715941 514 202957530806061906974 515 206138159450643028737 516 209362316922279713359 517 212630512838071122115 518 215943261777396238786 519 219301083320493816859 520 222704502087266848287 521 226154047776312423209 522 229650255204177851710 523 233193664344843920381 524 236784820369436158119 525 240424273686164987287 526 244112579980495638034 527 247850300255548705255 528 251638000872732229351 529 255476253592606183629 530 259365635615980252862 531 263306729625245789209 532 267300123825942833375 533 271346411988563090571 534 275446193490589752514 535 279600073358775058387 536 283808662311656489359 537 288072576802312492945 538 292392439061358635166 539 296768877140185080149 540 301202524954436298487 541 305694022327733907359 542 310244015035643547090 543 314853154849886700511 544 319522099582798363159 545 324251513132031474037 546 329042065525509018334 547 333894432966624715185 548 338809297879693205231 549 343787348955650654419 550 348829281198006692162 551 353935795969048603659 552 359107601036298697855 553 364345410619225774201 554 369649945436211613054 555 375021932751773416237 556 380462106424043125959 557 385971206952504551975 558 391549981525989238546 559 397199184070932004439 560 402919575299887090887 561 408711922760305854109 562 414577000883576940670 563 420515591034329885641 564 426528481560003075199 565 432616467840677016987 566 438780352339173863234 567 445020944651424133315 568 451339061557101584111 569 457735527070527178209 570 464211172491843101662 571 470766836458457784709 572 477403364996762880535 573 484121611574123158831 574 490922437151140272594 575 497806710234191358287 576 504775306928243431159 577 511829110989944539205 578 518969013880992640926 579 526195914821783173729 580 533510720845336281487 581 540914346851504671459 582 548407715661463072450 583 555991758072480267771 584 563667412912974678239 585 571435627097854472137 586 579297355684143180734 587 587253561926891799645 588 595305217335378357991 589 603453301729595938999 590 611698803297030137362 591 620042718649726940359 592 628486052881652021415 593 637029819626342436461 594 645675041114851715134 595 654422748233989340537 596 663273980584855612959 597 672229786541672894635 598 681291223310914234306 599 690459356990730372019 600 699735262630676126287 601 709120024291737167409 602 718614735106658182430 603 728220497340573438901 604 737938422451940756279 605 747769631153779895487 606 757715253475216378834 607 767776428823331754175 608 777954306045321318871 609 788250043490960320789 610 798664809075379655262 611 809199780342152078609 612 819856144526689960495 613 830635098619955599091 614 841537849432485124674 615 852565613658727018987 616 863719617941696279359 617 875001098937945258265 618 886411303382852210686 619 897951488156228583309 620 909622920348246081287 621 921426877325684549959 622 933364646798501710610 623 945437526886725791031 624 957646826187672093319 625 969993863843484543037 626 982479969609003265534 627 995106483919959236905 628 1007874757961497058751 629 1020786153737026907579 630 1033842044137406711362 631 1047043813010455607459 632 1060392855230799737775 633 1073890576770051438721 634 1087538394767322885214 635 1101337737600075249637 636 1115290044955304438359 637 1129396767901064470095 638 1143659368958329562066 639 1158079322173195991599 640 1172658113189424802487 641 1187397239321326427109 642 1202298209626988296990 643 1217362544981846516161 644 1232591778152602673359 645 1247987453871486870787 646 1263551128910868048834 647 1279284372158212687835 648 1295188764691392969631 649 1311265899854345483369 650 1327517383333081561662 651 1343944833232050334909 652 1360549880150855593255 653 1377334167261327547351 654 1394299350384950580754 655 1411447098070648088487 656 1428779091672925497959 657 1446297025430372570125 658 1464002606544526080446 659 1481897555259093980889 660 1499983604939542145887 661 1518262502153044806859 662 1536736006748799781570 663 1555405891938709606291 664 1574273944378429680399 665 1593341964248784534737 666 1612611765337553336734 667 1632085175121625746965 668 1651764034849529243511 669 1671650199624329032159 670 1691745538486901662162 671 1712051934499583468959 672 1732571284830194966935 673 1753305500836442316981 674 1774256508150696995294 675 1795426246765154791537 676 1816816671117375266159 677 1838429750176202798355 678 1860267467528070357826 679 1882331821463687135179 680 1904624825065111167487 681 1927148506293208097209 682 1949904908075497204350 683 1972896088394385853421 684 1996124120375793498439 685 2019591092378166390887 686 2043299108081884137234 687 2067250286579059254295 688 2091446762463730872391 689 2115890685922453737949 690 2140584222825283668862 691 2165529554817160617609 692 2190728879409690498815 693 2216184410073326939611 694 2241898376329954112834 695 2267873023845871814787 696 2294110614525183950959 697 2320613426603591594785 698 2347383754742591786206 699 2374423910124083238469 700 2401736220545380123287 701 2429323030514635106159 702 2457186701346672805330 703 2485329611259234849551 704 2513754155469637711479 705 2542462746291844495237 706 2571457813233951858334 707 2600741803096093249825 708 2630317180068759648271 709 2660186425831538984739 710 2690352039652275437762 711 2720816538486649788859 712 2751582457078182028895 713 2782652348058657407241 714 2814028782048977117374 715 2845714347760434814237 716 2877711652096420160359 717 2910023320254550599415 718 2942651995829232557586 719 2975600340914653274759 720 3008871036208204469287 721 3042466781114339041709 722 3076390293848862024510 723 3110644311543656986681 724 3145231590351849103519 725 3180154905553406103787 726 3215417051661178308034 727 3251020842527378973555 728 3286969111450506163151 729 3323264711282707356529 730 3359910514537588024862 731 3396909413498465390709 732 3434264320327068597175 733 3471978167172686511871 734 3510053906281764392914 735 3548494510107950645887 736 3587302971422594902359 737 3626482303425698652245 738 3666035539857319663966 739 3705965735109431428049 740 3746275964338238861487 741 3786969323576951511859 742 3828048929849015501890 743 3869517921281805456811 744 3911379457220777658559 745 3953636718344085672537 746 3996292906777659694334 747 4039351246210750865485 748 4082814982011941809031 749 4126687381345624637319 750 4170971733288947686162 751 4215671348949232231159 752 4260789561581860443655 753 4306329726708635845501 754 4352295222236617523454 755 4398689448577429365737 756 4445515828767045584959 757 4492777808586053793275 758 4540478856680396897346 759 4588622464682595082339 760 4637212147333449155887 761 4686251442604226524609 762 4735743911819331077470 763 4785693139779458251941 764 4836102734885236560599 765 4886976329261356857487 766 4938317578881190625234 767 4990130163691898565615 768 5042417787740030777911 769 5095184179297619811109 770 5148433090988767877662 771 5202168299916729518209 772 5256393607791491008335 773 5311112841057847800131 774 5366329851023981292994 775 5422048513990536229787 776 5478272731380200016159 777 5535006429867785262505 778 5592253561510816849726 779 5650018103880624821629 780 5708304060193944408487 781 5767115459445024487959 782 5826456356538245791250 783 5886330832421250164071 784 5946742994218582193639 785 6007696975365844514637 786 6069196935744368108734 787 6131247061816398913945 788 6193851566760802061791 789 6257014690609285061899 790 6320740700383141255362 791 6385033890230514859859 792 6449898581564188931215 793 6515339123199897567761 794 6581359891495163685534 795 6647965290488663694037 796 6715159752040120403959 797 6782947735970725499935 798 6851333730204092913106 799 6920322250907744429919 800 6989917842635128875287 801 7060125078468176209909 802 7130948560160387883230 803 7202392918280464785201 804 7274462812356474141679 805 7347162931020556699987 806 7420497992154175552834 807 7494472743033907950475 808 7569091960477781452671 809 7644360450992155773689 810 7720283050919151675262 811 7796864626584628264109 812 7874110074446710052295 813 7952024321244865140391 814 8030612324149535885074 815 8109879070912323414487 816 8189829580016727356359 817 8270468900829442145565 818 8351802113752211279486 819 8433834330374240891209 820 8516570693625174012287 821 8600016377928626898459 822 8684176589356288793410 823 8769056565782586507331 824 8854661577039915188719 825 8940996925074436669537 826 9028067944102446765534 827 9115880000767312915205 828 9204438494296983542551 829 9293748856662070530479 830 9383816552734506193362 831 9474647080446776138959 832 9566245970951729411575 833 9658618788782967310021 834 9751771132015812275614 835 9845708632428858247137 836 9940436955666103881359 837 10035961801399670039395 838 10132288903493102940866 839 10229424030165264389499 840 10327372984154810475487 841 10426141602885260161609 842 10525735758630655161790 843 10626161358681812522461 844 10727424345513171318759 845 10829530696950234879287 846 10932486426337609954834 847 11036297582707644248135 848 11140970250949663723431 849 11246510551979811116269 850 11352924642911487065662 851 11460218717226395292409 852 11568399004946193249055 853 11677471772804749668651 854 11787443324421010441154 855 11898320000472474247987 856 12010108178869279386959 857 12122814274928903221425 858 12236444741551475689246 859 12351006069395708308789 860 12466504787055440120887 861 12582947461236802007359 862 12700340696936000828370 863 12818691137617724822591 864 12938005465394171715799 865 13058290401204700985237 866 13179552704996111728734 867 13301799175903547589265 868 13425036652432030187311 869 13549272012638622515059 870 13674512174315223748162 871 13800764095171996932459 872 13928034773021431004735 873 14056331245963038608281 874 14185660592568691165694 875 14316029932068592673037 876 14447446424537893681159 877 14579917271083946931655 878 14713449714034206116626 879 14848051037124769233079 880 14983728565689568004487 881 15120489666850204843709 882 15258341749706438833150 883 15397292265527322199721 884 15537348707942988763839 885 15678518613137095843387 886 15820809560039921095234 887 15964229170522115778595 888 16108785109589115926191 889 16254485085576212910849 890 16401336850344284896862 891 16549348199476190667109 892 16698526972473827318615 893 16848881052955853320911 894 17000418368856078433234 895 17153146892622521978287 896 17307074641417140971959 897 17462209677316229610085 898 17618560107511491615006 899 17776134084511786946369 900 17934939806345554382287 901 18094985516763911478659 902 18256279505444433416130 903 18418830108195612245851 904 18582645707161998046879 905 18747734731030023509737 906 18914105655234513462334 907 19081767002165880856125 908 19250727341378010732071 909 19420995289796833687639 910 19592579511929590367762 911 19765488720074788504359 912 19939731674532854030695 913 20115317183817477798541 914 20292254104867659427774 915 20470551343260449819737 916 20650217853424393867359 917 20831262638853674896715 918 21013694752322962376386 919 21197523296102964432659 920 21382757422176686710287 921 21569406332456399120209 922 21757479279001312017310 923 21946985564235963352981 924 22137934541169318348919 925 22330335613614583240287 926 22524198236409734638034 927 22719531915638766061855 928 22916346208853653196951 929 23114650725297039429429 930 23314455126125643216862 931 23515769124634388852209 932 23718602486481262180975 933 23922965029912892833171 934 24128866625990864533314 935 24336317198818755053387 936 24545326725769907375359 937 24755905237715933631545 938 24968062819255953392766 939 25181809608946567875949 940 25397155799532571644487 941 25614111638178403376359 942 25832687426700337276690 943 26052893521799416713111 944 26274740335295131653959 945 26498238334359841491037 946 26723398041753944830334 947 26950230036061797835785 948 27178744951928382712831 949 27408953480296727920219 950 27640866368646081700162 951 27874494421230840518659 952 28109848499320234009455 953 28346939521438768016801 954 28585778463607427333854 955 28826376359585639735237 956 29068744301114002903959 957 29312893438157775854575 958 29558834979151136456146 959 29806580191242206660239 960 30056140400538847040887 961 30307526992355222255109 962 30560751411459139034270 963 30815825162320158318241 964 31072759809358483145999 965 31331566977194623917987 966 31592258350899842647234 967 31854845676247377817915 968 32119340759964451471711 969 32385755469985060144009 970 32654101735703551273662 971 32924391548228986711709 972 33196636960640294956135 973 33470850088242213741431 974 33747043108822024613394 975 34025228262907081121287 976 34305417854023132261159 977 34587624248953442805805 978 34871859877998712158526 979 35158137235237793369529 980 35446468878789213955487 981 35736867431073500164459 982 36029345579076306330050 983 36323916074612350960371 984 36620591734590161209039 985 36919385441277627377137 986 37220310142568369096734 987 37523378852248914848245 988 37828604650266696465591 989 38136000682998860284799 990 38445580163521896593362 991 38757356371882089039359 992 39071342655366785661015 993 39387552428776493199061 994 39705999174697796355934 995 40026696443777103667537 996 40349657854995221654959 997 40674897095942758925235 998 41002427923096361891906 999 41332264162095783787819 1000 41664419708021788644287