8000!

enrico@enrico-desktop:~$ time cat nann | bc
51841810604808769398058197974277269856511005319368417706723611545954\
29475316606187556643544762678482157216627177834240209140235545636075\
96661295109473035934508368049334529053780777284244223430948668504207\
54576162984869739063028010804560477838079341985337337324170215687830\
76051465189864965474928431081298506769884431393829005536805059336923\
23370157777611954181395779927796928247982170444256906306429759566061\
52842173879432935933946818270186673488780616754139876104577489424312\
73075418757707672272979866291011557939013935781573622325163347618605\
06081091521685258567831245656488623686484709916159918400410323236342\
73906177215508726215122785289800292896616633778147409113442641862736\
81805395617603319688868169479214366311096956616662456842353474094723\
99367755920005965402229576208803457199256068521551553661311155524897\
99475874760323546151050581852324705507894849622222344271554383808195\
11217833301399075096997908887172228834753966581182729003220976100425\
09495611276615047357641584209913883188366659628343501107576294854855\
38721446950484811274759643888836944647501913411101150134319292480957\
09283287436146790681771728441337421538957842050664453593731793643737\
24503629172015811671832744376427799953456253926254815918336720839180\
62367215252459903279887653200065140476309040290484637702188940905488\
00750743300359157460135819513976792342646263257166662083588638778573\
54875485114368978703422452801804745912380473433938245758777857379720\
96283634319573487030293376238992796477248730649932042549205325788430\
41149236006115610650593486219320001910449132471970021125981168493030\
73027497851336208821228098457820771418128279663636281919736682853516\
01375044387289977369313500441149385108388538791946584740903941372285\
78159323504723818559401132245900167715029270893600422465248510946638\
66519732100544537984474106431632382996361405868123491087931409556953\
18002346721968966698565904350764863899318555503239147659298960381798\
07971870793267455299925683786704664025533920655897249077863079764322\
82923508630080612066399364394087362940657084861741604238603058000177\
27373732493904924242706940123378123942706489471120713881699259332462\
64220930001659073663045317339473797098757584199297464687597633475746\
05862736219062719162802934776051324915112324675051207899522543854613\
47270096638568159748382324029072420342374600077760890132785551770396\
77949267595993181884198156089637050732786736133475038462763581726616\
85186400054227521286095944437474628828815416752946797387377803993132\
30797774387453688640519670711642832501000839007611808502350985590142\
56778812153901910849688228577797648104612328012152252504539453710518\
87604983603210599347390415572134748871996381136420181183927908519090\
94376586809635006282922470304953983378433348811398122203859036522497\
06363186153226691607025181454734575113083973064847765275810314404082\
69743653475030891979835839571688879568246299771375616141706254412709\
73453556169865513259156227254356273372803712563051052233849562024715\
30654066736411719112470251115991271319192781199019462022029004206058\
41700502137363643400530449428232262208147855188442972910525926948277\
67243512876276622662380328867501595056869398033047289725125591275255\
50867476990743367164294535450187152372976717704232278703082154068419\
68509923168373489334271228707173663770605020100887635151376402558425\
28323167572442047733380451910091318517583331105617236291570656017306\
87155256413572350438525761931494963030918023824738092188980673019641\
00240032236672740010018709023718766499325451726553769181857598896908\
22661005878161707434389519354993802268450211592671755820305138584046\
55514681820097362062632252300809203954158369641391340773749765404590\
14194587173401086007714588648281935796979127857978500176487837663541\
35770430671896270959632386232842438894885595259315612140779692420434\
34337929591752342530990196631299243551973815601253072459378759861317\
02018922748275714074811125637423674499590097089771168011616237164413\
25326118853276224661635789567710783534265147972228639090397973388947\
28768020524334567270541292890817776872036842063968482627293682884108\
29212938731059158883944802796422351899293854805220151052150255403792\
92496623590497672108486162141733117448049938819872466523302685395153\
67039165825829197507678100714915282417307631066574832155912667575380\
45028576437215752613736240871407716553987134688010272333278635449781\
40382092611762488990420059538805815484084790004145644942802015983729\
68176017090038558080239920164022589773709835375064465978205964987941\
27260024788516867242267969836133536982042478200975050300542586831915\
63614353553992313600366063950583501650800279196007614985425537490482\
98094982473702340977015999594708997989674062482497934624684704398317\
97317577360617651720535704347230501297960182193175253193291346530884\
40507833962726363808342231062112891335435796530103262038487126108228\
95658786605432406806120984886774966623794724994640236997943911108922\
79671187896710367097037598399448041050380729682279672602453763653688\
19288761985316737001938667279882626651608549819461100608365843152228\
75459609224066087882805152342785560008281999337437722051926215808928\
57410620079364794592703445358325796124522152084379129744924850226312\
87593315698704059427039278939612356260844523471484098944680124721227\
88668005034311352913093077591458766265079286354303642002254109885470\
52095805754729672645096735345590415506781517991901202071558500691814\
00115505208623684027502661731489057937913219830837086334560599682126\
00527145065028970929811109761460982755765862262034834955649513216367\
68860604350374203264881475884647359468796336636772961647925528531991\
73176833213900738470983391905712205535680139811371526053965650622249\
55577363099669735382836015948856581482862057038035991395829835687262\
86352133327966713501195384738051734513915528283985721002160794007854\
18127261251140710561697021983614688212064669134936851384056970962157\
23327399574867265165032661844951435943090853242888098701129843345693\
82155857576419592128801325833682754482561452109640363623620516335170\
86601485367059892701790560337581210683556099477771219960317403830490\
56279907601950698530178791140275188316909309075380101423631213595711\
96694506978470112164318189264780101629119768584529025100234674156440\
25990178417002748628652510920614213427606076071542879343758691464812\
55315788320142746318943200510420673840559943507297930959481393939419\
54008571405599874170789924778895191048562079881915945916510486611667\
22987473140148863564166503041838727283829735214937789219461118718627\
88779787792792110077337531115005132302679680682795186853495831486057\
79157562329072929840925154565309846270577867309364173018488325424599\
12828045780629089605922142458547897805188013630705594819705297383917\
97297033520045655863165470740515900827919986304723363642757728353677\
04607434655555895040987462504534478846156876872291879443015135621328\
86808044731931178919793054516922605632017960844694433407088479904854\
12969785517115211716620972089760285153555875305646680955578440812478\
18379847124522100227264717773387709812893047216734161737779244808671\
79886316960360470206770832722586520859085223802734681423537107435356\
29792364698612159925364323818835278048788525569049158674923347500776\
15603294009371645748372619280000271819829207466455481586803576205469\
34096607710147474279095871388946850469900137524205084053626592034404\
92020327129462329906289573144438605837188437317963674110043631051670\
21608731208960147589451175789562418808058742376774533869681099583595\
66357016251022518540189219755465094055303386278497394081308294352898\
99162457596368846035929229421790898347178456234694276309701202642916\
26665503555870002230052700901821226528604521820641241774988412942718\
93363023654539285487248962402537410797792430249635945705766631290068\
41056467501828034361928548446379094653203004320467688567799638759983\
56086421228482720653451286883075471880601344391757519017334326614159\
04336356203741476907796199094524587114435090803408665136720230965813\
73198635403393208941961689920424432474796857396108712737796703747352\
88368190961659702683553474243684725516840742170713546527465351169633\
29147783780243810991321175679492740403778008018520380060157140427373\
72008979291642940217608074602611064207215999009193920252439762261303\
32918724052430703908618179339946687720816993426189782921302903199243\
79832040589225629539794860415486373105361206269477206921046087560928\
22700309387572270064739294905021031263256605961437818241607530110431\
40715146124558360924089715072984204779781835197788072317871999593258\
89154746074811172731432448180711115079679416707342581437298067082386\
72112447909771073274252135892754071738394006721063807115077088322496\
72321227800963924157246597358535592913088036465860815466730795426616\
14513797696235956022093178529517230899863631646372167698577199255810\
34080648511045754794354302113459629936012931876554413527822529025905\
27926522424591924205553834577955560496463970158005509835205933974482\
45210174074072250498604023364816833725982728468549285119684642803686\
49395219563345208880870801580555157113643374123722084816302769164122\
21639299025700747752240531696532666686218725628350419226612214249912\
11227203831546923518491902373542137465147771389968990257477848397190\
21229330122044534694619402717612055112566535088758145645249203927085\
26639232774005511110260617547768849421405758446738144625094052220243\
53605784784179351235070182594391874783526963429728495013591118691957\
08035382964783783783754281032334263883107033175191012408797985447358\
07781388066249230897393702580086086491991864740301737172761764714713\
66274614936392642297304457765337817567609088613156051548413723760606\
20558784416130443082791211549835694041541148728811237340644263878761\
02804973264492010438549956477059902218751719545599693274865317849458\
67921708077907953298569315185465677694394325206140839397995031269164\
33522396628647956274340852791513914385466419565153257909520592325067\
29321274234501644567127828330885806257158025641500206849889991763710\
19041148862784612343133235815743867023210266128022581491381975886416\
46733676395450140226839845569462852278888560166834226185171019743281\
90701534700049126198814129169847175048511704672829315661413922281029\
95387794295881265283641425689369874161214751805377406646140970678118\
90315077947426057300692162092581210847013946885922303234956973793432\
72025567484297130963727950273194560496996581585585029475502566900823\
50768444758403533298118708364175373980047588763758687762274609366897\
54813751066851463796919446211803444909119273073273843158127381330790\
51058069508430986414194004837974027668443177627531529574101286800547\
79693245965602389241374426810396804407291155427919304056395092133091\
35947647070255792122595859613442090245185619002105763678463739495846\
42780619684626102230192604302606503700283459409047534928062321098905\
42110521766661317086274651660996292006995371286703370389698186563077\
78213006497189199016913200273098795478300505969437254791157128851494\
39638030706739067546731791062172306957004767812540061439472486918518\
51685129362518131565064184790982424811479501176394081545447143693517\
91999635577116954750747099609610684909247045507555544570698161393266\
52496233701415986857255906823801557687377710351317046805581647136646\
15234878668160512860755872666472650857083950081385465655856249353155\
42264171400802744703579668825568086963608804166001828196409084106499\
63622226244348003429756253416780756119297686588603410538920904746114\
36761331951738636853255284593817389508267195668985488246096367370816\
29083119910566299418190396215220667622600388659308206550287476619975\
23265131421444018870731106820214801084200087015858381566667949104018\
35421510096436036123811976072779400810238471827841938394753011079990\
94014041871915231960071972562988362191928381926436943286141912751867\
71199264507055483995229751991369694991531023016389273025500153603021\
24208929857002031040578435803921935420190624135237706155543959539097\
38160681427248924893337307480570370499910120573061439409289224906978\
74394897503031240271758315006048452158054994291318216885552017318607\
21770870661792669458035660538478963430866130177882001583389254362156\
16869722580780260124703795630115376347952970820506996033596889261728\
54543826904965429132038847287946633035545286834183237983993089078591\
84938079844128287532472300151153205182846964163450755688383891186284\
80996214807384478407522517768251791887468680334345978256467707719729\
04368101874622770034260305720804215333943714014839786725545926379598\
11853931244280832159601798442056418239416000575594597073414091663882\
80995600935572789549373522052796278538748908526615395360049498756652\
30402928137689706028936264661100063672670024066161949812998910676480\
85824351120769553786795336148415062956059259475566778037041491533523\
73371052981013222058250109599554819676825169421977956195810222489859\
24038232411270568957518735412692180396066179661832626411598555482984\
03240293874141254338322981117065349597112585301436010242542539317123\
87180682041836343261883718206035952075004786976451417152108723805424\
02862825565323001229473571027379253814741536079924522614985780552362\
08827206641912830180533673666048305349025378868456489812509507786489\
35962335377704707982911894904164018755960314403097684423235593221073\
71782458060545572175291496592381841146847286528241568631390318325840\
71444189871034015117627276645555988703016383417979389546360519827232\
75305900648867460519128228878294946849429952997567615613863339721114\
14897396997687096348218137269597753249222074153005544917048458576935\
23449694475485398716908362901488241029752390340273941144824545666528\
31001692244888052887252590590967084642693105556572285834129946521787\
29107219271266647443134189676611842668208871005900874469701931028977\
04627857225096510619991297901476708139920624204798279768987159203910\
35875265807268785426932243843026834756855167962947672188461697949477\
61512046288531746693018660653320207273756895385543554063909920784866\
45992631744927947249251557220212595084490425902670522034423637543439\
36993599138774825106381225672206122343177094144758227258805291541792\
71085148958130624137007814937559094107276708520761175798677288553663\
55835579094197012308900011698866158890008936999623145362281075352951\
07795576847600139492938043054418023344409763578915961548119364554590\
93359363430597512214770118723361752663705139866877474841272005126038\
86766611328700251622674312121602887351837802946775596369507010954200\
95244054998950848885292882744418591146343079293888585525086055674121\
47978516892525403407409592227546748877144184464724989519549604997992\
23115117272984301521021168503862230302664056236651609307916413189621\
58001278360095119082492039695325064603715928999881952210692570682908\
11407456906629565234802001334059591600953361500438386538144912148224\
51050716716019702887859471249773209447153607667671772792187090480686\
92982540479517233543204287462162445995134644997832377610392229934218\
74401535095581798656968275677039977373619626939100734237406261140806\
86608692446877207143781691831707964451167655380511881187212182244607\
84301224723445163880320329577075033829510850213749159648193244564465\
37395189829711167053582705562030416916637254702679762844541606121974\
23837423503287720663901510610267360373341211649427848440262589727327\
67110327681426063609656164174781055739598096735042818572969003484946\
74000184656379797078439517399849618768559271410055764219067491845658\
42967041607905173325694236589742560142300378433980811826994973030508\
44041927390539236232385931339597204890756715355741083038019043354472\
78160258923244480870169478471637597986647910673484554012641544990079\
89074865766264792144217023979087574230866014872141227916109759427355\
80075466317232537420638410312533947875818679764426958618859438838230\
23002487885368430638247722578426581578991193465577711944608741571364\
81890899892765463294651676648188025083275334821673983095219286622312\
67938870850317382328290932581751162716369000531062996739434504646541\
99216408784321352200016877882210859110964858414880190614833591831661\
15799786327121909955523829779910031281142170348691903981603120681801\
13675427553812068962479883191598723416859289756245069524342754546008\
89560048081549072933047345486925026922172283292388425914519814660308\
13977974195494787884694887145043484285221714632359473651121353451702\
75950659886310189729268054278236943362823670976390626877416043494426\
19082022602674364369146026100745244516104604043336520736209524875622\
40956644504832650179699967927996620954651328394452680927674455056765\
33735660274905537467331802667121438525236982031906273616575425036971\
22038135656154547364837695141135045002714657646479085524673891509705\
53745477230861478552100407382227479488344448394802961459638500288880\
65340281725782551527463101721056146798550188947493139312717376746076\
96377882136074587455972431412691959353690816108647983565045705907006\
78558509909619408963930915430195222721151295783892839518517759209584\
88415269026643886871575771542270179061331162310203698692383913557009\
79288171404887428085455590188208464275866952969340930129113980421712\
31285737938370092192939985789195323455779537859661284083288812962021\
74802877682031877713499781512839657527142687081584414067932662759081\
26453575543257836321889633424126936300350340175256131231198765218715\
39286213653732931197276050223834481003358980874471968221816229998739\
96099091539073477535432104967972944707015904522065705874389422160833\
06141421958285449751634098929249822792058428109780836450483662492583\
63258335192230124171407372437315421989645139651504551989430950692981\
13122677980604875838070586734394557192198551676879685131806670799951\
55789876320603692698735872652824410014777773971550062587765097267278\
66269318036647632335855587752730503506083430099634451827445489405473\
49666515847849977419435241184724428087317430363358231190011547874413\
82012030626011704035712890870819301545042518929175120103570839396582\
52595510121619351057029438737634890652108151323196989669612746246404\
10008284302220158991101749876910402651202385544392536370046184722977\
46267012844592935243809635699917510083061386262600308055561400135666\
59572382548066278098905490190319017783211983849711970187625213758499\
99814035906074116229017548395845920432809705623264595992790181279075\
37995849812394815540155155118710214928862582217599476601332173718528\
58765664503278233061915732679355333374002556793414504635697239929450\
46074431257022833641630368785882394318797572172275751687812159986171\
78608302800242648228651440257189612209556584215040219748565778230999\
15394435910339636389312333070273258913883350441607629391725020634481\
17441435965834039036644769338493031626469577409010506316710321503918\
76561060020667165606000829038819329867801346127460525801499142445607\
20121006182682870070222439497927982558340108012618889249408238180730\
59445322613988128001890450996580615216773188414679507669469839540320\
54461791381417166574082617795104286891401037847414356786008631614618\
26924048450832404735702868978696302137777551214707950507946503907929\
07094952085483614395601196513311883505632437831165056050447466880333\
95582732729994918205208314413791658389197271478367122422880377351566\
69496952590155138664429675583861391717573867791121113119776748995042\
88672518990160350444738450397473031491211992201267422132180247089924\
44038317738150938772855865951677442396028540176322203559485815393088\
30485698604226542593252676077947608172590622024807921864824605109191\
84911315946693058200397369718772284680529703106200565862259900429987\
42904075764997888887641347224249585653993959454439409251864620019082\
40391085792496308333562188311072511211696906577255256332507182305573\
48199005985562545065518390499647155267568923845368506670019005368635\
34172753181937100254063521579530093224092593367027882375926579877669\
08693051444592108387215101954363550165518860880369975966076239601979\
25343059395384353177148725279528896347905688306917063957097789688181\
42391232382135525817528721692690500096644376753070926965605757098361\
92433144637150385629085412231533409956515184293960716695912589645542\
19915966313388143984858665513357785291351181168672523063552382665573\
30908822475510670301149543006933686116787600231879067802773920880645\
55498433417971145965613474931706136039378548116864382609747877056403\
95846959751306021811754200481283967411414416623437657846804125476818\
63877957772758926871839815020570088699707781666671442680147814284914\
40249188918318114000870461428728227562649975018663498629789486174825\
98175353940880287629553609056373613039435321524534163107027211798708\
19170439851648914783387696148215301717594981914949113758320644921856\
30119174388247642298390160608412677808341984487598873308345519066935\
12964215833514758385523011398176071795037078514192581566444493049801\
36663579779448084149983107255259970771598807019625801675327986776630\
27171664717423092683496188133676535175054868755511708161110641910352\
42250816557134915627673052055783508914852828212315035584012066454267\
43153255916118535078897672023261770167220795653391537251572761178970\
02366666682158570182492775630794249481195357295576449723989889970970\
51417767543787177320321510730757774072954748969245721910417774974242\
48558239972069366204896708060402193103618418943264331474429954915211\
71290776197762743799338895268457216078770915623220082729598436494773\
55236899180787278620526313289641237829463236238005128109302482321168\
92183535110224369865971324729965779337042186771352107391341011398277\
63981936028996647902882612362628869271704895306067914757592444722426\
00766819699084497774423956709406627535624887301537752012872082445740\
10140685177691038823753076694409103833976466966489270700824198248256\
43726873774803152292487340041564698933426254048682969846648825976752\
01135549024750917153360718506308702823612017250827757264427311044376\
06996292501427860083553888486486633598237988633653745901495453886936\
03580719592690932689313292042657994469812712518978754152222048992063\
95355656464333258262641963577173051507975616864757901500734099412136\
88042603233638814412569699704488234128292756405672156418309054037861\
20039867465539835446469109814435667622973477264594078827063098862238\
53600046187302144040104165449173710174988597674422567329889120044538\
92630831073871136113565265262355511926344247627110620833249582002897\
54384884791246079096219740958234606921448607109157788619826039437771\
75833123463408636575717583538983890444027503556395053963448312567491\
08835134412029324951300913341284628897726772266638222744438931565597\
29557627977910548205671844249892451360598517689547700346916997576897\
71972484563289436671490830737268970427088940440099020955563098778862\
52878178574300328317819532489009237812778893491662333308517002139790\
97834394392036818699438534133696804016240467396505715534436262602120\
51260482060654522152154319022619782876623009449676020112164599180059\
68526604311194362419340124921418441603588201995086668321075309534365\
79886763040410277555567343983857453852680888808520067950563786717120\
99160475057908884759081095854556679086048420633045351513668521930163\
69923051993124477886494372320167032602568869781561858959333454601691\
71090836969910596383386036574913749996330894664921413265467844715917\
45717053358480972165265316880204233005317266107713949474177914293644\
04314252888169560331704994087222248492437573711028495021945008969667\
80545939518525344758754534013936228842629368101449950269059642851311\
56358681592735181656944150419748224792511814653228829671802777275386\
32678875685168879098096802117721407417720495851977350438609166251282\
32387478232443430455002270679223711246598884849115239336325521296879\
89721020108050338764058595145253389806610014161184240065559727891767\
46880281741310647519374101780819903666064552777205121219482319874749\
13904010843196551189510605868076672690542164709590663816638230130467\
68627320912648093401417115674774358353724623111952758181239716991456\
72899761642929217471655272161645112837851038199456790157509866743710\
01185799286032213729209042991425959270940746429838178898016257283120\
74225149071595571519936250563253265637059267385801411434554051046648\
76269269906014828854705567851488373059629262742155373361463826927307\
79196395120857882059499220883320476756854954337506676873510473861583\
00845325512386153425944992761763787072125711882897929710264706762721\
74833242962001581383700496749196107658008669394186690023173029577746\
54480550158914919937596131479546202496619230864143755231614535306550\
68297078956536723864234167886470796965777017901873240151091903714488\
58021895892862990476604393071139101823743035261822903453713527204473\
25789782054122684951497831880498323187054009238090065539659865680126\
17284455628798818213091103360686132602950843159426607246540790770721\
09429186168602512896323760066970836334736110704055573746751836537353\
94698007528803566490284379989965562715588446988918129688255259595407\
25066258878837829265910822277425982621455659743893364702932766179971\
99572102261263133227306105281360879836397446879484298604602969365029\
88578079452535999865822879866082204754748988362902063345851438109421\
25279146066448975288127498072598314271951266866631164254370707895712\
80305733888767960532170267125430675333431826397137575685278248326285\
51008969196662583353817265087383467859977632797825761043856765378159\
01668981489046420653695150196682089695911636577763207238892358430955\
02792601081701503293903105003635199754052541275940905274081092794428\
14782933169345752725510240265757803395655473849107471113075889322274\
28425609723836450408839339921399207612307695404847184917361302058566\
02335428054158503385456186103651989314289070619283974764359936765350\
66841969401898764840927582031881509758069075629304568820612755146587\
77895867180568985334020527800731301735622051086685302957751527735248\
29590843655654743009010673209642979116053919742875641955927440147199\
98410783247935632740474724274637765049069941014022315781336231565127\
99178886254282090647956681752971686905763758522903490923187603435536\
22293660293540843884596919387603775311986599910065725117711824606819\
72976514228024930734565215297440511364224070754586184026503112880305\
50482119571200137405447555726979804791720946820382002914492314483288\
42092867185409978488579585449386055197371893568574285939167997298193\
83854358778203845925030126113153235553308402673254400000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
00000000000000000000000000000000000000000000000000000000000000000000\
000000000

real    0m0.648s
user    0m0.644s
sys     0m0.000s