1 1 2 3 3 4 4 8 5 11 6 20 7 27 8 45 9 61 10 95 11 128 12 193 13 257 14 374 15 497 16 703 17 927 18 1287 19 1683 20 2297 21 2987 22 4013 23 5186 24 6887 25 8843 26 11614 27 14836 28 19294 29 24514 30 31622 31 39968 32 51167 33 64377 34 81839 35 102509 36 129528 37 161539 38 202959 39 252124 40 315110 41 389949 42 485062 43 598071 44 740642 45 910097 46 1122352 47 1374629 48 1688743 49 2061833 50 2523814 51 3072296 52 3747849 53 4549371 54 5532025 55 6696798 56 8118654 57 9802581 58 11849693 59 14271816 60 17205515 61 20672686 62 24857677 63 29798464 64 35742453 65 42752124 66 51159690 67 61062748 68 72907035 69 86842061 70 103463372 71 122995828 72 146235036 73 173511321 74 205886559 75 243841437 76 288788416 77 341419709 78 403613303 79 476352895 80 562132765 81 662341586 82 780283243 83 917904973 84 1079579655 85 1268013847 86 1488988708 87 1746247991 88 2047417204 89 2397648200 90 2806989936 91 3282488086 92 3837369142 93 4481230514 94 5231446434 95 6101037973 96 7112803344 97 8284324496 98 9645479979 99 11219931883 100 13046768136 101 15157726814 102 17603885552 103 20427654713 104 23695694840 105 27464515067 106 31820971066 107 36840143966 108 42635068362 109 49305189075 110 56997424563 111 65843160157 112 76033064824 113 87740291527 114 101211989790 115 116675754613 116 134451544000 117 154837843899 118 178248277784 119 205073442792 120 235847401366 121 271080108280 122 311460281006 123 357652369130 124 410543324376 125 470997182768 126 540154821218 127 619137527722 128 709411018671 129 812427765461 130 930068379999 131 1064210959955 132 1217265614165 133 1391656352047 134 1590468203845 135 1816824537835 136 2074669421799 137 2368020738436 138 2701914993292 139 3081512201966 140 3513236482370 141 4003704408029 142 4561100296784 143 5193895577956 144 5912505373811 145 6727759469251 146 7652897030304 147 8701742901038 148 9891106872517 149 11238612322014 150 12765579451261 151 14494442349321 152 16452212598850 153 18667410017013 154 21174219457623 155 24008849783963 156 27214518475389 157 30837136466328 158 34931283382652 159 39555098996006 160 44777439813006 161 50671841166383 162 57325082429213 163 64830057885314 164 73296024438131 165 82840193580904 166 93599982812094 167 105723115329021 168 119382257283774 169 134763372925516 170 152083206970938 171 171575604067438 172 193512375273685 173 218187252217327 174 245940778315251 175 277141510561033 176 312215703298275 177 351625313543698 178 395903379324302 179 445628328177511 180 501466120914596 181 564140280190467 182 634482080615341 183 713395632782891 184 801917625345482 185 901176720682742 186 1012464635254142 187 1137188987301533 188 1276957847958206 189 1433525069378917 190 1608890815239416 191 1805238291197234 192 2025053228819296 193 2271050785157212 194 2546317525377170 195 2854227112338701 196 3198608960745442 197 3583651204933678 198 4014100969541821 199 4495152908415974 200 5032686978463918 201 5633140668964401 202 6303791212078890 203 7052609477024192 204 7888594829837120 205 8821608447203605 206 9862770592259887 207 11024270929670039 208 12319839726785018 209 13764532639615201 210 15375289468998176 211 17170690694758746 212 19171619980617323 213 21400989638592865 214 23884525976752520 215 26650460904599179 216 29730462729422608 217 33159291077663075 218 36975899980315383 219 41223053443088533 220 45948632482680787 221 51205209082066060 222 57051594658440636 223 63552370540631597 224 70779722342491225 225 78812925878437285 226 87740519929943910 227 97659747766369269 228 108679130429764870 229 120917865436167881 230 134508874261070038 231 149598161923437598 232 166348425662450498 233 184938382126684344 234 205567040199210402 235 228453006037496581 236 253839542102937632 237 281993865165465216 238 313213135689449199 239 347823770440147085 240 386188532818642315 241 428705889436636101 242 475818403568723080 243 528012175262194934 244 585826776731436569 245 649854828796613404 246 720753760830119743 247 799245592099444226 248 886130851067777286 249 982288650479566591 250 1088693161603670173 251 1206414097620031239 252 1336636210861589300 253 1480660329851976410 254 1639926433870922305 255 1816015427805479218 256 2010676449074683487 257 2225829613003086342 258 2463598327035131300 259 2726313297524039795 260 3016550768691112172 261 3337138154120154086 262 3691199284654837611 263 4082162117457487889 264 4513812275241794661 265 4990303393121448608 266 5516220466934468372 267 6096593530398067286 268 6736972606038382500 269 7443445567488789651 270 8222726813953428389 271 9082180366936665566 272 10029924777510265975 273 11074862744561423988 274 12226805219716406489 275 13496509124050715237 276 14895824155796903588 277 16437740529356056644 278 18136562631119434852 279 20007969126286193340 280 22069218359817994525 281 24339223687812864958 282 26838796411134041055 283 29590739799172882707 284 32620136397869148883 285 35954464952847089502 286 39623940172122504329 287 43661657647779077412 288 48103995619470518596 289 52990794058779212429 290 58365829713288295297 291 64277036800592122671 292 70777068650368632247 293 77923568997628234137 294 85779835949477035168 295 94415154705907544344 296 103905582424863277723 297 114334355405942061775 298 125792816774199744036 299 138380913807519464533 300 152208294313044472006 301 167394912927544801802 302 184072326728062992457 303 202384433102361029572 304 222489000622676956030 305 244558565586551635823 306 268782240658821382490 307 295366802535050064736 308 324538828496510375934 309 356546014035666133718 310 391659696449011367117 311 430176448878764824929 312 472421060657492342600 313 518748463256989711045 314 569547249579585364014 315 625241998064239776859 316 686297427786592850269 317 753221199770090106157 318 826568822037143170387 319 906947022339337896072 320 995019537652633616754 321 1091511170558482428515 322 1197214621583129528695 323 1312995362849427625218 324 1439799699802510907195 325 1578660621063273421881 326 1730707309197820949900 327 1897172155714679250032 328 2079401979420914909870 329 2278866431063044998992 330 2497171223548233730092 331 2736068192752459537386 332 2997470897657697589144 333 3283466653588127380454 334 3596334923425430222156 335 3938561698361761102584 336 4312861175521362901715 337 4722192930753191524586 338 5169787465114717783341 339 5659166696269429598584 340 6194174058490494734986 341 6778998936110371736408 342 7418212121706105939525 343 8116794929252251128703 344 8880180956009702493407 345 9714290747766022571396 346 10625580975081251227707 347 11621085681864020380608 348 12708474180361438344261 349 13896100101357886763162 350 15193069539513776971348 351 16609299343813608444602 352 18155597311056290785557 353 19843731414616806468024 354 21686524155938887761140 355 23697934734759309139333 356 25893170034134766388432 357 28288782094190590345330 358 30902798634342718607466 359 33754838614669585853457 360 36866265700446764294832 361 40260325190961308547147 362 43962324418643215867654 363 47999794907571225621105 364 52402704386445376090499 365 57203648723033959581662 366 62438101034193728607711 367 68144638745029835493427 368 74365236219782654779252 369 81145533236210724729331 370 88535178660858738816424 371 96588147733812448410456 372 105363145597809258442159 373 114923982083156861341827 374 125340045403456608577841 375 136686744647926032439843 376 149046065712789199879787 377 162507093486132731699237 378 177166664136101139535751 379 193129981054919404337144 380 210511380022051110723769 381 229435055411012335030303 382 250035957543985677962445 383 272460648517157919854198 384 296868354330302678582401 385 323431973022132341599950 386 352339307971502233643930 387 383794254935516626392406 388 418018247367257001981414 389 455251653510332445738842 390 495755469767184754502334 391 539812964332857237138275 392 587731660699719710528602 393 639845270539266541033122 394 696516016483626113159160 395 758136904235626426924172 396 825134441990491343133713 397 897971310242256622896288 398 977149544791577902493153 399 1063213672623126208030932 400 1156754436607380032404446 401 1258412477382140382845962 402 1368882690856854301972454 403 1488918549510811693931514 404 1619337198946814956968087 405 1761024527735862870374810 406 1914941126887284045769084 407 2082128235690383206797617 408 2263714708475224522877956 409 2460923985247546945835420 410 2675082233974914436628971 411 2907626519677526156327279 412 3160114318226506747631211 413 3434233086511639924943186 414 3731811376012615595589210 415 4054830040374705088564043 416 4405435214536940174401557 417 4785951435280745222133728 418 5198896795309827677477882 419 5646998297986214459278224 420 6133209546435134556742166 421 6660728706776394229473124 422 7233019151204168315919517 423 7853830465760962873469120 424 8527222534720681328129685 425 9257590100724446184298535 426 10049690857195987153515547 427 10908674152063553953523080 428 11840113747113175352675591 429 12850041353424386182464731 430 13944984823541487746462067 431 15132007319305439607074556 432 16418751826849770629931860 433 17813486888200112284356375 434 19325158473094355445971203 435 20963443357434573248513475 436 22738809552920205592946486 437 24662578591507951901911547 438 26746995907469027757451512 439 29005303491285631093333975 440 31451821843191620532679039 441 34102034696875429281394008 442 36972684423671268220768562 443 40081870801198154564619287 444 43449162048743615626490840 445 47095709934485067971543602 446 51044378971713292769982431 447 55319880527443296239277394 448 59948923113408655225675472 449 64960368586614043369720062 450 70385406937123221641788888 451 76257738166585761647211195 452 82613775516683297186907812 453 89492857185478085261779456 454 96937482567427317884243366 455 104993558631764753744360267 456 113710674470494049516836426 457 123142387931997946855698724 458 133346544612641810188739940 459 144385611228685472588738536 460 156327046157642675449494930 461 169243687061096941239720159 462 183214181204084522316553427 463 198323436032177192848667374 464 214663118794269883241899193 465 232332180154236513125389299 466 251437434141523637992971664 467 272094166469529209536444571 468 294426807570404628839459904 469 318569639132105933505831912 470 344667574974544638504748816 471 372876981443170515025256021 472 403366583194221643345468876 473 436318415538619489295061647 474 471928874871995910222112874 475 510409823899120006406759791 476 551989809524190854169774858 477 596915345161210050586688336 478 645452322454468711243495731 479 697887498661206395191681355 480 754530132673591952910370680 481 815713709823679652346145116 482 881797837409598894292511745 483 953170244307952158654505606 484 1030248976663910125798492637 485 1113484715504771434846595474 486 1203363319546183600781736155 487 1300408510699795184654873334 488 1405184818202243017421614422 489 1518300689634568442277893016 490 1640411898942071382215005923 491 1772225149488402666435657426 492 1914502018169854182007245975 493 2068063127290774073025170939 494 2233792708077072987891868683 495 2412643429986549829589242641 496 2605641679713476037688587990 497 2813893150172612854308214328 498 3038588945812720538888094543 499 3281012049206317339048038129 500 3542544380445254478759676811 501 3824674277339692883997470093 502 4129004656186726034309201618 503 4457261662387466087266090538 504 4811304102342845685185842538 505 5193133445245368411496747200 506 5604904721703738528537869336 507 6048938085024560252399891228 508 6527731401902879298850809203 509 7043973613216607640532460686 510 7600559276321378783481138713 511 8200604001853305021768856269 512 8847461246496371343215653622 513 9544740144234831816894164735 514 10296324893679231526153952207 515 11106395350439349921698900506 516 11979449405072030596767618612 517 12920326758688580734202052313 518 13934234747322155574565409877 519 15026775786605804926239339529 520 16203977166992840416001891869 521 17472322726564413667952760348 522 18838787220383964636992064723 523 20310872864615053762439265617 524 21896648973851910432264462173 525 23604794116352120285350910543 526 25444641817178449433080589823 527 27426229175312269109040590721 528 29560349549836310446198780028 529 31858608617094540394091741214 530 34333485094195164510685344422 531 36998395360627341301793130702 532 39867763430647945215764386790 533 42957095431608790632166157579 534 46283060217262177117379337228 535 49863575187645034323797695130 536 53717899142375110395092154455 537 57866731147886823275478587251 538 62332317467255908146063633517 539 67138565434010462995544777637 540 72311166567337432335947703559 541 77877727702318272394378441146 542 83867912711590218695114991744 543 90313593475074443211234188225 544 97249012987066817932000967356 545 104710959130505120452505141919 546 112738952358654770371642933011 547 121375445676750066717610976754 548 130666040557470395884493532017 549 140659717034447220968856001804 550 151409082049222448780277596284 551 162970634135845370463850176396 552 175405049013825574956001200628 553 188777484001370478478499091659 554 203157906375250608236374708725 555 218621443404165594471322042398 556 235248759805289025072681433868 557 253126460152521596072723862177 558 272347522685462519969954518699 559 293011761835581102141053536781 560 315226326703238089252060272825 561 339106232575971695918215884082 562 364774933602102477049990331036 563 392364933469806343880049943606 564 422018443193624946116502484845 565 453888082604088690601725810757 566 488137635751046223212131820969 567 524942856547897422152965448152 568 564492336111485521908847076758 569 606988427842839709198927283682 570 652648243099881843412341502050 571 701704713212561629446818474379 572 754407732258812878109842583970 573 811025376045556604778673572215 574 871845213472384187695410862856 575 937175705406103438441492435216 576 1007347709218628615252549266322 577 1082716083792849789537334940942 578 1163661415366001056510311420509 579 1250591858687123248231537115564 580 1343945116347248851003497411443 581 1444190550430246144812051779849 582 1551831452137715060722670219651 583 1667407463211483294354332778002 584 1791497177945284471482943004264 585 1924720919295144000764386983604 586 2067743721404128999355847292916 587 2221278511754864981015545555228 588 2386089529223177000520924198666 589 2562995970977254530940753620726 590 2752875908940721575573314785398 591 2956670468533331342038552984275 592 3175388315400395414685265933521 593 3410110442665858685435890600928 594 3661995310028470322334170754521 595 3932284327125305456022283141128 596 4222307738782432065582645988781 597 4533490904553947454638709231459 598 4867361037247450582861009601410 599 5225554392924993439921315934405 600 5609823985030430086152464758887 601 6022047815358445332348450121462 602 6464237703452364234940715016317 603 6938548707543315119976448327665 604 7447289228659704302376150534370 605 7992931791626453312716803418525 606 8578124605868137174948341587997 607 9205703900597300975061936510692 608 9878707149985500196891596976676 609 10600387184068390244531881559271 610 11374227315238344644153360938227 611 12203957477616658576316560385229 612 13093571525183418854723416429864 613 14047345687941565801362070107289 614 15069858350007258528320259191579 615 16166011151416568823436388781226 616 17341051597792522215123790616912 617 18600597182804494706096056239541 618 19950661230333391680859163660957 619 21397680465160822766986332090707 620 22948544544697375799187678857834 621 24610627565333132318125359096734 622 26391821804713770863279333994669 623 28300573719325193678939143427344 624 30345922491063646000302603737288 625 32537541149189900930748646021425 626 34885780597752472478684645864940 627 37401716583319438550296547347689 628 40097199974051642569040684709716 629 42984910395065601137949771062087 630 46078413637175522325153758917413 631 49392222896019233582418815217726 632 52941864310463562633395752003035 633 56743946871621308847303306260233 634 60816237229652292174932563395910 635 65177739486651488717826875456760 636 69848780568356597238862480910270 637 74851101283021767326964862404528 638 80207953733947053779527719916372 639 85944205217621072527802336381475 640 92086449356950627102114096730689 641 98663124629281009497824844155979 642 105704641132051264613171161401909 643 113243515778323149148282627787407 644 121314516870090416010246968696676 645 129954818279681281099577062083172 646 139204164305384888948308596153753 647 149105045476089057169798200090713 648 159702886504101448877238577273279 649 171046246712803875574162326947298 650 183187034288034442829057924267676 651 196180734740229747473082300805051 652 210086655094724706393963037070159 653 224968184267441736782784994815959 654 240893071333013758820037128059050 655 257933722224073987617232924608952 656 276167516782209793215163418599505 657 295677146793815379992279333418191 658 316550977171596802900134199331115 659 338883431024409255454918633220231 660 362775401046615283064463190165343 661 388334688096253069713173512815293 662 415676469697618741904365974370327 663 444923799483861943031084867160234 664 476208140657874584779656029651823 665 509669934655979969100959175825793 666 545459208478459015045806422858090 667 583736222066232902602856082190438 668 624672159622004655046455453255693 669 668449866479667194524071792075525 670 715264635909167460262916531777888 671 765325047719099911185249722209276 672 818853863594610079961323197478813 673 876088981330227810665081749476290 674 937284453514856347479029529055807 675 1002711573170350056596079134110800 676 1072660032598533861522856533342219 677 1147439158330739889839907064917311 678 1227379229220149190714201826689724 679 1312832881021730180475031575920587 680 1404176605384368876186096814091803 681 1501812347117016194327388435358609 682 1606169208649084930741298912209766 683 1717705266139652029508145593544028 684 1836909507276693126390287673700111 685 1964303895899998589590263499286356 686 2100445574751141703314975279080259 687 2245929212261731588920896144262380 688 2401389506104394255485808083349358 689 2567503850307569589961791307805716 690 2744995180258586121001156874050210 691 2934635003413886483380376575375034 692 3137246631842364183779970825749042 693 3353708625584183412853129565194864 694 3584958464979389452814027713061557 695 3831996462278086460467044200882064 696 4095889932970241599708285808117465 697 4377777638665123391189194132418700 698 4678874524529734070186025998871419 699 5000476764849308893847967194868338 700 5343967142614274632373725062618906 701 5710820778674143634254345098422658 702 6102611239622224739790656981368646 703 6521017042206829850784489846216145 704 6967828587102639950375476277565790 705 7444955542408847701174361708541698 706 7954434713839403519900365743450619 707 8498438424901657986676033740820808 708 9079283448680327200780298621375120 709 9699440517860215338816808061050747 710 10361544459841491346308418098485824 711 11068404987380764630274544082149734 712 11823018197507417013055112066422059 713 12628578813473440341131088475656889 714 13488493229123413486535256701583688 715 14406393395363864471278160547697169 716 15386151615590426235126638020546694 717 16431896295349166394887419248218139 718 17548028721501599934932254764372350 719 18739240922533747432364429434681235 720 20010534694746996719594094442192165 721 21367241853204599184239181330894166 722 22815045802829506120989274618098678 723 24360004496746441709557963361093302 724 26008574889260671344643272686684178 725 27767638959902346666640347455339835 726 29644531429432167932107930923756170 727 31647069254838642136610442836304756 728 33783583039421140915365152740117713 729 36062950457023717836823693476967632 730 38494631843619713191755972456201596 731 41088708068969812759161918899944700 732 43855920860805397890847967324040556 733 46807715709754998578193772944259114 734 49956287549131832075996816799293455 735 53314629355375064043900074029601218 736 56896583887645013579191319194182638 737 60716898732293074547094893555061431 738 64791284898144207553278039683314531 739 69136479150903240856868260207978122 740 73770310363497353331015775233128265 741 78711770096267693399197617552196115 742 83981087718562807440879662346089189 743 89599810314653693653172817892872890 744 95590887724611393927361336389492927 745 101978762995923531110309510141557303 746 108789468640468879599835835349371550 747 116050729009834394434267824717914310 748 123792069233071115488816664143227493 749 132044931071998863595640411902505306 750 140842796193817350578934685724212424 751 150221317263815115409507272782816993 752 160218457420548526738426855631255867 753 170874638590239926974709657457079265 754 182232899273199973786548171164894010 755 194339062320069179393842043072418441 756 207241913409906465825503846365246748 757 220993390816969517508453601438717216 758 235648787267319325603965096580924444 759 251266964550179446431177556782882509 760 267910581785395490865437136255895873 761 285646338100210315594357035663734077 762 304545230729400251114374147218247661 763 324682829391782818635943854520981623 764 346139568083875926090939688950761587 765 369001055256500888275640975921034872 766 393358403657617711360845070871667669 767 419308580934617491719889393193217197 768 446954782439595751429956741987230955 769 476406827474788516665740420386423277 770 507781580601850805263902145150801014 771 541203399414750917451049199152818218 772 576804610602499802582687226249124479 773 614726015885091074902486977186040860 774 655117429876560346135411201950887860 775 698138251665826999149389900019114070 776 743958072425171963860811724021204692 777 792757321070998258085332382902673313 778 844727950574415056336862409527944739 779 900074167210360102906715120250803046 780 959013205666145093828797945307752947 781 1021776152596104018315327614398602745 782 1088608821906623568372547414254420166 783 1159772684694387488847418044075970121 784 1235545857530490993978045941372271599 785 1316224152392421117957645489904430934 786 1402122192395453930044818796091439553 787 1493574597053067924584982124241093163 788 1590937241733549004071563955447374297 789 1694588595524532708145898260696998000 790 1804931142751983918191870624640271789 791 1922392892908911750350190949256491206 792 2047428984891166396192269172058498513 793 2180523390908288929622178259285799290 794 2322190726697904332602036022511420040 795 2472978174102096262741022667680359222 796 2633467523455538824352616250871352832 797 2804277342621833396719718987599051622 798 2986065281050295509563708837444634387 799 3179530516566145731932844822198418226 800 3385416354302390760089361776665013725 801 3604512986473659477657280981976398776 802 3837660423563785347983209997319101584 803 4085751606739343804069312995332919640 804 4349735713367485107709055949342056493 805 4630621666702381665409087282959547903 806 4929481863085694187063668473071493754 807 5247456129135098830609226020783787926 808 5585755923913447944672493531994838940 809 5945668800139535013637261118917815252 810 6328563141282272093178688522510411086 811 6735893190385383668428235612234200562 812 7169204389540350580626627069149136645 813 7630139047864745269384681857443612310 814 8120442359233907789087551254750442259 815 8641968789884771497503304421900992416 816 9196688859755231021458959322726538448 817 9786696340222279899944448259528064325 818 10414215895037654161277106026161284749 819 11081611189986304270968639033040730675 820 11791393501360533045564640099933615892 821 12546230851994084684620809071675934615 822 13348957708645423724399653500065480629 823 14202585273094291364203907959877001506 824 15110312404888266779817605087521985679 825 16075537212173392385576944706771256080 826 17101869353198827321127526241547095413 827 18193143089505062136614413262673219186 828 19353431138605877593905212670870268445 829 20587059372316616912904585236886343819 830 21898622414394747528652731296307685691 831 23293000189425475900448764118588922130 832 24775375483186587262106669892048601618 833 26351252572920662637471198825477889182 834 28026476995115488382810535477547062111 835 29807256516518884937603333176491424556 836 31700183384250219603132097135726453217 837 33712257928933668802319805017508085967 838 35850913605979649193112660502251635279 839 38124043558149021127483177049292926695 840 40540028794914153518237011113026865904 841 43107768082094900148217463929139224362 842 45836709648930015622905822691817013186 843 48736884817677486151212553395142905258 844 51818943675960923554049771764283974399 845 55094192909997606725410203557705449257 846 58574635933561603889428969755431762586 847 62273015445459677107772767792028342360 848 66202858566779047778864336018999041390 849 70378524707121011554408884666566721477 850 74815256329466786020984044418931066972 851 79529232781337515132191406503587849925 852 84537627382501351058513193969337322065 853 89858667957592689794783439128152048335 854 95511701026988084530751171017630845147 855 101517259867535038414767148951053921246 856 107897136682352297580957947194773457142 857 114674459117362351544539955274787527503 858 121873771392764098717888910419234913682 859 129521120316346197943830637838868279714 860 137644146479325866640291297662606589575 861 146272180934411541783249854633501514276 862 155436347693154784674868382163123142157 863 165169672379074272378310485315277902782 864 175507197414367360458707345649909815459 865 186486104117942541347169810415753616063 866 198145842138228644075343403328051628663 867 210528266644747262032696775982630486286 868 223677783753017223991015009985420800228 869 237641504658633901205622313934584665881 870 252469409012328893552397973795767053134 871 268214518069984157497044396511241131226 872 284933078213494615703739877882857628978 873 302684755441611120127713419577656214598 874 321532841498411945052265103148552391567 875 341544472311559737970698649368348908496 876 362790859488321655499384446694293780440 877 385347535623342225076562933565205945014 878 409294614256068511651715989610343296699 879 434717065323508899042905719909265576194 880 461705007046875726694970997614233369715 881 490354015200519951887813962717077577563 882 520765450814357635371016380291041763012 883 553046807373273204923800379841523395124 884 587312078690766984324941171439391208381 885 623682148649228631658002730393782316424 886 662285204125175555056003908414789729342 887 703257172436197808573857053055247308636 888 746742184785795668238515397674707053064 889 792893067204511201433857283633828537814 890 841871860640141890638033813206242245090 891 893850371876450263366425393628836339062 892 949010757130724982323065480364898846818 893 1007546140212266971423036292604853821064 894 1069661267313158270905475665322748542360 895 1135573200540257337125087653223579358842 896 1205512052506973372557242250557092800387 897 1279721764347708298412001533216879529911 898 1358460929749986228994370537518285834750 899 1442003667651378612639366745849976539143 900 1530640546505423473617694192461292135305 901 1624679563081715656260428641283621457236 902 1724447179050096046082308056263094601408 903 1830289418670027203744049590001082237138 904 1942573031221650615025750342820972359344 905 2061686721897824477571145354588057539153 906 2188042455225827552275265246489209721032 907 2322076835183520140478172263134720602112 908 2464252566561802768807238532894040923218 909 2615060002236496910336075540357858592967 910 2775018781441570086410134765336610907067 911 2944679564264212427279623637041724411685 912 3124625868057349286104407161635528088488 913 3315476011613460255792714329070044989214 914 3517885173469957117081022915529480262013 915 3732547570887071947386623421949685524261 916 3960198766622466850912323764784372920379 917 4201618110822951055377860391067474297947 918 4457631326000011017927298116499560304823 919 4729113243280965905344096698437654030636 920 5016990698843796791288861451124508072310 921 5322245599701636881939061118606563964136 922 5645918168796667224133512502001377078999 923 5989110379658330918964473388652844728240 924 6352989591760492892348527613923002619478 925 6738792398049526469841490038180121883643 926 7147828697090336225280287411922976373001 927 7581486002662449522816236526888740368083 928 8041234004719031399561094086664912755697 929 8528629396060855955075942945712471377460 930 9045320980275197935798303941057950815886 931 9593055076989918485064291070522446227557 932 10173681241820930857489648226427659066298 933 10789158318960635375023845010970590396581 934 11441560845826975627798349076912363717826 935 12133085829840218478654360259662048821274 936 12866059919026493180880749130289894917590 937 13642946988882688756378218497315797062141 938 14466356169746549934032868028937394348367 939 15339050339750801601187389175798939981804 940 16263955110446027201381283454342190336824 941 17244168333124150618468519920875104555743 942 18282970156098383285460035785610507841468 943 19383833664269028920483432550236534869442 944 20550436134770477856893637751743847965975 945 21786670943710682693981937768630355732642 946 23096660161748689996680000650288004334656 947 24484767877632173444770686932517112076792 948 25955614291848847071658400727944147339558 949 27514090624102593135606229803117927885932 950 29165374881687236705254110778550105930095 951 30914948537591067388430836034942838452378 952 32768614170893542952045314899930896225848 953 34732514124004361170311761834941449372991 954 36813150235429677798543055059645324065529 955 39017404708996022218972205143600138272252 956 41352562185047711716511593262772527318545 957 43826333081668229922411558594961711296007 958 46446878279061202395830037372427906826513 959 49222835223085860678465076127012106046147 960 52163345529581623141483726425134159325405 961 55278084174340260512162984412472712633967 962 58577290359839053317966401584462627909983 963 62071800153481543771950111712478319425387 964 65773080999029894792891913584443239506279 965 69693268207005541865208465727164802474258 966 73845203537529334334336707594243471735665 967 78242475993680607769984165670991818540838 968 82899464951989037051460707322202250331809 969 87831385761859699974645949745178988940187 970 93054337955197942167721761865727889989289 971 98585356213335757527249159876829058547491 972 104442464248861217930314576985540979578652 973 110644731766514671041887730398948451707324 974 117212334678961956843082499823870872531345 975 124166618760631932668078251923830913760508 976 131530166935724260535124374464937654471175 977 139326870404783444237190718975840280472415 978 147582003828565036866525548269523310726321 979 156322304797232652170970724480308023040639 980 165576057828819967739895827411265519076837 981 175373183151349860577277608075435954532563 982 185745330540635220176403702992765487919155 983 196725978497526097116907854218897839689532 984 208350539067927046754693224691176088779459 985 220656468622083732710520918937817319604071 986 233683384931334561499193756473950584022912 987 247473190895304198929812474541646166352254 988 262070205296583764576475808893877410155783 989 277521300976520132631794306050487076967728 990 293876050852435223039128738049779804628409 991 311186882215183204460383970168202247750482 992 329509239775570088027008151295905725803865 993 348901757948994195965203490704961922356283 994 369426442900519647872422674025679257200504 995 391148864895941070827602965976405791084162 996 414138361540842328408447981201728754156794 997 438468252515805942286483181352835983851370 998 464216066456357850858776262083449870007094 999 491463780655523755840234924301459645856078 1000 520298074311719939915122830160502390650902