8 0 9 0 10 1 11 1 12 3 13 4 14 8 15 11 16 19 17 26 18 41 19 56 20 82 21 110 22 156 23 205 24 281 25 366 26 488 27 627 28 821 29 1041 30 1340 31 1684 32 2135 33 2657 34 3331 35 4108 36 5095 37 6238 38 7663 39 9315 40 11354 41 13709 42 16588 43 19915 44 23936 45 28580 46 34154 47 40573 48 48225 49 57031 50 67452 51 79428 52 93530 53 109695 54 128639 55 150329 56 175616 57 204525 58 238102 59 276408 60 320739 61 371244 62 429475 63 495717 64 571869 65 658341 66 757472 67 869887 68 998390 69 1143909 70 1309867 71 1497507 72 1711024 73 1952128 74 2225868 75 2534581 76 2884410 77 3278392 78 3724030 79 4225324 80 4791313 81 5427240 82 6144092 83 6948547 84 7853982 85 8868965 86 10009628 87 11286935 88 12720446 89 14323939 90 16121172 91 18129518 92 20377625 93 22887349 94 25693374 95 28822877 96 32317867 97 36212192 98 40556479 99 45392804 100 50782323 101 56776909 102 63450467 103 70866985 104 79115417 105 88274560 106 98451643 107 109743142 108 122278294 109 136175203 110 151589184 111 168664589 112 187588203 113 208535699 114 231731653 115 257389762 116 285779383 117 317160091 118 351855058 119 390178558 120 432518136 121 479254019 122 530850079 123 587765734 124 650556163 125 719775039 126 796086445 127 880157123 128 972780137 129 1074757397 130 1187035753 131 1310577674 132 1446512859 133 1595995492 134 1760371612 135 1941023747 136 2139554962 137 2357618428 138 2597122014 139 2860040806 140 3148642685 141 3465284814 142 3812661591 143 4193582026 144 4611244919 145 5068994846 146 5570625371 147 6120114800 148 6721959300 149 7380884900 150 8102216668 151 8891564135 152 9755227874 153 10699859843 154 11732910090 155 12862257771 156 14096705685 157 15445578890 158 16919269200 159 18528803192 160 20286440433 161 22205206119 162 24299552960 163 26584854802 164 29078135423 165 31797525669 166 34763064506 167 37996114265 168 41520246516 169 45360611703 170 49544914847 171 54102742805 172 59066637340 173 64471374321 174 70355150476 175 76758810631 176 83727155503 177 91308121875 178 99554222089 179 108521671276 180 118271979646 181 128871023514 182 140390801484 183 152908456068 184 166508208807 185 181280327398 186 197323267482 187 214742583167 188 233653291609 189 254178737382 190 276453201320 191 300620715034 192 326837950677 193 355272986311 194 386108500437 195 419540503600 196 455781868036 197 495061025638 198 537625881734 199 583742484647 200 633699358287 201 687806166935 202 746398510222 203 809836589104 204 878510529240 205 952839061829 206 1033275426051 207 1120306100374 208 1214457346037 209 1316294005818 210 1426426778563 211 1545511111920 212 1674255281576 213 1813419432318 214 1963824551016 215 2126351689914 216 2301951956605 217 2491645967619 218 2696534962496 219 2917800569518 220 3156717171311 221 3414652044413 222 3693079147227 223 3993579713631 224 4317857618506 225 4667740549390 226 5045197132705 227 5452338787306 228 5891438848798 229 6364935235851 230 6875451797765 231 7425801979002 232 8019012652964 233 8658328953910 234 9347240929658 235 10089489746934 236 10889097488406 237 11750375009508 238 12677955257790 239 13676803047762 240 14752252370131 241 15910018404593 242 17156239289746 243 18497490786318 244 19940833050601 245 21493828361433 246 23164593557369 247 24961821315073 248 26894838928924 249 28973633752345 250 31208919099830 251 33612164479954 252 36195669554004 253 38972599896762 254 41957069990096 255 45164185411387 256 48610135980893 257 52312245325397 258 56289075504133 259 60560485045807 260 65147746459781 261 70073614067141 262 75362456001851 263 81040333246442 264 87135148003350 265 93676735562451 266 100697031062714 267 108230176119181 268 116312706271879 269 124983674457919 270 134284861818631 271 144260920407835 272 154959610252107 273 166431964099359 274 178732554017253 275 191919681240633 276 206055676100858 277 221207116467573 278 237445165150225 279 254845820994698 280 273490298445841 281 293465315759854 282 314863522113397 283 337783828009414 284 362331885844341 285 388620468368507 286 416770009393963 287 446909036777047 288 479174780905572 289 513713669548054 290 550682012542992 291 590246566940571 292 632585307399297 293 677888070954817 294 726357423949376 295 778209396999205 296 833674460430488 297 892998361521568 298 956443221940943 299 1024288490673894 300 1096832178781662 301 1174391943171258 302 1257306475664363 303 1345936734856148 304 1440667508615264 305 1541908813222273 306 1650097650948668 307 1765699598125358 308 1889210781849553 309 2021159681540526 310 2162109351813859 311 2312659464880743 312 2473448810129122 313 2645157608184747 314 2828510321172836 315 3024278273297669 316 3233282809939529 317 3456398263621390 318 3694555504950547 319 3948745297691058 320 4220022289437642 321 4509508805132821 322 4818399331203755 323 5147964802563139 324 5499557640667116 325 5874616595832847 326 6274672406575024 327 6701353266877443 328 7156391182310090 329 7641628139961885 330 8159023246166171 331 8710659686282435 332 9298752738567747 333 9925657621835601 334 10593878491349953 335 11306077283746718 336 12065083813737050 337 12873905738895339 338 13735739889575855 339 14653983491194896 340 15632246875516549 341 16674366113990580 342 17784417276426327 343 18966730647319726 344 20225906716957397 345 21566832173478373 346 22994697833297733 347 24515016623904776 348 26133643685174203 349 27856796583401323 350 29691077841567718 351 31643497653882009 352 33721499133305193 353 35932983826866926 354 38286340002814516 355 40790471302272313 356 43454828425171451 357 46289441293545015 358 49304954537176891 359 52512663586855578 360 55924554407609074 361 59553343989021201 362 63412524824878368 363 67516410322394133 364 71880184584705425 365 76519953320432931 366 81452799550037312 367 86696840664398958 368 92271290746429779 369 98196524502688811 370 104494146970949023 371 111187065131120665 372 118299565858174938 373 125857396111213441 374 133887850088144132 375 142419858995201693 376 151484088468717075 377 161113039040698654 378 171341155014699265 379 182204936870191551 380 193743062912878982 381 205996515002485704 382 219008714447264548 383 232825662595498758 384 247496092610542405 385 263071626640607042 386 279606945293593182 387 297159963293941682 388 315792018681016767 389 335568069075250539 390 356556902851562954 391 378831358375455825 392 402468559653353261 393 427550161164689521 394 454162610770477315 395 482397423059432984 396 512351472606850554 397 544127299078433064 398 577833434273631382 399 613584742592843347 400 651502785680473420 401 691716202259831790 402 734361114614582969 403 779581552239532954 404 827529904865534157 405 878367394867302120 406 932264582055709207 407 989401890326965161 408 1049970170022129826 409 1114171284905959659 410 1182218738528178775 411 1254338328290392067 412 1330768842948845407 413 1411762791266533554 414 1497587178579200653 415 1588524318350111687 416 1684872696583180674 417 1786947875507284269 418 1895083455577210437 419 2009632081517124853 420 2130966512710180387 421 2259480742943087756 422 2395591191154200468 423 2539737947453208107 424 2692386097493491954 425 2854027108699637604 426 3025180302964722475 427 3206394398524000692 428 3398249147259991575 429 3601357049327188542 430 3816365173100315466 431 4043957061492585884 432 4284854754521366444 433 4539820908297196924 434 4809661042318976340 435 5095225894361334402 436 5397413916977370645 437 5717173893993301229 438 6055507713312535677 439 6413473273471525244 440 6792187562722787662 441 7192829887139888211 442 7616645289145950824 443 8064948132000449132 444 8539125894463086972 445 9040643150192449941 446 9571045779118834664 447 10131965384368764054 448 10725123965211723766 449 11352338818625811276 450 12015527723421824684 451 12716714378537483381 452 13458034153164114107 453 14241740119345608550 454 15070209428698925069 455 15945950002941823188 456 16871607604161276597 457 17849973253570142700 458 18883991069287482897 459 19976766490989599589 460 21131574966901575394 461 22351871070121283916 462 23641298125052674501 463 25003698310131498732 464 26443123323326569516 465 27963845575864445813 466 29570370006786496204 467 31267446483136657234 468 33060082884983469122 469 34953558839515697769 470 36953440210512931702 471 39065594306996508714 472 41296205924991097719 473 43651794185911624886 474 46139230293726331718 475 48765756174273805419 476 51539004127741395217 477 54467017457743851356 478 57558272217540270310 479 60821700037113479127 480 64266712181929384570 481 67903224807628592203 482 71741685572553788687 483 75793101573192615034 484 80069068776383185267 485 84581802914526346114 486 89344172030545899789 487 94369730640371877847 488 99672755713607510542 489 105268284442125197492 490 111172154012265348137 491 117401043352845579755 492 123972517090876985319 493 130905071690194101912 494 138218184022424830752 495 145932362349136737733 496 154069199983513547975 497 162651431614731756444 498 171702992583861806070 499 181249081099566682192 500 191316223704562106038 501 201932343987104877527 502 213126834872403473431 503 224930634495201929362 504 237376306014333904476 505 250498121378567063345 506 264332149432573655303 507 278916348381658512939 508 294290663034415781863 509 310497126852634661016 510 327579969260487960879 511 345585728254522208025 512 364563368802084660046 513 384564407083618263335 514 405643041105011693287 515 427856287751245206539 516 451264126849313795375 517 475929652329557174651 518 501919231098689837500 519 529302669733894426436 520 558153389660378618283 521 588548610944583860770 522 620569545418719719698 523 654301599294476975820 524 689834586039389974197 525 727262949702551817126 526 766685999525837145438 527 808208156059701410477 528 851939209687756368308 529 897994591815407530049 530 946495659700621237073 531 997569995222625596573 532 1051351718646781027448 533 1107981817726682865523 534 1167608493288803955488 535 1230387521691190560548 536 1296482635396095114413 537 1366065922104288681315 538 1439318243793639126998 539 1516429676172286587213 540 1597599970000604112603 541 1683039034861828972075 542 1772967446956830221156 543 1867616981580179488693 544 1967231171984757870975 545 2072065895377842004716 546 2182389987899148122063 547 2298485889418854380995 548 2420650320161810762697 549 2549194990101326951599 550 2684447343298022474458 551 2826751338243802865517 552 2976468266570533935001 553 3133977611312523279662 554 3299677947282583916431 555 3473987884893495856236 556 3657347060202337517537 557 3850217172667198292043 558 4053083073630562682759 559 4266453907192972556820 560 4490864306748883285619 561 4726875649040490433224 562 4975077369281666800273 563 5236088339419771261687 564 5510558313392381745612 565 5799169441680369907177 566 6102637859346150262956 567 6421715350116023472856 568 6757191091056420462444 569 7109893480686590597927 570 7480692055470392493739 571 7870499497841911383765 572 8280273741135108685142 573 8711020174915786723900 574 9163793956551330775764 575 9639702432894418292157 576 10139907678422573294505 577 10665629154125198116466 578 11218146494031174269607 579 11798802424125298647237 580 12409005821146561846364 581 13050234916518229092757 582 13724040653555780081394 583 14432050203753583762487 584 15175970651007245673673 585 15957592850177375503329 586 16778795469625473679170 587 17641549224791542942789 588 18547921313286462535238 589 19500080059296996405166 590 20500299778693448295105 591 21550965873436633137420 592 22654580167672312160701 593 23813766494985622849589 594 25031276550290266013874 595 26309996016784953512064 596 27652950982634784128308 597 29063314658862051506604 598 30544414414391766359626 599 32099739140888891085908 600 33732946964734298471198 601 35447873320038585855377 602 37248539401566659981234 603 39139161012854219148169 604 41124157830049982177729 605 43208163098277606280108 606 45396033782859186320191 607 47692861193849760813455 608 50103982108192816239942 609 52634990409757553868284 610 55291749273710051356848 611 58080403917460441847746 612 61007394946969929916117 613 64079472322826469923936 614 67303709977410810437518 615 70687521109930772927352 616 74238674193407549777563 617 77965309722981556291101 618 81875957742627793616443 619 85979556182478339894459 620 90285470047113586690196 621 94803511490112218466174 622 99543960818781844385363 623 104517588467738530149322 624 109735677989131575429643 625 115210050101871431250510 626 120953087851873158079156 627 126977762929702507143224 628 133297663202224431353210 629 139927021509040190035296 630 146880745785304307173267 631 154174450566509401904317 632 161824489942260903030073 633 169847992019870459743849 634 178262894970698269450968 635 187087984725791903420995 636 196342934400179399087099 637 206048345518603239262272 638 216225791129045064003391 639 226897860883633474137193 640 238088208180890308903681 641 249821599456330343158928 642 262123965723642393294144 643 275022456461560554042830 644 288545495957651118088761 645 302722842212948413867008 646 317585648528450319566753 647 333166527887026291002016 648 349499620262390088843325 649 366620662979174474091927 650 384567064267331793163901 651 403377980146323279389021 652 423094394794903278760642 653 443759204554410403561489 654 465417305735052321175485 655 488115686386658376030540 656 511903522218260210866341 657 536832276842747468604253 658 562955806547127781309411 659 590330469780727334263596 660 619015241579437812698958 661 649071833135866024702053 662 680564816752597236039615 663 713561756407504231106027 664 748133344189078123301528 665 784353542851479497641298 666 822299734769853591456112 667 862052877568211944105696 668 903697666724949172678585 669 947322705452898048556820 670 993020682185641169547589 671 1040888555993752738881703 672 1091027750291645386886650 673 1143544355187822593997668 674 1198549338870672487601513 675 1256158768414291099996507 676 1316494040430649457826524 677 1379682121987061090549758 678 1445855802252393059247561 679 1515153955328465437763416 680 1587721814770412571257041 681 1663711260293219140145261 682 1743281117212008274011694 683 1826597469157623834910109 684 1913833984662657678377731 685 2005172258207658745667486 686 2100802166374338149357925 687 2200922239747898699424542 688 2305740051271402829455732 689 2415472621751254229517432 690 2530346843277620017820673 691 2650599921320759048373154 692 2776479836333216564727204 693 2908245825686106243670831 694 3046168886841234823911247 695 3190532302660367289514089 696 3341632189831323342460509 697 3499778071391595664196582 698 3665293474413774889553014 699 3838516553919716429139232 700 4019800744179547729019338 701 4209515438556128320410807 702 4408046699150702981805112 703 4615797997512098602410451 704 4833190987773333168600681 705 5060666313588468656507333 706 5298684450350903185910583 707 5547726584185896125764523 708 5808295529325820015737183 709 6080916685491174170625801 710 6366139037023959693275246 711 6664536195537837280503380 712 6976707487981485151019158 713 7303279092033047183009479 714 7644905220884598351295692 715 8002269359501082280953280 716 8376085554588910199595704 717 8767099760539435873768657 718 9176091243773657530641617 719 9603874047949504808503799 720 10051298522665365941950397 721 10519252918334026438461088 722 11008665050085465164814083 723 11520504033603555531625005 724 12055782095998848706488987 725 12615556464872933073140508 726 13200931338940792789812630 727 13813059943638306305191636 728 14453146675367770910048934 729 15122449338103206310047605 730 15822281476318844872488297 731 16554014808282047878217070 732 17319081764010628610962824 733 18118978132282246423650235 734 18955265821360632055137684 735 19829575738201906363751421 736 20743610791201068114426559 737 21699149021649100024811292 738 22698046869389141298467785 739 23742242578283563923875073 740 24833759747444555785608520 741 25974711034318463676250570 742 27167302016079381989310817 743 28413835215940738838585021 744 29716714301385162903856346 745 31078448461483266766123312 746 32501656970891786039954103 747 33989073948310552091855163 748 35543553317627973936826008 749 37168073980194167706356987 750 38865745207143750975114062 751 40639812260922091758257066 752 42493662255686825273663645 753 44430830266512582466621477 754 46455005697882692136595469 755 48570038922234332200675771 756 50779948199920073764247107 757 53088926892260469315215724 758 55501350980002531073537916 759 58021786899842264697936608 760 60654999712356655210386672 761 63405961615068272537596177 762 66279860815103499813997068 763 69282110776320685990374100 764 72418359856576806908874132 765 75694501351257382418308077 766 79116683960045262468079311 767 82691322694404541422010145 768 86425110244169764573947723 769 90325028822179637302341226 770 94398362506876192488480269 771 98652710103392064465680079 772 103095998544703271320832672 773 107736496855083846337399422 774 112582830699231989823357451 775 117643997541158576178348455 776 122929382438146757291443279 777 128448774495880184142565695 778 134212384012146308354259626 779 140230860337383462059453773 780 146515310481747346104178706 781 153077318499314564756664906 782 159928965681553264223221278 783 167082851593219548940519503 784 174552115985464325906266422 785 182350461622057850940419241 786 190492178056387478537974428 787 198992166398108746933092262 788 207865965110209774845641768 789 217129776878584237397801944 790 226800496598229733737147354 791 236895740521643671546243175 792 247433876617162901654911755 793 258434056186578786862125232 794 269916246793697760930870093 795 281901266557243962580721961 796 294410819864015762322150163 797 307467534560087432966946805 798 321095000680552879089856530 799 335317810780353454111859051 800 350161601931642605668348731 801 365653099455364692786741127 802 381820162457856813701978244 803 398691831245701496674968935 804 416298376695427334217762342 805 434671351657284179226634054 806 453843644475944736474054687 807 473849534713841854144601528 808 494724751166751673746850440 809 516506532264337003697513418 810 539233688952562939436450362 811 562946670158267993813751692 812 587687630940691255272741561 813 613500503438416285902461055 814 640431070725053857476510631 815 668527043690958437304509496 816 697838141073505276591182497 817 728416172762765925935848295 818 760315126515050949061765214 819 793591258211465304308069918 820 828303185804682440721860830 821 864511987102215333108529773 822 902281301540985864428933202 823 941677436113493717955823709 824 982769475612907235342372012 825 1025629397370360661914723150 826 1070332190665299817206755487 827 1116955980996179770386159963 828 1165582159406953180782711464 829 1216295517071789379164849961 830 1269184385349221098021938461 831 1324340781524500515485868491 832 1381860560468372526697759953 833 1441843572448688131871087533 834 1504393827341427805195069661 835 1569619665496600444311843647 836 1637633935525406427769357916 837 1708554179284684301653212066 838 1782502824346418927920077659 839 1859607384250513934399458366 840 1940000666851688967460757884 841 2023820991082644597113811630 842 2111212412469263575920349027 843 2202324957745825106748925549 844 2297314868932876888840783252 845 2396344857253616843369127214 846 2499584367280426509795547018 847 2607209851717483689918095495 848 2719405057242379757655920094 849 2836361321845116520175163566 850 2958277884121155390096607138 851 3085362204991897023101655909 852 3217830302345666776419659527 853 3355907099110341817181892089 854 3499826785289959067603000246 855 3649833194517165541123950655 856 3806180195696197056590321258 857 3969132100332170633224257272 858 4138964086167045007889418770 859 4315962637765403885265369056 860 4500426004719663369196555516 861 4692664678168939488372568651 862 4893001886354279308378413125 863 5101774109959571579171231493 864 5319331618018095049748984873 865 5546039025193407739938878825 866 5782275871276262733898379285 867 6028437223770280490507294094 868 6284934304474607999252975945 869 6552195141005318135635383136 870 6830665244235512359894009439 871 7120808312670284539295461324 872 7423106964813828746404415771 873 7738063500625047893016792886 874 8066200693202281727102865589 875 8408062611879949703438668216 876 8764215477967540477383532494 877 9135248554406900351430806584 878 9521775070675039687467533482 879 9924433184308799407981215512 880 10343886980482891920881168062 881 10780827511125835053656578914 882 11235973875117671066896393453 883 11710074341170547948032718409 884 12203907515057132877764503298 885 12718283552913516241494281834 886 13254045422412018206801257384 887 13812070213665848605791564142 888 14393270501801552822703070485 889 14998595763206938449497618571 890 15629033847541782598460778122 891 16285612507676006469579352784 892 16969400989805656421949275312 893 17681511686080473740578829780 894 18423101852168991544502427428 895 19195375392277060555850908121 896 19999584714234855438617634498 897 20837032657364396071280146749 898 21709074495946288515287412131 899 22617120021208929063966214865 900 23562635704878171504062709495 901 24547146947438129186671664263 902 25572240414377234695302988708 903 26639566463815104380369856525 904 27750841669038553986417136668 905 28907851439605955763913488667 906 30112452744821976090621916091 907 31366576943525713040601463036 908 32672232724288905708089734684 909 34031509160272773926765455470 910 35446578883157313140002744077 911 36919701380720490153891613413 912 38453226422822535464293451670 913 40049597620726772446788109201 914 41711356124879592084387468994 915 43441144466462005937241223674 916 45241710548230800628013629622 917 47115911790371747582687117982 918 49066719437308412549080314996 919 51097223031630249709642069913 920 53210635061541413922711616778 921 55410295788468760164721326930 922 57699678261723149099779265491 923 60082393527363381922308193350 924 62562196038686973566539099108 925 65142989276046714139750438816 926 67828831583987523872041884374 927 70623942233993853414179010442 928 73532707721455645202251594468 929 76559688305779201913815328180 930 79709624802910932638459618831 931 82987445639884556106117046559 932 86398274181369599408769877914 933 89947436338567737635241985582 934 93640468471198317521042430115 935 97483125593711167617767144028 936 101481389897289177673161240903 937 105641479599630039922628702798 938 109969858134952701544703848458 939 114473243697133390887079123105 940 119158619149366367616774103105 941 124033242314238682139450466351 942 129104656658635175264069950561 943 134380702388421502344492010006 944 139869527968419281854149121089 945 145579602083759226560439649548 946 151519726059306711531297903903 947 157699046754469187716331307529 948 164127069951348849107416043877 949 170813674254865322829738154287 950 177769125524175904760546595190 951 185004091855432077078613625034 952 192529659136666146476655630050 953 200357347196366605700139503600 954 208499126568112129553264027438 955 216967435894456398403882711509 956 225775199994127594710490931843 957 234935848617490475475759111427 958 244463335916155358837731949138 959 254372160653568763946795013203 960 264677387184426422815282970944 961 275394667231771028197651752305 962 286540262491717712499881037932 963 298131068096848400193595453031 964 310184636970476936211579466826 965 322719205105167182445473285537 966 335753717800133038287501758874 967 349307856893417822787327516173 968 363402069026089523904646473108 969 378057594977051582960043052180 970 393296500108507010533633877807 971 409141705963578433297091378206 972 425617023059131104330013406631 973 442747184918419817154909524512 974 460557883389839169783065336497 975 479075805299747641348165651291 976 498328670489116851693690782526 977 518345271285574082199476781506 978 539155513464318375097961788980 979 560790458753342131222368412872 980 583282368940443269180410349159 981 606664751641609373931192948500 982 630972407792559571969549609389 983 656241480927481576788263230602 984 682509508311367824040869970500 985 709815473994773005191597207674 986 738199863862355741747633665998 987 767704722749164372340609119868 988 798373713701353853539290579446 989 830252179460809878622191755074 990 863387206256083487065685871293 991 897827689985034382815313730682 992 933624404877723003535859078488 993 970830074731307142008548479203 994 1009499446812070956006994179337 995 1049689368523166821227911394525 996 1091458866940269396874499245665 997 1134869231321047946444641457574 998 1179984098698246612028478048186 999 1226869542670141494753169316292 1000 1275594165506310927499615516536