Large file: warriors/trisha/baselines/triton/fixtures/recursive-witnesses/second.toml — 2.1 MB — the first 64 KB:
secret = ["1", "12", "2", "1", "12", "2", "1", "9", "5", "11505329651399125336", "15227746173566182735", "13476499869166307061", "6188804851076882014", "11779492317320242382", "67683", "67682", "67681", "67680", "23", "2", "1", "8", "6", "0", "11508183677855992655", "5969171477394935028", "14038078930981530965", "14703170639213543565", "12321071645464829082", "6", "0", "15095523132625224654", "12150735317425659359", "18357305010121572435", "5981300280229024869", "4084196936317314146", "6", "0", "4761169580041941655", "15661911674909344756", "15651287634400166395", "8543752246185035717", "4129938411326325355", "1138", "2", "2126530509722429512", "15080961883914652933", "15921991614911121158", "12677212147897470245", "3774508329101486752", "627786856572393226", "13824914348898088292", "14822459870449904063", "8628769620842867940", "17885380933719555039", "4394706043020631885", "13281401350654957837", "10128140272417951373", "3600172889446527696", "17236009904786133077", "18204914207312561864", "9944100616557311502", "6528204557244696075", "11449432872619028938", "13958380620928568017", "9489317357769502569", "16118189358482871492", "16273840295310540838", "9237064600460991388", "4182603129353744347", "17228268589104966169", "10639313480631688398", "13129097695575481333", "15907219560283757763", "16941991186708540290", "16394454270696923801", "6988379562263934374", "1242333520273739871", "10661578175941489726", "8005927774468717741", "3333093088292845747", "4304385991387211564", "3538761755013209738", "3637009516144754077", "2973746689492798898", "13888578360328525995", "4861282851132798624", "17759609384126688030", "15002055078680463391", "7357978054761591922", "4357090005383570791", "12857609840066896842", "9731561302136914568", "5150378674825929586", "4747262675277777695", "7649440708745098776", "7747553915308613902", "426629815064664488", "169750090757027997", "7864552112988946765", "4780922062003689257", "5522481620142161287", "16244373744345510090", "17228625455315281799", "2433743357663444274", "234346293852486343", "8087320809821893904", "14848368394052360793", "5131715173809319730", "12010159167258009708", "16433158851868519388", "8227752018838629080", "14130867285612575909", "272897181721502097", "10409333752466397718", "10382128172136684947", "7272427868530147287", "9462103667210076181", "17001522095143153525", "4188432061188519257", "18416428779720711252", "10005218042635485668", "8298606518867125337", "11714310775168312353", "1885378823354618535", "9230105263182107253", "5896424062061414177", "12071816469422803226", "46352283886186970", "7086959654129386265", "17425031940865643038", "97083854395731588", "6289460772614536654", "11019025021202353701", "10543859419559676537", "4426239591717729978", "7147022089043593387", "15881354739660797837", "2684521093101496928", "5194543404120724914", "12580213817549371541", "12448457792914327342", "2447955700793057451", "8405943434367176150", "11483540394665857190", "17275066470903875630", "12342646901037478969", "311163144815884317", "17669129616795843722", "2014905215279449848", "9728028539835006058", "1064553596008026079", "8207292267386876878", "4287785766516594945", "1804538464562250039", "16336694962306625164", "17863851552564797311", "18211093560659480052", "2261093502487665393", "15497672272977321258", "6574349491054848340", "11197241323217465084", "17962066989764456636", "11213263673899771866", "17929990024377308397", "9677366038327031533", "17122152197861970829", "12101405605891462487", "6283063008750776962", "11748188317151139133", "4131868861322719580", "4304358091554124802", "5255259983778484878", "18233862221655618511", "17016125890307361439", "14865444063038064840", "16629550645581528263", "3457507096647253594", "11431704398789876731", "5969443239695744508", "5631371157123316831", "13909712470746172918", "14860292021469017577", "11984611979792705384", "14398937303817623628", "1594904763355761992", "15131441412718023566", "5067453166680319559", "15700623624123500614", "15950500981650516361", "17110720750622395270", "1011489803850626848", "18147617841049802536", "10932626513671315414", "15460376352439248386", "6943543859439527996", "12110064583638401329", "11064362387939587560", "5577813457784572976", "15565724863607494199", "4991780774867845230", "69797097531891356", "11421810111921852531", "16137421529297539334", "4223071424989427589", "12715558606303087728", "1687712152273362685", "3164063181882558177", "9046089750090853861", "203025749815661417", "16095085725640462736", "3839203639631888299", "227004106546089437", "9723643080961969787", "10260428059005739155", "3914690466960929165", "16044131196380325399", "4809799539588006456", "16067470815331868387", "3054596329478878787", "4518401777440657156", "8701340317346602109", "5285082634399974218", "7427116675238515771", "4320100140944184888", "6348747232683341543", "8919742723222704422", "17963026079967242855", "557416062261781795", "12591274594816358618", "1747898579949120522", "12456378247133500048", "13721281344292013518", "18269517790887082418", "16721472733672514657", "16082012216282427156", "1013048866143249487", "10184050926736680249", "6881312205539685712", "9776946220065160696", "700264110711763549", "10052166495125951533", "3480828153975973697", "7495931282347748611", "2823865523344684379", "17911643157809432216", "11349021122682596559", "10956057604311582302", "8029150489168889527", "17131307215057937803", "8843310394390037256", "12833004373355205199", "10890535650274345095", "10036962881184778483", "10120284044248762915", "1553026101596497483", "8933658592331435712", "6297128061652039587", "16834468721159733841", "16900290626225491815", "15365347982992721744", "8472033466914122016", "743735563183155349", "10341662837492435086", "12763593687016127162", "14198391179606950691", "16612940712639762519", "3639408539428286071", "3085019064791226303", "5946259664572808615", "10542695614402039464", "6608685148529702456", "4718759839859004291", "14687151585741317127", "12384176124760329825", "1891350326378700776", "7387854813078708812", "383313019625449299", "314589559603630612", "601584510468107557", "5200510573650178271", "3521645307537056160", "9214846949899173699", "4642319404488612310", "13601266106711710256", "11227350106853073596", "16638977664709303357", "6380908555473629178", "12360428167918762059", "17617236918405787530", "3335963482966995340", "10561880095023448232", "10177278088825584704", "7415297331711936560", "16140982427026628387", "5751753340121080064", "6282533567541946697", "10592218452400127138", "10797116159278512072", "6184745568968670742", "8170723766899186401", "12180786432721689321", "14312222953122999755", "10659776769951345856", "3988677092630508379", "7782519559034596694", "14413928757947551176", "10332722530021856337", "4713156099941851241", "11734834857790927535", "9845436519016596975", "12416480622678069639", "14990003256958059435", "15284006633159392190", "8652761298312607242", "16533371283367529151", "16457321948464152434", "6669294190752573396", "2304553141392020498", "11538121089889260886", "17497753419171882925", "219849547683745105", "7093688315431267054", "3924730597326930434", "5570114079526143200", "11927771171214699249", "4504274156105006211", "16428917069407941446", "2135794771385722091", "16484536744299224235", "1214622811891490062", "15180669601310886736", "12966705136287344416", "6092940633274191177", "12974977365153236081", "7873395105948230102", "1069307724692548410", "4349221906167274645", "16932705749916227243", "433689076178592819", "14971296821499432753", "4342319881893678156", "3347067181085430251", "8005948830371929599", "1255178261816426135", "14717417774164105400", "17686596424490861515", "14047902049847747491", "16980475256848642477", "13923925291901461004", "11722843996617650778", "8194389204396531452", "14730973013336915934", "2639699387636541957", "16995680697894684526", "7205354467960921887", "13370555501167522470", "17661567160883346741", "8644413873814975031", "9840313100938103380", "8261160358192011450", "6201153201928340506", "7517444404142591145", "14511103926585431123", "18433263387215811233", "5432939242266625957", "11253218791244581040", "17254441723759265133", "10834991330214825924", "9051152286941664180", "17992035074464048719", "13690369205942981852", "9072801820837966201", "152519581744952003", "8979412984622530084", "3747934584291555995", "1998560661507560554", "9247467075675943892", "11839395581820910983", "16180954748013305052", "14555830952704975176", "7353799865647651440", "3270142941418293689", "2152473750531776014", "5465507664385916845", "10488297462330451630", "5392356089887261450", "8096157338992846721", "7581491153677323375", "11434621782682668437", "15108496484345632599", "12528983734167236326", "8611597189352434706", "2100015839876194301", "5770182742559309507", "14029825711510262624", "15600946604309743734", "8188549799958369121", "17527402728288636019", "14113635005400815740", "450644909389579287", "8568808898930175795", "1047649664615819307", "10282243742115256120", "15219151281210951283", "14121037037362877303", "6799180568746790786", "10257585498136045538", "14849482211816872119", "2501684961160692953", "10974199980053746038", "1022447496450348786", "6936993477547766242", "18328038456269331561", "13772969618478167795", "14224990581841823459", "2547183208739625689", "6385706307696688421", "17058403900881208588", "5310012484950901763", "17421732153841204634", "13839276064848729757", "2345003543360556896", "8372628785868951624", "14428017369536240576", "14366413587844969427", "10237267627791056997", "13835483671971073786", "18127788793277432363", "12135155345930601832", "12050254089259488963", "6476044845562922081", "16391045175622159177", "14944372041586185887", "13741100469771433079", "18088020799976764107", "17279757147837349067", "9337227793462906435", "4595805176565351956", "1434231719807298531", "17687192182782256891", "9183834251867576294", "15924497319652774907", "17931347853639714951", "8304871757344264692", "9427935434560472101", "2822235736634745811", "13517102467700544542", "12280523041268189478", "15283786064637817427", "4873846501481804261", "7028086009734694836", "2811395938257294529", "1890777542494811676", "14288561124158509499", "16055632560862022310", "9346193575615284049", "14047391330131807290", "3309642673698465331", "14892442782997630509", "5035062855079498730", "1471595307903247147", "336306172596343785", "4831059748168160184", "360366168973775486", "10627480667812403303", "3077746376391333413", "1564737647987790082", "9776102930932911443", "3822671832137454029", "17713994491516670190", "16342843011805398155", "12535199654519269258", "580274730888828134", "7208102146690029185", "8695481411131116550", "856310358556616221", "434247867074792341", "12009230085647304593", "13742265257577262053", "14104721829000191975", "16927996302479486526", "1508464566167968257", "7791048334368015265", "11943866875776343195", "14478101410139949914", "7839492456030312410", "8484297816491139269", "13674909034975183692", "5761966691868421885", "3574001617535597073", "12097466765563254888", "13673588544228887930", "15166993457385009458", "10555029962536794585", "14496593005730401322", "7058917560703139547", "14918865787651070346", "10195676742497614547", "15031128867489523215", "17536442742323898324", "2928038693937597977", "4795264012703120001", "10753382305804889832", "11985383361676723480", "6879070717916490853", "6123372238118982860", "16803261579795856299", "15121773317846099608", "3876605613170489390", "9876189023912512641", "14846255566023890021", "668314797548240975", "7594084974778730375", "2276801255574690546", "6506273797251840775", "7643429482824418560", "14230917704947374463", "15716588701120232604", "2937114412484603522", "16786752864999090753", "7998512601253467243", "17775267044549700374", "188336939395106975", "4470683605723805633", "5239609199006779579", "13941828898312009255", "810289844163222791", "9945981649033579072", "3616164312407139260", "13331676208775862781", "16706626880870961164", "6274329827995825318", "9041454233548762215", "6561904411458640469", "17002563875961218628", "15966500639005110494", "2294549192952915213", "2058109154613448656", "3690485027246056631", "7043378045392165562", "7978910180418854584", "3442840753413197869", "15616363316453329070", "5750370678457612034", "3120337601930626341", "15136332442527716448", "24362681194946877", "3884008347305734693", "6677215764849222953", "991078436160869768", "9992085507640557569", "12943210913907690028", "56359935403600987", "16165267232021789044", "2943886534829870830", "14756064774633853147", "17724338200654343886", "12812472448169080585", "17471057306268808324", "2536843600869589104", "10245120846356772791", "4817181270971421062", "15346179505160130964", "8497549463169428861", "18008182961118730241", "14490604035584657957", "6340711203712255721", "15387545065615549287", "15434413373820704006", "7841617787470451748", "4617181402287296198", "2575128741863622447", "10775494900039436958", "10983406294729454443", "5866494056220873374", "17859384435062195012", "1227825922072956430", "13204369829472306747", "15541400333282793561", "9249638879585109440", "8246247826037257354", "17829373430450331297", "6704112390332640123", "11453187731178349273", "13531232560578582092", "5673137533103574746", "17719796025793039029", "3665188919143804996", "11103033505511023040", "16182359796659460624", "13458509289012836582", "9964123402073233599", "11987218507742939093", "16904775177810443417", "16312471121971174958", "13397940462821888918", "18208472683281897156", "6052364705275885260", "17303128638944875800", "9093014050865405257", "9753963414807987094", "6773360237593262839", "1673252859621906860", "5317501897318057207", "15789530854255125634", "17439392247040613873", "7136731325323492949", "11718076078736628228", "12858922303445472717", "3113239021728527240", "10565832846075149590", "8553371100137635638", "13441414571904640972", "13011133944523568799", "11291364944156140046", "7795230611629249057", "13761793498297070660", "8715675218039060552", "4542472857173824223", "5682325146303054035", "16419504086875341869", "6243006424255080605", "3707216873978080749", "2391530965814376941", "6073369588056024400", "9321675322636803655", "9196774134886418661", "9987036358823185756", "1201106923150864617", "11396202682673423596", "10807592480697052351", "654458789767998836", "542896653364451686", "16557268974705956933", "420202901657531244", "5757773913820215723", "6606793039237539206", "6718821904660284258", "4026310434419302416", "16570326010345759330", "1257586356874760013", "2801781702216075550", "3330924944065660877", "930045278121105213", "4022563747440181106", "14766671365116567715", "10047302869574294247", "3108439640213668285", "2005883246863404775", "2683129909564712436", "8804621468279308007", "17333634086386368205", "15205503752493300732", "12414442044054500547", "4086916469509563001", "4683578275606658562", "1018844836438397684", "6033444246979003626", "1714371693429279298", "533955701161979103", "9137371547421873915", "1860544734539984033", "12141473439446337302", "13669189355391290178", "10186421678161507023", "4123559446827420593", "16646504706968819872", "8322329892624185986", "16288368729736699247", "262675706107914972", "17864500560764645502", "15281336048933383333", "10596940734749399414", "10088269073653380459", "7947802619215702951", "7060994259915976206", "10266273998785995857", "17814739281480219330", "527736545947688206", "14722771637520174420", "2376161867747127004", "15003932123983254052", "9567187407819924117", "12912042867177786217", "1880060174283971814", "15940902154352714859", "11064324224384560150", "11170844031428687376", "16197303873507249613", "5925345412861641243", "1774302207538491884", "15911209620940191130", "17061820595174276627", "17763118375010467947", "7488047098128101788", "917306418907060268", "11104570998666521438", "12731255394735153911", "15621752819416124724", "13260019909471007649", "12677873610749456433", "4413752487055479111", "11452336808889231922", "2780579961419567520", "15619435372092555817", "140215659365201389", "17363335585568615457", "9964651893606922240", "3177675133234253650", "11415270718603503120", "14893885021002438872", "15280528168462559677", "9888544521020703868", "5427448483861276730", "2935340347279281699", "9913381169423903357", "3965988336976608944", "176472537178948730", "2893753394967259689", "15417160987725638461", "7019648565049217871", "7072083641214425679", "13486074129686598739", "3339358296982696887", "9812952895137565246", "11016664629181228171", "9106283172404917883", "14020337727310915403", "15137068846758522459", "12844882513886737771", "6024842178717305555", "13404177427133716332", "5808209529140908357", "13183799057053200834", "12697094670592874133", "14844345414031408437", "10451724038801406858", "16138885721233333991", "5569259042640931041", "12460032953899176345", "4741527335433263503", "1690521819250493009", "13892375516395892527", "11951571396642807074", "8631417153165676729", "17080922511059099828", "14448308267822689129", "513124160432392920", "14714864710214117607", "5991490204301067815", "12889118651226354454", "17340118638985369248", "7724396113130481017", "558872293139256032", "8059105815189247233", "13643844180515887686", "17713803560517488652", "16528341187135514881", "2880472078363368147", "8325032707889637803", "4056643509380710541", "8850742121946754535", "4071042232344541870", "1886130366107550793", "8947040598888137332", "3601672723483731744", "3284925691161894223", "7303728805920683693", "1425316364203203197", "4961029665897520938", "3520578700508387233", "12168382120486274258", "14988241795466919280", "5033424044778055469", "2642745503621511615", "3059381366611831076", "14256319257393472043", "14442408421129443517", "8386855539472426898", "1242624375382810126", "12619423449170574492", "3531415221086485553", "3940385284037081893", "16812231447678256537", "12952378389011831529", "10167969004505296426", "6960585671514462512", "2687928256509961919", "6535712936511591702", "15511157604093366531", "5371868464812121279", "7836245237515063497", "10093793807385705211", "13640352743759511241", "8651812377446233548", "17657665236448897534", "14621028138498899491", "17431018802151509510", "11651833552125358278", "12537042509671617744", "12995919567996832728", "12080431849938663159", "6613174130587282846", "10172297036436457878", "13705055425985619003", "5857468696264405578", "13923694726654662538", "4410736533878501189", "1804455270617725787", "12712062390472824185", "7786358578190071357", "984217578834333324", "7434642103490055646", "6593378880015944018", "4402795493169123291", "16542219283516590537", "209114693714123282", "11523231447905523493", "3516119172295294672", "5024949752953621995", "3366115808221209390", "18016188210037790700", "2705298230563289345", "13568029971734819322", "11345613311936686989", "237790456010825938", "9827753973391004529", "12113877420748808199", "9212614397628839402", "11745268182639841103", "14179879721351121253", "13750428755229628951", "17805172541393066780", "15267523618643004602", "14718219509079939371", "16387786747110882812", "11377155584510979836", "7802006894501400683", "4989718034147778384", "15865700914219197444", "7266080133756167378", "18187810010737688104", "3357992229539753715", "15118992185128675222", "3225699011262010951", "15333337080094181085", "2851458238434748045", "17959967861391672969", "925810141052266822", "12265383520033976939", "11175437550226018404", "10474967169249298867", "8992454959183806209", "14200570519798695420", "12150881648806542934", "4257970284588870623", "595461985412237099", "7700329771530630470", "1907223131625599287", "1160846903899301944", "10951439802171804309", "6593326104049757719", "11970963350197600631", "8042545743696747658", "2142258996359122701", "12197170183931693737", "12520358081040804243", "8612585593876328806", "12916703235483585030", "17897061401538346064", "9021813906718880389", "808865067681422175", "15884523361439150376", "3845135290646329901", "10914684444522829292", "1244535966062815178", "12604514873102949702", "17367786102219516131", "9793805191110089524", "6216006922612018777", "1478898090754076305", "17819935228102929784", "10181683654057361265", "11404699804378069454", "12498318628730928575", "853179070211291877", "13732698727182612730", "965612007951922227", "1398849947367006368", "4780903078894603407", "8828294182872927648", "13123533799437958856", "2839431497294027577", "792932844921415962", "14347184440469488600", "18437388364781039447", "11579450941824198691", "14753857021078300701", "4436825650608441400", "17441235445979411727", "11130543902557105072", "17851851232103542690", "7999750268123419272", "118893917592621390", "726998996847745688", "11897291356480814864", "1860362940667341714", "9366851130417654168", "7767762933140444519", "7868551121867143524", "3264684903939705463", "7731388679572753420", "15450141203336398505", "2354904650551049200", "13866743641230281083", "14807139553068592100", "3293261580245398837", "1202957383637778090", "10347484317805834990", "17123849796199577580", "7096005099592453448", "2135800929999628866", "12075412392914929004", "10012864120255378470", "4370597126021887037", "3877652000231755741", "2318462744826946800", "11537478484492780889", "9798354588497992134", "18149543723519195395", "6020242652484572325", "9008005421605175197", "1154364988584463407", "3853949493602098741", "10239053699320538416", "11825062437054754144", "7523382123512699310", "17535149188663705623", "9475879378032657029", "5292822969205295470", "16066655296137261629", "16053184478169494201", "2953295623250802538", "13273364627219657372", "4345499394381005307", "15297656553105040780", "339476495515582166", "13774403242005725586", "11811185028978507431", "1316090005007782623", "9800208498891131615", "10671076538329447693", "6302938656962882261", "1496606025526090582", "10063698388756781760", "18104630037971528186", "18406341538861091049", "5123519815121866010", "12532679610070319622", "2211735600098624295", "16505254272318932535", "5967205470898791994", "10006595749128447770", "7361519595212056924", "4786650416542390377", "10658036443259016498", "9704205926799783239", "12733732614693659889", "2456642783359757348", "18014581607246335064", "16992927678812035812", "10921133772854260838", "11320692693244804955", "1250207129135925772", "8795057391572537361", "10102542024513735545", "13945654123693078191", "12145821533844513492", "7233217159669262078", "17310240500149639153", "4562138044821654424", "18171433478286850528", "13166958537826093480", "265504504563727717", "2177085995770964669", "407181896520246667", "2995877348668693071", "12905123850571839587", "1359849053383816262", "4963773393764357353", "7138754325278402604", "7694398890861747524", "6606982330896007970", "3405828664227960454", "9323513229604326017", "14717412362226485305", "11494970992560279534", "4077622987897583846", "18060161357089303008", "872948439558701313", "8588636106672093769", "7972529141930430981", "15104774017772110694", "7435208149400838435", "7205672788949846532", "9785069724194665517", "2649774916191176099", "8120575784027049785", "8435785142299166483", "8246283576034736100", "5515906394540584536", "1751169968343683226", "3296116417695900033", "8347051246539083832", "2084891722582734604", "44346528263584953", "6502808746292941541", "17944034541561046769", "883695175742990449", "11522369015598643177", "8478435923500754626", "4186067302723945028", "15927061770155934761", "12359018644104351693", "15362855672706011718", "158670917781052871", "17549685584095984004", "13218641013338186398", "16029573153951230484", "17116403728301133716", "14054756852811458306", "4916959296596557373", "580019286479027935", "14144952924829651202", "12599147559741649582", "14481156706225647305", "11709123917352524754", "14833205328295319265", "16330247881213586628", "11449459738877841804", "16905356284228200318", "12002726629422553241", "7981370130717973597", "8480026811732759713", "6102910914427097740", "14372560174179528188", "11998958036516231289", "11664812276173018026", "13908009783603576659", "5598587866460289626", "8424536192545283930", "16841963295048284427", "10324976377099685647", "1512312433484442535", "12130877332197296544", "4248336898338254528", "11053708190723494708", "8733493766974761634", "8088389282409889482", "15229536103007763766", "867304336932952772", "8235451901739562924", "18215179205061602325", "7618000864165134223", "5953779115546972313", "6355701523254140872", "8523321611616620273", "7866958407045455141", "8352638108025599588", "8563140869821355204", "11541876253965056306", "645951545637268834", "7057955426749239742", "7097756476615653468", "6889168731917912813", "9382455058391809904", "192316822442844721", "5489432706853477496", "17414563393550825488", "17463198011064113166", "16438801582696657413", "14350081560105410573", "18114108745727773895", "17102834840307098926", "18010160295405799599", "3382955651960051206", "12088756824243693158", "16430211395921803370", "17335092429106638118", "6156151035156562304", "11807849974564184930", "994429297502694980", "12237444262919011510", "5421823953470757406", "4388548158385720049", "1048959339573170597", "15157176458726010644", "7930396559990130310", "8312275139682795618", "4644066723829894387", "5095317389676178047", "5184570585204277743", "2063495726881247686", "2806935008764986431", "12199660276994492161", "2189959271240331184", "16205932972333826493", "12294598102332614239", "17601440618436455912", "50883604230510431", "4091210917037845255", "5162774144685240622", "6958990410967188758", "2101330141362330390", "7462913131122887259", "14316557818328207346", "17623797609853115551", "12046202189442270102", "152576801913096369", "2292110942937544184", "2152116576002724775", "4695092629628314792", "8399440489516283082", "16313131494631593065", "3518530656366966063", "7509863030377106842", "14267539372999044742", "4439208614700716403", "9383316222346353520", "6074374247781907394", "11060445446439109586", "13371917496312733066", "14901169128775053010", "8959114706958777486", "4844966191826260527", "5440546404692039131", "17849861378066027655", "14781844699055333184", "2096247224386977281", "16057172963335151446", "9028435882564232980", "2931584135969344837", "2218899392953324142", "18142817209322065968", "7143514413901340190", "979229129250677021", "8834814959268811175", "7181713125212534710", "11543434756183281930", "8084218303064119277", "7143466089266399698", "16515616903180870406", "762577206604053471", "16803534852653832264", "8761062764306865545", "6010526736237151252", "12879174679080844313", "14352457666102096356", "2685623488205552667", "11535009025971547082", "5254174009305998212", "8719902966314430795", "16029687797018068959", "12583839143544164066", "12104094722907658322", "8451269580790737078", "16591968544345754614", "14514278161333982744", "16311311050352008306", "9129044854287669611", "3042743487745987968", "1301846636255200899", "7513954312647204181", "3015427604269674449", "6246804599263702190", "2767315615987094292", "8495761055771271052", "16549135782076171349", "14694518378366543039", "14280430459743701303", "15152050921814668117", "274", "3", "8019974372754251236", "7086103938685146472", "7622862775365442197", "706488674129763401", "1253593708985982672", "16189736490050058838", "5574276159567535667", "6772695024662785296", "18177575233569672817", "13203692796551630965", "4108218315143203520", "951311925331815003", "12712205214543571918", "12279745309954678110", "17024896843730003269", "2356421325248667569", "1880020371033000919", "1637010475215649315", "18213413644454140083", "9721482481180728982", "4305501398219309461", "11384582493651328178", "11648804392768495744", "14784882343111443556", "15655237531082709796", "5775983933373745333", "2508869141859882931", "2742426671204166096", "11355086092717386564", "16972547451282854020", "17041855223879121261", "14941251520838947515", "10676315117410620128", "12434278133027274411", "17248023904476256523", "7676232373284821942", "5521127488832668394", "77722755509064800", "15903943695046625056", "4786384458680700646", "13013584511862589589", "2470354667287002647", "18325724952480188638", "5465145221749974294", "15164973727213373645", "1811406020298924484", "3938069367447430837", "4988478297719443211", "12850390782350514055", "18167633621575706890", "16783178537517671087", "1911757673364978819", "13432002374599637708", "2985109564018349390", "17615190396802869618", "11431323238989036313", "13077806379958970727", "13244046985453562756", "14461815124380632936", "15679379379428915849", "4799223775508191119", "16257986942760137152", "8627677057240920462", "17034853025717390029", "16671488278033090834", "2506783945556455976", "12879968869793384875", "10096351323694453362", "5784894761121046804", "17539030631263609754", "16697063423276713747", "5631141067209451337", "9711212517437391804", "465383908200383163", "1466373051080669617", "13961623497433917374", "6592028338870660182", "1766632727068263531", "16161359088071218192", "9049030971151698186", "12732904927121419239", "16762018099191880989", "16935811113308729914", "17952060895583847713", "4891092501955187927", "5490424216468947555", "8352207788247192120", "7216279334493891635", "11586682136997484789", "9399397129319487644", "2428183694969714688", "3877296366504391442", "6823040357085651245", "18334027789557563659", "5289317910925446122", "9928398720522650531", "3211337065862272692", "9954079240353791026", "3145235367374917262", "11353599305961055234", "12965377562076317267", "12368944958883171211", "17472718377953275380", "10721830899365834704", "16066094599805201540", "8922677959967831415", "7207360229443374707", "621569194701710713", "683985821867187762", "5405448276429696144", "938055698207767928", "13314658984367329544", "2875948794353177751", "17426274115481587471", "1356167869919086834", "17611775103471455291", "13302775577782308617", "8268221758546597483", "7808364536062308091", "18396408349017472441", "2040139626882540259", "12237055994917703989", "1560834871198348795", "8038232267263332888", "3330392197370972406", "13236675748837586032", "741416252236496781", "9491953670246511117", "2880696027204200912", "10252729598925732857", "15627054942085981736", "4045342990992436839", "1211610066593093181", "9860547770734660639", "5039013929242948205", "12253569849877882985", "4113034062441488249", "1834730286575745904", "16491721091185536315", "8574180061557736986", "4752122237048229785", "17023514227847049223", "5412749230222926993", "508524281244716176", "15085413798604586683", "2612850227376232067", "2085097269304111891", "14551299826910057893", "6691346446878021140", "13010282707550863259", "7097240470732358948", "12015804699913662175", "16609508279921328978", "13154916711653900320", "2131925334432512864", "16158033425885091582", "11151840643016829884", "17758616996469899543", "6119747301157667099", "607339748674804093", "16712975685245894938", "15263376406296412718", "9581904737548261311", "15781309902363979234", "9223505150529816570", "8418728406191555809", "11113214130251598686", "7457127899448519025", "108003326300588882", "2852337132043670868", "13683524304556422728", "14965217633585931597", "11090319398395658713", "6840912199875401719", "7784922058268962232", "15938096704051631397", "4308222551372234286", "11110619822465780000", "15404321105054542609", "13297481527913866661", "8714839781441072118", "7178475059814959323", "9827268755826203859", "13698906565805680544", "3552711212378226939", "13977826649109233664", "17577504351723117434", "10898165554078515000", "6168882555964210416", "16319469857655558591", "1917015895255564639", "6384528946361456250", "3558117921695192827", "5555842375696696570", "8264180546749731137", "4768666786690143394", "9924537039369112173", "1006088117779829351", "7198623545896415778", "6183282821916974169", "2015730688140375851", "6044975575380353445", "1936578485775570457", "13890108769518567920", "1997185016717604016", "15204944783898517364", "17038970626144346196", "14907718316319392094", "6352098052265527883", "6540025171082088081", "6746640607361999847", "15571902667030681279", "16933964906466575870", "2119718351432828033", "18346025076308185281", "18269552255951797497", "7781858941626204445", "2830547343049120329", "9882789785950048563", "4797643308335600413", "17016472905029918085", "4797061250664071126", "6309359297547637216", "8188480689069180904", "7071438603779418519", "897933194094887220", "2478860467593998595", "7797508678906539674", "9112438580880532605", "4516087318865129968", "5768563532733792340", "6956478219074499880", "7049240575976002367", "17840558827449200373", "8402261320613384903", "18257629692902805671", "14114860223122588953", "1468783320633788432", "11873278665648639135", "14333112445514069395", "5189914619006075835", "6833316142901082264", "7337574982750000292", "9311807034212098559", "13169577545268005244", "17369300083862089229", "13577655537305655580", "13112617090994857667", "607012632446683639", "4824693295617797869", "15621201655814238547", "8459247170251478391", "7841153797128182296", "4883833013966567519", "6825386617821969662", "18016606595972759912", "8457309518116177459", "8434518375603222632", "17994482393633283892", "17173665418137849728", "15647120807507882609", "1713992810745522432", "5638515294639822689", "10410028594827052218", "16474588299941354670", "10336049996470496665", "2393670100199990937", "9225001165271928809", "1927520514190444941", "7730600201198119832", "18091265017381895835", "17979377364198750793", "18205520445444983707", "1138", "2", "16143572150917742872", "10591498659726644344", "6273897152675693844", "14348434845777685176", "2041235399738907848", "11478078680594947971", "9944204701099793308", "9624584822954708316", "13490622301946102974", "467169439547900056", "17102889544819844693", "116192690190982248", "8907345467772852409", "15501997047003149997", "12466439948097677381", "9363359190676109615", "13723458596047952680", "11051459795412771697", "12624023500265195296", "4970444256774671042", "9284729961907417076", "9925454505729010771", "232742005635613966", "9995572924946556271", "5898998351203150551", "9693168458515343845", "9202090111723846051", "13315489742056422646", "734952800147848867", "13424280859276966290", "16638148311065435140", "2345295253038218137", "9708373845901307954", "16647568373009635499", "8978383580570341030", "6013600260790621235", "15208719506890426576", "15319360722831470426", "3331468236006474446", "10540816061062124754", "3224778637642257505", "503275483238697231", "5396457402813289490", "7053198049536726627", "15251086773368969820", "3603889087383514496", "9450136183295824528", "11937862324154255050", "18364794014259949074", "1686983118494219672", "12282489093246411520", "11859672872866542947", "18003773007103016518", "3433110197676545921", "13074807392050052883", "120068209435294764", "16555019400864140839", "8334275213558650357", "4974159681324344489", "12310119056567084917", "13109527943303333033", "17937192991501361873", "7761493123319083244", "2397698334402566068", "17665634230499971719", "5153012177220938298", "18247098016108128216", "14314953601360493609", "7494695520129540856", "2825599300573000915", "14596803751339562177", "12969527138962577191", "6142007108156210196", "18370637164006344619", "12098208216166361133", "10180256473848773093", "500744618249251074", "14200724230558619081", "6369949715964085620", "11617521678569772582", "181507290972208304", "13879354340592177241", "16104499885449167863", "17533280380351763404", "2965247046072830406", "7713065215938959126", "6627298472803204576", "8910047715678682266", "12977458565141454427", "13516147439363580861", "13441426644436006889", "7102437362806043111", "16010499164777163805", "1778983111585537670", "7152716309639015484", "17533041624648968116", "16447262658165318284", "11992773961347100191", "11020473667750469662", "2570557554452009540", "947812877962058091", "13471349079316149531", "16349232237092767951", "1454172551156071560", "9500608846251993569", "1468820983644145238", "1357727668708391964", "4837428822690761557", "17295360772046310994", "16152249849270281577", "2079994853562570923", "17343059032267490809", "2256409840637608495", "15050571971367684478", "16330662319363410370", "14197351481713727272", "13976518944816137628", "8606141527225988328", "10230039898605730185", "11107814974967189311", "5314019145871999336", "1059809961396624600", "4169400197561679490", "2600738158049846761", "17883982584044426483", "10346316251518971688", "9114114146617474826", "14815758198488985033", "4438658147842899581", "14556891641622518113", "13774162391687005312", "11208036150180248244", "65317355596524415", "2294699119541569659", "5360699183823481248", "16582393723702366526", "5494474928606576494", "15400759612622568842", "16990477368602959135", "8157120791383874405", "10450098195418323772", "10109680552263093391", "9691678008427912000", "2716116951065604007", "929319919479341827", "9851904705508113881", "156789411752741301", "10054817272061684376", "10494451658887620104", "1712969115617073719", "3486403239996477752", "2480524425978734004", "5744047188972264935", "13536555989471581767", "7008458571509208597", "4811656671732128863", "12659815308701875249", "5003489169253727533", "13802854222099469292", "13476480635710638745", "6952182636415035536", "3980625507427207910", "13895692694947550200", "16784717450646507945", "2636772669175007024", "7853775680681824145", "12168599246618921578", "3981430326894354303", "8890424358192175318", "1786328190678372284", "10435574527910814780", "2575709293978592294", "8377083085201649396", "3421312511067816081", "5786848702149149258", "1301008748870597803", "18062209313638794555", "967675283396116159", "16131633302494764870", "10783121516244140556", "7856708323813531838", "14921065650026065787", "1879004696115673822", "11934562755529909482", "988825651660888743", "10333419496837038053", "5119684219144666417", "152001649999817478", "10219298925297067096", "103030854921273502", "3787018579619442471", "13788668028317164643", "9418220787127717079", "17198730539999605328", "12809620082295750547", "15627852908813033073", "18224126619535459883", "17727098236681920890", "18259734007734295561", "23559491950355770", "10181183043873221311", "12335939052950662149", "3932719966324717446", "15956390586291419226", "4908116960766457368", "454566033275182555", "8207887685454586824", "10425842838415285321", "12948344524470692417", "4519546182535417653", "7906043968479945521", "15873769079727427706", "5204046429285640725", "3640690705877618145", "17985081529760634619", "3447144308839135613", "16313094077152713752", "9197653102155318637", "18016160201637679454", "12219197932054497099", "7138408188899050929", "14115165138989781933", "17689112586572909587", "13497047421194328722", "6471660854475721144", "785848531208965162", "18142077975634345916", "1394606020528320448", "20847733038543559", "7670851618645355830", "3189950368122630131", "1356298434277034405", "12251823692908239601", "4700762121240648479", "17702450169860636194", "15213032040029759668", "2339014156701566222", "787196833976990368", "14133841726862514204", "740691693886118328", "13987526038630720579", "17413917454124168322", "18407968189624245120", "8657574696179276849", "333041073102196926", "15200995352895686940", "6091051162361299764", "4929859359271077831", "11828932627909598199", "13639515568335997529", "4475466286986842867", "17674310335732519884", "6928027356146467105", "8665250838596312836", "5784452693530329277", "5048969496031117922", "2797603465943343983", "13167831031756765922", "3585672898443538182", "14625283000790731771", "76926812982010816", "5769204065598835299", "9873784934867235390", "1751607017277195040", "4263890503109301982", "13107454541539033379", "5774330304995203839", "13210195508648822968", "47554536116584503", "13412440833228860048", "10006080608449054783", "18419368150521292783", "10076701271356865537", "13393987287087425268", "14815674860093338241", "2293287228577637125", "10150486935667397717", "5040559030794662313", "8458299305566951718", "6247442946938033002", "6805768055705341091", "894556419393496222", "7418412719130324375", "12872375164407309020", "10335481769129186917", "17616690942810080072", "10543998231229745833", "9929765707205643850", "2199189177010654349", "17273483484197123283", "3914998476883198300", "2171677082555581866", "7654856148802702658", "10069827701607123423", "3105956838377243591", "4280606736092757951", "10494612232367065516", "3011737224152149383", "11855179607759702928", "2080804196352008305", "17359834221555124559", "18405241956001353736", "16937510622661942332", "12950924170646430490", "17121881436184250572", "13360727214583344522", "6910948065712471813", "3779289667810972593", "14857119077359938530", "5049677492516665132", "9139181876426109580", "13038674179603687780", "15331945727473853727", "3428285979565097128", "4344978320443537736", "2022591151361614815", "15199454659385452586", "250747728848241997", "16409910329379223618", "15113041697660149304", "12601667976553794870", "16276916692009878609", "13641995870025656075", "8914120489411850663", "14537020585651960424", "17622428407318826829", "12550647835581865488", "5504518925067408844", "14086425903242168519", "407319605933436652", "2743788317155843729", "12360883470009404880", "12459917917124887856", "5103909080987026691", "2085181416476844787", "4765768588105600607", "4618596951915750615", "1430107055446694244", "5844482419889502068", "15503985324049510672", "5897451428493686559", "15385337501248736526", "3036552372934000556", "2671623942905982758", "16004490719266403567", "6291673445764363050", "17106070924599093793", "8834252153687819890", "4830883129488880291", "17120334681845616692", "16583663714496826472", "12282314300566157062", "5742310881887785516", "13946404950249351971", "6234773611608918062", "14468324081667903145", "1022443890445166463", "9445352055762215717", "14934499454180985534", "12181310057763615957", "8518477672616076768", "16978259842077874656", "14781020387181534443", "6578453550826800445", "4813746262368021586", "16243743267839908367", "13022577969396147133", "13041516382586768486", "16060822140337408839", "8042095417871918691", "3927579896778138419", "13976818304017849928", "12077885815505102529", "14431714769910479504", "15586871845320293789", "11758826168994069416", "4622490546301621792", "11862000277424016451", "14117884597015055223", "4637142907211606761", "17836820444251621244", "10382387416345111197", "8899222099561432065", "124360980743444022", "12979631214679781526", "16088169712053643816", "14869163017503428707", "13555592818541050442", "16322968643928785515", "18400262081524117562", "3379696796652850457", "3014336320051709313", "13019124328433088056", "12766097232371602694", "7142628345250074015", "12128817990264071806", "9131830782662390666", "11429103238511507790", "15634868939782985162", "15621336963466992758", "9183047569101769796", "11244483975216376607", "12452845532288093410", "9029648999056862149", "4094923961143819205", "5939485261199449316", "2630141927363569234", "15964494099896896023", "7870871502931599004", "9604755879760685692", "10112226107624593788", "8811671870682347950", "12642964542760231045", "7450477672052354015", "11045935714980539519", "15571627783955478247", "15272414613495642305", "3551913353440281026", "7976405559181940952", "3908016971966719775", "14480674356776384932", "4868107904938390405", "1850841070354558967", "9556330613394967340", "7451485084029909567", "6155161602172682263", "9453519893139702274", "12389619846151285136", "9614428282562115962", "2279488894658689150", "14235310412179887786", "6603809798692085776", "11549963317983606786", "15422726201226937117", "2810358406875717000", "8663219713527166317", "8973663618875317207", "6756290065101772935", "2239462993124532612", "8775264488507325198", "17019438985132495008", "9762908863015226952", "13092345891309880807", "8552735027450763404", "2327612181136850892", "17449498662838090584", "7447389122128575981", "5631763398830744936", "2888887450602907994", "1314124259952737706", "5200999993104832737", "5296862651227082900", "13874921317283195159", "6343392680131900116", "15603085659813512976", "17509061030127434908", "5229231506134151204", "9066406790802563213", "422330968396293846", "17236534567814561718", "10123637660148238562", "10371276210786844328", "9125322525724195124", "14647553361761928505", "4365181219869342589", "13734692827401378298", "17052774749646095304", "7591171479240079599", "16899830385831728023", "17599927209622161710", "11808932098372627547", "17561607742287584190", "15149775487464536513", "15591495219671226816", "3278322389018246238", "6170475751400552743", "3552442536658002929", "7447553308901661742", "4622785418998911885", "14837924405725556537", "12244256490737725169", "7464346218416826832", "8866364399586662958", "14306910109919814520", "7027378318998944499", "15277023229038750118", "12238579971639845903", "429308814790290978", "2922193069371602940", "8025847057859463427", "17062343175536071421", "16429526688737322566", "4982273266341863279", "11961013693196091763", "14380217342059569871", "9382465557734483519", "3275394522705247482", "12389137222600827112", "1544554727438495081", "4269156235757685141", "17833678920406135725", "8530508523229746022", "14642589335546883569", "10485633964947964028", "12258318657198314356", "16812431488605394733", "1734463476886082114", "9782145726508989140", "14280670580593234758", "6060770361076580197", "10442347119986223676", "14600142025693153291", "11781386893197766926", "11056296378809281991", "13679119178769436267", "15348055107952289580", "4736470310026587214", "15935445721025791559", "8697989826894728575", "13559453864456437607", "10403118312726052042", "18251457052211599563", "7182034685029127571", "9970346707077123096", "10501973772628984920", "5336091929540424903", "3797915825654941302", "1671676546070891675", "4697864754269326533", "3406329291473214742", "1270897446259926704", "10241822341642975700", "12296813712950597690", "11918300154835752345", "9943906365149782983", "4164355540627694475", "15195052930675886389", "853799017399349989", "12674965109203387131", "3957257039473732655", "7602859510061728975", "3507249071908537770", "15845583014112063991", "13959911417232635618", "12638887441293986174", "15756374004505805134", "14111286465385763175", "5070526189620610854", "1572778043698214330", "7399126167263647272", "312693614230898543", "9370697343193991248", "17372094425688703603", "13667144353751948154", "5376979661256570619", "1242453036425459712", "16770369716987567002", "17473179024431863221", "4188272710446943174", "3068092902629986663", "14732525610667636305", "12115188398858481707", "14228255520444057159", "8497891316107020330", "2406060758751159344", "4512436352040860464", "10620824872433781604", "3139645891884635831", "2030642185678547414", "11427321633431214905", "15076297456031129091", "10014381413515193527", "2449146375469654989", "16952148819613432201", "15178822325330300355", "12596739512689208714", "17357125288705177425", "11123527810537711541", "1152999511225088384", "11601676705696260000", "11770033860079534566", "6881425195979917351", "1872057958913758420", "562750379515360087", "3064818523125070301", "15604026804608700935", "12261921841693430635", "6960818572486503958", "1039108796402470530", "1925429777611378891", "8379879639897973779", "9851262350140449047", "13650363854411876774", "10413227332714315153", "18324273538874405305", "638956859909405335", "2924402734776757202", "14911391267475393084", "12494312590413186995", "8423431650137623324", "12080443119327602870", "9242080862137099524", "12614821493412933583", "10566549199061170314", "16427995749339041585", "9282715716619583876", "9434964303289557529", "8238544182410638142", "10788789397927841772", "3315127840615822336", "11325182655091665902", "7281841205726679459", "6019712809365905224", "15334149457908377368", "12610850842199447733", "6527824559127939133", "6109592308877760650", "17685840920662891013", "4295284028492831424", "5039770626718302544", "8746863093574947661", "2314531703257882608", "952919334684908250", "16598092214231393031", "16093098090868354452", "7206931470512627617", "12243547642287725046", "8453243697147589150", "7440014129230669563", "9859027390890559106", "10760160434127743059", "3073795593146116412", "17561198807039638161", "2331441072593990596", "11839309938709860497", "8854798762925047795", "16554170029338768729", "18367712915277541742", "5403373277778499887", "733762192071479435", "15430706402473443826", "17205819049954549618", "10900362460028683224", "17525530517971999930", "9276649736007428168", "3634986633326858861", "5670678553083968653", "5588800986649320351", "5458749276605720732", "5018687556087541263", "5433178143693414827", "4044043366933527101", "4733740818211347033", "16556194561903799633", "8215388639316558077", "1678855844451680899", "29924655573305673", "15119099562971517807", "8803084910040017814", "1452605179018093687", "1382899905143431109", "3414557281726069456", "5970608251479341131", "14438721850554317088", "15154446685930144277", "11076772887713831682", "475077740504746134", "16665713131352095023", "14973596415946845719", "5852746268068593711", "18127734631155147050", "12026700956351953779", "7013287205845476847", "9469662082506028437", "15473862959332338545", "1274244802679605721", "5401353247402945211", "12187233151401556460", "1553000125169567876", "13683537769725837041", "6058224682117305098", "10089154470533520052", "8768371740902554555", "1407004688602999369", "14274443563935009074", "11573761358844835841", "994995856848654832", "13370905240714958339", "2193675810177483375", "2500262556480945028", "1438635698050708973", "17805414585846011396", "13398619490288965441", "981337126156857710", "9333301127455378526", "12915744396075001847", "13232560971191028558", "12490893452752554109", "13847749487867191522", "16307995464222544985", "1472943545793597613", "6939738784104256007", "2731710006132112445", "212901874302926911", "16630558344721266700", "12078069644582891603", "14794857191727492884", "7593058395122598684", "16701959810663615436", "4557319716408774105", "17317593171923010511", "6810500631037466347", "6747170424886574896", "10489795252061969706", "2533932797659750623", "994062783104434174", "6196853782805146893", "16518977542200454467", "1259770287992750492", "10385605924031757338", "17746856310070501774", "8945952380666977107", "6036809566451525602", "7508757252243260218", "10373742043432877376", "17317658920376998778", "5951655652638440041", "7466230448726945303", "15698657622863818750", "4446522644229423317", "15904566516479348100", "15865643548017106634", "2050252609376504284", "9534878626742378200", "1056766887933419427", "18329043159848492976", "11590791975573740806", "10133566978829374234", "9569556423715462519", "15116690372134000924", "15971878878944847109", "1784678713282971874", "18205114177601796003", "6211515601473417784", "2173531163981529721", "6273086977259712049", "11873506111911669338", "3430230856793020493", "9518447885399812862", "4363248108259124230", "15565342005787377156", "2702882440263593261", "56750392075981170", "16141537460013360524", "12676318643632114873", "11692768768586245324", "6621252193297259610", "13059546251569913769", "4357827359385646490", "7347392726168178753", "2826475550012428137", "14858523884221898380", "12400622096461884755", "1325036625374656154", "6023625344843695713", "11167696566811319674", "13998564383037576771", "840377318877403624", "13412511045523111184", "15324168053740189849", "157869720866766737", "12019559672217490502", "10149200428202234456", "2808823578612526055", "9038659966994748019", "722464481561441499", "16035509242721607657", "15585794341976848292", "7204551565721990524", "3255108097625179996", "1639936314630301610", "5315809280591556160", "12264777036762115923", "862030258714114151", "11775802927664142758", "18029209843466700200", "3613547927179983007", "8717485959981888434", "16276008375461820732", "13882657167544642872", "13103469671955004838", "14875534550689948106", "2699649317673739137", "9300718628301956260", "15423972482970029535", "5108776902968993082", "1881798846217142013", "17802738608041216241", "8985187040977137419", "1780240019429154128", "4179237465932224946", "805361539146842210", "14588552581489794223", "11245270307763248235", "7991421131219448294", "8387727111012390222", "11285633997454622009", "8315331261973618932", "10049279691273281505", "5177803983687787160", "3709327856477933670", "6831706285712161626", "13747893422428971008", "10104220272309794484", "18052636087566385669", "6796730136688074886", "11642278542476568401", "1834671389487899414", "7310638806127164413", "5333234478036554298", "17272323879576765919", "226164012149759145", "2102359476488844351", "2961439350933270929", "15050267198212980932", "5050329391286089328", "12774670366709153007", "4711885348950327238", "14905750507191273748", "13047241002812725180", "4373920834726398012", "16020551913077108834", "5382645154370560283", "17267611430087739571", "12811986282079350599", "12586479789342451072", "6102347348571759922", "17229512367744706607", "6706100058489703275", "15283195722742115563", "15641833889852907262", "14025414040255068345", "11544596039905262432", "73716883888982554", "3620630136564169256", "2472436062025100697", "12715911562438537592", "15213916094103633206", "13236335705477452902", "2738646040018801209", "16699282639287112086", "3846823109290649908", "1464236263488954690", "5950146380840259833", "5836910579326773953", "2901446008128462735", "17292320470015318850", "3388968025076972530", "4822402138177339797", "10496084592721436298", "470514542896164988", "5495821799747043532", "10007583069364818399", "16984970677835258234", "9334156525034800978", "7445414270264451886", "16165161719600220106", "1754563180858643298", "18002470754136315176", "3245771193374279041", "15653055505572112749", "3553637205834845210", "4196893181954755458", "10190501011891568757", "14853168344843103925", "7142601918737349105", "3799320240609522098", "4590411115760443646", "16845669077705110005", "12250938617102107731", "3799891990097732546", "14786037702695438055", "11113982713452631549", "13013657150357290159", "2029544146424218272", "505601661567624172", "6348344438109385536", "12666624510355573199", "15999969245946720270", "2192575193419690169", "1400647673302077469", "14660618081649463629", "17163990592186425571", "1245620564153518671", "3147596854357102477", "10485582970498439314", "5014759062121880760", "699111297124481970", "17688708437662675170", "17163876088618284632", "15408696891135887446", "3427481095450273156", "5446048442051096741", "16597080643912524904", "1006969524601541635", "18261324493961111777", "5825620879859205272", "6835145386616337492", "9176705463634541132", "14403167923112300022", "6389358386467147158", "15732334377399772937", "705921541615970671", "17893766007953197316", "5049001300829661179", "15892073531223328547", "9668263379159115694", "14110457620945487123", "1187902024899861216", "12127787083093143606", "3689454800504751648", "16492875298520038222", "4923807591556961912", "3051279470538775046", "11761695056798220992", "2393206623959431508", "15929301720483541721", "17689307768415476892", "4066743300036126441", "18165632069036807289", "5050846275071956922", "8992532178138799584", "13170835289286409439", "17111544390005498921", "5074536496513153282", "3403332424746767298", "17603817137373947572", "16200569280645239997", "8397696349148937585", "11388484413572076549", "513695797486704150", "3307231966903368221", "12447275980751149651", "15679092006856512593", "15301967070461890270", "4925031584666796988", "2197268501993427923", "6690453507305975927", "6939601811991630068", "9451651078013553471", "9711996109989421423", "17156540640328239657", "18199605280865505693", "3983159221028125604", "9919519599880195270", "4899008055522668351", "14841649866979712", "5292104842692060543", "12807322945126919154", "2748478940116080615", "14023636545089237057", "4895550208831004865", "8294656803915195787", "15146144659438155667", "2485989775117756078", "19817272289616659", "13787200007182050554", "12649662053192224299", "8375100696207880668", "10047132307935365364", "3950601285352080722", "3608106551522420675", "16689683625018816511", "5654470779764808966", "1773942645448532183", "5256679401111747230", "17376123779648419015", "6962108263821564536", "48945253322224644", "13484064310974486101", "11931910720785775852", "12414379359532468227", "17503244468657447065", "15010983303998195732", "12507123716679340795", "8011310669390317771", "14393945460126652479", "7307336441428192585", "15427370529154978495", "12281023780821941806", "16907756421629227676", "6946655638198105479", "13453134434443183703", "16721929047789797886", "14632508437074088947", "13817154855937689833", "6254059128319619051", "17805277455992840383", "14485029025094040950", "5102341631684521883", "17920335462145889004", "15383383260094056236", "4934169057254404411", "18085966309137323974", "16101389094137885247", "11030920598965240235", "269135051678785720", "8128602838043604606", "3026659556842631883", "3267163613171767148", "9789787931936231426", "2422671936537210866", "2791408436219109682", "11116207037734138465", "17765965456610877137", "3875654527706177340", "5446264093748152455", "9249584777956379231", "9517007946732366967", "18011405472788375878", "187686539549522202", "9630100890771299251", "9953486756193441629", "11792219987167166689", "7120012613198345995", "10847463072148581402", "16513688080983084295", "17785094636910135814", "7548901929182601762", "13716737131061803390", "15138746810667508441", "14047741957408880920", "8139772964941706675", "6965396354688334206", "13881926271548558426", "11633580680967352694", "16906761678826535876", "12477776557568120172", "15608115262056256452", "11889049134836266978", "5183184101447235098", "16032200631645772204", "9026796700160788614", "17008459317178215529", "1029120796034233174", "15036157762250937026", "5493013907094098573", "1155791330040625062", "10123646474673416193", "11367174637620922101", "324411704638021487", "17482005292231476238", "1974930423197916777", "17304777593848095984", "13791572944443605820", "6393472272196402034", "13360638586305128753", "8618851445217014963", "2233191035660235099", "9321965858455048687", "9752110012853997224", "8562484863123654522", "13967170917094433416", "11308694047594219335", "8443372169547748557", "2574156766922764537", "12998436816036926317", "8060415775265256378", "17217398570351723458", "15958719842304833930", "14485356895908158040", "13603111281513576688", "897060386471472366", "14779440681639245795", "1410897353359941911", "18146352347224942733", "18039701196315461753", "4868631149345712341", "10964316349756315987", "1824107027946921962", "6596013201494685121", "17006972932768711451", "7214392391293057376", "17380486516095343601", "14007786218834362767", "9904087094179382096", "15402643330536094999", "6434584657766863842", "2547871870463663230", "7709974515552041342", "7664977966633050653", "11377206502146277346", "17184597829471353009", "14063311532603482528", "17758214778193656830", "5157434148290023942", "15674373969278085014", "13763826688047643155", "6079260519293106576", "4760235819861885412", "9926211719182897486", "2655867117130423248", "18223163494819854153", "6023476431214570273", "16115781958260139947", "3506986102386803362", "3687192984764214752", "11901212128288169618", "1218913475920696779", "803459374616231404", "6177728877293048532", "15010377428218261107", "1929819848697924707", "17200155833312545804", "5719227720982940225", "1302174908843091141", "6522293297619861231", "16617410629747191783", "13367863250439444808", "10778738571175864724", "4383203065965781279", "16674735709924726015", "2542304881215185206", "8496700136662736372", "7579729271410993502", "10825349434930083419", "6913375829403792332", "6289642229468479711", "10203031808692088231", "14003948569945837706", "8249358283582594843", "365754868885977028", "12356399105274618428", "18397433842174982746", "6122550981323459138", "17199301657046168678", "1672818061143726329", "274", "3", "11844807091183375252", "1148201447936752234", "15897711004200763466", "5978118546588986782", "6748711720767661903", "4001363386265349677", "10432263335492344593", "1158055329517079677", "7929834191988475673", "16550409187793226570", "692193806624111866", "7195332187837578472", "6680056925369131902", "11953464586326097515", "14679963984658903859", "5041994293399414535", "14457426010913351081", "4900440986533642910", "18056566705170571052", "7179836718446384844", "14984493270129334459", "1457795373328625914", "14272407364108610450", "16057881135830489568", "17956139521228617517", "5602648065798894930", "3005531818179586219", "7784822542766284328", "13070865168711579468", "11233398251976371210", "4643808125375219640", "253378631449896462", "4019557130682884222", "11292230642788106279", "4790457684163111899", "2173549616300709142", "3474202738959835426", "6645544090781153379", "16689183939600286813", "12303773392548322031", "7865982404101087062", "16962891793834491228", "13175944989442132069", "7427813513366727612", "4150930161599387347", "2366473246446760911", "5531672267753634191", "5020863771078613723", "12093894423999425880", "17460776033266573374", "11934296644012795551", "11601029925871631645", "6442266362880255839", "14577119999877980200", "7203572081877837074", "3351488356594157209", "17403631498688526069", "4294565483575876935", "5665374432395672925", "17667977612945100171", "13875280773217260363", "488262646590253521", "1629064720997220768", "9682804830048100575", "9662244348782381673", "494553010248140885", "13148521233620860070", "6227288814619568922", "17893300921661807302", "4508833251191472588", "14401066837335665613", "3413586288389962666", "132132307891410148", "14661303206397934142", "13482141089058092042", "4928497424319917981", "4925758591199641896", "5801771648002770213", "3751750700096359163", "14175479151281548776", "5213106709812673178", "13102241278894995788", "18260957032781208011", "3955385902148468697", "1051437842947707210", "13432277833123587344", "17599975334137687899", "11766144377386014756", "9539563117787322051", "2114248804453401110", "5495690490631237576", "1051441202533413590", "9069491128601009144", "16064527743564618704", "8716270272264592224", "8524711751711586193", "3490956834245890646", "9497028827625406886", "16697288139991868033", "4426029392603861074", "12624993138576193307", "1071169758602968611", "1899863837040097288", "344375555689857522", "14909202938882286622", "9479035416122318943", "9898472403587429046", "6867093409203187937", "10513187414553647358", "17998704110356856383", "7731752102892821875", "8926608219655976502", "12591286011908347636", "8002493969060282293", "1627347596887520860", "13627254816401364750", "7019079068547236501", "14856509914483218727", "8737477121377449359", "6067932017345587996", "9064083865547859", "7044405535567419037", "3816863090131553070", "14545637107041434729", "2268130903170430167", "3878316517094856289", "1487279645150861005", "599657696184388351", "17084174422424080207", "14635786542956470795", "17566088566338455887", "10800427709937352151", "5796517891049308992", "15908199578076197178", "10315307997686984991", "12103440172248074946", "13156513388692468401", "8973593792054146521", "285069359671091997", "1504635094000815566", "15109166389945170743", "13251782132993209459", "14330045312218361449", "16016638524571669050", "1806970250693530022", "2524490194080690278", "11089507899195502331", "2094122868086757337", "14814228967679101933", "14741873748183887018", "12732422395788796062", "8808725420285689507", "10161333698388241963", "12324707612887083319", "17592838314713602576", "16997585206023818903", "12648085084825331880", "12562000002634078936", "8802147744918540221", "17378559285069415900", "8482914800373161401", "18145105165646921674", "15919713375413903279", "10865966159055294265", "3358188964269553567", "13398191518522954733", "11650632219618698408", "9787559494430654123", "2150128354628861231", "7605327125153824172", "9710380867844975025", "11039191997576261096", "2527822856956708702", "3771773910562793921", "976602927119227699", "5393908141937020012", "17019491841116102704", "14132360341240038326", "15795215650149309059", "8264703978862440459", "7986097489867642586", "12046048754790309522", "15880769983629382704", "12597984863148176965", "10050594289518713671", "917723228584004102", "10999193691259651878", "6833778428693937149", "1208678475629388201", "11873800521591715767", "15426165308209058933", "16722525032972834086", "3172823689170010255", "12586019037979901385", "6763475098859006267", "1453587501100142541", "6281047463150089116", "16254706959320321454", "10297710137880773471", "13586838553357428861", "1831111243139141826", "17319787403212948754", "4915341363203018560", "7579570613962537349", "1279393327068082064", "5416587593444175437", "15561713539776244074", "5431076808659678340", "12905863338863913015", "1829164429275934769", "6000908884976148653", "331533708579574904", "18082419080328463953", "11726371222734959595", "8237004335672817655", "3732553911564373959", "11030018317027844616", "104945207673866891", "15496712114586668217", "17222034126209082313", "3441206920419865404", "16661186428250217317", "14541992926575660529", "8027785036586377461", "17026330783169832366",