No Man's Sky Explained

00-print_10_to_the_4th_power.md

No Man's Sky Explained

When my brother asked How does No Man's Sky, this is how I explained it. Below there are two files. The first file is a small command, using Ruby, to print the numbers 1 through 10^4. The second file is the result of that command. Notice the difference in the size of the two files. The first file is 60 bytes in size, the second is 51000 bytes. That means the math used to produce the result is 850 times smaller than the result.

And that is how No Man's Sky ultimately works. The disc on the store at Gamestop or the bits downloaded through Steam or PSN do not include the entire catalogue of graphics assets that make up every piece of the universe that is presented in No Man's Sky. That disc would have to be larger than any portable storage capacity medium that exists today.

Instead, what is on that disc is the math to construct the universe. That disc doesn't store the numbers 10^4. No, the disc stores ruby -e '1.upto(10**4){|i|print"%05d#{i%10==0&&"\n"||""}"%i}'.

And that is why No Man's Sky is such a mathematic marvel.

01-print_10_to_the_4th_power.sh

ruby -e '1.upto(10**4){|i|print"%05d#{i%10==0&&"\n"||""}"%i}'

02-print_10_to_the_4th_power.log

00001000020000300004000050000600007000080000900010
00011000120001300014000150001600017000180001900020
00021000220002300024000250002600027000280002900030
00031000320003300034000350003600037000380003900040
00041000420004300044000450004600047000480004900050
00051000520005300054000550005600057000580005900060
00061000620006300064000650006600067000680006900070
00071000720007300074000750007600077000780007900080
00081000820008300084000850008600087000880008900090
00091000920009300094000950009600097000980009900100
00101001020010300104001050010600107001080010900110
00111001120011300114001150011600117001180011900120
00121001220012300124001250012600127001280012900130
00131001320013300134001350013600137001380013900140
00141001420014300144001450014600147001480014900150
00151001520015300154001550015600157001580015900160
00161001620016300164001650016600167001680016900170
00171001720017300174001750017600177001780017900180
00181001820018300184001850018600187001880018900190
00191001920019300194001950019600197001980019900200
00201002020020300204002050020600207002080020900210
00211002120021300214002150021600217002180021900220
00221002220022300224002250022600227002280022900230
00231002320023300234002350023600237002380023900240
00241002420024300244002450024600247002480024900250
00251002520025300254002550025600257002580025900260
00261002620026300264002650026600267002680026900270
00271002720027300274002750027600277002780027900280
00281002820028300284002850028600287002880028900290
00291002920029300294002950029600297002980029900300
00301003020030300304003050030600307003080030900310
00311003120031300314003150031600317003180031900320
00321003220032300324003250032600327003280032900330
00331003320033300334003350033600337003380033900340
00341003420034300344003450034600347003480034900350
00351003520035300354003550035600357003580035900360
00361003620036300364003650036600367003680036900370
00371003720037300374003750037600377003780037900380
00381003820038300384003850038600387003880038900390
00391003920039300394003950039600397003980039900400
00401004020040300404004050040600407004080040900410
00411004120041300414004150041600417004180041900420
00421004220042300424004250042600427004280042900430
00431004320043300434004350043600437004380043900440
00441004420044300444004450044600447004480044900450
00451004520045300454004550045600457004580045900460
00461004620046300464004650046600467004680046900470
00471004720047300474004750047600477004780047900480
00481004820048300484004850048600487004880048900490
00491004920049300494004950049600497004980049900500
00501005020050300504005050050600507005080050900510
00511005120051300514005150051600517005180051900520
00521005220052300524005250052600527005280052900530
00531005320053300534005350053600537005380053900540
00541005420054300544005450054600547005480054900550
00551005520055300554005550055600557005580055900560
00561005620056300564005650056600567005680056900570
00571005720057300574005750057600577005780057900580
00581005820058300584005850058600587005880058900590
00591005920059300594005950059600597005980059900600
00601006020060300604006050060600607006080060900610
00611006120061300614006150061600617006180061900620
00621006220062300624006250062600627006280062900630
00631006320063300634006350063600637006380063900640
00641006420064300644006450064600647006480064900650
00651006520065300654006550065600657006580065900660
00661006620066300664006650066600667006680066900670
00671006720067300674006750067600677006780067900680
00681006820068300684006850068600687006880068900690
00691006920069300694006950069600697006980069900700
00701007020070300704007050070600707007080070900710
00711007120071300714007150071600717007180071900720
00721007220072300724007250072600727007280072900730
00731007320073300734007350073600737007380073900740
00741007420074300744007450074600747007480074900750
00751007520075300754007550075600757007580075900760
00761007620076300764007650076600767007680076900770
00771007720077300774007750077600777007780077900780
00781007820078300784007850078600787007880078900790
00791007920079300794007950079600797007980079900800
00801008020080300804008050080600807008080080900810
00811008120081300814008150081600817008180081900820
00821008220082300824008250082600827008280082900830
00831008320083300834008350083600837008380083900840
00841008420084300844008450084600847008480084900850
00851008520085300854008550085600857008580085900860
00861008620086300864008650086600867008680086900870
00871008720087300874008750087600877008780087900880
00881008820088300884008850088600887008880088900890
00891008920089300894008950089600897008980089900900
00901009020090300904009050090600907009080090900910
00911009120091300914009150091600917009180091900920
00921009220092300924009250092600927009280092900930
00931009320093300934009350093600937009380093900940
00941009420094300944009450094600947009480094900950
00951009520095300954009550095600957009580095900960
00961009620096300964009650096600967009680096900970
00971009720097300974009750097600977009780097900980
00981009820098300984009850098600987009880098900990
00991009920099300994009950099600997009980099901000
01001010020100301004010050100601007010080100901010
01011010120101301014010150101601017010180101901020
01021010220102301024010250102601027010280102901030
01031010320103301034010350103601037010380103901040
01041010420104301044010450104601047010480104901050
01051010520105301054010550105601057010580105901060
01061010620106301064010650106601067010680106901070
01071010720107301074010750107601077010780107901080
01081010820108301084010850108601087010880108901090
01091010920109301094010950109601097010980109901100
01101011020110301104011050110601107011080110901110
01111011120111301114011150111601117011180111901120
01121011220112301124011250112601127011280112901130
01131011320113301134011350113601137011380113901140
01141011420114301144011450114601147011480114901150
01151011520115301154011550115601157011580115901160
01161011620116301164011650116601167011680116901170
01171011720117301174011750117601177011780117901180
01181011820118301184011850118601187011880118901190
01191011920119301194011950119601197011980119901200
01201012020120301204012050120601207012080120901210
01211012120121301214012150121601217012180121901220
01221012220122301224012250122601227012280122901230
01231012320123301234012350123601237012380123901240
01241012420124301244012450124601247012480124901250
01251012520125301254012550125601257012580125901260
01261012620126301264012650126601267012680126901270
01271012720127301274012750127601277012780127901280
01281012820128301284012850128601287012880128901290
01291012920129301294012950129601297012980129901300
01301013020130301304013050130601307013080130901310
01311013120131301314013150131601317013180131901320
01321013220132301324013250132601327013280132901330
01331013320133301334013350133601337013380133901340
01341013420134301344013450134601347013480134901350
01351013520135301354013550135601357013580135901360
01361013620136301364013650136601367013680136901370
01371013720137301374013750137601377013780137901380
01381013820138301384013850138601387013880138901390
01391013920139301394013950139601397013980139901400
01401014020140301404014050140601407014080140901410
01411014120141301414014150141601417014180141901420
01421014220142301424014250142601427014280142901430
01431014320143301434014350143601437014380143901440
01441014420144301444014450144601447014480144901450
01451014520145301454014550145601457014580145901460
01461014620146301464014650146601467014680146901470
01471014720147301474014750147601477014780147901480
01481014820148301484014850148601487014880148901490
01491014920149301494014950149601497014980149901500
01501015020150301504015050150601507015080150901510
01511015120151301514015150151601517015180151901520
01521015220152301524015250152601527015280152901530
01531015320153301534015350153601537015380153901540
01541015420154301544015450154601547015480154901550
01551015520155301554015550155601557015580155901560
01561015620156301564015650156601567015680156901570
01571015720157301574015750157601577015780157901580
01581015820158301584015850158601587015880158901590
01591015920159301594015950159601597015980159901600
01601016020160301604016050160601607016080160901610
01611016120161301614016150161601617016180161901620
01621016220162301624016250162601627016280162901630
01631016320163301634016350163601637016380163901640
01641016420164301644016450164601647016480164901650
01651016520165301654016550165601657016580165901660
01661016620166301664016650166601667016680166901670
01671016720167301674016750167601677016780167901680
01681016820168301684016850168601687016880168901690
01691016920169301694016950169601697016980169901700
01701017020170301704017050170601707017080170901710
01711017120171301714017150171601717017180171901720
01721017220172301724017250172601727017280172901730
01731017320173301734017350173601737017380173901740
01741017420174301744017450174601747017480174901750
01751017520175301754017550175601757017580175901760
01761017620176301764017650176601767017680176901770
01771017720177301774017750177601777017780177901780
01781017820178301784017850178601787017880178901790
01791017920179301794017950179601797017980179901800
01801018020180301804018050180601807018080180901810
01811018120181301814018150181601817018180181901820
01821018220182301824018250182601827018280182901830
01831018320183301834018350183601837018380183901840
01841018420184301844018450184601847018480184901850
01851018520185301854018550185601857018580185901860
01861018620186301864018650186601867018680186901870
01871018720187301874018750187601877018780187901880
01881018820188301884018850188601887018880188901890
01891018920189301894018950189601897018980189901900
01901019020190301904019050190601907019080190901910
01911019120191301914019150191601917019180191901920
01921019220192301924019250192601927019280192901930
01931019320193301934019350193601937019380193901940
01941019420194301944019450194601947019480194901950
01951019520195301954019550195601957019580195901960
01961019620196301964019650196601967019680196901970
01971019720197301974019750197601977019780197901980
01981019820198301984019850198601987019880198901990
01991019920199301994019950199601997019980199902000
02001020020200302004020050200602007020080200902010
02011020120201302014020150201602017020180201902020
02021020220202302024020250202602027020280202902030
02031020320203302034020350203602037020380203902040
02041020420204302044020450204602047020480204902050
02051020520205302054020550205602057020580205902060
02061020620206302064020650206602067020680206902070
02071020720207302074020750207602077020780207902080
02081020820208302084020850208602087020880208902090
02091020920209302094020950209602097020980209902100
02101021020210302104021050210602107021080210902110
02111021120211302114021150211602117021180211902120
02121021220212302124021250212602127021280212902130
02131021320213302134021350213602137021380213902140
02141021420214302144021450214602147021480214902150
02151021520215302154021550215602157021580215902160
02161021620216302164021650216602167021680216902170
02171021720217302174021750217602177021780217902180
02181021820218302184021850218602187021880218902190
02191021920219302194021950219602197021980219902200
02201022020220302204022050220602207022080220902210
02211022120221302214022150221602217022180221902220
02221022220222302224022250222602227022280222902230
02231022320223302234022350223602237022380223902240
02241022420224302244022450224602247022480224902250
02251022520225302254022550225602257022580225902260
02261022620226302264022650226602267022680226902270
02271022720227302274022750227602277022780227902280
02281022820228302284022850228602287022880228902290
02291022920229302294022950229602297022980229902300
02301023020230302304023050230602307023080230902310
02311023120231302314023150231602317023180231902320
02321023220232302324023250232602327023280232902330
02331023320233302334023350233602337023380233902340
02341023420234302344023450234602347023480234902350
02351023520235302354023550235602357023580235902360
02361023620236302364023650236602367023680236902370
02371023720237302374023750237602377023780237902380
02381023820238302384023850238602387023880238902390
02391023920239302394023950239602397023980239902400
02401024020240302404024050240602407024080240902410
02411024120241302414024150241602417024180241902420
02421024220242302424024250242602427024280242902430
02431024320243302434024350243602437024380243902440
02441024420244302444024450244602447024480244902450
02451024520245302454024550245602457024580245902460
02461024620246302464024650246602467024680246902470
02471024720247302474024750247602477024780247902480
02481024820248302484024850248602487024880248902490
02491024920249302494024950249602497024980249902500
02501025020250302504025050250602507025080250902510
02511025120251302514025150251602517025180251902520
02521025220252302524025250252602527025280252902530
02531025320253302534025350253602537025380253902540
02541025420254302544025450254602547025480254902550
02551025520255302554025550255602557025580255902560
02561025620256302564025650256602567025680256902570
02571025720257302574025750257602577025780257902580
02581025820258302584025850258602587025880258902590
02591025920259302594025950259602597025980259902600
02601026020260302604026050260602607026080260902610
02611026120261302614026150261602617026180261902620
02621026220262302624026250262602627026280262902630
02631026320263302634026350263602637026380263902640
02641026420264302644026450264602647026480264902650
02651026520265302654026550265602657026580265902660
02661026620266302664026650266602667026680266902670
02671026720267302674026750267602677026780267902680
02681026820268302684026850268602687026880268902690
02691026920269302694026950269602697026980269902700
02701027020270302704027050270602707027080270902710
02711027120271302714027150271602717027180271902720
02721027220272302724027250272602727027280272902730
02731027320273302734027350273602737027380273902740
02741027420274302744027450274602747027480274902750
02751027520275302754027550275602757027580275902760
02761027620276302764027650276602767027680276902770
02771027720277302774027750277602777027780277902780
02781027820278302784027850278602787027880278902790
02791027920279302794027950279602797027980279902800
02801028020280302804028050280602807028080280902810
02811028120281302814028150281602817028180281902820
02821028220282302824028250282602827028280282902830
02831028320283302834028350283602837028380283902840
02841028420284302844028450284602847028480284902850
02851028520285302854028550285602857028580285902860
02861028620286302864028650286602867028680286902870
02871028720287302874028750287602877028780287902880
02881028820288302884028850288602887028880288902890
02891028920289302894028950289602897028980289902900
02901029020290302904029050290602907029080290902910
02911029120291302914029150291602917029180291902920
02921029220292302924029250292602927029280292902930
02931029320293302934029350293602937029380293902940
02941029420294302944029450294602947029480294902950
02951029520295302954029550295602957029580295902960
02961029620296302964029650296602967029680296902970
02971029720297302974029750297602977029780297902980
02981029820298302984029850298602987029880298902990
02991029920299302994029950299602997029980299903000
03001030020300303004030050300603007030080300903010
03011030120301303014030150301603017030180301903020
03021030220302303024030250302603027030280302903030
03031030320303303034030350303603037030380303903040
03041030420304303044030450304603047030480304903050
03051030520305303054030550305603057030580305903060
03061030620306303064030650306603067030680306903070
03071030720307303074030750307603077030780307903080
03081030820308303084030850308603087030880308903090
03091030920309303094030950309603097030980309903100
03101031020310303104031050310603107031080310903110
03111031120311303114031150311603117031180311903120
03121031220312303124031250312603127031280312903130
03131031320313303134031350313603137031380313903140
03141031420314303144031450314603147031480314903150
03151031520315303154031550315603157031580315903160
03161031620316303164031650316603167031680316903170
03171031720317303174031750317603177031780317903180
03181031820318303184031850318603187031880318903190
03191031920319303194031950319603197031980319903200
03201032020320303204032050320603207032080320903210
03211032120321303214032150321603217032180321903220
03221032220322303224032250322603227032280322903230
03231032320323303234032350323603237032380323903240
03241032420324303244032450324603247032480324903250
03251032520325303254032550325603257032580325903260
03261032620326303264032650326603267032680326903270
03271032720327303274032750327603277032780327903280
03281032820328303284032850328603287032880328903290
03291032920329303294032950329603297032980329903300
03301033020330303304033050330603307033080330903310
03311033120331303314033150331603317033180331903320
03321033220332303324033250332603327033280332903330
03331033320333303334033350333603337033380333903340
03341033420334303344033450334603347033480334903350
03351033520335303354033550335603357033580335903360
03361033620336303364033650336603367033680336903370
03371033720337303374033750337603377033780337903380
03381033820338303384033850338603387033880338903390
03391033920339303394033950339603397033980339903400
03401034020340303404034050340603407034080340903410
03411034120341303414034150341603417034180341903420
03421034220342303424034250342603427034280342903430
03431034320343303434034350343603437034380343903440
03441034420344303444034450344603447034480344903450
03451034520345303454034550345603457034580345903460
03461034620346303464034650346603467034680346903470
03471034720347303474034750347603477034780347903480
03481034820348303484034850348603487034880348903490
03491034920349303494034950349603497034980349903500
03501035020350303504035050350603507035080350903510
03511035120351303514035150351603517035180351903520
03521035220352303524035250352603527035280352903530
03531035320353303534035350353603537035380353903540
03541035420354303544035450354603547035480354903550
03551035520355303554035550355603557035580355903560
03561035620356303564035650356603567035680356903570
03571035720357303574035750357603577035780357903580
03581035820358303584035850358603587035880358903590
03591035920359303594035950359603597035980359903600
03601036020360303604036050360603607036080360903610
03611036120361303614036150361603617036180361903620
03621036220362303624036250362603627036280362903630
03631036320363303634036350363603637036380363903640
03641036420364303644036450364603647036480364903650
03651036520365303654036550365603657036580365903660
03661036620366303664036650366603667036680366903670
03671036720367303674036750367603677036780367903680
03681036820368303684036850368603687036880368903690
03691036920369303694036950369603697036980369903700
03701037020370303704037050370603707037080370903710
03711037120371303714037150371603717037180371903720
03721037220372303724037250372603727037280372903730
03731037320373303734037350373603737037380373903740
03741037420374303744037450374603747037480374903750
03751037520375303754037550375603757037580375903760
03761037620376303764037650376603767037680376903770
03771037720377303774037750377603777037780377903780
03781037820378303784037850378603787037880378903790
03791037920379303794037950379603797037980379903800
03801038020380303804038050380603807038080380903810
03811038120381303814038150381603817038180381903820
03821038220382303824038250382603827038280382903830
03831038320383303834038350383603837038380383903840
03841038420384303844038450384603847038480384903850
03851038520385303854038550385603857038580385903860
03861038620386303864038650386603867038680386903870
03871038720387303874038750387603877038780387903880
03881038820388303884038850388603887038880388903890
03891038920389303894038950389603897038980389903900
03901039020390303904039050390603907039080390903910
03911039120391303914039150391603917039180391903920
03921039220392303924039250392603927039280392903930
03931039320393303934039350393603937039380393903940
03941039420394303944039450394603947039480394903950
03951039520395303954039550395603957039580395903960
03961039620396303964039650396603967039680396903970
03971039720397303974039750397603977039780397903980
03981039820398303984039850398603987039880398903990
03991039920399303994039950399603997039980399904000
04001040020400304004040050400604007040080400904010
04011040120401304014040150401604017040180401904020
04021040220402304024040250402604027040280402904030
04031040320403304034040350403604037040380403904040
04041040420404304044040450404604047040480404904050
04051040520405304054040550405604057040580405904060
04061040620406304064040650406604067040680406904070
04071040720407304074040750407604077040780407904080
04081040820408304084040850408604087040880408904090
04091040920409304094040950409604097040980409904100
04101041020410304104041050410604107041080410904110
04111041120411304114041150411604117041180411904120
04121041220412304124041250412604127041280412904130
04131041320413304134041350413604137041380413904140
04141041420414304144041450414604147041480414904150
04151041520415304154041550415604157041580415904160
04161041620416304164041650416604167041680416904170
04171041720417304174041750417604177041780417904180
04181041820418304184041850418604187041880418904190
04191041920419304194041950419604197041980419904200
04201042020420304204042050420604207042080420904210
04211042120421304214042150421604217042180421904220
04221042220422304224042250422604227042280422904230
04231042320423304234042350423604237042380423904240
04241042420424304244042450424604247042480424904250
04251042520425304254042550425604257042580425904260
04261042620426304264042650426604267042680426904270
04271042720427304274042750427604277042780427904280
04281042820428304284042850428604287042880428904290
04291042920429304294042950429604297042980429904300
04301043020430304304043050430604307043080430904310
04311043120431304314043150431604317043180431904320
04321043220432304324043250432604327043280432904330
04331043320433304334043350433604337043380433904340
04341043420434304344043450434604347043480434904350
04351043520435304354043550435604357043580435904360
04361043620436304364043650436604367043680436904370
04371043720437304374043750437604377043780437904380
04381043820438304384043850438604387043880438904390
04391043920439304394043950439604397043980439904400
04401044020440304404044050440604407044080440904410
04411044120441304414044150441604417044180441904420
04421044220442304424044250442604427044280442904430
04431044320443304434044350443604437044380443904440
04441044420444304444044450444604447044480444904450
04451044520445304454044550445604457044580445904460
04461044620446304464044650446604467044680446904470
04471044720447304474044750447604477044780447904480
04481044820448304484044850448604487044880448904490
04491044920449304494044950449604497044980449904500
04501045020450304504045050450604507045080450904510
04511045120451304514045150451604517045180451904520
04521045220452304524045250452604527045280452904530
04531045320453304534045350453604537045380453904540
04541045420454304544045450454604547045480454904550
04551045520455304554045550455604557045580455904560
04561045620456304564045650456604567045680456904570
04571045720457304574045750457604577045780457904580
04581045820458304584045850458604587045880458904590
04591045920459304594045950459604597045980459904600
04601046020460304604046050460604607046080460904610
04611046120461304614046150461604617046180461904620
04621046220462304624046250462604627046280462904630
04631046320463304634046350463604637046380463904640
04641046420464304644046450464604647046480464904650
04651046520465304654046550465604657046580465904660
04661046620466304664046650466604667046680466904670
04671046720467304674046750467604677046780467904680
04681046820468304684046850468604687046880468904690
04691046920469304694046950469604697046980469904700
04701047020470304704047050470604707047080470904710
04711047120471304714047150471604717047180471904720
04721047220472304724047250472604727047280472904730
04731047320473304734047350473604737047380473904740
04741047420474304744047450474604747047480474904750
04751047520475304754047550475604757047580475904760
04761047620476304764047650476604767047680476904770
04771047720477304774047750477604777047780477904780
04781047820478304784047850478604787047880478904790
04791047920479304794047950479604797047980479904800
04801048020480304804048050480604807048080480904810
04811048120481304814048150481604817048180481904820
04821048220482304824048250482604827048280482904830
04831048320483304834048350483604837048380483904840
04841048420484304844048450484604847048480484904850
04851048520485304854048550485604857048580485904860
04861048620486304864048650486604867048680486904870
04871048720487304874048750487604877048780487904880
04881048820488304884048850488604887048880488904890
04891048920489304894048950489604897048980489904900
04901049020490304904049050490604907049080490904910
04911049120491304914049150491604917049180491904920
04921049220492304924049250492604927049280492904930
04931049320493304934049350493604937049380493904940
04941049420494304944049450494604947049480494904950
04951049520495304954049550495604957049580495904960
04961049620496304964049650496604967049680496904970
04971049720497304974049750497604977049780497904980
04981049820498304984049850498604987049880498904990
04991049920499304994049950499604997049980499905000
05001050020500305004050050500605007050080500905010
05011050120501305014050150501605017050180501905020
05021050220502305024050250502605027050280502905030
05031050320503305034050350503605037050380503905040
05041050420504305044050450504605047050480504905050
05051050520505305054050550505605057050580505905060
05061050620506305064050650506605067050680506905070
05071050720507305074050750507605077050780507905080
05081050820508305084050850508605087050880508905090
05091050920509305094050950509605097050980509905100
05101051020510305104051050510605107051080510905110
05111051120511305114051150511605117051180511905120
05121051220512305124051250512605127051280512905130
05131051320513305134051350513605137051380513905140
05141051420514305144051450514605147051480514905150
05151051520515305154051550515605157051580515905160
05161051620516305164051650516605167051680516905170
05171051720517305174051750517605177051780517905180
05181051820518305184051850518605187051880518905190
05191051920519305194051950519605197051980519905200
05201052020520305204052050520605207052080520905210
05211052120521305214052150521605217052180521905220
05221052220522305224052250522605227052280522905230
05231052320523305234052350523605237052380523905240
05241052420524305244052450524605247052480524905250
05251052520525305254052550525605257052580525905260
05261052620526305264052650526605267052680526905270
05271052720527305274052750527605277052780527905280
05281052820528305284052850528605287052880528905290
05291052920529305294052950529605297052980529905300
05301053020530305304053050530605307053080530905310
05311053120531305314053150531605317053180531905320
05321053220532305324053250532605327053280532905330
05331053320533305334053350533605337053380533905340
05341053420534305344053450534605347053480534905350
05351053520535305354053550535605357053580535905360
05361053620536305364053650536605367053680536905370
05371053720537305374053750537605377053780537905380
05381053820538305384053850538605387053880538905390
05391053920539305394053950539605397053980539905400
05401054020540305404054050540605407054080540905410
05411054120541305414054150541605417054180541905420
05421054220542305424054250542605427054280542905430
05431054320543305434054350543605437054380543905440
05441054420544305444054450544605447054480544905450
05451054520545305454054550545605457054580545905460
05461054620546305464054650546605467054680546905470
05471054720547305474054750547605477054780547905480
05481054820548305484054850548605487054880548905490
05491054920549305494054950549605497054980549905500
05501055020550305504055050550605507055080550905510
05511055120551305514055150551605517055180551905520
05521055220552305524055250552605527055280552905530
05531055320553305534055350553605537055380553905540
05541055420554305544055450554605547055480554905550
05551055520555305554055550555605557055580555905560
05561055620556305564055650556605567055680556905570
05571055720557305574055750557605577055780557905580
05581055820558305584055850558605587055880558905590
05591055920559305594055950559605597055980559905600
05601056020560305604056050560605607056080560905610
05611056120561305614056150561605617056180561905620
05621056220562305624056250562605627056280562905630
05631056320563305634056350563605637056380563905640
05641056420564305644056450564605647056480564905650
05651056520565305654056550565605657056580565905660
05661056620566305664056650566605667056680566905670
05671056720567305674056750567605677056780567905680
05681056820568305684056850568605687056880568905690
05691056920569305694056950569605697056980569905700
05701057020570305704057050570605707057080570905710
05711057120571305714057150571605717057180571905720
05721057220572305724057250572605727057280572905730
05731057320573305734057350573605737057380573905740
05741057420574305744057450574605747057480574905750
05751057520575305754057550575605757057580575905760
05761057620576305764057650576605767057680576905770
05771057720577305774057750577605777057780577905780
05781057820578305784057850578605787057880578905790
05791057920579305794057950579605797057980579905800
05801058020580305804058050580605807058080580905810
05811058120581305814058150581605817058180581905820
05821058220582305824058250582605827058280582905830
05831058320583305834058350583605837058380583905840
05841058420584305844058450584605847058480584905850
05851058520585305854058550585605857058580585905860
05861058620586305864058650586605867058680586905870
05871058720587305874058750587605877058780587905880
05881058820588305884058850588605887058880588905890
05891058920589305894058950589605897058980589905900
05901059020590305904059050590605907059080590905910
05911059120591305914059150591605917059180591905920
05921059220592305924059250592605927059280592905930
05931059320593305934059350593605937059380593905940
05941059420594305944059450594605947059480594905950
05951059520595305954059550595605957059580595905960
05961059620596305964059650596605967059680596905970
05971059720597305974059750597605977059780597905980
05981059820598305984059850598605987059880598905990
05991059920599305994059950599605997059980599906000
06001060020600306004060050600606007060080600906010
06011060120601306014060150601606017060180601906020
06021060220602306024060250602606027060280602906030
06031060320603306034060350603606037060380603906040
06041060420604306044060450604606047060480604906050
06051060520605306054060550605606057060580605906060
06061060620606306064060650606606067060680606906070
06071060720607306074060750607606077060780607906080
06081060820608306084060850608606087060880608906090
06091060920609306094060950609606097060980609906100
06101061020610306104061050610606107061080610906110
06111061120611306114061150611606117061180611906120
06121061220612306124061250612606127061280612906130
06131061320613306134061350613606137061380613906140
06141061420614306144061450614606147061480614906150
06151061520615306154061550615606157061580615906160
06161061620616306164061650616606167061680616906170
06171061720617306174061750617606177061780617906180
06181061820618306184061850618606187061880618906190
06191061920619306194061950619606197061980619906200
06201062020620306204062050620606207062080620906210
06211062120621306214062150621606217062180621906220
06221062220622306224062250622606227062280622906230
06231062320623306234062350623606237062380623906240
06241062420624306244062450624606247062480624906250
06251062520625306254062550625606257062580625906260
06261062620626306264062650626606267062680626906270
06271062720627306274062750627606277062780627906280
06281062820628306284062850628606287062880628906290
06291062920629306294062950629606297062980629906300
06301063020630306304063050630606307063080630906310
06311063120631306314063150631606317063180631906320
06321063220632306324063250632606327063280632906330
06331063320633306334063350633606337063380633906340
06341063420634306344063450634606347063480634906350
06351063520635306354063550635606357063580635906360
06361063620636306364063650636606367063680636906370
06371063720637306374063750637606377063780637906380
06381063820638306384063850638606387063880638906390
06391063920639306394063950639606397063980639906400
06401064020640306404064050640606407064080640906410
06411064120641306414064150641606417064180641906420
06421064220642306424064250642606427064280642906430
06431064320643306434064350643606437064380643906440
06441064420644306444064450644606447064480644906450
06451064520645306454064550645606457064580645906460
06461064620646306464064650646606467064680646906470
06471064720647306474064750647606477064780647906480
06481064820648306484064850648606487064880648906490
06491064920649306494064950649606497064980649906500
06501065020650306504065050650606507065080650906510
06511065120651306514065150651606517065180651906520
06521065220652306524065250652606527065280652906530
06531065320653306534065350653606537065380653906540
06541065420654306544065450654606547065480654906550
06551065520655306554065550655606557065580655906560
06561065620656306564065650656606567065680656906570
06571065720657306574065750657606577065780657906580
06581065820658306584065850658606587065880658906590
06591065920659306594065950659606597065980659906600
06601066020660306604066050660606607066080660906610
06611066120661306614066150661606617066180661906620
06621066220662306624066250662606627066280662906630
06631066320663306634066350663606637066380663906640
06641066420664306644066450664606647066480664906650
06651066520665306654066550665606657066580665906660
06661066620666306664066650666606667066680666906670
06671066720667306674066750667606677066780667906680
06681066820668306684066850668606687066880668906690
06691066920669306694066950669606697066980669906700
06701067020670306704067050670606707067080670906710
06711067120671306714067150671606717067180671906720
06721067220672306724067250672606727067280672906730
06731067320673306734067350673606737067380673906740
06741067420674306744067450674606747067480674906750
06751067520675306754067550675606757067580675906760
06761067620676306764067650676606767067680676906770
06771067720677306774067750677606777067780677906780
06781067820678306784067850678606787067880678906790
06791067920679306794067950679606797067980679906800
06801068020680306804068050680606807068080680906810
06811068120681306814068150681606817068180681906820
06821068220682306824068250682606827068280682906830
06831068320683306834068350683606837068380683906840
06841068420684306844068450684606847068480684906850
06851068520685306854068550685606857068580685906860
06861068620686306864068650686606867068680686906870
06871068720687306874068750687606877068780687906880
06881068820688306884068850688606887068880688906890
06891068920689306894068950689606897068980689906900
06901069020690306904069050690606907069080690906910
06911069120691306914069150691606917069180691906920
06921069220692306924069250692606927069280692906930
06931069320693306934069350693606937069380693906940
06941069420694306944069450694606947069480694906950
06951069520695306954069550695606957069580695906960
06961069620696306964069650696606967069680696906970
06971069720697306974069750697606977069780697906980
06981069820698306984069850698606987069880698906990
06991069920699306994069950699606997069980699907000
07001070020700307004070050700607007070080700907010
07011070120701307014070150701607017070180701907020
07021070220702307024070250702607027070280702907030
07031070320703307034070350703607037070380703907040
07041070420704307044070450704607047070480704907050
07051070520705307054070550705607057070580705907060
07061070620706307064070650706607067070680706907070
07071070720707307074070750707607077070780707907080
07081070820708307084070850708607087070880708907090
07091070920709307094070950709607097070980709907100
07101071020710307104071050710607107071080710907110
07111071120711307114071150711607117071180711907120
07121071220712307124071250712607127071280712907130
07131071320713307134071350713607137071380713907140
07141071420714307144071450714607147071480714907150
07151071520715307154071550715607157071580715907160
07161071620716307164071650716607167071680716907170
07171071720717307174071750717607177071780717907180
07181071820718307184071850718607187071880718907190
07191071920719307194071950719607197071980719907200
07201072020720307204072050720607207072080720907210
07211072120721307214072150721607217072180721907220
07221072220722307224072250722607227072280722907230
07231072320723307234072350723607237072380723907240
07241072420724307244072450724607247072480724907250
07251072520725307254072550725607257072580725907260
07261072620726307264072650726607267072680726907270
07271072720727307274072750727607277072780727907280
07281072820728307284072850728607287072880728907290
07291072920729307294072950729607297072980729907300
07301073020730307304073050730607307073080730907310
07311073120731307314073150731607317073180731907320
07321073220732307324073250732607327073280732907330
07331073320733307334073350733607337073380733907340
07341073420734307344073450734607347073480734907350
07351073520735307354073550735607357073580735907360
07361073620736307364073650736607367073680736907370
07371073720737307374073750737607377073780737907380
07381073820738307384073850738607387073880738907390
07391073920739307394073950739607397073980739907400
07401074020740307404074050740607407074080740907410
07411074120741307414074150741607417074180741907420
07421074220742307424074250742607427074280742907430
07431074320743307434074350743607437074380743907440
07441074420744307444074450744607447074480744907450
07451074520745307454074550745607457074580745907460
07461074620746307464074650746607467074680746907470
07471074720747307474074750747607477074780747907480
07481074820748307484074850748607487074880748907490
07491074920749307494074950749607497074980749907500
07501075020750307504075050750607507075080750907510
07511075120751307514075150751607517075180751907520
07521075220752307524075250752607527075280752907530
07531075320753307534075350753607537075380753907540
07541075420754307544075450754607547075480754907550
07551075520755307554075550755607557075580755907560
07561075620756307564075650756607567075680756907570
07571075720757307574075750757607577075780757907580
07581075820758307584075850758607587075880758907590
07591075920759307594075950759607597075980759907600
07601076020760307604076050760607607076080760907610
07611076120761307614076150761607617076180761907620
07621076220762307624076250762607627076280762907630
07631076320763307634076350763607637076380763907640
07641076420764307644076450764607647076480764907650
07651076520765307654076550765607657076580765907660
07661076620766307664076650766607667076680766907670
07671076720767307674076750767607677076780767907680
07681076820768307684076850768607687076880768907690
07691076920769307694076950769607697076980769907700
07701077020770307704077050770607707077080770907710
07711077120771307714077150771607717077180771907720
07721077220772307724077250772607727077280772907730
07731077320773307734077350773607737077380773907740
07741077420774307744077450774607747077480774907750
07751077520775307754077550775607757077580775907760
07761077620776307764077650776607767077680776907770
07771077720777307774077750777607777077780777907780
07781077820778307784077850778607787077880778907790
07791077920779307794077950779607797077980779907800
07801078020780307804078050780607807078080780907810
07811078120781307814078150781607817078180781907820
07821078220782307824078250782607827078280782907830
07831078320783307834078350783607837078380783907840
07841078420784307844078450784607847078480784907850
07851078520785307854078550785607857078580785907860
07861078620786307864078650786607867078680786907870
07871078720787307874078750787607877078780787907880
07881078820788307884078850788607887078880788907890
07891078920789307894078950789607897078980789907900
07901079020790307904079050790607907079080790907910
07911079120791307914079150791607917079180791907920
07921079220792307924079250792607927079280792907930
07931079320793307934079350793607937079380793907940
07941079420794307944079450794607947079480794907950
07951079520795307954079550795607957079580795907960
07961079620796307964079650796607967079680796907970
07971079720797307974079750797607977079780797907980
07981079820798307984079850798607987079880798907990
07991079920799307994079950799607997079980799908000
08001080020800308004080050800608007080080800908010
08011080120801308014080150801608017080180801908020
08021080220802308024080250802608027080280802908030
08031080320803308034080350803608037080380803908040
08041080420804308044080450804608047080480804908050
08051080520805308054080550805608057080580805908060
08061080620806308064080650806608067080680806908070
08071080720807308074080750807608077080780807908080
08081080820808308084080850808608087080880808908090
08091080920809308094080950809608097080980809908100
08101081020810308104081050810608107081080810908110
08111081120811308114081150811608117081180811908120
08121081220812308124081250812608127081280812908130
08131081320813308134081350813608137081380813908140
08141081420814308144081450814608147081480814908150
08151081520815308154081550815608157081580815908160
08161081620816308164081650816608167081680816908170
08171081720817308174081750817608177081780817908180
08181081820818308184081850818608187081880818908190
08191081920819308194081950819608197081980819908200
08201082020820308204082050820608207082080820908210
08211082120821308214082150821608217082180821908220
08221082220822308224082250822608227082280822908230
08231082320823308234082350823608237082380823908240
08241082420824308244082450824608247082480824908250
08251082520825308254082550825608257082580825908260
08261082620826308264082650826608267082680826908270
08271082720827308274082750827608277082780827908280
08281082820828308284082850828608287082880828908290
08291082920829308294082950829608297082980829908300
08301083020830308304083050830608307083080830908310
08311083120831308314083150831608317083180831908320
08321083220832308324083250832608327083280832908330
08331083320833308334083350833608337083380833908340
08341083420834308344083450834608347083480834908350
08351083520835308354083550835608357083580835908360
08361083620836308364083650836608367083680836908370
08371083720837308374083750837608377083780837908380
08381083820838308384083850838608387083880838908390
08391083920839308394083950839608397083980839908400
08401084020840308404084050840608407084080840908410
08411084120841308414084150841608417084180841908420
08421084220842308424084250842608427084280842908430
08431084320843308434084350843608437084380843908440
08441084420844308444084450844608447084480844908450
08451084520845308454084550845608457084580845908460
08461084620846308464084650846608467084680846908470
08471084720847308474084750847608477084780847908480
08481084820848308484084850848608487084880848908490
08491084920849308494084950849608497084980849908500
08501085020850308504085050850608507085080850908510
08511085120851308514085150851608517085180851908520
08521085220852308524085250852608527085280852908530
08531085320853308534085350853608537085380853908540
08541085420854308544085450854608547085480854908550
08551085520855308554085550855608557085580855908560
08561085620856308564085650856608567085680856908570
08571085720857308574085750857608577085780857908580
08581085820858308584085850858608587085880858908590
08591085920859308594085950859608597085980859908600
08601086020860308604086050860608607086080860908610
08611086120861308614086150861608617086180861908620
08621086220862308624086250862608627086280862908630
08631086320863308634086350863608637086380863908640
08641086420864308644086450864608647086480864908650
08651086520865308654086550865608657086580865908660
08661086620866308664086650866608667086680866908670
08671086720867308674086750867608677086780867908680
08681086820868308684086850868608687086880868908690
08691086920869308694086950869608697086980869908700
08701087020870308704087050870608707087080870908710
08711087120871308714087150871608717087180871908720
08721087220872308724087250872608727087280872908730
08731087320873308734087350873608737087380873908740
08741087420874308744087450874608747087480874908750
08751087520875308754087550875608757087580875908760
08761087620876308764087650876608767087680876908770
08771087720877308774087750877608777087780877908780
08781087820878308784087850878608787087880878908790
08791087920879308794087950879608797087980879908800
08801088020880308804088050880608807088080880908810
08811088120881308814088150881608817088180881908820
08821088220882308824088250882608827088280882908830
08831088320883308834088350883608837088380883908840
08841088420884308844088450884608847088480884908850
08851088520885308854088550885608857088580885908860
08861088620886308864088650886608867088680886908870
08871088720887308874088750887608877088780887908880
08881088820888308884088850888608887088880888908890
08891088920889308894088950889608897088980889908900
08901089020890308904089050890608907089080890908910
08911089120891308914089150891608917089180891908920
08921089220892308924089250892608927089280892908930
08931089320893308934089350893608937089380893908940
08941089420894308944089450894608947089480894908950
08951089520895308954089550895608957089580895908960
08961089620896308964089650896608967089680896908970
08971089720897308974089750897608977089780897908980
08981089820898308984089850898608987089880898908990
08991089920899308994089950899608997089980899909000
09001090020900309004090050900609007090080900909010
09011090120901309014090150901609017090180901909020
09021090220902309024090250902609027090280902909030
09031090320903309034090350903609037090380903909040
09041090420904309044090450904609047090480904909050
09051090520905309054090550905609057090580905909060
09061090620906309064090650906609067090680906909070
09071090720907309074090750907609077090780907909080
09081090820908309084090850908609087090880908909090
09091090920909309094090950909609097090980909909100
09101091020910309104091050910609107091080910909110
09111091120911309114091150911609117091180911909120
09121091220912309124091250912609127091280912909130
09131091320913309134091350913609137091380913909140
09141091420914309144091450914609147091480914909150
09151091520915309154091550915609157091580915909160
09161091620916309164091650916609167091680916909170
09171091720917309174091750917609177091780917909180
09181091820918309184091850918609187091880918909190
09191091920919309194091950919609197091980919909200
09201092020920309204092050920609207092080920909210
09211092120921309214092150921609217092180921909220
09221092220922309224092250922609227092280922909230
09231092320923309234092350923609237092380923909240
09241092420924309244092450924609247092480924909250
09251092520925309254092550925609257092580925909260
09261092620926309264092650926609267092680926909270
09271092720927309274092750927609277092780927909280
09281092820928309284092850928609287092880928909290
09291092920929309294092950929609297092980929909300
09301093020930309304093050930609307093080930909310
09311093120931309314093150931609317093180931909320
09321093220932309324093250932609327093280932909330
09331093320933309334093350933609337093380933909340
09341093420934309344093450934609347093480934909350
09351093520935309354093550935609357093580935909360
09361093620936309364093650936609367093680936909370
09371093720937309374093750937609377093780937909380
09381093820938309384093850938609387093880938909390
09391093920939309394093950939609397093980939909400
09401094020940309404094050940609407094080940909410
09411094120941309414094150941609417094180941909420
09421094220942309424094250942609427094280942909430
09431094320943309434094350943609437094380943909440
09441094420944309444094450944609447094480944909450
09451094520945309454094550945609457094580945909460
09461094620946309464094650946609467094680946909470
09471094720947309474094750947609477094780947909480
09481094820948309484094850948609487094880948909490
09491094920949309494094950949609497094980949909500
09501095020950309504095050950609507095080950909510
09511095120951309514095150951609517095180951909520
09521095220952309524095250952609527095280952909530
09531095320953309534095350953609537095380953909540
09541095420954309544095450954609547095480954909550
09551095520955309554095550955609557095580955909560
09561095620956309564095650956609567095680956909570
09571095720957309574095750957609577095780957909580
09581095820958309584095850958609587095880958909590
09591095920959309594095950959609597095980959909600
09601096020960309604096050960609607096080960909610
09611096120961309614096150961609617096180961909620
09621096220962309624096250962609627096280962909630
09631096320963309634096350963609637096380963909640
09641096420964309644096450964609647096480964909650
09651096520965309654096550965609657096580965909660
09661096620966309664096650966609667096680966909670
09671096720967309674096750967609677096780967909680
09681096820968309684096850968609687096880968909690
09691096920969309694096950969609697096980969909700
09701097020970309704097050970609707097080970909710
09711097120971309714097150971609717097180971909720
09721097220972309724097250972609727097280972909730
09731097320973309734097350973609737097380973909740
09741097420974309744097450974609747097480974909750
09751097520975309754097550975609757097580975909760
09761097620976309764097650976609767097680976909770
09771097720977309774097750977609777097780977909780
09781097820978309784097850978609787097880978909790
09791097920979309794097950979609797097980979909800
09801098020980309804098050980609807098080980909810
09811098120981309814098150981609817098180981909820
09821098220982309824098250982609827098280982909830
09831098320983309834098350983609837098380983909840
09841098420984309844098450984609847098480984909850
09851098520985309854098550985609857098580985909860
09861098620986309864098650986609867098680986909870
09871098720987309874098750987609877098780987909880
09881098820988309884098850988609887098880988909890
09891098920989309894098950989609897098980989909900
09901099020990309904099050990609907099080990909910
09911099120991309914099150991609917099180991909920
09921099220992309924099250992609927099280992909930
09931099320993309934099350993609937099380993909940
09941099420994309944099450994609947099480994909950
09951099520995309954099550995609957099580995909960
09961099620996309964099650996609967099680996909970
09971099720997309974099750997609977099780997909980
09981099820998309984099850998609987099880998909990
09991099920999309994099950999609997099980999910000