15 1 16 16 17 136 18 816 19 3876 20 15504 21 54264 22 170544 23 490314 24 1307504 25 3268760 26 7726160 27 17383860 28 37442160 29 77558760 30 155117520 31 300540195 32 565722720 33 1037158320 34 1855967520 35 3247943160 36 5567902560 37 9364199760 38 15471286560 39 25140840660 40 40225345056 41 63432274896 42 98672427616 43 151532656696 44 229911617056 45 344867425584 46 511738760544 47 751616304549 48 1093260079344 49 1575580702584 50 2250829575120 51 3188675231420 52 4481381406320 53 6250347750920 54 8654327655120 55 11899700525790 56 16253249498640 57 22057981462440 58 29752626158640 59 39895566894540 60 53194089192720 61 70539987842520 62 93052749919920 63 122131734269895 64 159518999862720 65 207374699821536 66 268367258592576 67 345780890878896 68 443643407165376 69 566877686933536 70 721480692460864 71 914734449370024 72 1155454041309504 73 1454278362337824 74 1824010149372864 75 2280012686716080 76 2840671544105280 77 3527930788646880 78 4367914309753280 79 5391644226101705 80 6635869816740560 81 8144022047817960 82 9967310565986160 83 12165982014365460 84 14810760713140560 85 17984495151670680 86 21784036380896880 87 26322377293583730 88 31731084956648880 89 38163061637050680 90 45795673964460816 91 54834293825867556 92 65516299116620976 93 78115587408278856 94 92947660966812816 95 110375347398090219 96 130815226545884704 97 154744841157936784 98 182710776306961504 99 215337700647490344 100 253338471349988640 101 297525414027312240 102 348822899204435040 103 408281347932463740 104 477092811067148640 105 556608279578340080 106 648356897091253280 107 754067260747435880 108 875691012480893280 109 1015428940004440080 110 1175759825268299040 111 1359472297966470765 112 1569699972909739440 113 1809960172844903640 114 2084196562669889040 115 2396826047070372396 116 2752790311486764336 117 3157612416117170856 118 3617458884483749136 119 4139207762053520646 120 4730523156632595024 121 5399936810873056584 122 6156937298378625264 123 7012067478708989884 124 7977030893210227024 125 9064807833193439800 126 10289781864706066800 127 11667877650157772175 128 13216710966550396800 129 14955751883201764800 130 16906502128836777600 131 19092687748944981600 132 21540468229578953600 133 24278663343508481600 134 27338999059076777600 135 30756373941461374800 136 34569147570568156800 137 38819452599736372800 138 43553532185070076800 139 48822104626812424800 140 54680757182029915776 141 61190371132271572416 142 68417580321122545536 143 76435265515004093841 144 85323087086516197776 145 95168058673421912904 146 106065164628393887664 147 118118024245256829444 148 131439605927052712464 149 146152994650230254904 150 162392216278033616560 151 180303122485169677210 152 200044340275516722160 153 221788290305464191960 154 245722278467924356560 155 272049665446630537620 156 300991119217548679920 157 332785955754613681320 158 367693573491111619920 159 405994987396435746995 160 447994468851239444960 161 494021297842805141360 162 544431634357377094560 163 599610516217922070360 164 659973991004961204960 165 725971390105457325456 166 798087753360966331296 167 876846413232114324516 168 962811747862713768096 169 1056592112914276797456 170 1158842962551142293984 171 1270270170488752129944 172 1391633562573664753824 173 1523750672944582293744 174 1667500736429920245984 175 1823828930470225269045 176 1993750880514035076720 177 2178357443524593880120 178 2378819784953237488720 179 2596394765284326283420 180 2832430653037446854640 181 3088373181926372775240 182 3365771970722154761040 183 3666287325250918578990 184 3991697442876739754640 185 4343906040777628556520 186 4724950430319525798320 187 5137010060870647234220 188 5582415557477928786320 189 6063658277950164026520 190 6583400416060178085936 191 7144485678792579627351 192 7749950566825849087296 193 8403036288749375695776 194 9107201340879211647936 195 9866134785952479285264 196 10683770265451303535424 197 11564300781834652727904 198 12512194288542411148224 199 13532210127282281622264 200 14629416353818682834880 201 15809207995255673386080 202 17077326283645165903680 203 18439878912659407864080 204 19903361366045075154880 205 21474679368627581088160 206 23161172512760637194560 207 24970639115320061975385 208 26911362362624730004560 209 28992137803033858613160 210 31222302249421078506480 211 33611764156264528392180 212 36171035538721218371280 213 38911265503775856126680 214 41844275466372026186480 215 44982596126349928150466 216 48339506285032758609456 217 51929073583426280288376 218 55766197247226251738256 219 59866652927169358483716 220 64247139726718335933744 221 68925329512644428356104 222 73919918607763589831184 223 79250681968900387174779 224 84938529957098979555744 225 91005567811177478095440 226 97475157939934170851040 227 104371985152665362184840 228 111722124952148838395040 229 119553115018888242955440 230 127894030020206027347680 231 136775559882720334802380 232 146230091671848468544480 233 156291795227250886104880 234 166996712708569439947680 235 178382852211426447216840 236 190490285619441816937440 237 203361250863998696460240 238 217040258769648832993440 239 231574204669402103059965 240 247012484980695576597296 241 263407118939591300707736 242 280812875697714073882256 243 299287406993616315585036 244 318891385617652318789296 245 339688649897064426536424 246 361746354435834843843984 247 385135127351944855299414 248 409929234263014266584784 249 436206749279874155468424 250 464049733276461867519600 251 493544419713525121811100 252 524781408302988737115600 253 557855866809479623908600 254 592867741295430227919600 255 629921975126394617164575 256 669128737063722082963200 257 710603658782547831907200 258 754468082164186586963200 259 800849316723460352555200 260 849880907543264047609600 261 901702914100780148073600 262 956462200382204043705600 263 1014312736695643804413600 264 1075415913605019937209600 265 1139940868421321133442176 266 1208064824701479766914816 267 1279973445219424991135936 268 1355861198888560860175616 269 1435931742130011304674176 270 1520398315196482557890304 271 1609484153977526457766689 272 1703422917828354850243344 273 1802459133981166178745864 274 1906848659115210552032304 275 2016859158679549622341860 276 2132770604580673163855760 277 2254875791865826207587960 278 2383480875052090059731760 279 2518905924770958813125610 280 2661485505418371576132720 281 2811569274520911326666520 282 2969522604550176007939920 283 3135727227939178396444020 284 3310581906077050797732720 285 3494503123081331397606760 286 3687925805170703984190160 287 3891304066485264865671235 288 4105111982226213484664160 289 4329844390012320062291760 290 4566017720376628429325856 291 4814170857353619104832696 292 5074866030134501005816416 293 5348689736796434513324496 294 5636253701140328841997856 295 5938195863701417887104884 296 6255181408027116350829344 297 6587903823347707646086224 298 6937086004797232786338144 299 7303481392374551419419384 300 7687875149867948862546720 301 8091085385000883243449520 302 8513964412091521740493920 303 8957400058554621831144645 304 9422317016611090092276720 305 9909678241608215441877240 306 10420486398392144072901840 307 10955785357213658323222140 308 11516661740688760285161840 309 12104246523376962340527240 310 12719716685582570595130320 311 13364296923027633294207870 312 14039261414089634975733520 313 14745935646342468951022120 314 15485698304185736624150320 315 16259983219395023455357836 316 17070281386474509674063376 317 17918143044743111147940696 318 18805179829136334472096176 319 19733066991758193080916711 320 20703545696270891101289664 321 21718425387264562233705824 322 22779586236805176023626304 323 23888981670415817713088624 324 25048640974804935077801664 325 26260671989714851291243680 326 27527263886324892350306880 327 28850690034705896790225480 328 30233310962886690566114880 329 31677577410158347758763680 330 33186033477308745271085760 331 34761319876548084445346160 332 36406177283955722510583360 333 38123449797349860364856160 334 39916088502554399253485760 335 41787155151111636718492905 336 43739825952565451518422480 337 45777395484517258266175080 338 47903280723736325987514480 339 50121025201687081820269780 340 52434303287918793288897616 341 54846924604847572121208856 342 57362838577547002035025776 343 59986139122251895420773906 344 62721069477369762993149616 345 65572027180886570401929144 346 68543569198147291115007504 347 71640417204087680773818084 348 74867463024091630358224304 349 78229774237748440104851144 350 81732599949886429960292240 351 85381376733363502726376715 352 89181734748201640829924640 353 93139504041760885245453840 354 97260721034759154504102240 355 101551635198057352496930280 356 106018715925244626067176480 357 110668659606176407912228080 358 115508396906738058404016480 359 120545100260229543508842780 360 125786191575891697574444640 361 131239350170222262498192240 362 136912520926860112462091040 363 142813922690948910413043240 364 148952056904026943811884640 365 155335716485628098546679696 366 161973994967919897629871136 367 168876295889848302358416781 368 176052342457405595659765936 369 183512187476787188696196696 370 191266223567355661458007824 371 199325193661485815732923884 372 207700201798523034881366064 373 216402724220248860365222184 374 225444620775412461773239824 375 234838146641054647680458150 376 244595964368522292320920400 377 254731156262245591726483400 378 265257237099528467417660400 379 276188167199783761404651900 380 287538365851829669407582800 381 299322725108052196842319800 382 311556623954430352026610800 383 324255942865616371810304175 384 337437078754462565786332800 385 351116960325589426561454400 386 365313063842796546233750400 387 380043429320328665033498400 388 395326677148223919659510400 389 411182025162190119645854400 390 427629306168677724431688576 391 444688985936045186842527216 392 462382181662943536451646336 393 480730680935282565675918016 394 499756961183380820254120576 395 519484209651145852632572704 396 539936343889379941318894464 397 561138032785559781946599744 398 583114718142696588028059264 399 605892636820145673497905329 400 629498843449501998439382160 401 653961233738990418067855560 402 679308568380036558303043760 403 705570497569986425247749060 404 732777586165230117738022160 405 760961339479277429958715320 406 790154229740630784049203120 407 820389723225603900785779770 408 851702308081542980968443120 409 884127522856221013238815320 410 917701985749495228931428560 411 952463424603642775481861460 412 988450707649120462212914160 413 1025703875022831032396817960 414 1064264171076320920832788560 415 1104174077491682955364018131 416 1145477347223292043469904096 417 1188219039283862642106840816 418 1232445554393683832259700896 419 1278204671512261202269343256 420 1325545585271974580131170784 421 1374518944333747039988233744 422 1425176890685113638513598624 423 1477573099901478110517775044 424 1531762822391752368849722784 425 1587802925649987211612517520 426 1645751937535023241233412320 427 1705670090600618747588997720 428 1767619367498946305007484320 429 1831663547480792185623697520 430 1897868254016242505585999840 431 1966301003560097403623956565 432 2037031255486719612387408240 433 2110130463219496631970688440 434 2185672126580576463664149840 435 2263731845387025623080726620 436 2344387374320055039580039920 437 2427718679094464578901605320 438 2513807993955970415032867920 439 2602739880534601443866577870 440 2694601288082881494826574736 441 2789481615128053378447228776 442 2887472772568148930383314096 443 2988669248242266299438804076 444 3093168173005981904314286736 445 3201069388343399877720599064 446 3312475515547926555599506224 447 3427492026504451783224489079 448 3546227316106222630218409024 449 3668792776340308665825036064 450 3795302872076181378439692480 451 3925875218592563765312617680 452 4060630660878349706913737280 453 4199693354744046614684755680 454 4343190849780859141382412480 455 4491254174205206612111358360 456 4644017921627152415244397760 457 4801620339781920031146356960 458 4964203421264377820011357760 459 5131912996307093286903633360 460 5304898827643287442641958080 461 5483314707496761235555925280 462 5667318556741618995138338880 463 5857072526275378559707702905 464 6052743100649834413595488080 465 6254501204004828894048671016 466 6462522308350887504715478256 467 6676986544247487753765770676 468 6898078813924556884685167056 469 7125988906895632552681373016 470 7360911618111972087385154544 471 7603046868707760642891245154 472 7852599829387446440797959984 473 8109781046507122634273875704 474 8374806570902780236701126544 475 8647898089519175244419641540 476 8929283059893985718749998640 477 9219194847552881358969154440 478 9517872866372089178374202640 479 9825562721966014475088885915 480 10142516358158466554930462880 481 10468992206597043804552688080 482 10805255339571252920330611680 483 11151577626095972565213003080 484 11508237891322922647256062880 485 11875522079343866987062107440 486 12253723419450359566267907040 487 12643142595915943027060319340 488 13044087921367822827072803040 489 13456875513816171650714347440 490 13881829477410366544947432096 491 14319282086992625994893254536 492 14769573976520695994732665056 493 15233054331432433316743104336 494 15710081085026350852758024096 495 16201021118933424316906712349 496 16706250467756711977517108784 497 17226154527956609653165981464 498 17761128271060852188978589584 499 18311576461279680252686603724 500 18877913877607917786274849200 501 19460565540497051051283332200 502 20059966943181765149372141200 503 20676564287746778422406120950 504 21310814726021219478308149200 505 21963186605389215992950235400 506 22634159719606809149557676400 507 23324225564716772843141751900 508 24033887600154402848511176400 509 24763661515138848279133985400 510 25514075500446086105774409200 511 26285670525661189516231296575 512 27079000622009112741067251200 513 27894633170864808907966867200 514 28733149198045113784959859200 515 29595143673986467198508654976 516 30481225819914205737386159616 517 31392019420110845351053076736 518 32328163140392480898301180416 519 33290310852904161877417286976 520 34279131967346859754964335104 521 35295311768750422791178692864 522 36339551761908719323462086144 523 37412570022595000405847777664 524 38515101555677367804841327104 525 39647898660256113916748424960 526 40811731301946606497474895360 527 42007387492433323484705605185 528 43235673676422601949170681360 529 44497415126123650644185389960 530 45793456343389388041588847920 531 47124661469650707461402477220 532 48491914703779838238812607120 533 49896120728020567145341929720 534 51338205142125207814282447920 535 52819114905840358039694441610 536 54339818789885665852737467760 537 55901307835572035561149463960 538 57504595823207944802865031760 539 59150719749444813451802007860 540 60840740313714665264710636656 541 62575742413915653817886795496 542 64356835651503385899989835216 543 66185154846148368453966819171 544 68061860560122329752283458656 545 69988139632578622103763179184 546 71965205723894402389180218144 547 73994299870244808471581916024 548 76076691048581904394797166944 549 78213676752193755641842031184 550 80406583577021617949557228320 551 82656767818915879645906777620 552 84965616082014088574563391520 553 87334545898427120783891367120 554 89765006359422309673981108320 555 92258478758295151609369472440 556 94816477245124037513510955040 557 97440549493605330064622881840 558 100132277380169013215579315040 559 102893277675578085271155950565 560 105725202749217849085958407920 561 108629741286284273511396825720 562 111608619018083659439497287120 563 114663599465658942088388636220 564 117796484696961098976049527920 565 121009116097787310766305424136 566 124303375156710740278999764176 567 127681184264230053873537801246 568 131144507526370109584393256976 569 134695351592968578255450836136 570 138335766500886647938030588464 571 142067846532385388439955874124 572 145893731088912822599021113104 573 149815605580550264066736734424 574 153835702331370038594466700464 575 157956301500960307485389915655 576 162179732022376358487673068480 577 166508372556781421436632314080 578 170944652465043803890539036480 579 175491052796560926334436351280 580 180150107295584667741545280960 581 184924403425326310879572099360 582 189816583410123303230883530560 583 194829345295954024266910384360 584 199965444029590773588533680960 585 205227692556685267630337198880 586 210618962939085055746720838080 587 216142187491683440075743237680 588 221800359939109708140553270080 589 227596536592570763231334278880 590 233533837547159565750412564416 591 239615447899950179441829558281 592 245844618989203650311201210576 593 252224669655013433623775636456 594 258758987521723626204702466416 595 265451030302457857916893047444 596 272304327126101348224558100304 597 279322479887083341735500319384 598 286509164618311901128351957104 599 293868132887617857492950038194 600 301403213218069597428666705840 601 309118312532525303847489232440 602 317017417622794263911735124240 603 325104596643783913501320203940 604 333384000633014403658399665840 605 341859865055887651209036945480 606 350536511377103073828555649680 607 359418348658617509820833242155 608 368509875184552185448678939680 609 377815680113455018414554670480 610 387340445158332035685509830240 611 397088946294867237925916956840 612 407066055498255861994407332640 613 417276742509081677930721897840 614 427726076628674708262876870240 615 438419228544391575969448791996 616 449361472185266573705791107936 617 460558186608487501622048361456 618 472014857917156344945979912736 619 483737081209800956161525771496 620 495730562562110070777100790624 621 508001121041370221043860711184 622 520554690754089419257465176864 623 533397322927298862166777640109 624 546535188024030361234924872624 625 559974577893473730773488599000 626 573721907956324968026520234000 627 587783719425842736850699651500 628 602166681565137420460423134000 629 616877593981223839527045849000 630 631923388956375640491120138000 631 647311133817326346022559751750 632 663048033342869125909656018000 633 679141432210414493043385533000 634 695598817482072356364307638000 635 712427821130832171437637661500 636 729636222607422320506179634000 637 747231951448437328235428339000 638 765223089926329077711401734000 639 783617875741865834387156583375 640 802424704759670614412448341376 641 821652133787458248943098062016 642 841308883399598398439344427136 643 861403840805639761459392462816 644 881946062764438801875753173376 645 902944778544544487634699677504 646 924409392931498793996855771264 647 946349489282721075499945702544 648 968774832630652854540228776064 649 991695372834848111351117469504 650 1015121247783702791146813157760 651 1039062786646525970183294600160 652 1063530513176663944363434975360 653 1088535149066397422679189716160 654 1114087617354341024150532197760 655 1140199045886083391904060296145 656 1166880770828815452557041426320 657 1194144340240703664065383515720 658 1222001517695774511594124966320 659 1250464285965086029721317318020 660 1279544850754971751342743302160 661 1309255644503152209965252821560 662 1339609330233518953627507523760 663 1370618805470405966442959086810 664 1402297206213173438702811762160 665 1434657910971938979595953572056 666 1467714544865301628895399506896 667 1501480983780914396431336612116 668 1535971358599771541831750163696 669 1571200059485087402882937094056 670 1607181740236654289971859317584 671 1643931322711577787455971954419 672 1681464001312298741507478163424 673 1719795247542822269049441951344 674 1758940814634085294900339719584 675 1798916742239405415238983804120 676 1839739361200965296068915357920 677 1881425298388298346584072050320 678 1923991481609753060307693589920 679 1967455144597925192694162571620 680 2011833832070058843657188795040 681 2057145404864429538334152506640 682 2103408045153734550440617705440 683 2150640261736527990944523791640 684 2198860895407750591638347195040 685 2248089124409416649660101236720 686 2298344469962533266269492471520 687 2349646801881339812391579357045 688 2402016344270968485773263889520 689 2455473681309639891242995281720 690 2510039763116520777715061843536 691 2565735911706384404439508482076 692 2622583827032227485778640870896 693 2680605593117011279711796642376 694 2739823684275708141561099955536 695 2800260971428848762330830101614 696 2861940728508779351809482747024 697 2924886638959852211453386326504 698 2989122802333787472319858939824 699 3054673740981458250221610232364 700 3121564406842366095116973960080 701 3189820188333088385826528784280 702 3259466917335994245779073080880 703 3330530876289540631951581941655 704 3403038805381475478801035830080 705 3477017909846290163122797478560 706 3552495867368279095752091200960 707 3629500835591579943203364854160 708 3708061459738583838077896560960 709 3788206880338120952733758878560 710 3869966741064842987684847199680 711 3953371196691240465867710285880 712 4038450921153749227686957996480 713 4125237115734417191032666262880 714 4213761517359619276677144079680 715 4304056407017325404034511452816 716 4396154618294443636645806277056 717 4490089546035777902386101282976 718 4585895155126157231740001025856 719 4683605989397311150029915820441 720 4783257180661083727690126795344 721 4884884457870596838051815041704 722 4988524156410991396143437708784 723 5094213227521393756231222406004 724 5201989247849773031750923867344 725 5311890429142373870449887047640 726 5423955628069428171514230656240 727 5538224356188868371756805740290 728 5654736790049784256155616520240 729 5773533781437384765738717707640 730 5894656867761245984600369128080 731 6018148282588646389305684123780 732 6144050966324810539709568728880 733 6272408577041902681904058326280 734 6403265501458632223251152728080 735 6536666866072353727902218409915 736 6672658548445564970507673716640 737 6811287188648727677651184943440 738 6952600200861356882581707452640 739 7096645785133346320756742828040 740 7243472939308519003255158196896 741 7393131471112414023983570556336 742 7545672010406342786514180677856 743 7701146021609770179093456378636 744 7859605816293098783601552188896 745 8021104565942956977785145727024 746 8185696314902114781706865543584 747 8353435993486174510840202952264 748 8524379431279206731389456764384 749 8698583370610525670041829859024 750 8876105480214822112287581488800 751 9057004369077895932510833828925 752 9241339600470254737107390826800 753 9429171706170869670788435355800 754 9620562200883404237854506438800 755 9815573596847257026459665353100 756 10014269418645784496630913639600 757 10216714218214095503975204346600 758 10422973590048834982521137139600 759 10633114186622400203942934259350 760 10847203734004059268451852398800 761 11065311047690467966879168465800 762 11287506048648107885892806386800 763 11513859779570195610877287798300 764 11744444421350640115768021198800 765 11979333309777652918083381622776 766 12218600952449643322572397234416 767 12462323045916059080336474306911 768 12710576493045861054048356265216 769 12963439420626349006051970779776 770 13220991197195084416768235099904 771 13483312451107685298053319129664 772 13750485088844297292070227698944 773 14022592313557574942968715054464 774 14299718643865036898363353691904 775 14581949932888688942409998830560 776 14869373387544839184376030344960 777 15162077588087060428162960076160 778 15460152507905285731468916040960 779 15763689533584054430385190570560 780 16072781485222957458431959013120 781 16387522637022362630594464737920 782 16708008738137532695078059224320 783 17034337033804281380528802568545 784 17366606286739345386650950863120 785 17704916798818683283793501853960 786 18049370433036945604489873485360 787 18400070635751394029447578281060 788 18757122459213581494443326889360 789 19120632584392139275343391363960 790 19490709344090051648414553777456 791 19867462746359833574608134069546 792 20251004498220062021994391484016 793 20641448029676747022418447875096 794 21038908518053064359178751749456 795 21443502912631007904547573898484 796 21855349959608556071728385176944 797 22274570227375983617861282590824 798 22701286132114987135444832065744 799 23135621963724330001556659209859 800 23577703912075750320057741869920 801 24027660093603913494104645340720 802 24485620578234229507334085849120 803 24951717416652393774605673777720 804 25426084667919549549788291149920 805 25908858427437009351366549842640 806 26400176855264512689255928158240 807 26900180204796037550794866191540 808 27409010851797223633092373118240 809 27926813323808506195430390242640 810 28453734329918100651947944775520 811 28989922790909019634082642227320 812 29535529869784346226944925330720 813 30090709002675029426699529190320 814 30655615930134510579891635495520 815 31230408728824532653264603661061 816 31815247843596527646771431444976 817 32410296119973021306000323554296 818 33015718837033538515950516397776 819 33631683740709537368860040957436 820 34258361077492944897472339857264 821 34895923628562912854621328812424 822 35544546744335457703220238269904 823 36204408379440695160582000118974 824 36875689128132426220419738069264 825 37558572260134878557834918403880 826 38253243756931454610076008140080 827 38959892348500385421838495975180 828 39678709550502237551392711768080 829 40409889701924268955902405473880 830 41153630003186678813986498826160 831 41910130554715845703949485936935 832 42679594395989698440252108077760 833 43462227545060414181821523262560 834 44258239038559689166836569476160 835 45067840972191878602815287210480 836 45891248541720353851344190143680 837 46728680084452477096806675365280 838 47580357121228646181195618415680 839 48446504398920915225756218265480 840 49327349933446750048042694961216 841 50223125053303531223249281431456 842 51134064443629471934674600925376 843 52060406190796672513201314710256 844 53002391827542088783042110513216 845 53960266378642247014060943835744 846 54934278407137594433087314663104 847 55924680061112430871183840768809 848 56931727121036424224206358909904 849 57955679047673769983634530832744 850 58996799030566113156993234979440 851 60055354037095409445695266707540 852 61131614862132961586299124533840 853 62225856178280926292497796214040 854 63338356586712647263162238339440 855 64469398668618230250004421166930 856 65619269037261837210468233672880 857 66788258390657238110892252087480 858 67976661564868220995427701412880 859 69184777587940523501270610798180 860 70412909734472012084133402705840 861 71661365580827898823213782186440 862 72930457061007849805915324964240 863 74220500523171903752953921514315 864 75531816786832184737988443095840 865 76864731200717458586305886209296 866 78219573701317648808156166224736 867 79596678872115494737877225489256 868 80996386003512601913807071189536 869 82419039153457202649998061901296 870 83864987208781013222805045443424 871 85334583947252643127410274043484 872 86828188100355081455194584557664 873 88346163416794855606509175196784 874 89888878726750528288811430875424 875 91456708006868270061290700018600 876 93050030446012316578037924757600 877 94669230511778192156542064979600 878 96314698017776654360885206317600 879 97986828191696387943539463371725 880 99686021744153550740248240193200 881 101412684938336348963231754746200 882 103167229660452894793045452925200 883 104950073490990675233017436558700 884 106761639776796037866498750193200 885 108602357703982176450403901058600 886 110472662371674177192948170307600 887 112372994866599765103377324613350 888 114303802338534468971132948747600 889 116265538076610003335626077158600 890 118258661586494746249951095624176 891 120283638668455272726833819864316 892 122340941496307985487269974137936 893 124431048697269967016095770962616 894 126554445432718259968588872856176 895 128711623479866866672598910461679 896 130903081314370842836150537768064 897 133129324193866945605472825825344 898 135390864242460381827536350612864 899 137688220536167288758999071494304 900 140021919189322666534575326943360 901 142392493441963569466876263629760 902 144800483748197451701378117016960 903 147246437865565651899036531155760 904 149730910945412091469886416383360 905 152254465624267351438480007670720 906 154817672116258384290979671099520 907 157421108306554209138922154357920 908 160065359845858031240919726939520 909 162751020245956320355700259270720 910 165478690976335476562779034565760 911 168248981561876807085593415724785 912 171062509681640633291038121673360 913 173919901268750443423961921033160 914 176821790611388103770301663875760 915 179768820454911238833140024940356 916 182761642105103989757110169639696 917 185800915532572459653292711263416 918 188887309478296254664144749656496 919 192021501560347630571182549706106 920 195204178381789856492251873734384 921 198436035639766509745434851776344 922 201717778235793519278159794198224 923 205050120387265879178129394322644 924 208433785740191058702520968486384 925 211869507483161240988826259175720 926 215358028462576629150003420413520 927 218900101299132165813654792459795 928 222496488505580120345094904055520 929 226147962605781107002837161780720 930 229855306255056207117637770990240 931 233619312361852979068254110034840 932 237440784210738251353994362652640 933 241320535586730706441477930669840 934 245259390900986376296344273390240 935 249258185317850284605523799586820 936 253317764883287585657731027593120 937 257438986654707665684700621317520 938 261622718832194789179034867601120 939 265869840891158990302071147919320 940 270181243716421027982645274642336 941 274557829737745342690787476715376 942 279000513066835073155039701257696 943 283510219635803312484054351601301 944 288087887337134905258285584404336 945 292734466165153210181806319636664 946 297450918359006376833500299007824 947 302238218547187809937043758755804 948 307097353893605620386192372240624 949 312029324245215989021944926398664 950 317035142281235496867216770137680 951 322115833663947604188806782479630 952 327272437191118590381797285934480 953 332506004950038397264235408843880 954 337817602473201949936188051157680 955 343208308895646661903254881761260 956 348679217113961964696611760854160 957 354231433946986836745920865326360 958 359866080298211441784297125114160 959 365584291319899123592310320958135 960 371387216578945141427108897481280 961 377276020224488669039589482536480 962 383251881157294719763553413094080 963 389315993200922800772470397478480 964 395469565274699241248326093961280 965 401713821568510281899615453339616 966 408050001719433157008442195505856 967 414479360990222544986516389762776 968 421003170449669909283261138814656 969 427622717154853398422935056091616 970 434339304335296121958373826606144 971 441154251579050768223411072839504 972 448068895020728679951050744827584 973 455084587531491655106860516406304 974 462202698911024892673704007278144 975 469424616081509656621730632391865 976 476751743283614385913432983573840 977 484185502274523134134536408473640 978 491727332528020379214513611097840 979 499378691436651401712664756498740 980 507141054515977589304053327843280 981 515015915610946185411259124859480 982 523004787104394161400058387396080 983 531109200127706054396960118605730 984 539330704773645776601247426943280 985 547670870311382566961060531483640 986 556131285403731422269418830116240 987 564713558326628512119255540457540 988 573419317190862250743910045192240 989 582250210166080868568508249173640 990 591207905707097497315716068391696 991 600294092782513954753969901410011 992 609510481105684588655003216170656 993 618858801368041714247871363657936 994 628340805474804355426337217033696 995 637958266783092177193066868314824 996 647712980342466675315285016148384 997 657606763137921868930080612118064 998 667641454335346922881200865609184 999 677818915529483308900731366609324 1000 688141030994399298376377021938400