772112509138382848 771384998662443008 771359659110330368 771358608663601152 771063796014149636 770998643511951360 770993199754215424 770991044104249344 770634423473696768 770634129801093120 770472753942110208 770472405940699136 770319260010807296 770265983302955008 770265134669426688 770238902649184257 770050116304642048 769937822585348097 769597838049312768 769550770836570112 768929042263183360 768925112749785088 768922767521710081 768484647055593472 768453340468355074 768218968997978112 768159816183377920 768119366583975936 767950050852995072 767939333596835840 767690745847410688 767670459668295681 767462487641976832 767337251156140032 766775385195368448 766774702312267777 766774041994600449 766766235690213377 766425690946146304 766385995730128896 766375190129364992 766368312557080577 766366058173181952 766365666177785856 766348466582761472 766328992357945344 766327138261671943 766323246941646848 766016528948998144 765976259281063936 765938479431688192 765934411434954752 765625094169255937 765617695932899328 765605549484290049 765582505541898240 765580333953593344 765569444932259840 765565960832942080 765396355086942208 765176778620973056 765029176059367424 765018893383413760 765016477829173248 765013124650930176 765012520402681856 764836191111749634 764810497531052036 764787109467074560 764594580960358402 764575343671779328 764574408786583552 764573806874677248 764571020585869313 764568982179287040 764568700930236416 764565109825937408 764555913910812673 764552854459645952 764544574215913472 764515967472963584 764515092008411137 764501751017771009 764490102370250752 764490066408329216 764258801507667968 764096593502965762 764089417082339329 763929458684235777 763918504718311425 763904423206621185 763450480123011073 763444940588224512 763355409641934850 763135585615609856 763019831499067392 763012092035084288 762765508630319104 762408254328696833 762298981460406272 762291286007279616 761979453656498178 761702204164014080 761616233074745345 761613823077912576 761613579112054785 761613186537811968 761612069535899648 761607572361191424 761593242307665920 761569418396704768 761329886124441600 761310270534852608 761260100602490881 761253211261075456 761229398351675392 761228546455048193 761225620441403392 761216923803783172 761192323158044672 761187844383764480 760974531011850240 760935048619126784 760927027738374144 760924887414411268 760920345033469952 760898433943236608 760896231690362880 760887693194690560 760881244615938048 760880183679315972 760877409843417092 760875896089808897 760867889280913408 760839127277441025 760588754914570240 760579280841695233 760578310153928704 760460937597972480 760455241728987136 760441203355635712 760213984020692993 760188120776212480 760173726600142849 760165320321593344 760162349810610176 760158711247765504 760149938550480896 760144038326636544 760119148894679040 760117362603458560 760104851200176129 760103237764644865 760099582361600000 759025271706091521 759023268447780864 759022841006288896 759022394174431232 759017475228917760 758738400882991105 758736947934179329 758707094988152833 758698191982366724 758688196926513152 758678100720885761 758665386682441728 758663556736937984 758660067537383424 758647689621958656 758624836620918784 758397314927058944 758396429455024128 758395104390483968 758333398695964672 758332836340441088 758021735094640644 758001855972515840 757998037314760708 757995838253699072 757994037588684800 757990558656757761 757986634558214144 757983924991778817 757979260166504448 757934333898391552 757927546197512192 757923336047452160 757917810953682944 757690617967288322 757682732721926144 757673488027115521 757656868424736768 757641747254181888 757593765406203905 757587918932377600 757572038827597824 757569623655124992 757559671846764544 757556988373004288 757522688390737920 757382934152093696 757376867603128321 757366521509273600 757316137256312832 757309245758971904 757307298398150656 757265546974867456 757264723209367552 757263256238952448 757262952156188672 757262240152064001 757254969149956096 757212825374724096 756900504609763328 756897358453936128 756594792893517824 756567111762382849 756558433910947841 756546818088005636 756545337909805056 756542053375414272 756535181926920193 756495625861099520 756491044141797376 756483898855530500 756474194540527620 756323772211269633 756228581034958848 756228049545392128 756207264843853824 756194317480452096 756183803471728640 756179578016661505 756164248284327936 756139230003331072 756132281278984192 756128564773326848 756125506760806405 756115636514848768 756111183208415232 755849975834091520 755849304539967488 755818171685306368 755796944468017152 755790301399318529 755789056106229761 755777358867685376 755774199076155394 755770881167818752 755769569504034817 755765686916489217 755764266158948352 755757979283124225 755748388486905856 755503030129262592 755453941022920704 755423203690946561 755416827128315904 755416172779241472 755112242723651589 755110719465615360 755060878714802176 755038794412335105 755036661470429184 755036208087068672 755032639342534656 753921060232245248 753728161947320320 753721620649213953 753618728563183618 753601191607693316 753570708194725888 753556181877010434 753332048752943104 753310810546601986 753296363711033345 753270632205418496 753250361855602689 753242720823611393 753241471021617153 752600629735022594 752595636202139649 752537719604117504 752481904037888000 752476309943488513 752270459941433344 752127194613182464 752126705620312064 751518315240165376 751508605225013249 751477590108569604 751394500518506496 751394335694913536 751151859973365764 751074667914559488 751059501101543425 751041873196703744 750689715800662016 750675800240693249 750351106979553280 750331129727639552 749966049928327168 749945774629220352 749630428563251200 749274452735561730 748871380406378496 748856320170856448 748591466910474241 748574456977711108 748555326396444673 748548506533650433 748543837358931968 748198048812113920 748192811615391744 748134120765689856 747884812925607937 747881389534621696 747876759199191041 747872835411009536 747871448103010304 747776621050880002 747774662394941440 747769605175783424 747466423514042368 747435935571247104 747423822995922944 747410791134003200 747408730346622976 747083852263329792 746387773700079617 746377430491865088 746343313020715008 746337965958381568 746320353069305860 746031219796754436 746013029846913024 745988805136621572 745964782532997121 745959810122784768 745672146144346117 745297025688829952 745296313760223232 745292358888071168 745240040863739905 744991224227045376 744952983633354752 744526714898882560 744512474863570944 743784224864468992 743424528802451456 743198548490096640 743110875565981696 742502536272171008 742133424949886976 741983264198537217 741258272997527552 740997034946273280 740275741296721921 740192598938288129 737709374030938112 737284837330063360 735180179765657600 729445128583028737 727132574687092737 724945573116272641 724808115640623105 724617169527529473 723884671533256704 723500668632313856 722874852806250498 718546688697319425 718496854372130816 717929717366714369 717929682465853440 717929506196086784 717929346737025024 717929306966650881 717929288033550336 717929112338350080 717904175728726016 717896740268019712 717869108151197698 717867801315295232 717866980305420288 717817891534598144 717761443974791169 717701548328034305 716981163265507329 713418555597795328 710491497779621891 709766252613382144 707938933435473920 707291133370613760 707291119785271296 706650890573377540 705901626402406400 705224309355237376 703254734560342016 703239400272998401 702608996797177857 701117241102708737 700798052722831360 698621593275097088 698526803053268992 698321367616380928 698154460053446656 697066297113219072 697065197249232896 696054254910509056 694487855670755328 694382105980174336 694302423515557890 694295465794338816 694014812951552000 693168304479944704 692361599957348352 690647751512735744 690642090968088576 690355168760721408 689482133073571840 689173767071764480 687991413036875777 687319371333660672 687272896276770817 687032438883663872 686601698157146112 682694015477743616 680402626379444224 679109240020058112 678593715695280132 678228517964918784 676457616617242624 674589322729885701 674266491781451777 666755818843279361 666693334262374400 666288570357936129 665312694463954944 664457561064779780 664229040807616513 661543357030600704 660442172060278785 659762584846000128 659464627055677440 659364673733660672 657613042641977344 657392164247334912 656907826334429185 656642652272742400 656479937516457984 656469928581726209 656454840369946625 656292139039637504 656291270915170305 656263709610897408 655881061151277056 655399150297681921 654399538862686208 654395329949868033 654354949418156032 654344286771748864 654074718199377920 654048044623753216 654047872229449728 653976149890961409 653218775332974592 651779030820241409 650821263938748417 650424960956153856 650333616355020800 650322597473878016 650073981844856832 650064703851503620 649738463810600960 648682899642843136 648564855750963201 648214867338465281 647441452193083392 647419340543889408 646133797084393473 646132134445355008 645737017704366082 644536624668372992 643999143745163264 643496205180383232 643486701294350336 643160009602428932 642468123636039680 642468066098573312 642382568046759936 642350254084349953 642338747644833792 641959334289780736 640650215280799745 640190285323063296 639555555422511106 639546509260922880 639545302500921344 638897075086839812 638530192353443840 638523364072624128 638035013477511168 636944755654529024 636708338512830464 636652336945995776 636614170771894272 636562616710729728 636285609129046016 635788816415125504 633668037627916288 633269790895960064 629292729646891008 628594737654726656 625752590861639680 622018165002895360 621277692751560704 621061113581596672 620933269048066048 618978968528523264 618791519223447553 618735323921674240 618416647771160577 618046461041876993 617799247082164224 617006111703584769 616313270161420288 616013203353505792 615914912695603201 615634047021101056 614413379063689216 614092877812121600 614090811526004736 613676850863325184 612683861881933824 610780578166767616 609825226122260480 609390544146550785 609075728026595328 603554209397637120 603412210300354560 602817562511040512 600762516822687744 600479562372255744 600396945757249537 599602158154162176 598311545853083648 593214571613134848 593212153055805440 593135586661240833 593128954472435712 592881853633298432 592842273638973440 592800538980458496 592546501877968896 592481182408953856 592007002580262913 591704854155776000 591632791890055168 591625509525704704 591313173111771137 591238019685949441 590993916138283008 590942706341453825 590926554810736640 590479683994705920 590358281463431169 590259213621944320 587301505578835968 587301253375463424 582693802135150592 582626833851531264 581892527617417216 580161401982943232 573358099316252672 572145895065690112 571864283501486080 571798145656623104 571509483500912641 571475325743468544 570665481411153922 569883051280470016 569383603005747200 568199392630575104 568196253693173761 568195869348114432 564889946348322816 563496762074488832 563432493563772930 562332254228066304 559786807991078913 559760196797739009 557916787455844354 557531392419332098 557422886932062208 557231601583947777 554751858016018433 554701832095019009 554678219522465793 554671580773904384 553683809494122496 552619974511308800 548947432059719680 548130398396743681 547885669352099841 547593633143455744 545281439408066560 535589088280461312 530422870552621056 529877547262431232 529877080558026752 529030847421480961 527466251422273537 526889089749229568 526805576664502272 526787094618714112 526786212921896960 525404247698198528 522797474956984320 522527390246137858 522165489070768128 521742488877682689 521676725152145408 521656632426500097 521366214992756737 521363541602095104 519861827187245057 519522968511467520 519141619455787010 518834384288247808 517844659088158720 516992538364764161 516294088627613696 515278055204741120 514467920592654336 514222291853803521 514216128626044930 512705880215666690 512293983318323200 511569533698850816 510533428690051074 510139677790470144 510134859256188928 510134642268446721 509465265005154304 509088210241454080 507903407001444352 507282592048349184 506833947494318080 505405955363049472 505130608071544832 505127740014882816 504285257252614145 503892517545590785 497128295981273089 478935428935208960 478293065166491648 468251317295915008 467392624622440448 461362041232838656 460938857052372992 460938811036667904 460938740744327168 459786317526994945 458397000757944320 458334432697790465 458268799683538944 456889575533604864 456248097404768256 455842537966542848 455792509570928640 455579094063665152 454789146130018305 454060441611018240 454056297529618432 454022554270048256 453334450588250112 453311009948971008 451843111715500032 451569241137741824 451444223418847232 451121151394054145 449283193531682816 449258258486657024 449053303725244416 449019354508976128 449018676914966528 448623432196829187 448507155453595649 448507008359333888 448506912804728832 448506701990600704 448505737191636992 448503680166150144 448181940886069248 447921755496407040 447026411787014145 446707757396140033 445967006307983361 445576243627307008 443877813457027073 443492171464048640 443419500894248960 443415869222555648 443055820742598656 442462611226234881 442436533610872832 442395482954792960 442338882722738176 441923718466777089 441613039985782784 440968825907855364 440917100090388480 440912952586403841 440538946846486528 440222037303644160 439872175223623680 439418000316170240 439101168556728320 438436177272909825 438434823242522624 438432415401660416 438432366206681088 438431552083460098 438425991548256256 438425400436207616 438362248479002624 438124506826440705 438124106865971200 437697457859088384 437696884690657280 437695675279900672 437666692366622720 437661901129265152 437647181785604096 436966368765034496 436938263937306624 436646723256336384 435591257948037120 435590760398741504 435589667740602368 435490690244804608 435488240955445248 435476679696613378 435471825871839232 435249237895688192 435220323546726400 435159700477599745 435159227792097280 434769161269817344 434753978354917376 434750842038910976 434750717375811584 434388955459776513 434388737695698944 434388661808148480 434388584611995648 434388543964987392 434124247334543361 433701114312028160 433305641562939392 433235689485123584 433054092739764225 433050979572125696 433050563941777409 433050448107700224 433050220461817856 433048267526795265 433044348318777344 432992801199230976 432988588758691840 432988191272882176 430554404526108673 428280902888595456 422861881435779072 397856001401315328 397757160446521344 394923426000814080 390539029584035840 390173022507646976 388368766528397313 388365690459418625 388363695408947200 388055670492524544 387621367669354496 384724333349703680 377200066286469120 374933863782309888 372102810826846210 331859219856883713 327070703163678720 326681804004274177 326408096253636608 324976980883816448 324586137484161025 324187759759728640 323909776230711296 323818553755193345 323818261089243136 323656822634467328 322721089358790661 316949563011383296 315122789025714176 314836232758767617 304415652511379456 300858265984720896 292359300712656896 266196731971121152 265526795594506242 264441095646228480 263507481735610368 263467218958962688 262947931664044032 257926278873767938 255514039587840001 255136702492966913 252981030657609728 250959414499090432 250238870778703872 248628540965273600 247738698135912448 245913739616976897 245745678914035714 245180001673166849 242758994479968257 241912814258761731 241019765336969217 240864363416809472 239837610535698432 236306845134909440 235738380057591808 234845805054394368 234844606108422144 233282881009635328 228187725247954945 222950266696241152 217996649694371840 217798486723276800 216539742081253376 214051527122366464 213598675610501120 212409687595954176 210902515645038592 209095039744356352 204952318402248704 197933003681443840 197013706666815489 195929535974350848 195548604633595904 195159703830007808 194565006875049984 193849595728642048 193190749645443074 192618229783474176 192368575804219392 192267441995390976 190931094022008832 190639021230272512 189950464568209409 189905394641018882 189779619065511938 189552071006109697 189380987187236864 189366793305993217 188025074056568832 187969473603567616 187188733613842433 187020323823157248 186842261575843840 186678967904899074 186238738974769152 186096268714582018 185104966933938180 184713465057902593 183943349336682496 182473192038875136 181975763099205632 181865544805396481 181082680887214081 180753704591441920 180662512306495489 179934062335639553 179709115357073409 179421120578064386 179032838174277632 178670903708749824 178667099173031936 178155997620224000 178154121755500544 177874303684055041 177786324655407106 177462705077223426 177064797500751872 176882174778294273 175256657327165440 175248208161808384 174608554538442754 173903727181312002 173851962859716608 173056510929276928 171342317012258816 170507127662723072 170358424150872064 170027494357995520 170014805929897984 169115844234846208 167307416101339138 167041180092203010 166606150459076609 166606096230924288 165230540805521408 164859690923200513 163857964564877312 163839805308944385 163839376353267712 163838448069906433 163832962310344705 163402947458371584 163336187375927297 163075237720764417 162306543667257344 161883448674484224 161316808102658048 161141306595348480 160910067279986688 160806742152851456 160512166703804416 160165214220853248 159454040890155009 159318809273057282 158953553392697344 157900206711640066 156987760182435841 156770588487192576 156483934367121408 154649746965921792 154359140720979968 153564466313822209 153563053710000129 152207626241982464 151768612074565633 150804573685157888 150802760546258944 150003280410451968 150002053995970560 150001923217563648 149702097909202944 147433623891607553 147410638409441280 147391349413523456 145159281895931905 144883964136521728 144153591685455873 144122629991837697 143874924853989376 142001160285470720 141380927858286592 139872427999117313 135474474215682048 135165255415382016 135148060195028992 135016822230630402 134837070270173184 134148400592596992 134148173861105664 133997989281804288 133757028291186688 133756814432010240 133754732761186304 133754510022688768 132268315753193473 132265804451430400 132122982838571008 131766344852049921 131435804970070016 131374476096045056 131015990078218240 129608731720818688 129352409846784000 129260487601958912 129260135276220416 129259994582495232 129259695365029888 129259073446215680 129258753747980290 129255402230644736 129255074668101632 128923282492764161 128549202040078336 127192635873046528 126913765529755648 126666585174843392 126666543542190081 126341109084454912 126315792735281152 126098920681111552 125968747163947009 124572349302448129 124564476950351872 124513075276689408 124205469219827712 124117109621010432 123256212191068161 122466813010378754 122329314145476609 122100583741132800 121632641274486785 120895882530009088 120244786451054592 119783739642490881 119618770489712640 119476436598915072 119055922076192768 118040735823048705 116356176840638464 115903880436523009 115824066081980416 115507665676926976 114707101284184064 114571709507567616 113852885267259392 113448032686714880 113295382242529280 112324810125750272 111988050871066624 110911342461988864 110796087538876416 108269883120295936 107186072005517312 105831792447209472 104170048964411393 103965854210863104 103297535686361088 102890841328201728 102800740917051392 102540653203959808 102527303413796864 101465459706175488 101166855208710144 101049027218509824 101045047683858433 100724684529733633 99270909570973697 98204774167613441 98139870983229440 96803256931594242 91379830611918848 88771032017682432 87909303956152320 87909205239017472 85860852003110913 85554387472236545 83129790613303296 80830593641873409 80470562220146688 79399429366489088 77922939814682624 75716157386145793 75360242887700480 73551280504713216 72386645760028672 72000397467852800 71769273307119616 70899153718358017 70756185774624769 70307094640861185 70204586559934464 69543197373763584 68837772219269120 68525063443451904 67740661750829056 66360204417183745 66292934001164288 66042883840544768 65845917814767617 65572829726388225 65075575315898368 65071998572830720 64884313241559040 64377103877021696 63656475582672897 63091412278841347 62751683138158592 62625108602273792 62567448519512064 62557472468123649 62331005234716672 61855217272094721 60937796659060736 58590468585439232 58377881390297088 57655631070511104 57289402967269376 57278090841292800 57277966132068352 57277815694954496 56382141369561088 56357750871035905 56084934670036992 55395078344163328 55055890591653888 53065930430881792 51293343161913344 51061227065057280 51058826903945218 50971945990238208 50419558967803904 50322292013666304 49896867550605312 48808339739652096 47674328342478848 47342792460087296 47330460115812352 47330333162614786 47145425777594368 46010802381131776 44572371704758272 43419781566701568 43381018958364672 43189380046786561 43186200676286464 43041622572797952 43019800460529664 42466266698625025 42303285973102592 42144167975075840 41206171960475649 40905525008801792 40659289173397504 40478476389720066 40295276384239617 39865016014344192 39807276013465600 39441269780529152 39162753277112320 38709283906535424 38105257779265536 37756669811236864 37394189796773888 37053756759609344 37020472617074688 35466810761551872 35045152766566400 35044997644423168 34500014348840960 34347773155479552 32511339486248960 32511170912976896 32263304604811264 31911460875538432 31097313845837824 31045578896969728 30149419349315584 29969121072381953 29640088438710272 29407221292998656 28200327245209600 28190341421076480 28189812448043010 28189085168308224 28188550763642880 28188239223324672 28188066724188160 28187845277515776 28187128215113728 28185682174283776 28184804797194240 28183697119256576 28182807234740225 28182117967986688 28181150681796608 28180914961911808 28180752327770112 28178942909218817 28178589799161857 28175046983815168 28173869206470656 28173415902871552 28097285028057088 27626674652708864 27590462328012800 27234965695500288 26898527435104257 26086467902119936 26016009726988290 26015930639192065 25961230820708352 25651423920259072 25241925070094336 24821822453186561 24328958136815616 24327640127119360 23559840815124480 21021137479671808 19150592513413120 18688398923407361 16354606762164224 14814422002311168 14510056510857216 14453297339432960 13706839887712256 12391043618045952 12250854799187968 10232952348745728 10046790308990977 9719035084152832 8620537194487808 7842780374110208 6585862125002752 5783826873720832 5130183669452800 5108023940882433 5107864813178880 3922112607690752 2884192106971136 2819516346142720 2245420600270848 29681399924 29681313562 29632335139 29520491432 29446636797 29374294779 29345656317 29245344312 29206435013 29109562288 29109552479 29009155290 29009094187 28917479924 28910383154 28910113776 28858837594 28826848376 28805517392 28800731799 28800656241 28712941638 28641463270 28505418878 28402616822 28035699311 27903882802 27797691213 27347025647 27212355155 27184083698 27152321048 26997738370 26764154660 26624631727 26524619256 26463946095 26332944923 26332865598 26332086265 26234036857 26233658122 25989510227 25989056089 25934851629 25934591919 25896383457 25848214834 25826223146 25769596709 25704019470 25657669079 25452788134 25451925453 25375060281 25373354164 25331238809 25088547022 24796272196 24796197404 24597769489 24541527231 24503502894 24480682921 24383594772 24094529027 23953622183 23153184663 22917261604 22834530051 22716807040 22498363822 22479695846 22363570325 22204231475 22059705646 22057513634 21995186245 21952853252 21952793298 21920713443 21885096838 21842320986 21770306976 21406411941 21261491724 21076982139 20902111072 20840672951 20809903673 20745612409 20510606708 19861441686 19779523696 19779469829 18952519925 18872443038 18295018436 18083284138 18083022693 17923060945 17698852365 17137261708 16890197555 16787468961 16654318659 16356418836 16321262177 16143133089 16036109470 15966408736 15814222682 15724493372 15564523801 15560175734 15286772954 15122376588 15005849294 14934344217 14886236781 14852987381 14773898870 14672199563 14633628722 14539854610 14430760170 14399124740 14398180001 14364552906 14323576441 14323462692 14311773016 14298674459 14298334885 14271045900 14269361524 14268051737 14266586144 14261700967 14234182767 14210295160 14168024468 14163725810 13999775911 13996312654 13977555131 13977236698 13954682492 13943285241 13926741814 13832648603 13796090750 13796001190 13792176024 13556714495 13555678635 13405968680 13310808623 13132366477 13132275576 13117704823 13003593502 12971365581 12885952868 12862708220 12719778707 12688450305 12677038725 12588608491 12558063265 12453121862 12439413685 12435455805 12290764336 12174181377 12173785589 12126824083 12115531263 12061059801 12052582583 12015937124 12004811094 11941038298 11883799084 11807837601 11649004033 11532176239 11482383205 11408439810 11377086754 11377025487 11376919805 11360144172 11359976363 11333046311 11325913412 11311184232 11310600206 11286226131 11283982553 11231196423 11213797194 11161654175 11104556188 775064964683870209 775060830245228545 774295517895372800 774253431783436288 774022982221963264 773899143966236672 773895399253938176 773848511838318592 773640312740720640 773554560673669120 773260829248614400 773260466806198272 777886431175905280 777594400792727552 777592962544836608 776829122429485057 776828649794306048 775712975411970048 775657675640143872 775495361066635265 780450894177529856 780122694662627372 779357966176755712 779311538607886336 779002066823999488 778613748667998208 778613388133924864 778608269300490240 778588493190750209 778564690431582208 778563515514810368 778367608965955589 777972544229953537 777902581406457856 777902304313876480 777890233505484800 782726562995023872 782644103196598273 782643954248511493 782241996731617280 782240158401703936 781518771001360384 781320547682521088 781266850839748609 780805250798215168 780793549164011520 780778604787531776 780768678098927616 780621956320227328 785436580290830336 784068351828058112 784027616974168067 788054577962557440 787038704917291008 786703220311818241 786701990688686080 786288838486335488 789512449317756928 788462222695628800 788075458961117184 791754383293833216 791660901581533188 791660211710795776 791655614631981056 791655149575950336 791357430827479040 790701588562251776 790677711853383680 790639765200703488 795309340618006528 794591820181368832 794591617772584968 793480361141473280 793479512700907524 793478820921765888 793478778089508864 793478764911071236 793156832801849344 793156709057527813 795348556198637568 795343201888567296 795337768553644032 795336116740227072 798150022487506944 797905445302272000 796741062446481408