0 1 1 2 2 5 3 9 4 18 5 31 6 54 7 88 8 144 9 225 10 351 11 531 12 800 13 1179 14 1728 15 2492 16 3573 17 5058 18 7119 19 9918 20 13743 21 18882 22 25810 23 35028 24 47313 25 63513 26 84883 27 112833 28 149373 29 196803 30 258309 31 337590 32 439650 33 570357 34 737496 35 950270 36 1220688 37 1563021 38 1995642 39 2540466 40 3225386 41 4083741 42 5157558 43 6497136 44 8165349 45 10237482 46 12806955 47 15985629 48 19911420 49 24749379 50 30701853 51 38010799 52 46971351 53 57936024 54 71332857 55 87672465 56 107572302 57 131767894 58 161145333 59 196758567 60 239872923 61 291991041 62 354911211 63 430765551 64 522098163 65 631920474 66 763815942 67 922019292 68 1111556700 69 1338358023 70 1609444397 71 1933085781 72 2319051762 73 2778830973 74 3325966074 75 3976357275 76 4748709168 77 5664948008 78 6750817002 79 8036446824 80 9557147529 81 11354184621 82 13475830995 83 15978417804 84 18927729513 85 22400420832 86 26485863768 87 31288050684 88 36928035567 89 43546480578 90 51306877152 91 60398941950 92 71042859301 93 83493795213 94 98047475037 95 115046165367 96 134885993841 97 158024853270 98 184991990436 99 216398421360 100 252949469668 101 295458454620 102 344863056897 103 402243262551 104 468842686137 105 546092037018 106 635636852100 107 739368112869 108 859458250683 109 998401004145 110 1159058083131 111 1344710943396 112 1559121160149 113 1806597542862 114 2092074113052 115 2421196929009 116 2800424631294 117 3237140546036 118 3739782114513 119 4317985360188 120 4982751227358 121 5746631411970 122 6623941790331 123 7631001028656 124 8786403998181 125 10111327618842 126 11629880573696 127 13369494665421 128 15361371434430 129 17640982107207 130 20248637107194 131 23230123693794 132 26637431100966 133 30529562503977 134 34973456962473 135 40045021780311 136 45830302979031 137 52426795892229 138 59944929063255 139 68509725606882 140 78262681839561 141 89363870245863 142 101994314588649 143 116358648098274 144 132688112227866 145 151243911999160 146 172320997143366 147 196252291694115 148 223413455431215 149 254228208409953 150 289174319181378 151 328790298956247 152 373682923187373 153 424535636896218 154 482117990542290 155 547296180645847 156 621044872702317 157 704460403229220 158 798775575810372 159 905376176499393 160 1025819468781039 161 1161854829273906 162 1315446839441073 163 1488801039338781 164 1684392725566161 165 1904999055432966 166 2153734920775791 167 2434092923148903 168 2749988012540157 169 3105807207925797 170 3506465081724318 171 3957465533774265 172 4464970682519511 173 5035877531749629 174 5677903417394484 175 6399681056554986 176 7210864417902665 177 8122246437507975 178 9145890059695902 179 10295273875320936 180 11585454153040404 181 13033244840971032 182 14657417717497506 183 16478924642632989 184 18521144553210264 185 20810157611311287 186 23375049712066395 187 26248250320329773 188 29465907524073153 189 33068303958068352 190 37100318310986427 191 41611936903913538 192 46658821052022885 193 52302935714049576 194 58613246349040539 195 65666490722270613 196 73548034039683396 197 82352815656814638 198 92186397505307106 199 103166124309473751 200 115422407865720531 201 129100147673085441 202 144360302757870483 203 161381629666047843 204 180362604566397240 205 201523547689542135 206 225108971782731000 207 251390176738750665 208 280668116580884307 209 313276565715918516 210 349585616057900797 211 390005537674755168 212 434991041083643976 213 485045980772593293 214 540728545919451912 215 602656986234230667 216 671515928325440289 217 748063340572409802 218 833138213231421036 219 927669023860567095 220 1032683068389937851 221 1149316742477361699 222 1278826869792544669 223 1422603179361190989 224 1582182048177163431 225 1759261632218289198 226 1955718525521238534 227 2173626095654809557 228 2415274663330391454 229 2683193704710487461 230 2980176277770359919 231 3309305887486607760 232 3673986031423635273 233 4077972683854018614 234 4525410008066990625 235 5020869606888758616 236 5569393658525402904 237 6176542309800153525 238 6848445742513388730 239 7591861359146511558 240 8414236585537992234 241 9323777825306325819 242 10329526161346088610 243 11441440444860622044 244 12670488483734956113 245 14028747096773191536 246 15529511884392917217 247 17187417632567465570 248 19018570365890861139 249 21040692145567760844 250 23273279824927340547 251 25737779071390572990 252 28457775101508481719 253 31459201691595137667 254 34770570188804719785 255 38423220386745273939 256 42451595321097648708 257 46893542207744634129 258 51790641971538448530 259 57188570013939552210 260 63137491133748696032 261 69692491754567285310 262 76914052926177040488 263 84868567853127811488 264 93628908073417843071 265 103275042751647118656 266 113894715986624446380 267 125584187440590500274 268 138449042110540103031 269 152605075547129832225 270 168179261431469926068 271 185310808997232239883 272 204152318497990302498 273 224871043605830529093 274 247650270466432187061 275 272690823950781858225 276 300212712631831532535 277 330456924981590765742 278 363687390447456052575 279 400193120213462083878 280 440290543821341183757 281 484326059185173345543 282 532678815144526456782 283 585763747309865839887 284 644034889849279595418 285 707988987769018248018 286 778169436469258390308 287 855170577606860755213 288 939642382917426485439 289 1032295560307622998083 290 1133907119608797947898 291 1245326438521867191930 292 1367481872902493219256 293 1501387959239211927915 294 1648153261428166363545 295 1808988918315258355227 296 1985217953468261270841 297 2178285413787823755420 298 2389769409425921732709 299 2621393133541368152040 300 2875037947298135278992 301 3152757622646384189953 302 3456793843492396452327 303 3789593074256061723984 304 4153824914273814860505 305 4552402066372173693186 306 4988502059025942985311 307 5465590873110094424184 308 5987448637249186360341 309 6558197569386108161373 310 7182332357415001723305 311 7864753187708763269544 312 8610801648198614965926 313 9426299751418511527632 314 10317592343796315171795 315 11291593189467587817303 316 12355835041309544469855 317 13518524037671877680847 318 14788598791849951062114 319 16175794571547193651590 320 17690712998981702793021 321 19344897737657407572687 322 21150916670873498898672 323 23122451118438892872585 324 25274392683694575969303 325 27622948371372644625873 326 30185754670130117962140 327 32982001350223854300813 328 36032565789043194444291 329 39360158703407367901431 330 42989482240199568564425 331 46947401454242963811276 332 51263130287115374587245 333 55968433250912543911194 334 61097844119876371682289 335 66688903038231151665093 336 72782413567900828198299 337 79422721322797881922599 338 86658015970807245775944 339 94540658528072764582515 340 103127536026837813004155 341 112480445805378792049728 342 122666511851030847214791 343 133758635822265070305981 344 145835985588233440648680 345 158984524351317301656200 346 173297583665512945873785 347 188876483927967350018610 348 205831206208728380756979 349 224281119591638322817320 350 244355768534005029482706 351 266195725110912927434157 352 289953511399222277378184 353 315794597672975957512155 354 343898482534311339358074 355 374459861588439894187608 356 407689891796907042784929 357 443817559206423511141131 358 483091158361139339868414 359 525779892360438083237916 360 572175603233318992004676 361 622594643060237945046750 362 677379897096260440018320 363 736902971031503270700315 364 801566555479821594565344 365 871806981810465328455288 366 948096984545205159747474 367 1030948686731159807135373 368 1120916825984146739593041 369 1218602240274847143048930 370 1324655634019207317204141 371 1439781646631455087619607 372 1564743247423779795209406 373 1700366482587499506601290 374 1847545601989662937770912 375 2007248595663231006583041 376 2180523172184135902207681 377 2368503213611807189285793 378 2572415744350024343236905 379 2793588454159994275516908 380 3033457818659518251154860 381 3293577863969582369103354 382 3575629625758561188769707 383 3881431356784040206983735 384 4212949541183104787306937 385 4572310778214634021326066 386 4961814602956444832922333 387 5383947316608420979567446 388 5841396904600088402008428 389 6337069126651719756375903 390 6874104869347972475359701 391 7455898858658841437990895 392 8086119837247044925605076 393 8768732319343190978184726 394 9508020044520444343508835 395 10308611260871593997083425 396 11175505977962169571460913 397 12114105340520215940453748 398 13130243285214865438974681 399 14230220655093329170160640 400 15420841959388545198220518 401 16709454980504472398649165 402 18103993445144307353817861 403 19613022992802366811715961 404 21245790692318223487746087 405 23012278375933369171498761 406 24923260080437001492625020 407 26990363906589142008798327 408 29226138631224610932900639 409 31644125431331836780026837 410 34258935106144409345836992 411 37086331211954727186855114 412 40143319555158923392553373 413 43448244522059230050579390 414 47020892759410436429475168 415 50882604757707016577618622 416 55056394930022078934958938 417 59567080822954390834003953 418 64441422143203251975320142 419 69708270333621988059556176 420 75398729486624197938013617 421 81546329440708570796505966 422 88187211967994881636284045 423 95360331027232797541081740 424 103107668128170638088201741 425 111474463929696422774861891 426 120509467276256446097773584 427 130265202965002130379480390 428 140798259630443013803537229 429 152169599234425460336031024 430 164444889757611120694852887 431 177694862804684885235504456 432 191995697959955473763381859 433 207429435863275458565904634 434 224084422119066653093072121 435 242055784304217666061556589 436 261445944504588968310269373 437 282365169985428076164996990 438 304932164789143581937730226 439 329274705255320253903089823 440 355530322673687980430240859 441 383847036511805403789971592 442 414384141906741295146344069 443 447313055374982048395797675 444 482818222978585383299945184 445 521098095489334875164844378 446 562366175417939570822823654 447 606852141123433169758446198 448 654803053590684779481769623 449 706484651862797225014799286 450 762182743542209284279265595 451 822204697231215928247422923 452 886881044271721578754314969 453 956567197667280247479925821 454 1031645296630512103685323770 455 1112526185798043523551216123 456 1199651538796210970335588140 457 1293496136526455010423717363 458 1394570311273026092930000967 459 1503422568520264511081743293 460 1620642399206176736980619805 461 1746863296036678314798939756 462 1882765988445101337717940611 463 2029081911808235933427869826 464 2186596927628269378231892913 465 2356155312563931415621585695 466 2538664035449595694504132689 467 2735097342783096532342703670 468 2946501674597998741433133672 469 3174000934169811408960774159 470 3418802136645422431273417899 471 3682201463437490972919854046 472 3965590751098899474239372703 473 4270464445394229868299035331 474 4598427053424921271129234107 475 4951201128950968162045156962 476 5330635828495308429260987403 477 5738716078427344488331420945 478 6177572396011332533754981432 479 6649491410384985506489144544 480 7156927132617162867090292701 481 7702513027393884663046974939 482 8289074942514524379628079991 483 8919644956259643327225691521 484 9597476206836003787262118990 485 10326058772529645172383883506 486 11109136675924334960715679317 487 11950726090589370464581548378 488 12855134834030059241608135098 489 13826983236448071413802890898 490 14871226481002680245994164589 491 15993178517822546862138683061 492 17198537661019994691483568827 493 18493413985433961333412366878 494 19884358647806682150742106268 495 21378395265614861977781818831 496 22983053495865646713319462374 497 24706404965867761897464378906 498 26557101718340677868103214734 499 28544417344271269708056225837 500 30678290988715670096260841958 501 32969374427321250910173307341 502 35429082424763721252373238337 503 38069646600611053780959801762 504 40904173043400283770602793474 505 43946703930006360763464399543 506 47212283424763172985478116147 507 50717028151335118531834019664 508 54478202550111290601452605698 509 58514299454982405241710802089 510 62845126245851474056309895619 511 67491896957212509534802564818 512 72477330748707360668078581191 513 77825757170840792690564755452 514 83563228688111453556024639894 515 89717640952816772248995569997 516 96318861355841330348119988442 517 103398866415971683392722744007 518 110991888606841058892455943741 519 119134573260643189981680218271 520 127866146230429882826614151877 521 137228593038289951798559901141 522 147266850285183537087576835257 523 158029010149866156351432038592 524 169566538859391097512780716781 525 181934510072342900439770288307 526 195191854178466126694745197296 527 209401624584957010975119186696 528 224631282130649366089575960324 529 240952998844927308846813693048 530 258443982348739448098098385692 531 277186822280885777774122112967 532 297269860224142644084150064139 533 318787584703137826058600278929 534 341841052929574605844700969472 535 366538341080832458895576286533 536 392995025015580652030826828706 537 421334693455284123114736592181 538 451689495793853347105533889227 539 484200726839705581262011445076 540 519019450945722859222050354630 541 556307168143593748285022820543 542 596236525070442449438654770347 543 638992073658137604234335363259 544 684771080749946993557791902610 545 733784392016006137927481723940 546 786257353759203427194243164448 547 842430796437391435892352799998 548 902562083977222001671244165664 549 966926233220320090227657706578 550 1035817108124983809560303750487 551 1109548693647196740856516559234 552 1188456454544621127077153473875 553 1272898784687616589950291264516 554 1363258552823504482513663032021 555 1459944751125639172514117356368 556 1563394253268827292252307455717 557 1674073689208796841100372468971 558 1792481444307421190376785321526 559 1919149790938989527742205773915 560 2054647161237858486432974976240 561 2199580570206284228395283311290 562 2354598198995232437032145024079 563 2520392148802711968932214980226 564 2697701376506057697697283222982 565 2887314823859099435621415956952 566 3090074752844980981557821868618 567 3306880300583355766884294642594 568 3538691268049808372231043889896 569 3786532157778813362734828251939 570 4051496476692753155635524712713 571 4334751321232058687301826834206 572 4637542263059250812817245919681 573 4961198554776585785748584758950 574 5307138676337470699322654665254 575 5676876244150366007169334583451 576 6072026306275404183514955576742 577 6494312048603554303396656028560 578 6945571938491337999206825556885 579 7427767334006629373573388108897 580 7942990588729126778513770150023 581 8493473683949173592413148545230 582 9081597422127681365475087707022 583 9709901217625297529943695260251 584 10381093522988487075366056764821 585 11098062931502110432963431451491 586 11863889999291184836944914669105 587 12681859832988096858571571837112 588 13555475491885498218269704469526 589 14488472256579912794722665786378 590 15484832819387856669089234097355 591 16548803455296780572180191660566 592 17684911235909922734319499280205 593 18897982352770434873803423664336 594 20193161620620014420205171976830 595 21575933235575617604843642563449 596 23052142867910494348636343321112 597 24628021174119506083896861713970 598 26310208818251284744687592621454 599 28105783098120075565036958102370 600 30022286277988111826997611381907 601 32067755735656243231406278643769 602 34250756038638796329594923666646 603 36580413071252055013824253835727 604 39066450342039611325497220371523 605 41719227609018864654844458314535 606 44549781968789565241994951083497 607 47569871564627521216278529031013 608 50792022078326347040289020588319 609 54229576180781145830789201480667 610 57896746127166150334649306654134 611 61808669694081474206334193687941 612 65981469668272518087402440803965 613 70432317109501771999860346306626 614 75179498623921972926724983208065 615 80242487898909579315779741464248 616 85642021765819072699694996041710 617 91400181073565316183168261850125 618 97540476673390064959340719072683 619 104087940833679930220282983418653 620 111069224423340585071144567996250 621 118512700223063327415063686704239 622 126448572745917026342255596482333 623 134908994972136784828321513145385 624 143928192427840844851142290533543 625 153542595063774396298652194897854 626 163790977418143318996830395186445 627 174714607577257900319197749189177 628 186357405479157495369925409044269 629 198766111138738946794405511444943 630 211990463408277915191129663213769 631 226083389924733096178460361307617 632 241101208934985939311760143268438 633 257103843732327493897088040859761 634 274155050482202121319621542636531 635 292322660262605878847705642970693 636 311678836194775382012423379005361 637 332300346593059972428740279987733 638 354268855119325351270291912748610 639 377671228987079975752842106686318 640 402599866323947362972077565168866 641 429153043868340332366377804821759 642 457435286247452231654939630974230 643 487557758159203217364573713371044 644 519638680860818839738249472417457 645 553803774451539989660826508526904 646 590186727526850104067521414983387 647 628929695876855853964505524173324 648 670183832002387604379349033761759 649 714109847329329964329328551693405 650 760878609115004836684044957167526 651 810671774160483756528303187283867 652 863682461569899393829498381420953 653 920115966932576836901437462127271 654 980190520446557403633801837009375 655 1044138091653310187496764155592556 656 1112205243613615960017407639638293 657 1184654039524289242669196716571910 658 1261763004955133064936818646585720 659 1343828149075884417370421048513622 660 1431164048444528480361240060804957 661 1524104997141893424865456623432543 662 1623006227263580537655295075695021 663 1728245204019771657043265507366442 664 1840222999947065465894506509159999 665 1959365753005048217435456833561767 666 2086126213614673117279057484006754 667 2220985385996625283981833342709767 668 2364454269486658974648524556794427 669 2517075705842438678088544612353312 670 2679426338913783626447073156119469 671 2852118693426555671562412302390759 672 3035803380030959447616929632064195 673 3231171434189026171787732406774189 674 3438956796924887631156125303922213 675 3659938945936550959557930552667233 676 3894945686070776853392501004873834 677 4144856108694948787332007241753571 678 4410603730063196070176763932269671 679 4693179819370292469712777031140545 680 4993636927817891179828811477728422 681 5313092630685479534029954882756014 682 5652733495105161721076721070603707 683 6013819286987242769761464513994113 684 6397687431334958638292793370154457 685 6805757741024074914044960825776095 686 7239537430009103168378064594188424 687 7700626427855350757664245471974737 688 8190723013487877818699244235353645 689 8711629787097801135063093417150699 690 9265260000256553184955609678149195 691 9853644265463155657040546968053900 692 10478937667591978034672183518168173 693 11143427301022707722504798578639998 694 11849540257624463899365902178998709 695 12599852092236478077985948275232452 696 13397095793843121803956915774262652 697 14244171292286124019253549852314266 698 15144155532096699771825406970584518 699 16100313146870406453562679051667750 700 17116107769553557603934469859090200 701 18195214016067980169258618698699208 702 19341530181877162149848107392015591 703 20559191693398122104838854807883120 704 21852585358596737612968067107544826 705 23226364463677289814694813005612798 706 24685464765497531283580500418529709 707 26235121432217021277559182709888113 708 27880886987727622818270442285406553 709 29628650318630238104386817818241424 710 31484656805920914198341571877418553 711 33455529647142768516036257668893294 712 35548292438558735123184066930934017 713 37770393090915499186661761067903073 714 40129729156613398011328856217680154 715 42634674650583431207826289855889389 716 45294108451914470166143291707960932 717 48117444378285673980136610846746236 718 51114663030556194784270425576071946 719 54296345510462520496573309407180528 720 57673709120290181841536829787252539 721 61258645159638903824906219651110872 722 65063758941007465053214886096108538 723 69102412152906438562193614666722528 724 73388767706584629075987112275066468 725 77937837210250556881461839927771994 726 82765531222907161905260593720946334 727 87888712448620696873750738045579404 728 93325252041239598593969810770401993 729 99094089199293459042339101225275170 730 105215294241065073364112710051578531 731 111710135360670526132716804282171054 732 118601149277435689422978374274718302 733 125912216002956420330722990890993401 734 133668637963010117769840346040625081 735 141897223724986058549523878131881786 736 150626376595761103239783094166280462 737 159886188370008159945869716496971645 738 169708538524831761483711733930715106 739 180127199173425230836341679091194386 740 191177946108186748405198666591179798 741 202898676282469471525288104186471801 742 215329532099928843655220381829474363 743 228513032901326533326251567637498795 744 242494214060716418919716753446406034 745 257320774126238391788015834882988786 746 273043230465348740437008056448051897 747 289715083900293477669696711986611122 748 307392992847059095304357119410453084 749 326136957499993927033079353304811783 750 346010514634866994482359542672495107 751 367080943635408923568405593753551983 752 389419484382455126408369196651940140 753 413101567680783929386673954195799135 754 438207058936716068052451469899087182 755 464820515839627008717148692411833370 756 493031460842835931402880844178342440 757 522934669283997248467843226039719389 758 554630474032261219718699813484113124 759 588225087599225527183036059383392737 760 623830942703212945106493093692367681 761 661567052331832594449615540960076173 762 701559390406273014728109967345793709 763 743941294212502338934846304400684885 764 788853889829691236663595363416689062 765 836446541854914571112020715313923262 766 886877328795724567955098441268645940 767 940313545578728995637040950587166622 768 996932234703070887247252563604613631 769 1056920747652921943730973761772268734 770 1120477338273012625253626039667248533 771 1187811789906083799874255927509152754 772 1259146078191227201625856706992432659 773 1334715071527668866914977367396283676 774 1414767271319940475454315197442436207 775 1499565594237893497320027928492348107 776 1589388198848972580446074283029253820 777 1684529359110927867091508511737858073 778 1785300387351079877576878853523934233 779 1892030609503743986823817922639838621 780 2005068395530883942993808384167433780 781 2124782248112926857010577691584462853 782 2251561952867390270723040130407734699 783 2385819793533024237583095037669715382 784 2527991835747062406268721878941973632 785 2678539283243437411723297074825029112 786 2837949910511007392862283497535684803 787 3006739576173551981861582472265449381 788 3185453821588148951501875761661941078 789 3374669559406191272864095055024702601 790 3574996857102437937314445076880273343 791 3787080820752836532068913530819435175 792 4011603584632175901652293154367780262 793 4249286412508728604700353838784194145 794 4500891916835773465285049585732134131 795 4767226402380141541039199711702174799 796 5049142341186644981272508201974682397 797 5347540986155418121930447007301261918 798 5663375130907866943558154244215791611 799 5997652024037185162735107235889504796 800 6351436446282409442932543769716885317 801 6725853959631970428305232326573771934 802 7122094337854932962050010566573860231 803 7541415188476958193611113591767025362 804 7985145776764883983655802712204372281 805 8454691062860204845085896264766563379 806 8951535963809214469510140058146981471 807 9477249852877811676038025245740711410 808 10033491309213710944859575128249838725 809 10622013131629880166521973382620709572 810 11244667631032386391423366933760640510 811 11903412216805502636073188225523348378 812 12600315293299059925335466784966054229 813 13337562483439876235825305106275873431 814 14117463197413034122517555249334835740 815 14942457565332312646192127318511420492 816 15815123753844839281413133218482854665 817 16738185687695784411144239069661062115 818 17714521198417590863027024112310019508 819 18747170623507882614572860899658136478 820 19839345880724060085777789627400283751 821 20994440043454063247702097773077876749 822 22216037444525445001443233226799710705 823 23507924337292509896131074878805398715 824 24874100144397798126335637018109486902 825 26318789326243799682297220989651312432 826 27846453902937854104320239978508594159 827 29461806665292341976382512545758662447 828 31169825112378360397040768573722896120 829 32975766155149204621378829695837213617 830 34885181627775526651247408909489341740 831 36903934650572663437990136658131300340 832 39038216890758271725628287064814294448 833 41294566769761332058238838106380591579 834 43679888668418375354338538737230662451 835 46201473184146368118200188274114622306 836 48867018497081353158974269009108250085 837 51684652905225346203477771161713616946 838 54662958591859197465287075145231340104 839 57810996691864621595617239881225294472 840 61138333727163299759467266926646818499 841 64655069485234246190094186155082405762 842 68371866418622376792222849677940154764 843 72299980647511798139591250640281574626 844 76451294651817667516234234751392935300 845 80838351743862038700827967880976981226 846 85474392417553977568460592341110794816 847 90373392675105103287575610315949739241 848 95550104437691937471080995601123478720 849 101020098152140066386558498504252245418 850 106799807711666905702397675632571649273 851 112906577814995329520732493837033503970 852 119358713894755911806405940687114724648 853 126175534753048195295814886206317789937 854 133377428049349300560110541810036925548 855 140985908793660294208344237870987676917 856 149023681005887004012617883533828064201 857 157514702710983378703663474423647107379 858 166484254448364097371316497884132092251 859 175959011483542125579196616847754038111 860 185967119919890669788458568042626513807 861 196538276918893125325568971459557489741 862 207703815248256086058777137885646534498 863 219496792388847605750618185147594923276 864 231952084443615441069371375479889120376 865 245106485104469256542824867998792411084 866 258998809946609624638148547730500332898 867 273670006333989682698222648347799365457 868 289163269234538851879111830985298634237 869 305524163259500275676533904636202465498 870 322800751257774740383530078867416097807 871 341043729813565987171071333800071703754 872 360306572013929856517381893099450567231 873 380645677872089220246662405337805761291 874 402120532812637127415538886037583419711 875 424793874646063482753936086338152311379 876 448731869482459973543994059750092163251 877 474004297057840695252724954628257346682 878 500684745971321718703036343393372933985 879 528850819357494445659145609831360658922 880 558584351545770954849642416735102197056 881 589971636287343931268908442695488597774 882 623103667160761996486205843579050370025 883 658076390799049804426463039589516002040 884 694990973614881498549963336732366849573 885 733954082735630474019584645704297783668 886 775078181897256556944442777400584906143 887 818481843085046893113230044706678654979 888 864290074750296933436143877388995023933 889 912634667475205761778883545142804325159 890 963654558003673676845715496241430074314 891 1017496212603442910475653544236396643177 892 1074314030775233864019797607291310717035 893 1134270770377324507820872069260444759765 894 1197537995289531164150997508542799614687 895 1264296546798912955523551070708881261083 896 1334737039950884879917099670075960666187 897 1409060386173938207166673964613484632603 898 1487478343553991779533618304857541488164 899 1570214096205701995665855663585647288616 900 1657502864263019362158322962879330879516 901 1749592546090080981014430431822901883905 902 1846744394396365985654357036283916663146 903 1949233728027119296020496480000260998028 904 2057350681291582946634458713909300829034 905 2171400992787789228320074811539181098656 906 2291706835783802854480495059083528069979 907 2418607692321599056581450807801720271308 908 2552461273321492120687559193435116927847 909 2693644487082458652072804117622829169858 910 2842554458697119765483946784757332788582 911 2999609603029858801798621909617668131347 912 3165250754042873527746234974466110109732 913 3339942353398227392066398863709314332199 914 3524173701414523229375538292887720522201 915 3718460273615042214526876246388497138278 916 3923345106270456582857706141007557108483 917 4139400254513941569682918033751280862944 918 4367228326790105276053231822252444667133 919 4607464099592070985551256530564654478284 920 4860776216643753289296230263554043406562 921 5127868976897358967227357428829369988056 922 5409484215939932108551670216823213158838 923 5706403285637892260092000952806280341425 924 6019449137095553199664183089264306789378 925 6349488512263155198340623925285955582621 926 6697434249802621929016037118682891616040 927 7064247711105722131725965417249681945907 928 7450941332660265982021172061625216842132 929 7858581311276121237375967616255122141938 930 8288290429014954933038530438915783891788 931 8741251025016490557498415728013075664352 932 9218708121780555617984741678739820750425 933 9721972713849159060897106685602876384545 934 10252425227237204315147107086108136922046 935 10811519158385179494546608198685960597654 936 11400784901853287016160421696820850157142 937 12021833776445046154441285079006712216501 938 12676362259940541997004770757203984424316 939 13366156443136376151472607153063045366946 940 14093096714432229433551910986519979457373 941 14859162686774066324718315031553847136500 942 15666438379362750482377891268181878065530 943 16517117667165621947390851514552731354443 944 17413510011928901776823719681755127796535 945 18358046489082203808921216007531363083717 946 19353286125654588209905619679208758795633 947 20401922565086210052740348124223283620059 948 21506791075622505680274768354817007350782 949 22670875919820915905577202317376121139549 950 23897318103585357058153870084346814303143 951 25189423524073104821793142302974048250264 952 26550671536794640254174141726236754273768 953 27984723963251618007622865880316467278658 954 29495434561533861610583964805356408664662 955 31086858983425695532591973270384791991904 956 32763265242757637947438377164255279194770 957 34529144720984280400449799043447701200939 958 36389223737275985479276058684490692945868 959 38348475711783897875866086757969675657053 960 40412133952177893874053077827807374946482 961 42585705095068851637124301482235929569416 962 44874983235513535964017371441679961344419 963 47286064779466154523796772466868771669917 964 49825364055789136183845795965972484300447 965 52499629726270972939682685216938458014408 966 55315962034025320064064007491578604630288 967 58281830932667436785810392431814766426085 968 61405095140786161879115479424823373465986 969 64694022168456872671979670276137697958932 970 68157309364878428701721391968527629773817 971 71804106038670359420714165553485744608581 972 75644036704941188218863001528634834749704 973 79687225515940736776168697677143220460931 974 83944321934944756756516892113962927518172 975 88426527715995824463741169295576320844109 976 93145625255246959151896272071328496812978 977 98114007382931069716021781013522861949008 978 103344708668417627546082062513985989277888 979 108851438314425799659750453138134004132321 980 114648614720248931736127224876541649033748 981 120751401797817421146890203334285062670592 982 127175747128594760354733681322317317584236 983 133938422053674395014702912272656516111331 984 141057063794033022721576767664323643140411 985 148550219702709533567896398893286694866135 986 156437393755728943533477247220678012409681 987 164739095393888906381474104699171164376755 988 173476890833084773747255672026431868042678 989 182673456966680351853222546772742011184040 990 192352637989548730657847966051068720459596 991 202539504879824728634607412553854191503931 992 213260417881142163019564792132924978699098 993 224543092135190580143444072556438926334489 994 236416666621833255185718654650574046160448 995 248911776571797954937980383459771083288572 996 262060629525101714804610903849945853914327 997 275897085216919118640995250066213990295827 998 290456739481569575973325344083640929861205 999 305777012374703078874793058020744283129160 1000 321897240723627071753913304422739977704607