0 1 1 5 2 22 3 87 4 317 5 1053 6 3250 7 9343 8 25207 9 64167 10 155004 11 357009 12 787586 13 1670643 14 3419552 15 6774765 16 13027340 17 24372942 18 44462456 19 79240762 20 138204782 21 236258358 22 396409924 23 653639898 24 1060379169 25 1694174350 26 2668300758 27 4146300078 28 6361709115 29 9644583474 30 14456861538 31 21439125178 32 31471971903 33 45755970759 34 65915132560 35 94129925265 36 133307235808 37 187296244499 38 261161105608 39 361523517765 40 496990932624 41 678689169561 42 920921838760 43 1241983074527 44 1665154974928 45 2219926641909 46 2943478222128 47 3882480637251 48 5095270249313 49 6654467257384 50 8650117763054 51 11193451835292 52 14421364266117 53 18501740642748 54 23639769714266 55 30085403330968 56 38142148497743 57 48177401741532 58 60634565243420 59 76047216375492 60 95055638802210 61 118426063390628 62 147073012464216 63 182085190525188 64 224755420366212 65 276615184462797 66 339474399870960 67 415467129358403 68 507104014715886 69 617332308737649 70 749604483144740 71 907956499183815 72 1097096949083449 73 1322508408197039 74 1590562483314238 75 1908650200216197 76 2285329547408419 77 2730492180777567 78 3255551500554106 79 3873654534805941 80 4599920308271647 81 5451707638685874 82 6448915591079808 83 7614320130544926 84 8973950852584208 85 10557512033726522 86 12398852641377968 87 14536490366735190 88 17014195206735328 89 19881638615834022 90 23195114785588784 91 27018341184422506 92 31423346112389840 93 36491451690492846 94 42314361423112704 95 48995362239098274 96 56650651745236641 97 65410802308207695 98 75422374532401446 99 86849693713350909 100 99876803936219613 101 114709615647253263 102 131578263771143202 103 150739694769474525 104 172480502454455079 105 197120033877579237 106 225013788226275996 107 256557133371647043 108 292189366540588978 109 332398147523573561 110 377724334900873648 111 428767257961510935 112 486190459328758556 113 550727945778961584 114 623190987377271496 115 704475507838619272 116 795570111988199998 117 897564799325409792 118 1011660416024771364 119 1139178901218010944 120 1281574387132301201 121 1440445216590264324 122 1617546945550229894 123 1814806402758154824 124 2034336883241637563 125 2278454557277587344 126 2549696181658063154 127 2850838205537631628 128 3184917368924130911 129 3555252897944846433 130 3965470407439848400 131 4419527628173437191 132 4921742083075693008 133 5476820844396536917 134 6089892511541785272 135 6766541557629327699 136 7512845201526128304 137 8335412971265698119 138 9241429134378556824 139 10238698180754690689 140 11335693554280484928 141 12541609840609684107 142 13866418630127954800 143 15320928287407302333 144 16916847871315422337 145 18666855463396500506 146 20584671176276361406 147 22685135128613045466 148 24984290688623253381 149 27499473304409046006 150 30249405256304348938 151 33254296684196767598 152 36535953261381626047 153 40117890905907358434 154 44025457940707293180 155 48285965135013818862 156 52928824081758249074 157 57985694388800295442 158 63490640186055600296 159 69480296475820248006 160 75994045879987829652 161 83074206365334780951 162 90766230556783429376 163 99118917278451606121 164 108184635993543703454 165 118019564846637148611 166 128683943045862394436 167 140242338357764745573 168 152763930524475967977 169 166322811451107759533 170 180998303051223567534 171 196875293679738493911 172 214044594125867651139 173 232603314183673660965 174 252655260864595586442 175 274311359364949955039 176 297690097952035507647 177 322917997985014932852 178 350130110341459547264 179 379470539577187560108 180 411092997206088570976 181 445161385547859378500 182 481850413655280668128 183 521346246898685282652 184 563847191853924839872 185 609564418211268887196 186 658722719496604855264 187 711561314472875342340 188 768334691169245517664 189 829313495567855580396 190 894785467063553924736 191 965056422900534593844 192 1040451293881709723585 193 1121315213741732564009 194 1208014664673262228406 195 1300938681598115237523 196 1400500117880815468477 197 1507136975291510494545 198 1621313801138724583442 199 1743523155609732651883 200 1874287152477944935127 201 2014159076462342589939 202 2163725080654203654972 203 2323605967560848507301 204 2494459057455442481058 205 2676980147865749633679 206 2871905568183690583104 207 3080014333531334098353 208 3302130402178128560556 209 3539125040968457462178 210 3791919303388592185752 211 4061486625077503010886 212 4348855541767414752846 213 4655112534827128837530 214 4981405009774648324740 215 5328944413325193752406 216 5699009494746985874689 217 6092949717509837743562 218 6512188827431376478390 219 6958228583752228631058 220 7432652659805519381243 221 7937130720187162457982 222 8473422681582456148354 223 9043383164661040755022 224 9648966144717152781055 225 10292229809004901574283 226 10975341628999871080080 227 11700583656108264898413 228 12470358049643981172992 229 13287192846201957309927 230 14153747979873818247464 231 15072821563078807135377 232 16047356438120170612688 233 17080447009924103071173 234 18175346370776064526856 235 19335473728237243714771 236 20564422147803226293872 237 21865966622256992879409 238 23244072480070343624752 239 24702904145621147859111 240 26246834264419626357537 241 27880453206974588520988 242 29608578965381394654990 243 31436267457176767136904 244 33368823251482712019141 245 35411810732952081972480 246 37571065719533042622522 247 39852707550588217973236 248 42263151662437972103727 249 44809122668945425898040 250 47497667965324850609500 251 50336171873934289219656 252 53332370351409130160002 253 56494366277105131257872 254 59830645343448623702392 255 63350092569437520370296 256 67062009459200930525220 257 70976131828206817362417 258 75102648320407909166992 259 79452219640335130363775 260 84035998524886905007246 261 88865650480320909400677 262 93953375310734029575396 263 99311929465115487169587 264 104954649230879219390873 265 110895474802623673746043 266 117148975255732164404894 267 123730374455313835475673 268 130655577931896119276835 269 137941200756213329553915 270 145604596446394797629978 271 153663886941838669721977 272 162137993679066322702559 273 171046669805886208560966 274 180410533571257071931136 275 190251102929327745695658 276 200590831397246465872368 277 211453145207475661993502 278 222862481796520908662160 279 234844329673183926599442 280 247425269710681720809888 281 260633017908235854855138 282 274496469669030096296208 283 289045745642759898626510 284 304312239182356116414384 285 320328665465856603923130 286 337129112335825725695360 287 354749092910181884355510 288 373225600019789845655905 289 392597162529706437582995 290 412903903602538121013190 291 434187600963975445360665 292 456491749232215619554525 293 479861624374668766713315 294 504344350357069100943490 295 529988968051877632866345 296 556846506474671398731655 297 584970056419063925368785 298 614414846562596124237660 299 645238322117974306006455 300 677500226106016070946386 301 711262683328693654925045 302 746590287122741564681552 303 783550188976419152595387 304 822212191094192950909372 305 862648841996326181430948 306 904935535242637793129960 307 949150611372018666486388 308 995375463151672303924382 309 1043694644232479343231492 310 1094195981309373761145444 311 1146970689888161555334684 312 1202113493762814313812081 313 1259722748309928210993888 314 1319900567709758058458982 315 1382752956206013823627020 316 1448389943519448102437115 317 1516925724533165060167932 318 1588478803370549073050706 319 1663172141989742305972992 320 1741133313421699634848287 321 1822494659782014182314053 322 1907393455189942321896144 323 1995972073731360759203523 324 2088378162605765413692784 325 2184764820600869662145225 326 2285290782041883422608408 327 2390120606366151832858623 328 2499424873477508432572400 329 2613380385038449989651219 330 2732170371862074107429368 331 2855984707569633621629653 332 2985020128683559407815008 333 3119480461329882592935399 334 3259576854728154339339120 335 3405528021651213280031745 336 3557560486041493550185793 337 3715908837974997023852334 338 3880815996168578234518238 339 4052533478230806279359910 340 4231321678861381377835589 341 4417450156208891327473626 342 4611197926601601663724010 343 4812853767870979439910442 344 5022716531492761189462943 345 5241095463775587266034654 346 5468310536332544573352508 347 5704692786076384045311186 348 5950584664984715519561298 349 6206340399887127108755614 350 6472326362531936430091464 351 6748921450196153239584282 352 7036517477108224968177972 353 7335519576959244398239323 354 7646346616784530307400096 355 7969431622503843255099013 356 8305222216414978082521278 357 8654181066942077933955927 358 9016786350946750207190020 359 9393532228916928482068017 360 9784929333355424916030025 361 10191505270697250392259353 362 10613805137092053862863886 363 11052392048395443279225483 364 11507847684720507496400067 365 11980772849908556887882977 366 12471788046285949615322410 367 12981534065081865745658243 368 13510672592890042463050111 369 14059886834565785531166504 370 14629882152958034956312320 371 15221386725884881398203160 372 15835152220769714575262144 373 16471954487364130492408264 374 17132594268992841364372928 375 17817897932765115250590072 376 18528718219206732525212544 377 19265935011776077871457912 378 20030456126737800666478016 379 20823218123877467758478536 380 21645187138550812184034752 381 22497359735571543525043224 382 23380763785452242115692288 383 24296459363523604225343016 384 25245539672468250722705793 385 26229131988816451459406477 386 27248398633962464074485078 387 28304537970271732842437775 388 29398785422860953264995133 389 30532414527644974908747717 390 31706738006256701540578674 391 32923108868458547312686871 392 34182921542676633960585015 393 35487613035301759930333311 394 36838664119414251748808444 395 38237600553603113853410169 396 39685994331563439553770946 397 41185464963169825692027755 398 42737680787737561307743456 399 44344360320197628899681589 400 46007273630926080479830348 401 47728243759983122056785078 402 49509148166532274602747832 403 51351920214225269285471250 404 53258550693353895301586734 405 55231089380585842171025982 406 57271646637117680746703556 407 59382395046094500408789138 408 61565571090162380240553953 409 63823476870036811174153286 410 66158481864987420845766038 411 68573024736156874755449910 412 71069615173649653391921851 413 73650835788344526599346954 414 76319344049402981148203426 415 79077874268464596358378402 416 81929239631539423654117823 417 84876334279626800022091407 418 87922135439109730872146064 419 91069705602994005466007049 420 94322194764081576695175456 421 97682842701188437033793019 422 101154981319538273231453064 423 104742037046484573992149149 424 108447533283735617232403728 425 112275092917278866544811569 426 116228440886223780398214504 427 120311406811804872167839623 428 124527927687810074972814096 429 128882050633723052045697453 430 133377935711892072117656880 431 138019858810062429375148491 432 142812214590634150566412513 433 147759519508031886861438032 434 152866414895599457240871982 435 158137670123457482302353204 436 163578185828788945081757189 437 169192997220044327333244804 438 174987277456585218866582554 439 180966341105312972281536784 440 187135647675857099473040143 441 193500805235926667613506772 442 200067574108456975195743900 443 206841870652213260880081548 444 213829771127543144122994402 445 221037515648999904332927676 446 228471512226589599957226136 447 236138340897426397625948076 448 244044757949612350188498116 449 252197700240190218069080661 450 260604289609050797336249648 451 269271837390709586829360763 452 278207849025901522705209902 453 287420028774976918157658009 454 296916284535116696516861860 455 306704732763420483451251807 456 316793703507957156875823609 457 327191745548904027104638087 458 337907631651937963702254846 459 348950363936079484758975981 460 360329179358229108499685667 461 372053555316674121292846551 462 384133215375883370454658746 463 396578135114947729475762941 464 409398548102064538294713759 465 422604951997505576399971866 466 436208114787550013387230336 467 450219081151906284197352438 468 464649178967189986811046352 469 479510025949068682403555138 470 494813536435728924760407664 471 510571928315365940493995406 472 526797730100442157875909984 473 543503788151507222934269790 474 560703274053419281161333232 475 578409692146855124397526514 476 596636887218045340237558672 477 615399052349719837933756422 478 634710736936299096022420224 479 654586854866417164696439178 480 675042692875913896806491681 481 696093919074486056841335575 482 717756591649239904598445158 483 740047167748441550666332917 484 762982512548815872357723357 485 786579908509800042130767351 486 810857064818213794653480674 487 835832127026865423879740725 488 861523686890670197460639719 489 887950792403916382477657341 490 915132958042373434315022876 491 943090175213997089048993259 492 971842922922047160303233010 493 1001412178644495753246136049 494 1031819429433666413416966896 495 1063086683240108405076576543 496 1095236480464774905768701532 497 1128291905743639389039166680 498 1162276599968950889637478152 499 1197214772551396182870291488 500 1233131213927505206823102462 501 1270051308316705290315493704 502 1308001046732499966336646052 503 1347007040252319327277237176 504 1387096533550661061065036113 505 1428297418700214472821059324 506 1470638249245733992347212614 507 1514148254555503869657928848 508 1558857354455312017283267131 509 1604796174149928244756085928 510 1651996059437160496904221042 511 1700489092219642128375747636 512 1750308106319583772561536991 513 1801486703601804968323883625 514 1854059270410443444007815120 515 1908060994324823799193678911 516 1963527881240052322853006864 517 2020496772777990815581297277 518 2079005364034349596731979640 519 2139092221667728347632601963 520 2200796802336523123989280048 521 2264159471489708736634090527 522 2329221522517597805343732824 523 2396025196268771107584069097 524 2464613700939468429186907520 525 2535031232341824948626359683 526 2607322994557435308284634480 527 2681535220982825915829238533 528 2757715195773515735205426177 529 2835911275693446840175073922 530 2916172912376668373567204094 531 2998550675008261252272842802 532 3083096273431596042408498693 533 3169862581689122870254442238 534 3258903662004000094574872266 535 3350274789209977713435426726 536 3444032475637062176850491007 537 3540234496460601393611872794 538 3638939915521542320853867132 539 3740209111625728575804812406 540 3844103805330222076334097202 541 3950687086224750767229551978 542 4060023440716504089430891240 543 4172178780326618965981902894 544 4287220470506821779279519956 545 4405217359984816064960548575 546 4526239810647131517752345152 547 4650359727968277358859841121 548 4777650591995172223524068062 549 4908187488895953455654922795 550 5042047143082401115758981060 551 5179307949915346082499724221 552 5320050009002567430287308457 553 5464355158098821758386860997 554 5612307007617786405639981422 555 5763990975765839471424366591 556 5919494324307742353759628355 557 6078906194974435071245622237 558 6242317646523301033977648842 559 6409821692461406130774828775 560 6581513339442367084564091711 561 6757489626347655954928903452 562 6937849664063301516644818816 563 7122694675963103975131742532 564 7312128039109637175556688928 565 7506255326184472080751409548 566 7705184348159216917023805344 567 7909025197719132974532808788 568 8117890293451250684486948160 569 8331894424809078236481328020 570 8551154797866164731606408608 571 8775791081870951647260112972 572 9005925456615520305191011104 573 9241682660631019041140170116 574 9483190040222731961380206976 575 9730577599357931493658470108 576 9983978050419839487924278593 577 10243526865841206350163374897 578 10509362330631204692646145270 579 10781625595809523209522995787 580 11060460732761738031534146493 581 11346014788530232630453889913 582 11638437842055133527929341138 583 11937883061379927566599167875 584 12244506761836627420606234519 585 12558468465225555309011919435 586 12879930960005020627656927420 587 13209060362506375383031519245 588 13546026179190141995866883810 589 13891001369959121191929211015 590 14244162412544603414756190080 591 14605689367982025428442013305 592 14975765947192634631648024300 593 15354579578687947024552939530 594 15742321477414010863796536280 595 16139186714752716753492453790 596 16545374289697626360214999310 597 16961087201222026052474087970 598 17386532521857148659507471620 599 17821921472498746165318612110 600 18267469498460438612509987521 601 18723396346792509730765252610 602 19189926144885067939418507382 603 19667287480374742345632084762 604 20155713482374337283757980027 605 20655441904045125759768956118 606 21166715206531721993571371970 607 21689780644279736032884024758 608 22224890351756679263479585407 609 22772301431596858502287994067 610 23332276044191268352396759184 611 23905081498743766561733982309 612 24490990345815095382389786176 613 25090280471376593313509442383 614 25703235192395726251693582312 615 26330143353975854906236581225 616 26971299428072946488566300240 617 27627003613812233092279480797 618 28297561939428116970479238856 619 28983286365850924026043857147 620 29684494891964411388363977392 621 30401511661558242891248160873 622 31134667071999957723595017264 623 31884297884651272430287259823 624 32650747337053874930179058849 625 33434365256910191223172924100 626 34235508177884931115990234958 627 35054539457253548537379415968 628 35891829395424084977139874885 629 36747755357359201199430005064 630 37622701895925542790538095098 631 38517060877197929233472456428 632 39431231607746204199794222063 633 40365620963932936540776153264 634 41320643523250517190918729180 635 42296721697726556793664640400 636 43294285869426852469806918978 637 44313774528085559699000031144 638 45355634410892576924284669368 639 46420320644468526142854226080 640 47508296889058092566110940004 641 48620035484972870341438498041 642 49756017601315249482116759760 643 50916733387015271472277022007 644 52102682124212777658238231758 645 53314372384017575426597428749 646 54552322184680752463015820388 647 55817059152210679003149885771 648 57109120683467652091033439833 649 58429054111771554368578686419 650 59777416875057322997666177374 651 61154776686613451880413967297 652 62561711708439182561130350627 653 63998810727256475980778292723 654 65466673333213298781544904026 655 66965910101315204039637728833 656 68497142775622637311372832863 657 70061004456251854623973535022 658 71658139789217799703550238720 659 73289205159157753220167191042 660 74954868884975037321659902640 661 76655811418442534134291258278 662 78392725545806257410080184656 663 80166316592429702006673368778 664 81977302630520186579345783072 665 83826414689978900653720723482 666 85714396972416868318231754960 667 87642007068379547033427039958 668 89610016177823291689893850736 669 91619209333887430962652550034 670 93670385630006225399120272000 671 95764358450405504443561977630 672 97901955704029312937965323489 673 100084020061942436449440920539 674 102311409198255219255113709318 675 104584996034617638867503159697 676 106905668988330156807077487069 677 109274332224119426823019967307 678 111691905909627509131703842626 679 114159326474663812382452212481 680 116677546874269564178323496007 681 119247536855645195971898406249 682 121870283228991619231853941468 683 124546790142316966829969220831 684 127278079360260976842678367378 685 130065190546989805289295341357 686 132909181553214669956276191888 687 135811128707388349274700512835 688 138772127111134188445385896188 689 141793290938962899532476628812 690 144875753742333083293977460264 691 148020668758112047974712701836 692 151229209221494154378827652190 693 154502568683434577151752009676 694 157841961332657039564020256484 695 161248622322294753086410246164 696 164723808101224473909303358001 697 168268796750154276172247626840 698 171884888322526336267558249766 699 175573405190296724045981573844 700 179335692394654905321491305083 701 183173118001746375626065963668 702 187087073463462567945719279762 703 191078973983362907054291093800 704 195150258887794620296930574239 705 199302392002276659137232092877 706 203536862033214837719482014416 707 207855182955016053985122658683 708 212258894402670225772712772528 709 216749562069869348696267643761 710 221328778112733864693861184728 711 225998161559217319837857469335 712 230759358724261087559684816496 713 235614043630771738734967278699 714 240563918436494453362290947256 715 245610713866856689718365799357 716 250756189653857156150764633248 717 256002134981075967942362167647 718 261350368934882717219708983664 719 266802740961920037544583824329 720 272361131332941106898276794561 721 278027451613080403103594440214 722 283803645138637904608385999134 723 289691687500457816836457499774 724 295693587033983800279165969093 725 301811385316073581011740221794 726 308047157668656737658436707754 727 314403013669320380856017384418 728 320881097668908372265676923231 729 327483589316220670013452578198 730 334212704089900336392254851260 731 341070693837596701586981429466 732 348059847322494144385663635218 733 355182490777296927164237461622 734 362440988465761508182371005192 735 369837743251868749250739077634 736 377375197176729441432374993524 737 385055832043317585468122322339 738 392882170009126887379059394784 739 400856774186846963040855788029 740 408982249253156788760879618558 741 417261242065733987860147060287 742 425696442288579606287683546500 743 434290583025759103214072891913 744 443046441463661365686977419017 745 451966839521878649621579622321 746 461054644512811452970666716366 747 470312769810103440707604956211 748 479744175526012665592568403651 749 489351869197826463411062479641 750 499138906483428546810272010858 751 509108391866127977843799112203 752 519263479368860866209707223807 753 529607373277876817758905896784 754 540143328876023346506102576640 755 550874653185742662920008015152 756 561804705721896462053078402944 757 572936899254535556917700108432 758 584274700581732435779897754496 759 595821631312596066544909737456 760 607581268660589527510535743232 761 619557246247272311283225620976 762 631753254916590427952364217216 763 644173043559838724516940885136 764 656820419951421140424498542464 765 669699251595535933729335099696 766 682813466583914239178934990336 767 696167054464741658306536622928 768 709764067122893932722005445377 769 723608619671619115062323830293 770 737704891355800027870399967894 771 752057126466932188823574878151 772 766669635269953781619526183229 773 781546794942065665251786285165 774 796693050523680840763178460722 775 812112915881644233655152344239 776 827810974684865102352752761847 777 843791881392505848278224270167 778 860060362254872481574661621884 779 876621216327153488141547589473 780 893479316496155348805265494786 781 910639610520184479944007535075 782 928107122082226897131987321888 783 945886951856578449154114892157 784 963984278589080029488671806092 785 982404360191113745851004539806 786 1001152534847517616060531553784 787 1020234222138577960122713215210 788 1039654924176260274437197089774 789 1059420226754841004236657679686 790 1079535800516104275163497275716 791 1100007402129269304084378131274 792 1120840875485815883266606241185 793 1142042152909377020673724047614 794 1163617256380869522826988345686 795 1185572298779035025199920527038 796 1207913485136565708917146486587 797 1230647113911990691388700837090 798 1253779578277500842884842760162 799 1277317367422891560713767489418 800 1301267067875804828069161418047 801 1325635364838453695532972364119 802 1350429043541014150120616652432 803 1375654990611871179404866064001 804 1401320195464907697126250268768 805 1427431751704026871552772955619 806 1453996858545100289171421988424 807 1481022822255536293836150082293 808 1508517057611664765749041159056 809 1536487089374136545368078436553 810 1564940553781537665009630510632 811 1593885200062420525298256529711 812 1623328891965956145210166246736 813 1653279609311413623008346367845 814 1683745449556674971382604420400 815 1714734629385995533332212401491 816 1746255486317222246274266465889 817 1778316480328684100269817967992 818 1810926195505971232650397511790 819 1844093341708821215439063262668 820 1877826756258333224317021080453 821 1912135405644732928225347754572 822 1947028387255913107542235423194 823 1982514931126977195872408302472 824 2018604401711015146364274889935 825 2055306299671343247861632949708 826 2092630263695441759644201898780 827 2130586072330826495741332287828 828 2169183645843092771366356134562 829 2208433048096372424638297351892 830 2248344488456446946990167249624 831 2288928323716762095228552461652 832 2330195060047591717671490182148 833 2372155354968600905867100850653 834 2414820019345060982654691992176 835 2458200019407971256486032503731 836 2502306478798344911554687327342 837 2547150680635918863095197742529 838 2592744069612549887795870559012 839 2639098254110561840325058671351 840 2686225008346311289092402181817 841 2734136274539241447256104334943 842 2782844165106696839243347628990 843 2832360964884773728372389069909 844 2882699133375483938157232257571 845 2933871307020512328234493538895 846 2985890301501850836189831116282 847 3038769114069594668569916883781 848 3092520925897188918665356892447 849 3147159104464416604928358149250 850 3202697205968421862773571701120 851 3259148977763064783685922740686 852 3316528360826907179659996013712 853 3374849492260131357702475541322 854 3434126707810696819084362069552 855 3494374544430042650910224921286 856 3555607742858646254027234723040 857 3617841250241751951000438863382 858 3681090222775585941489892623792 859 3745370028384377019549297814650 860 3810696249428505438789641936976 861 3877084685444105306680538494302 862 3944551355914448909169197454336 863 4013112503073444410943915967602 864 4082784594741581445736103689633 865 4153584327194662204699931937503 866 4225528628065658749820072617894 867 4298634659280040423129461916653 868 4372919820024918391966893521885 869 4448401749752357565218346782175 870 4525098331217209336170589010338 871 4603027693549821853906554040717 872 4682208215363987797801735365799 873 4762658527900492928281029361941 874 4844397518206632012286745391516 875 4927444332352062073528481665683 876 5011818378681366296263088391218 877 5097539331103705316721473378217 878 5184627132419936069095757100080 879 5273101997687581812854502797607 880 5362984417624040455811045134748 881 5454295162048421802455383039488 882 5547055283362407900327744893768 883 5641286120070534228282581446840 884 5737009300340293070128047710654 885 5834246745602464044944466161040 886 5933020674192080422157110150180 887 6033353605030443534776076172080 888 6135268361348601318898992456465 889 6238788074452710751208629603060 890 6343936187531707729575935249670 891 6450736459507711744602943336920 892 6559212968929596522807080262075 893 6669390117910161684757522979520 894 6781292636107344354632040872370 895 6894945584749913580963595434460 896 7010374360708094382605535013215 897 7127604700609572218752350760305 898 7246662685001332698034422780880 899 7367574742557795388845290692215 900 7490367654335704671992652248656 901 7615068558076244687070217852325 902 7741704952554849566469966611512 903 7870304701979184325269251731587 904 8000896040435775982187186650032 905 8133507576385778725981140483063 906 8268168297210361213908979008280 907 8404907573806208393782495695953 908 8543755165231634579553849956032 909 8684741223403808881871531430267 910 8827896297847598500496572090224 911 8973251340496539824440413394509 912 9120837710546451759063827125121 913 9270687179362210206713698726378 914 9422831935438207169671955508542 915 9577304589413022520795618325130 916 9734138179138841099149382776965 917 9893366174806152434714543398662 918 10055022484124275088820877280906 919 10219141457558252314828553659102 920 10385757893622670497715729654847 921 10554907044232956621136396852818 922 10726624620114715837142879532284 923 10900946796271675076645280012798 924 11077910217512803538756909040114 925 11257552004039185833972327526850 926 11439909757091228530604195034408 927 11625021564656785865583450809238 928 11812926007240795430575969676820 929 12003662163697019731899345582759 930 12197269617122494648917819577728 931 12393788460815290979957931665753 932 12593259304296200468314812108318 933 12795723279394962943110129368979 934 13001222046401656491620814396740 935 13209797800283877900718468579605 936 13421493276970345966256777483113 937 13636351759701565670108579102429 938 13854417085448196666110306237998 939 14075733651397774997904130772775 940 14300346421510442494613052183619 941 14528300933144343853920741356181 942 14759643303751357027502926080010 943 14994420237643828170344295428847 944 15232679032832988104332229906623 945 15474467587939732977114308949444 946 15719834409178457570609648304768 947 15968828617414635529237267713756 948 16221499955296846636948290995168 949 16477898794463957173979745971924 950 16738076142828165329977924114784 951 17002083651934629639219812635212 952 17269973624398404437195393136832 953 17541799021419412415247015831948 954 17817613470376190472409527945056 955 18097471272499151230495938689428 956 18381427410624108790954810305248 957 18669537557026823569520931409692 958 18961858081339327348328621243520 959 19258446058548796034385013666692 960 19559359277079744009259190170305 961 19864656246960320396953881060153 962 20174396208073494066351990185526 963 20488639138493920720786158040323 964 20807445762911292011340412140477 965 21130877561140973241868376843937 966 21458996776722742913589123422610 967 21791866425608454084903126496923 968 22129550304939444298955898215511 969 22472113001914527656863063544739 970 22819619902749409489609259742780 971 23172137201728371005835483748725 972 23529731910349078267259162995234 973 23892471866561376867713204922239 974 24260425744100940766981033417408 975 24633663061918650856122683909697 976 25012254193706586008081554867244 977 25396270377521516595404611846002 978 25785783725506797737162621926936 979 26180867233713566868987138945526 980 26581594792022157614822343155662 981 26988041194164649375881703132074 982 27400282147849479542689673961348 983 27818394284989052779330029954246 984 28242455172031289426415928131713 985 28672543320396062720188575375162 986 29108738197017482230855691577398 987 29551120234992988683137290094370 988 29999770844340233137322241461243 989 30454772422862721379287469243182 990 30916208367125212294233450327554 991 31384163083539866980671025674526 992 31858721999564153399809987631615 993 32339971575011519450268704369691 994 32827999313475855510314455175824 995 33322893773870775698968583356509 996 33824744582084755374651034333056 997 34333642442753170714900818779575 998 34849679151148294604488377374376 999 35372947605188311501231180106049 1000 35903541817566422450445122831568