Large file: warriors/trisha/baselines/triton/fixtures/recursive-witnesses/first.toml — 2.1 MB — the first 64 KB:
secret = ["1", "12", "2", "1", "5", "2", "1", "2", "5", "11505329651399125336", "15227746173566182735", "13476499869166307061", "6188804851076882014", "11779492317320242382", "67293", "67292", "67291", "67290", "23", "2", "1", "8", "6", "0", "10100849493127099428", "14950353930577627341", "13828780615931413111", "18438070496117657731", "10795867875676037858", "6", "0", "8691978213099135377", "4214537241436174124", "3080836628601576891", "13054154564485514013", "1042667516051295293", "6", "0", "18098707412383967904", "13634856231485316868", "1771879588136981022", "2806887122342782574", "5306656841325529556", "1138", "2", "2128456653320902466", "8507142912864345532", "11279068399346246207", "9778874715051539191", "17313090749913432295", "15511302232192417215", "98410069950072594", "4526152954951067660", "6102437289772555483", "17583360710785772671", "739571385751106533", "17456785760855058784", "15948730685154765947", "796214958708136836", "8200063595156828205", "16220936844990394932", "5640880553828402745", "3499556676912484324", "7765493284982090346", "13802809141592324567", "3932671817047286726", "11623839728664806930", "7587567366516052130", "10646485653735181887", "11643038697659329248", "1295362473533302376", "3234136894793588720", "11920761699433647574", "7697524209160852714", "4680654815717784885", "11939594767779596987", "2739649391900563881", "7637299559218458395", "4187509498464753589", "16103193579137314473", "2680531844383983499", "7682562160950668250", "2439651569577675458", "6214313627287072402", "12758270349062061357", "3663525024328038076", "1911561614455064172", "4492651816830426127", "8580810437084643019", "12888305910964383636", "3834943038671605797", "10556303253174219924", "6961749620435743932", "14626628865330020022", "5173984253908017065", "10311579698056334693", "11270103582871827289", "14159697132709764569", "16825436158842213659", "7913101213274625053", "6571365112169381452", "18111707315561399393", "10182205930307180494", "525286311330560207", "10721477691249737409", "18139622367124635065", "5267538995514065772", "12650573398383872136", "9558137681696934678", "3689285793741038027", "3499218337758738437", "11529165131611256587", "14915723258012803557", "9973361446901825909", "15434652447829075190", "10063271864598486909", "2753249244517797052", "8382920226427068927", "8469868528464303971", "5570651271000403285", "13750641038715371905", "4109973305378483498", "8585578047821083641", "15241425551145944638", "3041267298298074624", "8077614988514201306", "1366730224294615088", "8039595078542988276", "17077610536965668052", "13024994776897514491", "7504267128478788640", "8868274115289755669", "16205852553561872510", "8733240045781080718", "15137572588223905025", "201977362228744836", "9224700695534510339", "9241632570811942362", "10860927068665762228", "5375655224940092857", "7032488177724338530", "11403870777055667362", "15496866156382744302", "8088900148720077200", "9347111250680925898", "4272908941994601923", "7261881354468316460", "2958381145323677779", "6583124394970181246", "3332273746136983646", "9596138153269213439", "4799514850895607668", "6582227719805543468", "10634504361064831460", "6551668477735932430", "6206482426736329329", "15098734710970963529", "2435956396366459612", "15783044275681218442", "1752139355895771117", "6688881443529784183", "9397536146614317327", "9617292655596762915", "661715537723545293", "13349482867330014952", "17947303491061284038", "4477796806734160501", "14096185711598021112", "12236869487564082947", "8497834984288068195", "11634885913348377766", "4293084626591505505", "9171373888981310373", "15655129918769117276", "267428789571459695", "14590203620961064274", "4845415017568119230", "12060168845659390762", "14678487947042843531", "6226006707994410435", "12776976854131876424", "16027623439665701344", "2168444106256770345", "167363974707815728", "8717468391249825117", "18310294327571371571", "12909457930747215101", "680307409411830694", "8266760624315738619", "790912955143883509", "8274573119411889957", "17446427196065642257", "10584718326113652305", "13977805574582604005", "10286601844451547382", "17522973844169005244", "16643133730833563721", "6767288070237822182", "3630216088244262469", "3282650953198983654", "4442030962816017565", "2694878153081600128", "16797650492756979971", "15607619046404098409", "13906830832658315621", "414049510510695548", "11934856983729131346", "5898259047848523981", "3422083621991657378", "1823840765774050729", "5327467228906139842", "5942472278526558526", "8839884534719135891", "15146527633853717654", "9446315903047298861", "913432106194247057", "11682688446602558648", "2152801618151166873", "14801598136203330400", "12045704608288253980", "17708860348612629121", "8472152505086275594", "14348115742477508684", "15607527660804819638", "12184079071836184716", "14300549592273165417", "15085015707215282267", "1514213980111334151", "1453687612544209625", "733357606962478524", "7051284084183382872", "17853548552948453436", "17593567336265497193", "17909196299515895222", "7672086257250682243", "10480396449410582659", "8242918363827505004", "16003784204492390303", "820129933011112446", "16481025636527951295", "7444488460146612296", "4732531184590333191", "15315739105107042463", "2831148972607414546", "15120612477762382010", "2221985017443175670", "12324200330984467714", "1439397501892446213", "15332479805874297090", "8929483525590434231", "7730005095187658831", "6363167893466063366", "12712538089586288779", "5610148794569424822", "1700520825692136216", "313112881951455599", "7207377470435943311", "7611606558205093470", "18030134404105268777", "9056689230774520471", "7365345893413399785", "15159620717932227245", "7475480198005024524", "8432366083127319978", "2861173340342930287", "1317016652687097573", "6267677937700957361", "13801346251152777493", "16104899112230073883", "10078841728798181086", "16039621515030820326", "9119922942408918402", "8509026006457594425", "12301565099678339938", "15527452782369843406", "10499362422711803762", "13325237098621578042", "16707550131077405217", "16863852200116968549", "16052490984480370292", "3922078641464871453", "890106875547712204", "15132036378818040075", "9085015992023011813", "6026267933247003981", "8757118226076996412", "5671748633304069974", "5549415178357686853", "12559963331252791238", "4951596855664823295", "5876982296529572185", "2343469401355412837", "15382465217819456118", "17847093158112320277", "10324428572268814729", "3231001855121280872", "7047715530773519267", "9661356102217292251", "6416005003475368344", "18091631250530822390", "5420989505677150860", "15892025549358661945", "7376251121106170460", "16882412861214170092", "8046608108226858331", "15241956457039387190", "9598632161404747611", "18018484372307806793", "3367179885224683303", "2469926196707276528", "14419626962348256789", "1164760883458036064", "9232538760904061881", "3873896306957248975", "9674351339583746029", "13282827652734750748", "1762736841146499818", "9286346293394405987", "14973120864755015147", "2192358676029101554", "8525720679588983913", "16230239871772454872", "14122800362526953637", "17107647363277270629", "12449230917939010049", "10006474051649201923", "10003572307712670532", "3223954995724047286", "11759129896402047233", "5054314168214337487", "6195662141661254507", "2480879086034768462", "9733197099297111720", "13488718978429693884", "6045063947557817429", "1979865731512114963", "10853078269763574214", "12039166456547138037", "11699584570801071532", "3415991925323074269", "3568913461510946657", "2447223135601875004", "2343008604953585347", "16603939337323253672", "886679931979619625", "16667945102496465836", "6503340566607421402", "16025037072105272686", "5483596335810806366", "5618747438868122330", "6017080403975722073", "15399237076466797711", "1664111465953185186", "15053849995930370726", "12818536127882748861", "17369448060570455893", "10554569373781967236", "1125584072210697891", "765422194762256173", "12822287242781181354", "14230835626864551294", "16313371640755628789", "10812819310465633107", "1755253641124680267", "2775867620474155337", "16759035627163705022", "13881929585263831502", "2647457496743934830", "16530158135518146378", "2335260637153395392", "10575225166380096100", "12297312412258017691", "9083366392111422637", "10001435945731726904", "3895990117012375811", "10467995886340085662", "1354271820758277562", "7027864114655355189", "14439438894869558284", "8051439914229892198", "14872359046801997215", "7498673273569050737", "4904976079139561845", "6209837381007402728", "16652356026224345843", "4248280755791576933", "11889139458026986645", "5565182308259439354", "5598809287429759853", "7581953229956051355", "8513048718199245321", "11923921724842482512", "1592588835750448568", "12514183718585399891", "441185699580405971", "3542091125593850241", "12061664663141039009", "10511998389220839761", "5930692006216890298", "17700260046767548685", "17803346862373595103", "12960115187552730375", "14298847689115153871", "3695727166693550087", "8649521525114042648", "10503957959121129340", "12245095239270155416", "2328318047325679900", "969406368558258163", "14946806121779208640", "2722143142446192755", "13997986636826808761", "17336789694900220554", "2308843111973701583", "11930956319549158878", "11260877938812836652", "6008886125343324197", "8752265111168279998", "15038338848714260287", "3832165853229169079", "17146115810116742639", "2032083753156960413", "16424288710815750442", "4523109667875566468", "16958550384968881460", "16496711729586143217", "15141093266046523751", "4013881589840738441", "2968554380940024610", "17904419249943421021", "17839112772833564428", "4455898540635153977", "8181587018765557080", "15092042746763753388", "10467215263212195095", "5339213858234248094", "2691739267563668155", "10899968102326629119", "526051107141642661", "15301909321621336748", "9462640993711008715", "5064140801179629937", "13272975846805185314", "286097055102346854", "6573621530776006766", "14725079555892572370", "13592528933960241197", "12395393671912200284", "10396107658094483524", "18034258433591451487", "9512091061643844712", "14323336710278359255", "3672787512658264822", "9859863504738251039", "17581074894565208052", "16465536926958672299", "9623086014946792724", "11266670511302541570", "2995389013630659620", "17798921649843634089", "11719005255091746676", "4833511637495285945", "13746920656131507281", "11961314854797310953", "7293881885150249200", "4278989149459797771", "3175286775798488348", "9376534597409524973", "1975474243533690196", "11285945222774591403", "10738983994837458907", "18412185997294527939", "2497469157130487875", "4350834115672174731", "7735575595974112133", "17680649202413864134", "587393177023275062", "3159793237161259294", "18324208000707693850", "15417771526602022209", "13472341053089540624", "14127732865348182085", "17228861020999585718", "6331829784047057818", "14953890413172776276", "4816408256931988025", "12962517717458647877", "6522620461832293504", "11956531319019174679", "9595631288683596784", "16506577025445778560", "4630776431921181668", "13021376717810093290", "13886727066354349992", "15608770627184020632", "2552989510627377895", "8110504417507866976", "5791825498321251793", "12929670397713837776", "10661610217438123243", "9890072740456771939", "16561683653074335447", "1285545523923417338", "12253841431758516770", "7515859126427414506", "17232746001951851806", "17214213825490538655", "14136696239885330477", "312078462642055077", "4015271852069051533", "14348955710485885871", "14486419720750975976", "16262443258273448664", "13982823922765581598", "84858937857893263", "10546509378983881029", "8061996613183797752", "4346060876971671988", "10168412702102235093", "16522505955488902124", "3395372201846908194", "9604819090960400599", "15044576962230552020", "118212738034356766", "3812353149902166889", "17311337564837075577", "8113025918826689108", "337033204894938102", "13970328180029011876", "15620638048479958499", "16249029238609458637", "6796462769423164154", "4534813878857857743", "10443301703294792251", "18139844647699468198", "14384823449276989934", "15244114985861554538", "8729931804066897700", "2400871336225299560", "3467121187269445876", "7130231686921659816", "3711097695493695002", "13427083525069928240", "11940978419567295383", "7565531813670411759", "11385579368014058212", "12574354530133043172", "2323931642535093695", "4878398709840433231", "11103877739320446938", "17851694953675581533", "7949795116164212461", "11868772110253246626", "709666908430402551", "1528746537914211012", "15205488592374575819", "2752473819363832064", "18019103645384124902", "2823459637511368339", "6327505032431970798", "8210407375683983090", "15701639031261747024", "1414828849391396428", "15490329768627381138", "8644484721438941062", "2144785060802911965", "4725270241793557678", "7682909856132813563", "11816334031279563733", "4683231642490977836", "13842334983837032710", "8482036426427304196", "16508520141036130836", "129441790465887079", "9604678110647464474", "3208018911302968144", "2018713614025164792", "5409251726613891056", "6575846363658465127", "15536946847540775607", "16274202590969364557", "10614589709092380528", "13174737359482780731", "7034814118482367154", "13819339132158688888", "4501874914002165926", "4891326501178503909", "1726947946103028516", "13423235419429033568", "10110036928593920400", "4265926731476407287", "228813865146860806", "5273405740753595652", "4720599569092419712", "8505285777429346302", "4340017417730980861", "5422967541219976855", "11040856755833835667", "11537379835842564303", "17823999746829354460", "15194878487792079679", "570152142604889335", "4710883827177040005", "1430315417557285694", "14790633001928758782", "5117591459578070085", "15930201995576217609", "2195252503347552858", "9684489116677210088", "7639932398460636046", "17157175468836964483", "11003818595265374358", "11247648810021617110", "13288760049076321918", "6350691144155028340", "7855316321813372951", "3025959666239768781", "7612064551172398339", "17284588693453319045", "7839784798691610959", "5973629911008584007", "10613245315877648735", "8331174131479169269", "1582550230127023986", "5072603528426650776", "10798716086136761574", "2638913100650592332", "6492165041847981478", "9309342879687711603", "16012357257128175364", "9321576943270953227", "6993484166132151421", "16887602827969802896", "11954100428170193058", "5165591026195232496", "4704720622204310452", "8177836483787160913", "665453633614947313", "8157087921382872492", "7891959431498164058", "12616626309598802505", "10250867851628222000", "589140016175289118", "15348550312054297677", "6277426284110882272", "7756665582813539265", "6656171318859055393", "5864852113077190243", "2871016771323662536", "1533503256572905937", "6102848506766355713", "595970130545091918", "48258660742726237", "10783599294889238981", "5318951641303669208", "10742409025244481411", "16246402577431086101", "502877850607816341", "202051306254400192", "6072951697557419643", "2558149740436288749", "253542568534510277", "11868900034619904395", "17049617887687683670", "14631867007590541994", "3027230982179084625", "14149372453194843629", "3610000585400927388", "12085766271942951813", "9514721245957686421", "7186152629732473259", "5625615457888232370", "3091678379212140138", "532878746984764376", "10505650634168993182", "10323511926028032524", "14799046805150591119", "2528745710257874764", "5897753500837715149", "18176690752598146059", "11315129339132450894", "14851697464258786825", "7971929828551691391", "9262690710888212065", "884441295423586073", "2806751195467652588", "12917985528497572482", "6070757875698555227", "15523012554678812062", "4798734088016688662", "17490366840363649774", "4613702125401270132", "11760638174217334793", "11228092731826200021", "10300054887021868715", "9939908691635046654", "2544089087498343474", "13115065761192076288", "12320701871123021295", "5210127772234058833", "18401017797332182332", "18077749954649809711", "12815420757133297521", "17516253104852300850", "1750100439340058902", "2754078163110024377", "14022884503809730177", "2385606268489321208", "8492867153192730645", "17817594619010580331", "17595890232141386959", "2857586007889184682", "2623505485256165987", "14870005183726142264", "12682865917171605872", "12410978709585136723", "15454006604989476434", "13427341906311880213", "17836484311951106383", "5059830633074244688", "1879079358180551324", "6292433284888704615", "12371213706858747813", "4210346278969300847", "14531685568618223901", "11995158156648092390", "87032917712029595", "14141529394228134316", "4925100832292405501", "12649954548779454929", "17285118528584172259", "16891189138317738788", "11939785108919267703", "9628813077022150833", "13845067643463061349", "7511924781466996888", "16229853528990439763", "10943070482076911536", "10267788289096566314", "12943999832357645272", "13792133882149490451", "9572248788893971872", "17784857784539722979", "8651192608421136008", "8191917630543199719", "10703958745178748649", "1183247780044632703", "7850004643494549340", "4476231333766138532", "883545329023675888", "14062774878400368789", "1151165952756022598", "3750270582124457723", "11695975815118252463", "9311223548768923399", "12831727721528302816", "8766663600412722953", "7767085892606567112", "17259990262648155557", "13047069303339220836", "1122335673112545247", "14433793694653242452", "10915509706997845761", "16368772978800378413", "13942294572387808387", "8584892598535592455", "10412364265592972156", "5386518004507907910", "7585769835194777444", "9660655778502148155", "18072134178478964897", "4101486110686102118", "13030561585548211235", "11529926048534867832", "13415934431839613482", "9526362823676258465", "15743813184954469991", "2939407908839671643", "10552010004394269957", "2025791652091428781", "16799638157264753069", "14180440060119321213", "17607837902800602962", "14979135082126789728", "10494857913291118703", "14731864385815876291", "14499932369786780120", "14961186548235728712", "6517345024398073412", "13326279584975567341", "15522323905356037993", "17961347005311584236", "13433215994059002695", "14974893002348924861", "8225624203944137316", "1297883920785429355", "15759748785383084874", "7440775572386318541", "16610051188713571261", "7111097587888940414", "10554990791762113357", "15703751449731893429", "8532791276415658869", "16153040667278579768", "8440581429050915610", "3416387976560463845", "7630247467163666222", "14455517675136457605", "7978998435711376951", "16676790756694870696", "13116695629955380894", "16340580116890789035", "2037566669880261712", "8097045344808162999", "9512963178868583924", "11075999701325410181", "449858968301292801", "10876786936079820658", "13520330523985254691", "7933492642658735442", "7312946969619785717", "6708854993494375452", "7238923300014620947", "3406455935578302505", "6779646006819568178", "14235365596780746092", "4353974895027400576", "3742546946903161167", "5338456426883655774", "9479382828266950532", "10063791561867846086", "24230180874304157", "10241877897308973322", "16232696750905223246", "10320875098035976512", "13974988566582677623", "9878267029347815361", "7908205034777187435", "14042028695425325710", "12879858586327210317", "10062643325899242132", "6538073253423429915", "8420472696890468733", "13115954778521526126", "13497683095267608143", "6819521881764988718", "16245008108512203747", "11987130344948885159", "17049027938888207521", "17534089377552111794", "1977816921125366312", "4036836800808553071", "16487629030473399737", "4079087243741506857", "2754767802296149553", "17359270158335528142", "9171818000081087188", "9397588571415518222", "5019278071869768485", "7071715815014046717", "9760427719758292", "13232658988838140033", "6645411705008274459", "6156423735007667550", "2582214118897635487", "4350675668018699145", "7851786868876334398", "11389596034318985433", "18123369958023802801", "6917980765251645523", "16444421207234517187", "10913127424832096454", "4197317587243917965", "10209223511700385495", "4894517406954920029", "11397330523868242583", "8540956886815926287", "2392773437143139554", "12618671678689799714", "8068305244708029085", "14825016746074562986", "15047513168375886373", "17126014557619046281", "3516254248656481209", "6397048763098046148", "3024173269560088489", "6922514371291919358", "239425970330590638", "11071660988638021951", "9335664547542816825", "17268265162652275867", "18034450653905622561", "2134448827443174391", "2148476296242342552", "2446893603979134432", "15275412887082601558", "16240423978749295295", "2360548822679651531", "13314192519989323712", "10884389043452863683", "10758911141685745903", "10720714216394121929", "382684860262179883", "353956587173482769", "16475481413710511180", "16830439938647077961", "2732829876838241507", "14547177972048239234", "14967006437102783327", "4156960687456801359", "7900869726952415855", "7742028290814808294", "3007433639436102310", "2387670585664162642", "12741344517157966469", "17625864401094809339", "15717615139085510182", "17758607218486698156", "1951379947171857994", "1264444596909282614", "17213258444449680320", "5532795115588796350", "9829100492851449740", "18238464044172610187", "12326713121573618026", "2253493857761303253", "8487643902686182484", "5760947037051110107", "3494177112655943667", "14267446966524928819", "5031767949785669520", "6363668867065453017", "6839835463803822548", "9307468345180697054", "14157973327330042094", "5193942478833075278", "16044112852793655444", "5538204314685835970", "2042322426237908182", "1264454247185077168", "13159432577001467562", "739352013717975032", "1832348052247738034", "3885010364013583129", "9996611553667374572", "18227253192341611718", "2827717848196316325", "14500154790780509036", "17869273738702852308", "16821476573132389428", "13724395427128111893", "2456110745281952612", "12807841785500950474", "1573308126488668125", "1862700087905922341", "5778874852833050226", "10275076828449174392", "5573724512619935691", "2388495979296295004", "12444243555502357470", "4777291459175706459", "14467053954474067193", "11524550616704249904", "2766521505355975318", "6617867488906961569", "6625331916822136456", "8690381222506252546", "11652255962673261452", "15035564025303560376", "9878492407769509172", "4847039917746588304", "4020992226437901139", "2882236029735546982", "15996836653525883974", "2218583769988162279", "12783580164952099974", "4845832980685459013", "12929187994643586046", "15752761700272141610", "13262164222478967075", "9412588835177735388", "17764600352932750517", "14323702414672080685", "6207373587282654027", "17541923046335381325", "18158822556009716249", "1858805272548185690", "6541300151255993030", "10031958722537377188", "5890959481691344524", "16671579468309401097", "15717078776843929209", "18091734975280724246", "17459766840226941069", "8632622086748010825", "5080978485022737460", "15058794745569474934", "3577189351995527739", "12408602464822353290", "16629756679488279956", "10781832251449119866", "17542007925391818084", "12281302218903714181", "17314633598154954833", "14826035096064860655", "950492382608677", "11227013757269539745", "11965893222768732359", "14122441834734873101", "7732939987073279664", "8866984201318143650", "3175536941502401793", "11652141801570080158", "15824859738124589171", "2237166374381426529", "10106311620394542825", "6662297628924958921", "17427630934524896154", "1597603262075923999", "8660695424374033650", "6673044182940091518", "14991669903955237502", "13510689096079790964", "14405151570441965250", "14531829089444528792", "13866865406765787389", "14516126129231319792", "3673903215871817620", "5013002227950913552", "14987384038798076219", "3307838339562859773", "8448593590770025591", "736758783336884421", "2176138321821150437", "4166801206274173069", "16282896292641268730", "9668627743388765480", "15611944003381367381", "16387493229499235472", "17304328817991048727", "8741906925790097803", "3277229004075908841", "11343406892419643834", "15259723339310759357", "1874240665914345322", "10081859740146676850", "2621880929341238159", "10818500964809225735", "7273511514588917748", "13421159526901715178", "2505381430415735119", "11551449506995678685", "12623477779353457792", "7033051992466746263", "14685452087620409966", "9355224930079678240", "8257805477078735637", "5503240650842228677", "7503863984194404091", "18114502303879281646", "4100726980972503419", "10525226501032026971", "12071739720022277119", "14260361497007241564", "5837633697769993829", "6019104113003904565", "1137943350790674671", "13427968777556836299", "1618294929570735489", "7615995112490679643", "12289995298142555986", "15072548955262897648", "9002243375500130206", "1286004516851812537", "3712190875865627943", "13165456667374698835", "7326149722026499197", "15304807475026738612", "7419617694498032763", "7853760838392714371", "11909962707123946459", "13770475488172999417", "7830031069220796445", "10874294891336807274", "14184364403194026574", "3668508371105841680", "1777483295369273565", "17612651857738561556", "2388921279194371502", "16386742801350752267", "709175124185070000", "10470995438116047850", "1499250679524490082", "3404154720206286376", "6063354079426458662", "18093491877171276920", "10628586724557344959", "13123750275153983181", "16758666655094659240", "13751796953617395229", "4643012359761674526", "16931291965405186778", "5503426003833892620", "7880000632810267716", "11099412589462914914", "2928303741149424793", "14481319444531518740", "8918281197449669976", "3323065266273441955", "6408439015347662040", "5752955333345033569", "13579188944725998301", "5732298821291468024", "14289221326403184912", "4366255037255201069", "14892213213543818516", "17407596755570430452", "282892121870182393", "1124101857591315865", "12342898903282391354", "17206967124932842979", "11947372821170561416", "10234302209668729750", "15229802491818717920", "4588991605650302480", "88670379313714431", "7067204007313315365", "422648601864805730", "9885945781446900068", "16934338832515824057", "14573286348320170438", "18172635487707088532", "9760995950941566244", "4618648024100800525", "3666877344785444974", "16019182996566514596", "9229321173402491008", "16000705180065443068", "4246434534831194591", "2503814226735101671", "17494169448867679194", "13463867766760146049", "8940203074220573157", "7874982721629631973", "15286754537843756881", "9224604078587813913", "14043214756565145481", "12325447592769981028", "10586202496133434433", "2996895600336546655", "3634556526648940129", "15091959984260015691", "10410374599354432779", "14355479850289134667", "7014556611106081798", "18294116756149228152", "16308536544018480545", "12906782140884827643", "4505598151219270944", "18087812416406378220", "7916874576792437526", "8231468690050691307", "6184544329416522599", "5255989181204801274", "15667681313515352123", "9123926584232575191", "15683616819108432118", "10281701309914356993", "875322806392238254", "17710593395989115385", "2677030724554908766", "7352902275978292828", "17897007181326724366", "17685863429121486088", "15441731889531946952", "17409418587505848572", "10389626186980385066", "6094249107430315848", "6643410731457588624", "4137157077234563279", "17924334009547358172", "9595929722742361514", "274", "3", "7193811289524934260", "10231859468140462648", "15104126622784471859", "454425407287088536", "12295862624822420055", "16101548755087241695", "565993434642500455", "535836719417548920", "1752646182103245817", "9391324272178509163", "12292878779607375932", "3634684337821667912", "8287293549081490835", "2222412814418882125", "12334968487608213181", "3792212080309103121", "16075997538662727520", "1158809804112472002", "15208919642631305294", "654119615816872987", "16056266948337577391", "1528728915707530265", "722351865038959574", "1034997345144991275", "1762136867619955338", "17534053940939481329", "10565201601316969308", "18135607495513358887", "7471565609940852972", "8022192401781555762", "16795345438585376561", "7608828729039475991", "13065528410532273205", "12879057606947632783", "4411888535091768305", "17908244467974561054", "7446708642953190947", "18238444510723094665", "14282782951918991542", "8138442028828755516", "11786584390470980746", "14160656733986065315", "12577690951987701869", "10534692006667652462", "6750499579738305785", "10773335643161263958", "14915234092964563852", "14500219721150462758", "2809495468763290568", "17186673956083526738", "3962700699194856766", "597129834846662767", "3114447884696390312", "10521670217339468127", "830105314695202874", "15461638871867491034", "4189143378714604173", "16936651122793033460", "7375935310584732008", "9080845113233171589", "8028766312086771009", "17580339902857840902", "10923243265494876376", "12778893898225321290", "15860622013419595930", "15708465886741799023", "9040512997242240257", "7083558904638047080", "861059956902958723", "4062945230070168662", "625942966395404330", "3005725762120267067", "15110936008650557881", "17437796995065021346", "2730623899110370624", "246752548302521326", "16226926045199676085", "5125299313868511161", "2779626728620151505", "15916165831491941798", "13945314284874778601", "5550578923482991218", "14650499561059874972", "1651425348568542272", "14914314297363573503", "9206329003008681433", "16911336310678909692", "11128419877033281833", "7570185347917030826", "2914396604828482843", "4333671242507833659", "16731179876112889469", "13537851457484042474", "2889864373465485767", "13221688632310395258", "7250580418714118623", "10453406879702492837", "12641226987761340656", "6688625085025350685", "7744123898863663166", "6299711494514893224", "9056110064592421116", "5373869509483632589", "9613605736008162889", "2830636204509245277", "9350294732989184061", "11833881998626140003", "7133766172340342525", "4604766448316824804", "4579978887085483671", "8950950561098991713", "14872829247376370329", "17832435898442847513", "2657017242470704584", "15115680978174039958", "14197631086112920824", "9879063480444916401", "14748204926586603923", "1054007769772347049", "1096616427252263218", "15154967218153021778", "10753201393907758422", "11089088276272349350", "13404104910327085171", "7768740718302985375", "935476746074616891", "16165934559690665118", "17788571317737473455", "13055393853698855076", "8673102447512322167", "4420901630551568843", "9488005621147281639", "12879914692117707116", "12734957597385582926", "1298266839002648254", "5157068859624765918", "18326910557774732568", "1513781971763192184", "701817293767768277", "11654669299698299241", "16497719524629586013", "12698375603333136780", "10996034287854048498", "14702309816465382559", "982193572025188540", "1780216030454686807", "2937127414642433048", "13578737080567043114", "7320271091784845973", "10122060803147208783", "4931498752791687693", "15790971970428625", "156364677664991024", "551441586704467991", "10247192086912634542", "2711750573181437241", "10192534436638350859", "17715231421067954363", "7664162533320687303", "15162362868951383145", "12205329906601410037", "1122809879449858010", "12505907227524719366", "11034815226013195362", "6796066670050869960", "11338517310113643994", "11750169891469003186", "18017392947741550029", "4815457916263025062", "14704655917817520828", "6653042958646353648", "3145342482297936769", "8450335738498915263", "5225129936350701909", "6624665212781875232", "15475924543423155015", "10250947469562660779", "13645218289697484732", "16031344407548746293", "13892971457080894978", "14948858737372168557", "14984326924400513035", "4959355994967644472", "13913524460801550886", "18301080307152854646", "2825441284515490809", "4669998383261955463", "9391792234731302024", "13814665926484302007", "3825757817038391671", "18037187325486909316", "1322998267434195447", "9474124296364596163", "11783724287885171284", "18216462404317780047", "2093815132789558907", "5497157415081874467", "18016350659505347059", "14611160336215317073", "9781900972075403013", "10192562750155210534", "8521400390307648292", "6956200705349378449", "16969863870734129471", "3712302532144404970", "13348665108506835860", "1481679919351283833", "15282617484191387964", "4238286622763782870", "10117183764875204668", "690238615929978792", "5446323329048777615", "17586435244959751806", "13977860887058953245", "11282664333902855065", "11351536187249507570", "15509782256596179458", "14831002730691027901", "7994511023912393096", "9709171339614257048", "6416230547103949117", "15544299104738665065", "5797350158010839592", "16869793164199468918", "2261195362856819235", "11133946658891264421", "5393770637288532347", "9360994086647756937", "4454789680125720589", "7082686914786462363", "6304913196768291941", "4762626508278397476", "3779435107862259492", "2185142701722251932", "16031000190549880308", "10259061108342331254", "17240535849459465801", "5622804844618769184", "8284089372690651137", "6082126435776558409", "3547811295652046014", "10115511119046421126", "16397713417312483484", "1897110227496677429", "13826326280149554995", "11737111315428676743", "3963304657905414806", "13095136783539303283", "12440694035105030215", "12814562792085950767", "4037353723689622519", "16208070509345227089", "5624584502923377473", "6489498446404064866", "17113589007433872419", "1291877074550532234", "14230389955709982731", "1065440747718897737", "2109007536538072668", "9050646028054838405", "12095347954909980791", "5116322083090972419", "13504722209801341170", "15885640041124248775", "2286101946715343685", "15780437388872942970", "1267487817067347938", "147775863376945227", "16794321761660400005", "473249174011877667", "7861745889636436386", "4317598438288978692", "2988422932396369681", "1138", "2", "15473979100931453115", "3453760787883576889", "18002663868654837077", "2612499544593926374", "18203141571596238246", "13752765247680447820", "2263401665007566508", "12710694659039306627", "6556032005096982407", "4387262201017721363", "7942581622143798313", "15409582861007092796", "2561630710458925714", "8578053631151931958", "12712595319613323042", "12527145288512945293", "15530296680960051154", "5244620466159455036", "11587827962016084655", "4154315168226718647", "12585240665912831823", "10262750043022841752", "4270083087750604703", "256246074916698982", "9450991917717748064", "16261215042816474227", "14697743917972662366", "12964868787996616548", "7930266657216059072", "6085690778867154404", "13474031227935480576", "5606968562993271874", "1012255317103060695", "16532753150706122934", "2314587372066686844", "16771179785743274121", "10955037432381457111", "11852045177049037836", "4694475514281899560", "16790593130449637904", "15173854731566643158", "13889997869194665320", "10033631143066558703", "8625405165259018338", "11330475700038875003", "17223405569917444475", "18161711351565987622", "9543624802010993742", "11396438839395278007", "1586788378578253141", "12691568041664825469", "13896313486871738903", "16549491093030930095", "17514571613580219570", "18295711757519581993", "12336681754608125944", "9584314552724486590", "14875075236231017349", "4977783319845913913", "17151391334802238452", "12162439387019704118", "16931319716064449167", "11200577530933383653", "12549941294848011315", "11958505838102475572", "10351547657031604067", "4986702573195642761", "12186261376555404895", "15150204103782943671", "3167611647877853260", "15415224656781991036", "6467845995918407791", "17039556686733722897", "13801549007044472591", "12124086824783195029", "14857972937412969155", "8864555646237102541", "10661525392688579927", "5681565400253507533", "8359005645266850130", "4862759238130121391", "7684853368060597215", "7651028410048309941", "2205391109452591900", "8712337438534357077", "1717060852463605910", "13139161947063123509", "17837269497087308493", "12586005536150181595", "9234780279993975007", "14887368190834098515", "5294090354741497377", "12838732786545032485", "2375405963904678997", "11648833508730359584", "16060069076439427445", "15309132498514635231", "11828988070406718462", "12089257907991646109", "2114879969858877710", "11922779681032313771", "4410638628590712631", "3203603437705044991", "10659977558268032496", "8619540021140397984", "2079993815693177692", "1639150866049565767", "10452794934137043403", "1210320130897276494", "6471692873337555291", "2647370841956761387", "17499538496446532735", "14233097705242369721", "14580655617018552737", "636249399251919000", "5886330781151777306", "12361180777486188678", "4527941944359051978", "4362790677764386302", "3078024736655784258", "7850581579709037447", "2617355864142777772", "15827819979957954901", "1086665684458972369", "1737629121669482117", "13366381256700955394", "10313056142929856606", "10551996266813331384", "8529336991654329480", "10344160865939620315", "7906811471929948918", "4752090240789207830", "1587805518644629376", "1369242121158533385", "7065680307085444657", "6943631639005683579", "16448898497237700777", "11057004521279327337", "2967806905182655765", "7819570403448479948", "5124117409219328670", "10975284294528920270", "6866420765156527748", "7010472862700592461", "17632969919806163587", "17399874395879373307", "8350216355942320837", "7817644533072171544", "12637367724412230938", "15322960012742828512", "9030487578042655146", "4551811399734203890", "6831764770886731564", "18124148081276033975", "12301578402390478268", "9347403254682677989", "14211096381322762202", "17610273315500671451", "10540034055777460733", "3952995290895896958", "8717414865876854819", "7999083343697867282", "17998874914511099507", "14097700971340455716", "11813173547412167954", "14198678911092606980", "4263087672982755774", "15806879837073929348", "17993173650276521133", "393687182352324482", "17177217225522209164", "12723753846533928183", "12843281388947880405", "697162199369785829", "9863378429267560371", "12580268127239631420", "6862103978249923330", "5815804730194747107", "7376528671148195734", "11903919514945623433", "3207167826989120688", "10699050181175895289", "8522149913281429642", "14792147170179488415", "10536138861116387768", "10407565347832554600", "7993838586569597196", "16489006683103506270", "3055744443122627305", "5801070790433826619", "17791752467148549871", "453967952000807951", "7552256702167133666", "12220044611365096019", "9760634448177767224", "8570971657843122509", "7308341020100588520", "5471196566717639365", "14558668853498858287", "15729027040929077768", "13363679979513694343", "5998001463698469204", "5675421148357164202", "11469633156258421340", "9557802338804143018", "16072212596722770598", "13934046263158728826", "9806506899770495102", "2932375356996131559", "16682288964712399329", "13984547537237758864", "11289711226667767984", "7095206881722448629", "12350314783223502981", "13806071578000567941", "17607818090557254631", "9634299344393814804", "12697309396983458341", "10450968945714769741", "13753899688142373384", "6133867919293546454", "3768672021226737847", "9796350692404977500", "11850094293360471752", "3240947195579279116", "16228323594827451339", "1909936106523768898", "3365043582217399076", "11524880191663815444", "2448852620674369049", "2693971218612677908", "5986420458920270644", "818003625874253631", "16918439173088068237", "8857566369116186186", "8987337172779967067", "59265765461024217", "16619509496553414701", "15651212528919554912", "12820249640776358071", "7204428156802870512", "15654969489189238360", "3917272619050740259", "106848940728941986", "11051416865449684114", "16065436769108102416", "5707003348980496122", "14112907101037418465", "6856463794133385316", "9776909492901543724", "2831652301889892250", "24925840262434463", "13510234417328325789", "12392552168363585859", "8281510204340665513", "2970884046977128220", "15368964211422482847", "5476096562986223701", "4077462601988321400", "3370034250082178195", "9762431547190715531", "17119694304258238734", "5558535063078971222", "13311667610291631219", "13414533572017913161", "5610697951563830151", "5156205362749265136", "13225476752790152335", "2303441404058576022", "12635637871535068455", "10239963637189242318", "14830662447380553335", "14525342195984523521", "10309147128559741839", "8110467859943487355", "15009293096920350589", "16986125168389173285", "2215297936127175612", "5346350411201402942", "8244607369867075024", "6787012216045499380", "12996890474010949113", "6125248004598525049", "14994828635069422098", "14555910315441368548", "8881608132606669836", "5154485761822725832", "12955163246569595032", "2555287706195261304", "12161911478197385412", "18320369566330868204", "8710559793323900575", "6063198366403190089", "1316048763132233569", "2943025136058008859", "18015439768334401769", "1237767070203403622", "14236586381261359852", "4967478338492733428", "9806931951541388873", "16828265658362100436", "55847377391441195", "7124915297679406047", "3054925900948118332", "9392149462928008997", "17318482667729557218", "9331090922253943026", "9380968058733598220", "14857507130557043436", "7530811708426600296", "13115597835618120774", "14829103132245601115", "9669827544931151755", "18398517527590497439", "9400985381426526655", "1899561772755306615", "25139536090362368", "17621593497441577377", "4828353385278875532", "934031808052069743", "15325183381370289654", "13434254297929206279", "12324054832925392018", "6744530514181251503", "6516729190083873838", "3230848598907440730", "16460147898997156902", "1313491816285980806", "12990951413612070384", "8508440067686945037", "11482843888477457499", "14617910363832108894", "14162028817274399524", "5404998574097208037", "9802113566467328765", "286491834472045293", "9617295425518012527", "16682654673458032659", "9150743259336266681", "13305006917906623803", "4650766852251358948", "5206809438876391143", "11748605554521031726", "71212523782935874", "12591627604173479740", "2306051079870889758", "14756121032682509924", "6896847071914253923", "8327878181780197793", "8160134929157901561", "7911933708172331400", "15478265189503181511", "9328923750026442337", "2854450215955756605", "11705230276071601306", "9197034082021737809", "15033851612295707517", "1460012847988454385", "13303108393669167060", "3382177422952035818", "5452336577963463944", "18212490227701886945", "14024928428404672489", "18183439142398433245", "17564804428583336795", "10794363213561203942", "7673610021121177257", "16503223608891968922", "1331007987489809294", "14957047561010755981", "2525692973148428135", "13122413978585888546", "14429847764753204668", "4265157151595869866", "3050281854289263464", "7239220224432503892", "3527827817072457438", "15835124196609264890", "5501144765290829096", "13341447911132450596", "16918905845309585383", "10457867239408444434", "13530365233864396592", "4232685714174955387", "17256566362162218368", "4891776214354578979", "2301984737467752071", "16048161002688457732", "1052764096849924164", "6911971878182762213", "17084754999458189211", "12022847417637525072", "13404400616242098781", "620228999549872401", "12914632354741281321", "2088514817754175284", "793400700670386501", "10387501779989970358", "1642255427898596888", "3054214361813599598", "14728983682820161712", "2752852891248291196", "9604012246351417658", "17706778058816387824", "6196931888473593865", "8261476517100530369", "11763227832593768550", "6745553425334863453", "3824067590979654797", "12619776304293291580", "12546650550967754104", "8542208803603627929", "2721940074904843933", "12093787865698771724", "4849466956966707887", "17124018037875440792", "17078316239046442214", "920252198107984461", "3500073136317046478", "1363373234824608685", "2019921098343641081", "13264440482631303590", "13342603524275229790", "8433897677231562279", "14823800513458474157", "2620720151003805960", "13583767272284862052", "16125232004218643049", "15882608309200401393", "9591019842119606589", "10704021630994340043", "5581263637611217755", "17838319771822088451", "5344871249882200528", "18323421349556701949", "3796881536966128388", "5190930750169174417", "17114177226791005114", "3195127330070094136", "1672116302064746747", "13116665075956474185", "10220384074923862593", "8232954499073790874", "4507744687191767501", "12709749531081358470", "5643129896367401717", "8123563302800293487", "10195010340304606019", "8544569816499964104", "530815868803426780", "14803330793269599522", "356197982555450592", "8127913301756210410", "6530988009892972720", "2014137723111866119", "8383076461457202215", "14677893392439574396", "8059719487985701954", "555315159973060238", "18399869538983259591", "2522143957380536301", "10153899324547292653", "5060102876415169291", "2737297738493148464", "17862665994523517546", "16259055640464573351", "4443323134638237820", "6482520954624662774", "14580793149644749242", "14947882901462646376", "2577807328347874707", "2540688369449228778", "13628728038802922680", "12381166264015080503", "16788456923656346274", "4629598535452162589", "7611804414055943307", "15510354092831206196", "6441723064637201642", "17008700253626918574", "3436363792959161234", "17850877774914883238", "1366530478042977858", "3459766501720402334", "5518012099530339596", "7255155825359353797", "1311042193458008855", "12455708059359112152", "10969401027551077207", "6410896527647357703", "5215307633291885618", "5233610348254938241", "11160834767222412452", "13467928177643504436", "4601552800873393761", "7534379510883806636", "10432235880260158715", "16193012775598962205", "7232545942814402534", "10540192842863113456", "4759984684491954118", "10038538861954844979", "1692536970418321919", "9414482857710230603", "322302525747467788", "817133848787728221", "5004884944404366488", "12941881254139590501", "13200822117507627346", "11843240969460047733", "14530558387805442561", "10816056873224619425", "13211701731694855689", "5138829266712787009", "14056182568420990939", "7248756526687581923", "1469376649716409358", "6557125597715935673", "9223701644971059764", "6422404536142593247", "9365161430899767971", "5515708553592714191", "1641635192662747691", "8312543133446876720", "7378672151283341483", "7652526440350268927", "12561159029648841671", "493267912327578824", "14518177208908479197", "12960144875727429803", "15206444506192145212", "12041810089260474014", "16075720016736645851", "3104364422726455279", "16158998101181728702", "15017746835784827123", "835071353347693955", "196694292234196483", "7607793035357972296", "7292227197796396556", "10936876325624829226", "4698754798339500359", "15100159310138902810", "15756605188034755988", "9210631835980983121", "17736708986199191207", "17842432231618248576", "3766930639493525246", "3026152061972027184", "14847320677400603633", "10266663641276065882", "11109934852642048238", "5966134907696168698", "3215458655429688398", "637003465641599077", "6326228055353880807", "890192276611201379", "6327080573172417313", "10376947097463006493", "14103955611469074032", "12629074129049800997", "7204436176196576979", "11318401459896561127", "6867770082029099411", "13241348561733144760", "11903599402837889433", "7833956656917100008", "16312032751896524383", "9684610889578003586", "637194937156554216", "11980198741780859475", "8279474794652259295", "12993963110995346045", "4437575956386196335", "17422154736946665505", "17986670514650317242", "2915799373053476256", "15591635510609088900", "2713586585449270388", "2368284896760744604", "5116896775351653729", "9489210057141594719", "8649659221532820882", "15769783267964824330", "15414648851207719826", "12781517539969803000", "13520906029186885367", "3746874291249376784", "4456636232291867593", "8103056777378868016", "14795518086100047560", "1120615972090828696", "5273229587752477188", "2644242767975371193", "11897043026803437337", "16113630944616204943", "5546824982436810062", "13711224937563655781", "9002876502267086576", "17530684249380357408", "13871760909227834062", "5441001157159805617", "11131835990558593414", "2871876856861914210", "17728652673483999650", "9967642882405396328", "13933056547452612400", "2990474844381627468", "16655176672427146557", "10361653972742720389", "8488274136881829149", "9676331574046583612", "18059104534760811821", "17544138795210031566", "17440093787542792381", "6382684611046681055", "6361192929510171267", "1203376060177300520", "7276698457473302488", "1322002711194749305", "13596707915253708226", "15329124918006875576", "3248111511249900959", "11606492343814673299", "10609572513106704295", "16621075788815093316", "11087601125527218236", "9418213606003550055", "16940956398518356729", "14662907410578304536", "11371170797371980652", "17470656024884659770", "10478389853051402918", "13697748093623540590", "6755387826718174944", "16989254482885040241", "5148677833484071504", "536784034936191355", "3808496564453613256", "8455086104044675500", "15185099317347774702", "10468363255347049183", "14961105565814707435", "11439219357923621791", "13780445359484114176", "14545347058243702108", "1594249349672720979", "6983196300063750163", "16507080624085648601", "16170513402442343334", "18286961856639959216", "16949022246700372362", "1615092617537608818", "1576206440116966332", "14113548786199367169", "16776442096609089030", "1602220117150055712", "16936515316374631700", "11518605228474469395", "4297315246196592013", "14962442164612309767", "6810788437703452001", "8836508035143907417", "15451872744340988269", "871814508921592425", "8874847891414278243", "6164407689489335120", "7953054458968937275", "12395049010997033754", "11225768893234261198", "12024452868521522774", "11809218325801488737", "2955182180708231920", "6657124125599079800", "4936462489168034967", "2295668106175166772", "6139545154840321859", "18163333349514334154", "10820399125175475000", "16320630232213709411", "13815568897341363294", "375555839736953778", "831409096065424467", "8215925481888475678", "16598227847752469475", "6269941741062749632", "669864680549760612", "6049009404431484342", "16501385043612102325", "4193651319986706394", "14592525272091192096", "1320351143263911761", "2632958374602440641", "14889161174391207252", "1600008596867996657", "14494801891037493114", "13311706587487743731", "4621348848077569654", "2674831795285842673", "1542072042056612567", "5491586934161442704", "9447815689383277271", "3341025797683605763", "13419950990865083485", "13826710026383844289", "989960279547874228", "16425623925632303110", "15321325157945781579", "6084117621285101249", "6153939289820351788", "11228625693956285956", "4624209798217926867", "1671541589311559517", "15336180592181301462", "5726413455921488138", "14053046169020308724", "6999325318128335414", "18323838413872544912", "2081702261665634567", "18367729335536880668", "13057435064185118906", "2765217301686483799", "2504178039680882922", "21835696691377163", "12637844243771928674", "4750921160844279324", "14103507160922346079", "7410680053650557607", "13723232839575545002", "2004478295262272566", "15983724046899064863", "5126223761234372862", "15760200388572967812", "1535913548944261760", "11907550926235320236", "7042727265366949728", "14244869464529334781", "16786779960392603441", "11655580644829591008", "9951992799834409889", "5836942975200186977", "13570073194892259020", "2451690981556969060", "338271301226690931", "3621718260746129073", "866582589326932762", "16253204655716838253", "6551941118653282723", "13986978734289767648", "14745569343804475738", "1586671958269337204", "9580451562789518771", "11619115268308437428", "8907212390170890014", "13542752233769876827", "15840765846965640640", "1293457031652888049", "13299824724943344160", "16422961531091990011", "14612450715405571361", "1277189071961961364", "10414988252833241706", "8659163350671923764", "5838600017876224034", "3226190584871514867", "7040836355864506717", "7498166225359854779", "46737931895350541", "4264850113794133392", "12314669479060248086", "9903616845743988482", "5279933066427570200", "8838621623901544012", "9908993128782778247", "3894036565470348624", "18372596856788630154", "1282942414802408906", "15220529252397134702", "12615789215209644840", "11616265715001467104", "3463015394072497349", "5002933729989200420", "7347378324610537402", "1017781549819917672", "3527837132936494093", "13096586852515513803", "10492823501111072711", "6044302853487984199", "9162934259500852734", "5684379240592558054", "9934101031231597797", "17584522919779710177", "10316899554388128710", "6671426943104591960", "12994200795767474625", "11931804423484512004", "16280379195239093988", "3415388371923917752", "8215641488647396751", "9522987850567463295", "9130264225403174882", "10802101593243078171", "5318209633657832827", "13414981722310643136", "17026494506778742723", "5508645605213758708", "958293663541924073", "14848283043081183206", "15751950524925453134", "13801202180535232956", "1505086710672758401", "3635367003574047712", "18443576257864130638", "5796415920417682774", "219227323908075893", "9306106817844258098", "12722051026765261281", "10358178551792619289", "14177215532523379732", "14800143825051580540", "4396855036274062646", "10002890497139693380", "8178691451279087944", "10402528454313307838", "11087139347982959225", "8992069954692330397", "202251480179715515", "769700990685275082", "1912671492518803912", "13971373047414012949", "12261479167977334365", "17362482921736020902", "7624675632041012090", "6545899518006260723", "11144205911375045479", "2152563489257271819", "8538106389130514057", "10211154250624057417", "8300972023447987333", "4909339373133528740", "8238919140178104472", "9322696362370673081", "7399916141469691807", "7266332486233678931", "9814789759606032719", "15406824459638367293", "12257139809877039844", "10283494278346781189", "4210150604371081069", "5685792348535199566", "7064652172565110662", "6123600351412632225", "3681498726907781301", "2736224475263898825", "221920981453492836", "14488165364668548721", "16895369000789564347", "11710800178328955226", "13447010113962932844", "888365881128781476", "13113395199444886430", "11289151435318325691", "2128896753391351247", "3060944143632783600", "17771618401500413498", "15455627202000261737", "17982799798514467187", "5133301759900353948", "13371667108848473274", "3829689693706730285", "15248531168265711598", "3710241476274395043", "4298476925397412530", "11955696019685231997", "3395454160955286756", "14340687914345406507", "18215907974904619516", "883493970583972852", "16323896530278637658", "12380076379244035274", "3301358898769955420", "10576164014029566347", "7240786916908100066", "16752790641209340623", "13992326153196987186", "18325644078284706560", "15675240577300632892", "6135932045368408970", "5315112666380443934", "10628915708078061228", "9874333066703710748", "18179414608705869239", "5291390550218914090", "10474367310342051000", "11028747389169717275", "16651976661933267901", "2556571225160326823", "545528748714100387", "15899112998548695721", "12914703079854043799", "13523244136058370173", "12571072545708182438", "17268260675401421847", "4534574875740005657", "3477278571923018267", "17337526481679739501", "10942048080671272838", "7152001742524078242", "16165198927121875537", "9415786446137216224", "10162627553879361198", "13897815467384879657", "11260848344068964422", "18032153116759466371", "6722784299462923925", "1159542077703696489", "8271420784681101364", "6633676501430935756", "15874032058126520361", "6472523595671106423", "4751760789036888193", "6551574761324092126", "13565579452734445822", "14010685004892225623", "2447861929154649368", "4458996767680928257", "34408590451006021", "1315315933834946423", "14028269406948007570", "13424868500596054752", "6740786617074550989", "16235978322862532153", "17493462965684736063", "1139005232213254173", "555670122813372418", "868557567537187605", "8447178015138203472", "3175480765650694754", "13940986980092100807", "7799649065498728918", "16119257957335097576", "17892364539018425896", "8034253868741615575", "13599045624870796192", "14693918374999008487", "6492584253873087632", "7576082257774936675", "795888777415269554", "7845835990103676063", "8107581137771536400", "3837781633378706164", "9750472379133369775", "12583376372349195606", "1165854676298289311", "4488153137731106615", "11819439196740312681", "10329283471423694206", "16069738767107117209", "8327098826477131361", "2166499945050205582", "16074859923472443450", "3615223793563740926", "6300071460050396438", "14424721619697608277", "2692803483776832507", "15597659380023958926", "11135072594972002229", "11164534699339994783", "11194562582052116580", "6722484423455336270", "15977752541797749980", "7975448248718703197", "18313333459837171330", "2149033796725230536", "12547961317802948982", "1932444317053379376", "5059624208920234806", "6162449373383006151", "4788456239312416457", "8035419532252387924", "16219526700644490820", "12422801901661330963", "7029025453442570381", "17934142354173663330", "14752068496700956907", "12874281552593640998", "578352730454226720", "17865421790592694054", "17497610463670971087", "14898388436007449902", "3111445657077678674", "17566366185297467944", "3738591251631262446", "13692527412902416008", "16050285805314891478", "6909677700738986405", "12106332534230125061", "6277623775420305964", "12032301525332999460", "17261203693459563305", "12940363014769975073", "1241296090215324519", "12204984096417017709", "15858217519117379249", "5201272444560672708", "15272277942762345838", "5794786145338124777", "10858071039750259870", "4900229909670054293", "14329949988914761315", "1201220376031066541", "11347442840094939399", "16762644168995877224", "15818558845479142270", "14120584013682938211", "13836917405614381075", "13078585940105656075", "6699025127201360268", "12853133655952656768", "6953105738763956993", "8331576852037384032", "9793401689111256717", "3907089921220713731", "5621234351822402058", "2444829151168832066", "6298346975166802219", "6783045680667380121", "9651528678148810501", "9948894743616144865", "2731660995776725402", "8380504031755807246", "13995986689166230606", "15565414594081786824", "18272167110298832660", "3145578699052192224", "4122220017162541450", "10141913609843517825", "2304857841331804287", "10499422362370904353", "17265496947454529235", "9742562592252086784", "14242009429084025494", "765823445187624639", "13931540613826588102", "4760629556074780030", "9470928206308340806", "3373792857529538389", "12069129496092534970", "17021654375006492179", "10245859692478056498", "9691967471282883912", "11802379195777076714", "4720559206599854148", "6555795693746598510", "2017940789257943942", "17361680653219699425", "16694620255862073647", "16387792604264980467", "16246089725264852490", "15611055711362439777", "3370969712771042453", "9215862277096748650", "5461131207906220015", "8598397243812332369", "10967568457556165588", "1280616597588732073", "15498944518042608160", "18033603421887083633", "6552711589244094488", "7733501037456255791", "3889667576807577666", "17265483113567756731", "13798681271814225266", "12320604657949000821", "15703398572269879351", "9341254816897041950", "12512235986773042214", "16641451437293077582", "16820017946054511578", "12394685732483958242", "10003095099576516419", "4614189873540803652", "13056051478497034620", "14523741744747064727", "13234372069960709959", "4961696333893404991", "8058939946640784679", "4144661761270279063", "1691852513274310495", "15874654667020226191", "8194694981089035285", "590845932463663110", "9012373687074596585", "11813838049883069119", "10278884273233958035", "13923390917426707681", "16932753246633307751", "14406665794468237928", "11073990666473538067", "4287792901633544040", "10154645469807579028", "16476390770118140657", "16380927970657171011", "6854743672214634073", "8358317105205371898", "5750464744751510010", "1159680998095356414", "15455563265993519938", "193839624347227643", "14980209834781252533", "7866447028251562222", "3919294306468555708", "1595814506695152556", "4910031721685711868", "2290537976223801412", "855843176227964686", "9580850855052015878", "739966285260330151", "10105859801446780091", "7958011230226353266", "11163306065603666833", "4394266612913587807", "16660167492628380825", "11069361524359476916", "7180936969397136252", "15398298729281764660", "15074087021954953514", "11049190243779936278", "6898773795664711554", "15847734797981641625", "1881166551985294095", "9570480645609055417", "14251839682191013763", "6422721379386894831", "16156422024260506338", "9233546621846834549", "16994167307075841286", "274", "3", "18444995214691477452", "15106083084343887539", "8662524500488993772", "71455545019825959", "11911047129375844530", "14126266230723585591", "6124654475573338573", "17720231721465118353", "4948672242254667522", "14236856542428110255", "17639607060174886635", "6200058718048141174", "18061285438740546299", "2197452863883216116", "542744677922601498", "7060099745572825064", "5867599251750940188", "6762827650436528729", "657010211821328445", "8900991280904788496", "14893083790279136650", "6914945506105277457", "12295668834169253897", "9546465061131897545", "690356511726649237", "8498820237477466183", "8219116992060724360", "4255058366079060085", "17785927861790498704", "12627535005900081904", "8225293433019895707", "17384784859375261392", "3865611560184322498", "1194182167597474587", "471264808330306074", "10231550026498119633", "17958802153022816492", "4019864298063881301", "2483527049705011557", "4432128199423005141", "16755148136124160080", "5224612878274478214", "9671538202290150615", "14014863512349522301", "3874574644716632543", "1899045873070004296", "5174358898162010469", "4020437233576750036", "9228465544251199244", "1413402590653837950", "8330911768176368334", "15913979462561313191", "10668835163779966291", "2472669548663284081", "6849066022561990655", "10276392929626169007", "17528166376133287561", "10281989736379944498", "109152747077353079", "7283891302097310686", "17876310821381708433", "13152321098366492586", "6349407364941741530", "7338523894229336630", "11124553613170801463", "13180993232657154952", "2065428559314647918", "11848186474304075685", "12027936127408640075", "17604098950369282834", "15956180700607116902", "16324076339765302716", "355939424998106248", "17154341061831444985", "6476723841909520194", "1928659400135276703", "12853660303021551430", "12253229449427980370", "10862752474253280498", "3387997223827358488", "10656178931282050582", "474357876377188386", "9895850085254134413", "18118668451341432618", "16046940227002044537", "5069265149249483641", "2587632930075929542", "9967044685708039638", "6324670520301665405", "944005361703590550", "15193920810122244328", "1290736645729696860", "5832599168984029974", "12032060705345172328", "6918208498710423196", "760232496455784966", "9955975932098534335", "17361136942746975021", "16242217358418367769", "6188371855883009852", "17154518267189028334", "4641609959714540217", "15202568676804556987", "13066361661360344054", "9728211016542711282", "6616401299388784683", "8324325776091109242", "9970232520599658976", "16985218971016040606", "2621952284727575011", "18125650508734913036", "14983919655871357699", "2491898694409392950", "11528288461116744777", "1159086662892812181", "9344786322377868532", "7523180370891416310", "343743327800824835", "11219022510257599586", "37269279953523517", "16600227342839853965", "832092934058557178", "6403192347910097149", "2747314174803807176", "11362187807221252574", "1731655605450622687", "6668022696839798460", "5612154050893336706", "16628575682925595078", "15314768329269677042", "16030949771458122129", "14972771496915891383", "13299641056009974537", "843721500624045621", "2904493356933861582", "1083718166837613386", "4506575528472849145", "18221182339914609339", "1691773428259576113", "2279988505395612724", "10214742342726218321", "3240552617086558299", "17377766467240570258", "365652422771030081", "1413412943100364117", "10288806009786153835", "14176112743492601112", "14007727141205378431", "7351785152670308467", "4169463125278592395", "16118242391521543027", "1319228165258497324", "4336824932682451341", "3506386361901028149", "9862309702321191549", "16278377232677532234", "10918013292598535198", "8159733579846932852", "5954697514393815675", "14801612346053510353", "3314745714102865265", "16091772311861040752", "14750841736724979179", "12707737209001248159", "18422357244364032201", "2994628091674249744", "5290215226616187406", "15013667384176801007", "18341956439373139277", "166857834785373266", "5710590927435769232", "1802113841662080301", "1165873627403992339", "9916235868342213317", "15705375402831737881", "6327992541407626438", "14024553068982952620", "4425999796554072043", "6443371842758724150", "13627336966179713478", "11093628736520145787", "17463279135510819926", "5031101448556340761", "1462228166052381028", "5789289125179758512", "7358991880342289817", "2529908313970820447", "5659910820331399434", "10402797083327140246", "14713601544687094784", "2315495695353060123", "1805372153961673360", "10392798701654841078", "11933911688809719716", "1901320117645150270", "9638619069011881443", "7857765583606060060", "5215963851329037890", "11671325090708878965", "18309606356837103363", "1542299675925007509", "17351435986995290298", "8085937253722089717", "3845683819561517348", "1222117370492405289", "33428298608387023", "5312854999163399802", "9901881467332105610", "2225146835513116772", "3863177037635337589", "7585815431450335998", "310145110047079704", "534891070933430584", "15534546966754409264", "8636750629985404937", "14495395445354674813", "4738729386190074852", "7443260075367545915", "14639172419077095956", "5829234006212195314", "562405625782482948", "5301068263851935080", "9009633410908615298", "15630621415143413588", "73936053236762903