Large file: warriors/trisha/baselines/triton/fixtures/neptune-native-currency/witness.toml — 3.5 MB — the first 64 KB:
secret = ["1","25","1","0","16","15","17031206504620107738","9237227006091662658","13735459663907749193","18288128851883601400","4586798725930750550","12282736504934028962","1434926961274837920","12130852945834863049","8605870039530057065","2627901524369627983","5458806851435148895","17065020132692866450","10972003190263168531","10314974712191182122","14622759001824341761","5","11305007904490302261","9599338968880624023","13137634647446694715","16075658688778637089","7210249028992940817","94985","94984","94983","94982","35","2","1","14","6","0","1999997965655739826","6653045421520997424","3839612106997957770","6703012236211128515","6243706751457063498","6","0","4446143334052126205","10393523594031426464","10086537325422816890","1010252854552714395","8244244441195574372","6","0","12181482485202513990","18207350348903647748","2157690709491019187","2069553896688740886","2954353631561364406","1138","2","4570980559013167606","2151913149910255270","12893470067399536793","12647478487277611437","8027998573303312526","12526678956203895321","3320325071070392208","1271276188984322258","966011979801782018","3059201021290763494","11869966837637676245","2473788202315677970","5814425998636147407","14020995774052793292","1123881121689491967","6240808248186652297","17946317244614132668","2313265374983505287","14897753392355870088","6929872719082590273","10001794541442089507","5661901099715009402","8597154463929159023","16800407409630784298","4504489573851273840","3490065548750892625","1223878188820952862","6547494622610598278","2935984286183380966","13103295777457018075","8440295868069821930","12506339295913059965","11607596041143548931","16363878651350655182","6562368293518350631","11717856363618050274","16787718231638962715","12616523459855954772","7600721524792266581","17161944570558945520","799161551783525420","1433700387970504185","13784661203858528136","18205893108278965825","17572835259089352616","9734300222855469814","6664428497603020861","12599856489051590969","10944442474068135769","15065890659894691290","594303998714433815","16970229689004297549","3483545654469913961","2423905424375794829","3943537888607132877","2543341455826700739","18288856379061392881","6681889738552765245","15554011726553767663","14802245228164688379","17410227348947598796","7802491793841392599","8082957883802367087","5643573351406695629","12200315513868817939","953974483162716857","9718206877132757443","4328679750531770166","1583532432346671218","6168064374320552211","9933539603334978951","11810322662228911176","6559883267644599395","2889508831505396753","16603725038609312854","247699939349939102","1601931314948376591","7537757561324392359","2935854434490481218","6190399207150524199","1002471998389001770","7679956500072915850","1373454147161031149","18261579170296567224","11599059831339750607","18133849623916759018","14025488346470885073","2652450560052057351","8944345569286191010","6354877588369797279","7287102496520402083","5816597079950398848","5597845933751208430","9919939861207865917","10784525182437431591","2442864270157611131","16385204545846542065","16744107814977686993","10586468667481616451","3120074971343978084","266117936224292837","10583412136515689607","12104415133132335182","14584991494378373828","7075164682790118498","12784556412963755669","15478158484847973426","13071273045381372546","149361052891743297","7188105343168032680","10410457477289590415","9612966549787434042","11321224605162716045","8698626575026001605","5031061227835008222","15637318691100537239","1399671009787969844","985480610969412116","11217148341113310602","9735131629407561604","8877223018422171927","10397999875739052232","15701263822087719458","52362469010426625","3996750024212626420","12879429394550432311","15933799515682915317","11890465818566145468","7641256177791007721","17389733567528073261","14427582513477874881","4224330386902516669","4921854208400304734","2587861847150043700","17294492212110142027","424511267512991302","10400425895286513787","9263994114949153165","6216182791824703387","910965912437373180","10502886439815654202","3398192427329471016","16520536155811874450","3585863525750554920","3680054751949476078","12560860182224199486","14122280641028104382","5085662182884422736","7955508998717501140","2486837392965740237","5019464987376929557","12276469624722659930","16755971370823273510","10427868557787246049","7323178265435149735","12753577352611164217","17534173861088859137","10047499533905292574","17666473034277239061","9841928957786911160","10566001243588115819","838207736753594668","12173515486785720139","7939440226659665325","15833193635688706545","2741146684732159244","6979356803459084563","13893788949312578526","1309179418621114654","13434370739143279965","7318230519663924152","17641732483671081043","858752029416875141","12548046382237664848","13421483431173445473","9409730679252155878","14898087264134901133","16887252855639915545","4914588437160399759","3750590141819407179","9996595891989991160","211935882247147317","8313897496829181248","8155989382692127275","11708449384613338866","9202784531418282126","18224295821906697405","8428822994482929400","7724827173171214831","9529658343751480171","11918131339412945211","7467621045622818245","9254648598584223876","5251122314667309697","3166403396047075874","14391912238122682385","484257632031165483","681566323267478580","8003299583571028054","3236823877416427451","4395315186397614771","1404694553055328050","15189972096154740410","13366805739678646564","12453186717409379288","164407301520804766","3285281998822076424","11259881583798684247","710396468003236209","11369315797844524480","16989625617544688843","16416177045060546343","11978029475048147160","4330606221496812317","5790389172813037919","15991010005495326048","17187001833304087533","2431448182632367927","16182168066124325226","3610690856175343006","7864667516286910871","16809791936597489271","8784216646165977546","17884317069206796572","9226814857385060348","6063963644780034508","5628388907786786003","14521532123987228467","3840815865787890661","15436872386250408531","8988546259915526752","14276826027289022630","15481879377431046883","2560967482154383904","5377560055785528502","4570028997564447481","18328135989700175180","4087370916293764559","4505787562655713309","6372984139371655854","16696311560072589043","2435149153739205747","3656677819171846618","2788191360737018565","7560299746295859639","5229392543567497654","14765985366836054435","130861201893875961","1582767039781133415","7606363431247220647","15422010038640520048","1290669474574344048","7713583449515808157","9766367686691023196","918314245526926101","18198869516884512103","13760934619127673292","8511750167323810799","15567739480937998830","9532621182652902814","1596238412089718819","6627373768478959428","18347619926490375768","17347276162990538314","8390226140881361683","1478240779183275527","4096596232050025241","1517045860646200746","15037498698483788253","10796846502247286594","12868455851359678338","15842997805567041581","6263296251505478525","9282552690106787963","9558911778158148193","5070255703286523429","16604107071173100246","17530337337500984399","13750720041934895490","10060195908076891767","18243405173764679083","7149452195405801042","16007296391194121551","13516745002283851607","15885304089495940955","18111687485644230081","4925027445611984867","13449742058515720986","12637147993577387407","10840495992701234414","17672957134239307296","7448128713122634306","2780894202739074863","3595342512162187670","4729573343125872450","7997975010594792232","16554476576205100274","7751032268605278078","17744659288116733039","15295655740313864296","14674009694423663350","6420557715555078374","11378540293938242857","9837229027450650241","7180738158228946898","15833046221099409370","14464844629830246545","14161469711912197314","17850039852934537449","13157904394001495573","13793390923322378674","4360584219779686646","13668782988416846660","13591480935308544375","11699066613043938091","41541448907244121","4508388843258184605","10713659785212053898","16727433016421686447","5597164254226283630","8416385625880021419","14826279144812258604","2765865680966249683","5505521980899415567","12273602511913120275","17007316226006683819","10423195233890746240","559280122314981247","7193101949068495444","14204916421301117658","17216948705888174032","11000086712148649365","16708225451122501661","7259907537220928921","16108596427335835327","4697367907488987817","4364451664308932130","16583789967624136155","8743297131739348368","1189773247005925646","15870017548049447856","4904710471592571629","446607557377420400","8180268969268447649","1651935538387231754","16943002309075329064","6514827805205104275","9100046520082025905","10678751651986061766","8041433392994222069","16024788800055191617","778451039760786607","5492482373372551972","4944934340847687544","4065143957834845641","836047415779553259","4140653004061116458","11817673418762205283","8000709126454822588","2578965153398784417","6412720676997022436","18007051149287138132","1446210056879739756","17845864973076737379","9559000618745595211","7290799948111914813","171559541230294377","723140781982903495","1912797621293611867","15809525545879587070","6655973597842173028","12859763873172303558","5496081835904694927","6685916401782760224","3682768636946153781","10579481526710812268","6574128066145796882","1473880796137306718","15312263152964995922","5833580914783960786","205028511572575735","7044688597166035842","15125844513753334008","8079098155207363172","15584867402050357831","9623705749218069302","2039102317154764282","15704434967826340937","7725280376743797329","12019293523346368316","4500320684102478644","9737808809550613508","4078874495435664560","6568784395874159144","18355354421505173660","17213869767749537944","10417561995671213552","4664568655697906640","17113707643743649712","12093586165457577248","6264278434519042787","13399294449121122754","13653586105031226021","14705891220947631410","8816167612826792903","16068573872505495134","2744372889291077493","9948011161502037296","489451217582737659","14746742615879388057","10397858050563020108","5210967463612459812","13747830342305367065","15675913851781629432","3682448690053320523","15456774470836839924","14324681196498355888","2664368667148082800","5273756016218156329","7341522712052687399","8127714117411903941","7792142877798556828","3158680990474301075","483574169326183923","12597220217956076668","5265351987699350876","15200182861468018513","1884435555598032502","17280882340742117556","6040903182551552555","12043957580178640819","10848593955450279123","2255681698703121978","548474830996609647","10093091823215267167","3563906728993658284","10799987789416225008","5859239173582697946","10980955774086708798","7515421782249203393","7309306847996856694","9756711240584571108","12187797752219241247","10013533350171668909","11992533541081124208","12019669275537780596","786816280307743738","14163798919617748203","9714636231672713977","1704423891209756067","9386649492184238956","6932598633086327539","10460656918096622126","7673623059803919919","3433981375550165182","10195500780341559561","11147292065575600982","17635306297149270578","15210236350617904654","3490346059325794669","6875574579970380492","17157576983467043598","14362223634855708685","8598684020229334254","15649144870407913164","15813629537216028132","43268848691768046","1225329634781883602","4129091162480984259","12618743182961240305","17895916643962860069","15543644111701340600","9056941745610344748","8244192308553090170","5978480553736215266","14758001197150973394","15638146004235834072","11520640174612406793","1496118930488342838","12263988932389981041","8251213063135045771","3609779167764810627","12866908207286995568","12470889655349072749","6705591541487107006","11667945887318576769","1893904892922362700","144070432794837776","10842514133055848301","8647055953873463811","2518598421788543765","12663646773849956383","11869000824020114686","16504355738503606343","4387329236556960754","1593441276548658395","1057549361933588576","12794011184781586889","16661075662556577305","17388262332730914811","1722381040803653812","10125901800492238312","936500770127334628","13141519939854867781","11592073983134749618","18002491490628046537","10086214777826444826","1677187253117251815","6229895856865370661","7146646272861330065","16357805348360526080","17553788514743005580","159358693703658748","3968447075072331497","12268699958511556129","16168107725553008248","6211643786563555682","13479090198272054305","14176008001752291212","9157756257485340970","10840231815875375025","16668449963490544320","17746932994428082105","13997005751232483402","11183255998097108657","1466286822085350634","5719664554804584361","16950904567806996043","10838026884151559729","12230840925130883103","11812545632152733844","7955557647651430899","11555087649253154235","13236355844975411343","14386236905199538746","13051410941546778144","13279206860146647255","831622200126715680","9838024317248162149","13164115276301953126","4930559869303151050","6537302687048287506","17933082442956031093","9712687652917584503","4250574996439288574","12128938023161700605","8994532841597163723","15702476542178025825","8857718522871961160","2737177161826886356","11775039226560384832","9572521322860767475","15654617087555057214","6738412867971005109","11352262065796428689","685271603414709513","5956184253242851311","2697806738073978578","2777896557834308277","6965851142059316345","7378788341847550343","10043632499328884855","7753983441773462860","9556780534911953180","12395494988955358409","2111562512578368798","14881461524257505341","4876403348103262378","17851208072409340901","3191671522376172631","7292847240274378887","12401916868205060017","2599342773379367312","15382613214976130819","11730908175098971309","12046686946385696255","3129072185946314124","2263181106759100953","2719567408458887578","1382736981922323451","17117615050002977941","6845037340339159513","9459886888072085203","16910963720384421194","10304411928907357096","4456580113325181360","14416354287021224857","7103898770546911499","12483428720791541159","3313403871210411643","14354769399436345311","12798738105971682527","11337938600162516410","11667749476774987166","5398582147474019450","16912762508516118536","9600292248749751593","10817294852890679356","741545448589236905","11733856782103356115","3301296517041632806","5361165004728115558","2769382350998525829","13625766252959554869","18327486163692092561","14124151400006598553","7592127848453230874","5514107776510433141","2500421745438086671","1186752869843489991","7637132443609539349","295349472601602127","18265669426403360786","8520344135910958522","15293239990383555950","5993127577764213846","8456149969093558465","1803463908950338143","13704460866152084779","14660724679702625225","2112172712049129710","2875942658359473838","3649846075686259853","10795288590853533288","7300494716411729486","18137075325733408075","7580526510753874688","5160022521922373641","493542463634440883","2003928077591300527","13871287693957474339","4524393919409931534","1016240105514540941","7704861970388691870","15798820004668313957","6150481889905935011","18019135453726762853","13498925881683979077","3479911048106279690","15868832562552303881","16967517607861386556","15364094091510088628","3395455278994556250","14690841365416031173","13908901231500903344","11487559798248649493","16915251495597708676","16985023309777084250","6621431279790838821","813162506906112768","10118192385705019896","975656979619273532","5468808178228435185","17679303790419731925","2021828270003879921","18306237226308158555","16404205019222861317","4925981347680164402","17422915069733541907","4441874755044397107","17232693331878212211","1305710003844374421","15367881536881637725","4368726746536529657","11246411196493498731","12420926377403553011","15243234989621976433","12078823066860850128","10505707090843439319","10180150587844208296","16677081374574042724","16758636843002874899","16448339134171442425","6937218503816345530","8671529914893506998","6675780655303613594","5306949616726084885","2370687521381558051","13601209378255884698","7180625385602458288","11625478438922515361","14120623259454563883","9660169720932856323","15895804963277918338","8800820047168957139","5090885082773131694","6460469682782375368","1317473229683512426","957133980504551072","10632761984428887058","9911090328723172420","1623238961370722823","10660481509827378411","2231313527428317946","11549923025850041130","11243055358940057764","2098912211816326769","4403050842715328562","145180849807520996","10269538524615614891","17347240500660250169","15662103893640926509","2934183972032224413","1168978831522801429","618308110549567307","356091671788626253","12897968076989126166","13134428978980189858","10927685082115264881","11272445600294985309","11786109122048424121","4736822978293203173","5777862511492037817","9258666906881567080","14323231350481657807","17728348528776589008","2057503309083115056","13753396017156355340","13792587817879711610","17036685340392689631","934311839468041623","2163424271713371336","9171339574890125243","17292085454273881811","6826190200708863484","12406862331327198107","3249540900311348671","7798613709052126696","13035041537747322605","15083322073386455668","15196619027516427423","7728565716600867378","13796318234439341362","11015913261677754103","11563486547289685642","6572042551346484329","2182315033038187917","6453383527486275161","9325775272118973621","11803821681706296587","8774151916833532212","8747029525801573039","3239626943498490758","8413291927197895383","16294275242294995512","9863806284482109228","8879485622945626668","14476229777214163507","2276978176946477824","15352450943904528125","2748314566701113525","4393421565795483612","15923191308766037332","1367766699705835975","475270342869779095","12547739094451657911","12503550037590158266","18348749129971331026","7883026274913833421","11574165375499449126","12390490805815511042","15446772245639308291","853298445680672143","3443290057519865015","10589436907456210356","12098079136120924269","960188356774957209","15431455344207196214","8038229641014573005","7411553826584844492","2961179033751756257","5242187758482010290","10602470537935017740","5934476334179493232","5267245380224376041","12576184494677221686","14576690407602797542","5838909244081316296","4048194558249208149","6110716115728257782","9068574295671175957","2521251534413214712","8361178723430204114","6225820684654440345","4943006952862038862","9024817375948913375","12274599791214083118","10493257574753544231","8656737800000030574","9696935258588367750","6541730442785285334","480406390246947032","11319940945430045169","13941561980221312034","5095922913010165848","16241005953833534701","1789613146986767794","13517449946797798779","891838391309032066","11988096838126173492","16805451848946207673","10867124577416484266","16391959169809812089","10121311084395496756","2194880610450533450","1808584944490199038","16399869874230875343","18441611960705648672","1215539972865775029","17518468141183337144","10058895177043036543","15768245469867521560","9916401296585209356","11166384459742997121","5870679982632727349","18361782631706041866","13154031712716705652","17646065897850763439","17259048731338863987","3558786306967012355","14181822818600794508","11371921508587761559","9865475128023366","7269071316676565356","16861980070730526558","2110892401304358061","1375500029028862688","1305072785994194907","8760757105178822987","14935387580877799098","2285553602427875508","16981812535847385326","3162410874853536105","7352801675245101380","6155255178622138509","5292024875767011457","398652787749009120","9730380167616502583","14503216152451829598","8522429173281354836","17860337385275709404","6647391565264550004","846344552017195756","13817262519154180756","8208087367729810765","15140676815857944482","10221144761616028193","12601895216015129681","13091017764100762155","6055127922536950191","4420615607803999437","6355308314549169297","8707872299531170081","1863309049884902953","18432374344689301446","10021789578784044039","9126277361562738322","12241370917698185781","9689619073639069712","13799969566497133919","13376680917383267340","7160761778964179860","11442490198886927044","5736839915200804069","10529713384863345222","7489759386454292070","2625682925505364215","3592824928652619003","7713645153620505248","12794010074901196315","4548791622170428047","16154961258245371880","16104040444770149688","17738179364089865007","7562596658161388467","3406364999282169230","3593123515649002644","9039456343157358780","7113839012231200225","4965086273065936821","11685140747929437265","5227236345950997375","4766041770564478982","1006380707467044431","11819885227569120134","12438866654331248002","2177650218697269364","3466359533127762463","7445838339011907312","17392177096151224004","4515568120665365224","11938031990966085825","6695451810541043120","1246265240304784361","9216811820808849343","7228680565149537929","9261253935114352398","9662811743029388248","8680594246381006222","16402665121991617518","7621898239105201041","613879190470685295","2252637704066074718","18092324002597279607","17470165486977576398","10847344184555656058","13264544543238643907","14482364570075997315","10622925674405893337","12805683933366638586","13820783428836282730","6211146345660140599","12904715829573414208","2322526648409185315","8126728241255317028","18361082673651613943","5675364482246279355","12823395885292037273","11914793143556451204","10843622631411268896","5712563239298805035","3060178196152531836","5103342462039570722","8812239480244130184","6061986715745266834","4400815431166470626","16182152578705811081","2146263278628701830","3824650131834868853","12789807031808238638","2940804911428411946","3375502312546944759","2048027124631043980","16550634907550857118","14823051348763751877","11014126385286100658","1397685495410774375","3126677188384470214","13278813226808516120","7293998886933743133","10370691654092661078","2022512600377593544","3726167776947897274","17658628342292349850","676620737628179653","14134569602986938795","8200247868710847491","14074829281523470572","4136424405727622353","16686152163537661552","6137330389928280030","6905951052690746974","11539391526322975228","12811676093725604957","3164387479051935042","8581470218542088653","14454654734945430255","13683430040845964089","15423655970693003648","12755767978886066054","9299093027654454854","18346719523340855148","9567608632478931886","16566339268095262551","11568991413562447127","5087688251077192454","6352653516906137177","3079322177601548563","13777075691372859322","9403488321275409225","4590235418524851279","13792291623012610295","14746876752875358542","3504606348344442741","3801510275659397118","10126130230766435714","14906296576975079940","14150582159229245970","17799819359250029092","16652508717699542577","12757005252189201133","16629220514067021420","12898687478311348137","13603479406424991820","6603419682338617847","5265627216071421974","3025778571401657134","16914175088205035204","3364935553423115829","12043818388182381278","16627368414236898566","16173077733575992865","17031013350627910082","7221383890295739049","2307279003998972280","18438182771464206905","4002541632458487544","4849258346843965470","18083236184598501078","15383185476715498091","5282731713522804278","13116041724195887819","7219033928737048447","11944371506064581939","18437722361413195618","6460395831812727344","17349882620056224281","5952766589540014031","2447156690127392602","18253850308091378851","10401127448976965495","4456603397749080506","15428796599387876528","17416516764244165499","3288231340703847835","14854723429032140122","6464922268720774633","2555855079671652391","10221958059647786716","1310038065213274426","18086139109524747359","6639383783098254213","7288778509762995301","1365372505037409556","17460881476587539283","6884528680056700838","2746971661506727563","16384314586397820183","658807798012081157","2157831201221199789","1711968278572803321","17765196337592790550","18165003444846649756","6621557916128126549","16790194402892046823","4444842928181065444","13777441949695829543","11845675061341769323","1853894345660902601","11072364160925178666","10736551875132149487","8092938784516776576","16071663204275945165","678342729027400175","7384401416186719243","5226832345516659897","4382740475788679557","15478579814131334212","6623071920815730432","17581990366219412206","10649315851477593325","9580521873253250416","13187938890834934790","9697998943393527146","5814685432822757316","2191380910746733817","3572431463158360800","4275173249184865657","8735206791087610690","4364590766880337542","6950166240237989201","1426692864450695283","235839372464681096","14455323222375673571","13380411782732669365","13974019400101148247","3165826758493115530","11221616192006772461","12411329653889985159","17493007345204955850","1533824655920377121","2145557320117950331","11179801222041608546","4635077755734514079","16881596577168098994","3862865784992577983","14499813277547675256","2020920081987780387","12544115032874278023","6249197454772965353","14026435373180128318","5391525123244512835","13909282754158939838","3422270740253011953","4803181982233167262","5004228170770779938","10048129740864790139","13546659694501643654","5568954326672425502","2073235825404943659","1860515938068991640","8422420872603757578","16910902993522483297","16084330111474482018","7115630412725111860","16971599256338064567","16562757935669475431","12144588201045982613","3655033619417606707","4752038724549602948","2473355332861217833","11290018114130854063","5048301115628092997","10259164880468613041","10170226621432129351","7082886879359577643","15656360977017990925","1961855043361866208","14397181588643106182","251619412056487220","12921737228354342618","3245953303497952145","9181251458489113466","176201249054724782","9236957651657900435","7920859140416712888","18128203599737351373","3453370262804055055","17928485555396995733","2984529142930716651","10393597412906926140","13689118244795689862","7409101428602589690","18127199624939024579","11745816613927872958","7892738832847130660","5781857830962182650","14547110694525948289","4273693352015418048","10685140935146509952","10134741289454266541","16447457219859616564","12113140510611954757","7653143438510002247","10822351716044189489","8098508746987413706","8918617977142928879","274","3","17734692419679788395","9432639019183032833","8022337026321896740","13812787561889448577","5258549559258653599","10632316106909571961","8236826586453135775","5338325008373471043","8346848914658613000","6656484244002119238","338701085844207728","18081177443437634821","1075870606362592293","7303569418309022350","14334923872754126262","4947119465088594110","3692719838657278680","11065478920130408773","11477631026638860471","1915314485367040523","10061266879125988998","10858845108504320535","13149353265798841588","16633154540841809382","6543278997311445171","92100730997546583","2212282430505052606","6596462963699035837","14401255559329616906","3297375286971220524","15125118812737389362","2449929468563756052","2049907736732031715","299372903799355237","11518270826655738517","12337376031365404111","18142536004598762351","2967689010310253064","10060966648032603205","7096181176070128273","10931416104365339680","2311207670894622469","3780395871428725753","16970628944269223779","4965781754530109134","2952174633477420156","7451859758130964227","12144308415111076144","1116366564619035330","3639075131853685776","10051267102507334979","1942103668060022518","18169181936701595267","17144524173554669998","1967057710925969229","16786831957413046874","1322729885696723933","1084030930971435636","4901311783808937150","358003939660133370","1538995856465691085","13769114541922191098","15704913885160939292","6891180484214453366","13107737580848228670","8266353210026139701","6647624283239484049","12669539378104679915","3899228718081158286","6018589815774826193","17476603832141257173","999316599618367159","5002448090178571456","2152758105347747610","1775530130665702771","4729540914920448499","18340010193367182186","10768579466433725095","9860653969208489365","4980602006613379679","3876673460458850474","11982175245684878259","6472609065367314263","4782757539185542107","15839768597985356572","4128548144187009575","11099698224521146171","2194312504285635698","10386614275922893417","3748728800919756223","11807978245640141579","10062052436833642853","17639267869465742950","6039883475068992093","2371032939964278977","8071414718713799506","9289774602974816377","18005418008904440408","3315460256330969936","9967687136154584674","11562979326484591019","10885122420464422638","14360214876507152900","4947514326374748538","14649934081489974492","12978524337381610290","12363556783136405740","17238277803425069840","12677831296329778663","18145704815586096177","11820987536398617081","7794969863932159703","15385976385235871844","18412999011641463789","5466525599125187565","1078419802115392051","18392832890496984989","1184833155871349750","4902737333395824365","12898264652207880440","4677414148804554780","18194549842283399065","11539335885150491468","10832593216405217986","15607769192598814849","11318440343607085477","1082971520856952558","10517314518623816609","2487632330872812471","12198730449182982019","17340416842234143978","827959386133246564","17457225483258034814","9775683018807980296","13372327524293298266","6031070701486194513","61813139195141822","3888347944461323881","3322651111291477475","155432761594278889","12461268801498866616","17231022770929761325","2990429492101679519","1061976518656795943","3142240885733875205","3555919145543291060","1752361233576229023","16924846384421572091","1479359946563603791","13496457153363007439","5777600849716315542","338109528696920705","11210766347583963286","4523486411275669503","16148066301708412503","4204863778084848084","8446082171709445708","13545137341037978245","3924993788941206330","1844392272277363620","15001015529999803861","9715335286802224244","10421028601888753436","7784549763102474652","423949091550897181","11027741897035384286","10346270068110087465","13168329299485948814","3018414260147180895","4406151195504172243","16799259314160062850","15019013270274827910","7755011204065247782","18192908386486797487","9686930604949454936","3378403363065487445","17787253024214992028","15974386828458406484","8013719768408365984","5800357614508964632","17509124193452022751","2207821189943713609","16912662430449542734","1123234483331804476","3555371594957879923","8980820550493646360","3614932460357942793","11429276117159642599","3681038459934749436","8168290630399244697","1550590391204508781","2593197234672718732","7748480162815027068","16961456413553748634","2457643583120632572","15028728697192898673","4420722750008953700","17080294893082181625","11968589410653413742","2091039435317387312","3617006871346290887","16320824353153177309","11270520213622676855","15990344911700829395","6830072491791209145","6873390818157079350","9824006596516915116","13715730087770395994","72345079838271896","10726039247036419448","13686291586897188275","9235985081688103351","8997929626672661242","15053216027050873507","15014336242921977357","1034125368377651136","1483883161524661565","8354147580182316297","2413299715336277390","5718454286685319130","13455974249145220090","8228659544217859412","2837791769393519427","10906337976546860663","11034412779575780276","18299234984392812508","218707215311567085","17937564312662423082","8518475484127392917","13161633046074684141","11603679459848489634","7454969171055665254","4866000989436694515","9181622949719460849","12447401751979692653","11790033160776177785","5663287418779159898","8165525137472976814","10760867518732400637","3339993281968122614","7137703945472798751","13060025566178219813","18375350867835631331","13928544295562979479","15798991798701585525","1590511902371576990","591611148429129045","6413278678061000112","7267533490552221437","8457490650020296697","17972472886544436710","6244095117754298194","18323812550854073565","5401471276018736841","1947517054572575873","15814310353340987172","6786842202948894825","2347763581783093447","1326461879840363773","11816659175650775525","3840444871283460603","4380827557323737116","4088257145442689463","8787859292783624671","4710866037902989279","17659235755506801656","13245557927865079359","13967203730501491908","8242233534852142794","18020863823444403520","3550137391763959274","12127198529203638317","3216167102364658222","1138","2","7305372546614958494","3193419646182308822","9013802018773855452","1382092968862522195","5103422081738234289","13032439462006421151","10018616198791415124","2181016458491422605","3913511475695344622","1181514654887238790","10153660382444602406","2445349894715252823","12010428238966252096","17276040285167674966","18183326424283717775","9413084740023922528","8526412735158944164","7614000548255186320","10719790709049186821","8390023402607537658","9924111019286153734","4245880690324877362","15805031348369092078","3044677845518412142","3154824329190511137","14581529349886431939","14425954108570352838","426918958324913113","14411098865261720760","5407054378715655724","6868185745022889415","9128242555172818303","4832298364188259461","1579336666918238428","14234567294386635040","3108573484189453350","11749594280911978627","15575685665137120951","5989596501692089549","17125004367944052679","11627893856202326745","7715911326547446693","3319757132522593151","17225595213320840554","11660224695091316996","16658080846419381762","10443775509146168556","15106062235217347005","4980918506792852630","9586949063621795492","9218947193989374173","7778314406246372415","12747977766671604371","12856447946125519137","4752729280388288356","17129564004281257394","16216544638231917612","16281511793279463999","9905860799451313116","18235512954710515617","2908704824385562499","12794095366106097410","6838336008716038447","3770136213051850485","16129506506940193932","9911169768095444563","1448174304621339536","6378211214489356713","1074455426551180115","13643153008205583657","2948232978889153138","16449103566644025604","5030811153652263194","3333581555359490400","10008018360853291372","16684525781364588011","10939253485925979442","10061188514211716752","876344302409673230","6320338098198112482","3391260425849550195","2534613980694495055","296457235051216008","11951719091114191740","1674409522140000174","9036579535996198200","16718061422812997393","6100852698928668265","17248027254484320276","5900575705617980896","11688662946139627791","12032278840452511770","2076341630473138218","17224615799304804636","9064059625485970284","10699157494927080982","11413918675354661622","4227067727404897809","3425666451137189708","16414637185109365810","10487042001827026122","8436477342382154349","2464022522890892347","14642515963936069098","4350341958115115655","9617804642891189307","11112699961580702608","13683835232635560543","16631567086351072295","17102080966297072987","2652151326203016293","10501929439295431903","2530487549909463636","15972401765422957347","15262060465496244407","1492987730888454732","10987073460082912299","9175347822871064027","11963959140949474086","17462503447948431069","9768248904807260046","9590537191507155466","18355744506874572642","11587879306138134591","7507810819445088490","11578407527360840865","6486803970158138166","16110787432821236964","16144000289458050508","357584651894310339","7639520997044793643","8995830960151136924","13456140975656791477","13281019134615330974","5091227898784050599","15033057807884875264","8767485617481233713","4106371433460605989","6093547626191428458","410241697921632416","5887053435049069247","4834784443654119177","18037166349501739095","16891796268333133605","10022596414261170969","717233622520176352","10310086808372609648","6927424652828159775","13115260973622931265","15935834009578897718","2293654211280827099","2828832888462779233","8920273137559805128","3191718514734777191","16204113871457797988","8502520923056380311","11344136925923215903","15394009582162073702","16995785879019042908","6723696563438996600","13562340080408079053","8867528861599245709","15582922510859501416","4460415951175722986","3381394261061319038","2448970623577006415","6732501981451484377","17668391602551285039","1200934186258317027","9142716223370139920","2018136885793111201","11309966483493509304","8351660649067476719","7649191826848453510","15717238544940193254","831232191068605559","8479166989171874421","4118831637821699523","9039627115921437917","4981569161902461918","12880590833241285315","8782965214248813051","17856704000124580040","1167002557112416599","2033450082439026125","10099580153368378928","9712943821237576109","8117205573683873685","167729455757238568","14031878456755120027","13735743819733731575","731605655244212534","4350902870532897321","6485877628751580625","3762097597235855815","16724221352498085389","14617064709956610745","2666369945526858063","11626132850199262625","12116568317585267831","4919051474819117303","7340820178457484788","4570165606584534442","15205868087706438703","14091238256979765380","15751866922795439440","16813671497573803676","16583607458047110890","5053187416178944187","95522360360322138","2550196288999812799","18032513306476800233","6429392755095576681","17954962820754765427","467321683552417147","4310298789046687644","9807246547060312946","16826610591927360357","16344544129487914290","2432180342116049267","14205960883564670232","1296340037538346087","5343420324285139571","9634366493243756313","2628386636883801337","15055964299224250184","14705126154413001441","6339512308092843452","8416394186747485400","10506408823126520530","17119154060375053858","14532002889843450417","15412813460296130291","10166635308214150903","9361920876297163280","9673088125574542647","8678526883322771189","4070723197741400589","10229216752318192127","14723769208857135644","494142883087825958","16604776164552020350","7930462541353031410","10970226292295670444","11461144924671350486","12916157263296055656","6146650940118680193","17763566861663925382","5192024579953112220","10929481074407530186","53313976978132848","2594444778953959575","6705999472448281419","11175531046393057434","17586006750989779381","7265391684342323285","723590145318572320","1687291880059567502","901794283592766614","2952597637611561396","14170096381858355238","12362190108347953688","12185957013356019390","4291140455666584137","15071368374398318389","1009580982581205695","3602233042829938488","5910640561305379262","608278559149337533","9994786611704075564","11911062157792064837","7967031423601868980","2311030705256969400","18166390904095195045","12648653614357470113","17964357118513867691","11314874297700864304","11468567182299722271","13938583783870782000","784574359241305377","18324365350397811514","6251664330434015821","16583107120356626402","13813404959602528418","6740418101295245398","7017854179948284762","8771171909553858189","11154925092422432107","18212488746067298392","6122800433397578508","12781320701971837983","17376574335327768849","11751020275127403399","1503763728753544008","841730132305218924","13072973081505612877","2129512680373040217","18103793202048604619","17197918732309424704","18268471624922493002","14451615666763697878","1229145539265282416","4309226425939151370","16212025501231107527","18441383465519476711","2021686591692771455","3841440344538640823","8743898380601875448","10084292796392733255","13830068746528562521","1210548917753168009","7286867060259213776","2839491369540544176","8108356894621233552","15978939710359945034","15639488633385459102","3528579359434589525","16096250537253943462","950736317210878777","10489838338304524622","8380261489152404264","7990061634314150371","516697561200540295","5716163355477810665","13555272956170354956","10857932983892865236","15258639478328326874","9676751888141150711","9065115383884242079","2865791900064957395","3429474644491684448","6298125188856021807","6116822502820729305","370652324795583816","13139710722202675825","17592127291490746854","9643798081750014825","6210213687390650947","15318016803789520325","12456928956968241045","17981595142984360789","16414071609905903307","14454954732895936762","3995542711216811722","12139721019950690069","11023243012307929192","3535892116783891939","16963677889166052922","13805518124545375131","9098423745460470924","868401961842563664","11695559398270288085","1977216181738328731","11238468614957559597","13515496289083951140","17624847274359028949","16796730555920265073","11935884915633329008","74550831185480800","16809807846120849909","1833465531009029252","9689375405330494734","8804241622265049830","9143314000172409842","12930169711905468700","9947809733743009237","913462886803358923","17114853317919467555","6920809172852802303","3682914465523752523","12613525778648560162","5718427931065034831","12091968357412044959","16067203715872179339","17589908716946393510","12542370633725643783","15091928310548239637","9409774116152062747","11954162922560364063","17597233873470519047","8945333210692602880","9728208201594941406","15453979385565735108","15591202871748313216","15766922852647447583","17878931784423135868","14303176868820606062","1270704423401879918","2780976924381955785","5087729457821276987","3603495077352800962","2750013686948364313","18377716842061382968","12460179813333225922","6155386363420241093","12573796088405377540","273683205018806083","7305510785718571482","12394694687737967206","2296072121393215615","7663289193533674160","17223709774628033981","6819338077667202925","14444816115349090501","18327445998488723619","7154442981453438627","6917368115467995458","4639293991778993783","14030807398139091376","13390028022548125207","13335712807846096352","18417056225022375515","11725134530203115310","11851327242646754200","18121511014364821281","4145374701052585973","1227756294959764836","16468846341458054527","11735078926447459300","3194165650569390479","12556916906434784205","6030582612095790823","15964139336799388821","610670607695231675","14416827142781908286","2002353002754992181","9600702444620422454","3912717755345413239","3661178123886872033","18258918263783890898","16087167886879613705","6715656734965570581","7166271028564822868","15256014603197709763","891130114447152824","13599561170883726356","14674504766969285132","3549544865297862726","5862105652980995873","14077117990625629611","7012476195879333872","18416423404004474671","12275070066671649114","290324865713827569","5680269468207275365","12874857611834538364","16595401411858272183","7811243065642341570","7750832209165754758","12439836682322156304","17131409273934911427","10040806260542519541","3433170414083685352","11526564894015822341","14241054365859038863","12853026455658903550","930939910759186531","10130231222859364921","17990158913612872987","13868511698132283475","6171986273965806555","13795482635537042000","2135805226460402014","5162083829505541554","16782270112086009994","15295445420345799928","16589501812272603803","9743718782655560386","2915227135712625569","14183551236000948609","2619057496825104785","7380965293465246931","16179755539278419799","12377938477900444289","2335689911265893057","2248962381127485454","6445355334798929817","14536962853686387803","17468841466337995496","9019955143789428182","11948368858126051827","8369465989459318535","6295064935208447828","1419943024493886295","12665072143158430254","14329502502219478782","1184606258333701028","2850506525835045311","11691307425585413589","1673180728610576255","18369706303660099700","8333036152213643587","6615481774011508471","11946827978042684972","9548641202919227597","8610282743582335357","6966138436032226300","3074724448825170231","6112676252585043895","10943732106172769434","6915201649887703079","13370431562913358529","6731827338706523814","10933623595459673403","9197181677969141892","13816714407804519536","8922848716186863508","3684299531418344561","15368924049974270248","16334338087630960860","4341073125758852089","7844259385987021010","5371925223546250196","14213458938478516645","3409264794653547592","4650578673205330701","7206121648966304610","14952613805399074636","3951672825095836257","1430036151990306544","10356189578352385248","2685791455196179527","10751328500700656865","15441494331046388007","5641690391761333231","1687924417519618604","16322358043998462469","13331555442148057476","6114265979172972306","3727782359485255534","5093555342771721342","9581040183719511025","9364638511461727656","6508651472068107771","11038881348006860559","5027509550054653275","12373063350191124404","14855326466808915691","6849087102807940863","17648806550927830941","8438378053904409990","14779918629428734597","9931426203471525126","2190735030852035236","6794999512662733258","6668546065005299885","10290546556463430584","18431380535296956793","12241238300008452970","14869024864461367804","16166778642107091451","9909514896319471601","1547732604000197173","14342195709612371001","11331432502458627791","15053775540493482980","17497558671765717612","191410999700061835","18329660727865538054","9525058359390227723","13575026329787309198","18118982131661237161","7410077535368248811","4692477236119133776","8063221104449260230","17450324321720469426","11278260034950894931","10120429033536636164","3910120506994891787","8400153933295690194","1978105038960936950","4362276059476290432","12450151265142502897","4171173281492539549","9559509898394877667","8748429177945131568","10515611657989922895","4242784592943965567","16014880835231197052","8656519499345645212","12526261220656587200","632956543026817109","9240866254659549994","2074482480651896135","12405691803921565044","18224595906807412592","2201985652194901874","7160692417844163504","18073223327882671625","6542850469456816288","7258347138965054306","16990482751850017437","14555843569753914906","12106781016736096430","16485219136700158380","11646788717863043372","4156854187757237583","14453362235471011268","17084435570267717859","13655092189407801465","9325219222701611071","15244129331521195341","6920168354338988566","5841095546441292419","17591564719440360731","17222749550769118964","14040832412269547407","18419350518290087109","13657855884679327278","2926698651042541688","14671643631029917596","3949022632368565070","2254402567548014487","12086245350595492709","6858592322092028446","3171428995566752185","6046630298957814316","3230526979380702626","15910958100068436715","859397835832949542","14394667745200775031","14542753358134035352","3622483370198865473","474426103642372893","802223540944767123","4751175652800947249","1317748438394662547","15170279718044224703","8073673473620743886","11445941000275254456","7257954159658144307","8654656688867566723","4119757956553664339","5823546963905598951","17961268893794428063","2760074123026539655","8099807839803813364","6291165646206388806","16276043042667106513","2902629771664961044","6417972412359615807","1255451739105310268","13878558922298328166","12852216987910643772","9005802191651988791","13566866859704302483","3137597664809586719","11453699577440718297","4880597866260012124","11691335210703357197","2891345935320655169","3130720008709850156","10556723055226199119","3649922301464457887","13181081236549095669","15461492655510922528","2699925731922670217","2488753196970116697","6543607648069582318","2766455585899238550","16333473427239300201","8326189501781783","17142146450344157093","8921846618460120464","4009776231096354046","12779513095075558980","9364445692432229036","8103093941247801554","7667568643791591769","12978152096431221509","3607035824989872303","7525583958673585533","17711453021719231267","12117004590986275231","15718086728003691887","13162539295355582133","2978656168429568299","3201254327931748937","10797518634807919414","14463351016961371261","4669792904318423683","994831721117506526","9623003346519664298","15517118425164258195","13428072057863403315","9696183115272645021","10207788968395267416","4221805401759113918","9692610184132491625","15428073522620753645","15505613164468170639","7515877844844133361","8668002687097485962","17967168797873911804","3515861440593572548","3745257593196198389","11567118317254461552","501775561574007835","5970180060924057280","6589086523497979964","13231654891525109434","6765629931587895071","1190716721837250157","14034719746969007403","3292191670338954574","9244181767067073278","15358657687819962387","16860940823726107785","12192275679792834875","3010739188197821056","14464900174140704023","10471870393247581156","5905952888180617179","658971868662833080","8701241223737501958","15033568435657147488","4474727797738679092","268990607210708997","1290357909673466025","14672730941379074945","16826975540352661454","16173225168361223056","7276412780192288401","15893220198961220619","8009400822127331175","16936901699907426069","17276975888897927709","16364339324090251140","5602982024241384900","16264903945413387707","360872443248422286","11946657589522843085","12780781686130503319","16775291095872600444","12595244355540397569","13595866221877133946","449924287389345496","15123225344803822934","2938025912225045398","9004036619030851898","2397118317312030077","907032129540583582","17534844851984064886","7602262539167825148","13204332380848029674","18376465264570959504","17090060249255370865","6675222900031675252","8469353581583345217","11386599343294421333","10320652229142290951","1884750146702431565","2075348379225125828","3698595808798128959","9835759281623712145","1523564634475762194","689473791289111978","12271625235922492161","7549714671182469612","6071588119844803346","16507893909125480363","12194941475272460731","9189868721916133009","15810603504538246403","1804765387105789977","5043759786850949928","90872146586454654","11674674564238429061","15950008354693547752","3064413425118532303","2569044814901557920","3429898951301392842","10481474056666169874","13748389026648242671","18368116259966038525","743651407163656998","13635287356149665679","384683650635153125","9395647463282187647","11304446670050771735","17085756111213847264","8507978772821070060","10616205255991284971","4599795010846957424","179859600604449514","8863242718241400172","17881723052718464840","11839808353611596053","9631821820388202444","8884634070616182574","9554318911421945144","17502109766716015625","13431488007036181725","2335423994941007594","17790294363345959733","17928049094930663051","15529667422975280830","12290222570929388374","12000394679854260059","5115013224812662197","3337012467594002502","16924426853879849619","6349953750476949310","14417069849520716374","5276951424993050174","11251890441805073092","14219594531436744706","11022129729872666434","17115377182512964382","17064184919332167534","18016725050946535010","17322191419335860824","3748084593565230400","6739347601213657586","7012511264446760209","12598338885285690962","6289451888934349485","15347301273230866916","10019103271121669703","16561892099046784098","2574041726549838158","385093786030882348","8346583983602534177","3342896727665109969","16087547883114744135","6756922891375736197","8595961899658809196","16572932194357916299","14144687235460587755","5417628597971763706","3952124569369322154","12991223079114993506","13042708199675368524","6533421618962481302","9617658388723929491","8095292309723229181","4417719859292260942","9329667332793710384","7647092145344726254","12410778293858637477","1757788927988374741","942977382165161636","8520779921287205521","16336651275680213321","10409370902300905290","1544842310715091238","1289110304006078964","752241004070308421","8397362753917486005","692710247058949506","1346748306354944514","16905387544465656850","17349204143389668892","3589760943687259096","13963072765832725827","5282184432326453358","7564816652398779771","6417633618814247706","10503825459988204912","3683208291813741942","17625593166770636056","9645553707902633348","14503377887719646953","7799383070139996734","5518984515354538597","10904433078688615192","9874051439208368627","9324345949901803221","11008369215108449119","9893988316141705169","10421672748895934614","13031165731456030370","2712118899477926295","17532909437217845184","14812838596337701344","10858023552793169852","12251239936923460114","15766356368561145073","18154814850558736821","14338563660411017937","1269012251938634279","3874233687955731009","9207114190717027541","9362419366695586392","14681218538156974852","11234657598766018577","15718852828469006460","6336676628990458808","2136907179470947302","16705607313619901175","3958774542007841366","9942231354539028472","16447959705857874085","14043519776489742463","9018300983985146372","14833404332422900304","633819415019131445","11765910329326009046","430046955323949269","5177838286392566173","4625157643161877852","12294207746982988223","3410281047663687254","3737677144601807632","17632469002875314758","12086584721060527526","2112911223492627925","7468947170249092443","16682484190990644977","14682570790289413795","1722960713116990334","10025834664405490709","9872806344021651085","928540655863862973","2083991122100799356","10948817564380563593","13640491076718474139","3832588773205886374","15019682612376487440","13366941579515438768","11262995331802698740","17800851431823175118","8387632360452471756","17924210962685103473","13917736956216052198","9891037992440568820","4823864382433090342","4888210400511554205","15701229020355222842","14652309947224704277","577429225433738594","7771418622303144650","9795678082356440203","7318600852410299477","5268631317883251241","9633330839116489187","5503713407349339526","17710180564907932610","9042560848339433396","17372670825162400339","9498578245923796608","12409398549643315793","8810916908261510857","3964154158917606476","3444711643018257711","15130238200385115128","11236320641106049096","5226261757244091479","9374841144802352020","15500248453132006801","3569599773481169416","14188178392223922331","17303696741148667475","9181499827964430051","7367967429250340072","14351679495242311204","4572144748353058425","5172059044254215367","576669709907980595","11962500779531899722","8792310154781486050","2995354256208651616","11809840650383896877","7199786693769862901","12700201822584913401","17533816796486251952","1303982399197787514","9963490970572053950","3180863998707458994","2523403013605703854","17836933841699170150","11924643534658274282","1195304495005916599","9686201668165323595","8296547539477981158","12422423732371959569","11215748692247704713","13994812788869395290","11393324755301983241","1714406402724613599","7586315581473710626","7975115942152535024","51181741991712406","17285878082621228366","16969332960264372418","12765046849150112980","11426209464445579827","12799145846543672083","16691720525949801292","5372838822242225582","576794441063382197","2936731566571741771","7372027149572829417","9332940525655341891","2721679422275871218","11209904315379599802","16984287758990232311","16715012562968719885","9847800403962306877","646329829627398598","9112464566354061498","13200292355535036495","1286225158172775809","5249613877781360720","13053565567595880131","14760612976543583777","7688066896236886420","3994585079650571876","311924334346047314","17024243450488833695","12040073075789973535","10204905776775657232","11256540426726951237","8990523205008690696","14120118750670737706","4429644061370965100","10482884623703785620","3207796985302950331","13371438047233795606","12478884942647261667","12792404805552475351","14515979118623548015","6395088961632523378","10235622683863976763","9641476845695575698","11739645751309667729","4316657422388623513","18097301819621067872","13223376270702587873","6383274017802372615","5452386849324394151","844672278303656353","9015287227539803729","13961485162257211090","6968873637987154776","11739091278727989611","11807885902979711373","16103909242642902818","17459184742851236667","6611591856161782364","734875841232917982","5826514815302810754","3170321860009701823","17083137890225892252","15723394423782169484","6916128715737275693","14498669466518360066","8363478402377545434","9223339021554387102","6146270343956464015","18381201477519504061","12682442681498566305","16012819743667328484","14530677898643708314","4061566777869890455","8967923993391730833","15036135816583048724","10640091391078798231","1515304194763392281","12794149313144414574","1028119166599394198","4597680513405380707","16164132766103671547","4425079145141628457","14833443357479615463","976725567251946074","14914941745934558956","5351889018258532026","12511629403531224389","15915816873524362613","5487129944311123435","8137201441061442568","13485212380963386836","2408620259884599358","12955409436791604207","7521348548361431200","9359042000040776863","4315745392940049081","8327289848647216254","12235172552961850789","13337323466505722032","14314363167316626953","6590414201928186333","4226931342460830971","5677244988669013849","3290346986781339069","5237962730896102271","9557959495843475679","12840861929270527296","6324138829512406957","5382984406952082766","10395971751484839070","10336698125693781706","13793907656357823033","14350124671007838175","9839480589283369170","10020496592470947197","3020630840997941589","5270925455525968460","7074211655098864176","1554466570183176445","6508821056925841756","6406118275263180777","3705813518552473349","7622678195637107855","12219018361863395438","559212153632397478","3271421454200500449","9001100100198088119","6696213521035138423","2886274391675689270","14674927158716050719","11726644296862313012","10620962281513065466","7107683936296265408","1136730497947491183","18086971099095413119","13588036002655209266","15757519010688244970","6371183409063078756","18353379264548293361","10225910858401038587","1350039344857593410","6493432421795633517","1061137356400800489","4356725651357876029","733925754760253655","4060082369219159434","7239903516519735074","8890552754818856141","9210240508825741998","8190746380062096741","14749009565544455880","172539411809592119","7453503249131964104","12581465727441655221","12392239403429806356","274","3","9508757538812362692","560099243964206542","11142455241492855366","5759529596528148111","10294550368461069953","8666960809319092822","1981034152932186834","18211273291732444123","9270745452041452043","15209521752884919574","16318321845035818367","15744371191136608177","6300872748275750536","9947659010434822853","13648387336384419318","1611903443913107204","5565598870625801542","665942028459571359","11778766334787178372","11388252881754081077","12931665850828429706","2731801967846096808","11484719420031534309","7229953304501657310","12291674764694981479","5949994173582261320","5270157200809741158","17162082801593582773","672522646871744710","16400618178014481567","1015317694436973565","14621346759627736634","2795733299029166986","15904916183323871670","16243771321742865086","6063759870319868082","5196000861445867234","3417114187344347513","2182501780804417177","1272944738015106415","13333629115345898555","13232604346268084187","7555548624810668697","16041466525660570838","6295266026541732385","6818665855748041284","14402048854157432047","10322045711514063354","2769841370938196066","4539734798880703315","10996412313551670395","17655463224617502132","7967892291334723948","6916735138491994124","10257903714571532232","18092795274266394797","4079659557759451122","11776327976555098558","18327307283491698455","17231104797563335365","6665452519692462111","1132485401492906591","269545639375786757","12971855862782988646","8063401989085555325","16850826648382469280","10015836965115047968","8606275195213104123","10406146586304534634","3841980490605055949","645358796292156495","7214513563455653148","3415341718341869269","10169807159111933602","17739496356077392038","2639432546978638348","6006461002971952927","3665690796005307352","3569835199933454957","220373504526366136","11528652541361467276","11695496911535595676","15267163076168785920","1795252398193640898","13477212007820423178","1516098900853737638","8946513951210529815","566661710726003443","7797468127755925847","7380763457669849173","1543324813408307624","13030450924897735711","1157019534005783282","18229168840384276573","13008340993902577037","2366456663853239334","9052849298752861614","16928196191619704970","4390338372225256147","5991760604469337755","6378891291102212680","2604156608196458780","12672348455771271779","7335406179300144543","6867045770869084372","1621428828622947980","7222606302440283239","14780809545182407426","5695226482230392587","3880816551739543740","4855192496958186560","15562587145984446791","288084633215763766","6394750734215075906","18176211677532337344","1643154816160530394","4499236514879233113","11436110609724389477","11839332778864774573","7355175774636384273","15016720934199980547","8913811110645582661","5675131673291399451","10543835139767572008","10778658093595808201","6840145483456749238","10892501632950990482","7744723087576293939","229222723630006550","2982490274552668293","3834788104387247080","963324562532542334","15378275099448752399","16669277825385400868","473920902862977633","13439880660712911631","10366680607414972031","14322916229886838772","4948240867561240415","10215634666207983205","4027564748751265713","7950189324920129556","16842706609269983946","17646948981873507928","8101151672789600899","15133943323706474749","8927029152052089130","9476781489417232918","5691917900021223073","1621316753854001047","14090611508060598764","7198844048566829665","10506007959999537239","14764387369410016143","18082680071985838251","684636353276728247","14676589111104944982","3068460019801222296","12804186528541980011","4323825246108387794","1696626366214885408","18133893085075942627","8327459002770182025","11497094029525241442","8018050090984033730","9621255864699606514","6180988749021089905","1254759364857144318","5700223942982050854","9965357535427647622","8389865032564615375","11096217822033075076","3889736174438713657","442610194142187694","12302135361826704492","1852409612710943996","13781683023892968803","4719250207588848766","7224638766556700664","1760874380451219592","953127879002203484","283599876821375734","15547595760738362989","8740220098036445752","15522879366621541792","14795131953795742401","8261365503484953581","8969688437491587059","8342094168519786543","13435980845183718905","15846766047573670119","17480922479164262607","18021761041810075433","16781903538429590362","9281088806137897790","2166729407995011122","3498017372483350466","12972168152827244139","14952751521408703065","1186610158997824820","6243180358251962273","14793304138945521","1148356447621209127","15257780552620233762","1746680553912839874","16727892299571325934","1236822168886270270","13919445819169276061","5019010432970519984","10589792753380467564","8701457263011614995","4532124448763249346","9518723815174853513","16447110164737154813","13445183805720877227","17014188804050607878","5654626879188498533","8283340180397461681","13879395145800628866","9420913475107155481","15474994637460283642","14069305991628999464","16804353915010751762","6127822202961246925","13722727414846289823","441636250235580191","8584831223626257813","5328373030948449870","10281305818264028613","4334714217564070150","8376269263409781122","10877192334704821420","15435714458776952259","17581516499019884644","9878180033283764998","15599788075400320210","9967034012232989070","10285317138636699293","2214856392623235237","1547184139167016147","2568482875509712166","4494969181739621108","5729268495285634349","7920041604526274670","14317337696081016367","6940784138446090544","9268247689173642823","2630165873871353722","8847774647092811272","4998111698194008898","16068233662983883807","13346823489378932543","7242450372403015062","11031353501547797239","15815840715047637664","7056153259568133786","6041245467850863892","11352389423742537996","5443387924245510488","7529893646744465385","9047795876174298881","3970710377766922158","4975404617052128945","9396048040389395289","14469283288162626908","3799885668142206814","4934567217604429694","12215841838466546427","12668754171244214364","6930504252929608766","10167571825065147718","12351865947749343851","9020984365893311783","13","4","9225647793327518970","7596256189529890026","18002425433063551504","6548706626955320900","4654841810319229952","1500885645151139473","3796681836847388466","4345409083477497267","8852692051701106032","13908583880515866549","10181906451692801107","17070698049318048284","6","0","3463285633415631942","14665259355557886712","5419695138363691394","14975623724766179922","16069978105463071787","6","0","13183898720879057081","14894118708648344899","4928736994740812161","2175249720840796705","6326123086852319427","6","0","18270309420187760998","16778062793543864640","2215127151988462163","15502360675698079752","12479125556126208839","6","0","13925522114803508364","13838921009121901427","11028232069500500534","15022816054174395971","16562749699714576699","6","0","16380413993181484204","7706392392745845035","4254200180176882095","5207617951296770660","13149790015871338872","6","0","15587317148708928336","1689049131047708421","10159303155931080609","581150219308910989","4663671086774304784","6","0","17497171076959657167","10350484444961821241","12389339168886798933","11914720781546169904","6664129490377420281","6","0","13912150210189288267","9570170725901958703","7540969706381338843","5367749755912966979","7357944816116242922","6","0","9954989055438612818","6721224487339299288","4332517919957404675","11582256799731249325","5063156031594578401","1539","10","1537","512","14383229851062617039","11090711353136821446","7030836229610314881