Large file: warriors/trisha/baselines/triton/fixtures/neptune-transaction-witnesses/wrong-output.toml — 6.1 MB — the first 64 KB:
secret = ["1","16","2","1","1","6","5","4180492825238697079","2032845787094211603","12574622553565393484","9233590203370888013","6291297362820891773","5","17162881904615831636","12772901116553038606","7422951533421993946","14441376456998198752","13597937147074334762","148223","148222","148221","148220","49","2","1","21","6","0","12287365817644564569","17240538652191492260","3680202282824912565","666920578341032617","11570943076736780588","6","0","11991847091833400873","4281594223615184228","4949424103567837788","18411206823891079601","2240846037677798930","6","0","3222359467793823868","8185131873808466761","15715091952038194468","11231501337313115608","3401667858573863161","1138","2","17504460194039960983","4139904851061540827","13318280827804391005","8220122195865049870","15055509602122210609","16597070564240239745","6044738470360122988","4665259865537691017","11720722287786207811","11794185381257762878","10076482309064674927","14034675972909843180","9588700216729991177","5123289155575814159","15282204482623946563","13360394633839496923","3842935835301265512","9401705517718374220","9950700757021252666","13584713973603323667","14025413906625181376","3594775274468240175","8930501467188921519","16855873005953706311","13510271815445513235","1512760943112969000","8298544664566631410","411795583016349110","11158646682421495598","10964745604804711452","6781074472891220193","5961657616491902833","12837930757281593777","2032002287886687787","1028882746182225110","18300063589969791201","13576028799855279174","11758955687058844524","13158755763311684664","12239406642534313594","15341847791095362489","11136115318115338932","16994357888464488408","14785422945216934108","15368382746719262359","5115302979747754353","17370131448568905367","2290086036593345794","6889635421220117702","7461339837615584927","7250106583219019200","12619318067095172276","11979479657779071481","1967408249444164671","7719024053497650537","1071204926699104596","16049620710714810888","2100894303033870088","3642469098545272531","15023324052407495163","16293921697249972218","917015731698624712","15950627914656352007","4993531169574942872","18017839348111410401","2873901041856994806","10696125505818327492","1799240061745557415","15324994440293519973","16617187601206816636","17238840902851449186","6925305724496761276","13030913925608476401","1555613737946189906","12417762946354847457","5922097056566362943","13969031079119812934","6773512971370299258","4390617426399193045","11597248428355759913","16126913361951858477","11004723768296084078","7151249225909728314","14486601315101533779","9696667119239646040","2617719156034170107","270922540339074183","15097058754113923748","4609117254564989030","7092527502807238412","17636675686278079376","16810447984137042687","11632045535936148265","3837663595103464346","8152707775314941868","5342274721101762060","4027115872735663776","13783063731634680920","7614380187537312722","9618888978051018822","2474670406201054641","9227998922064372733","15252840130386001726","7034992570078388632","9642636238582947209","5460753920942951596","4671626536779277730","12062475269052152167","13060615981846301636","3228399091025408420","10811548569195777212","4793688867332638701","11106752663708707572","8847104238793294925","216278634858251107","16280281139895869361","14556629334595609499","13184437331190458667","14959678862334930663","13599202812517422776","4222878691437326346","2086992498589466084","17478110205252060955","3799156339138840741","4767838247173100738","17039004440805283756","9655490698401991885","17695059336630677089","15342220988699998778","7992446195528977088","2828080322131382456","17960221337400071071","13910391190559144945","3259222263418083213","1555328526750827905","9626270138009519753","1622264473597559360","1774490292218830843","7041369161038953255","4969879606702527120","15105340969625648508","6398249849769714370","7717375306539504568","16188315837098940938","9426500807772018837","11506362945327041879","787981499939699548","17340387671854415021","8448273746387391556","143744715398994633","4947821380870022602","15323876341457604913","10838598724406374283","8820492093227856854","3325129483243700574","9580924169854523199","3279778324081809796","4126324941270311076","2920808733315166821","10949321146344400310","3353831412165649779","5598103007268412872","11055417685564196560","9329155811110320413","216278401084343378","15868962875379933517","4128254949513370367","14743740293388722323","762511445489750029","630208526376059310","6248364770915617603","5782507643134788249","1180376912207093989","2990865505763706266","11885155087839767792","9051975445399147973","6490778130324478857","2927723927542382287","7421176746156497003","11738201147341654754","5737164264526412328","17933987953323413281","16147800787095171029","4409302682063938059","12972210737078194087","9035711042917778089","11556141917691376757","17672830671738516171","1612542122003822735","12656767640535841540","15295386432323430888","48402753364228221","15134404817985059893","4170187743336423464","1933730442473689164","15824700954840947468","9246447048190743477","4748116472482698564","8169202317742184705","6830414101000495641","6968674419235943345","7008986890975828231","15008262542582298200","4329648311892100281","2739957096633536177","3571666852501809123","9022036760080117555","14145712304187259865","8979987920150614467","2970454808186799429","10773996277154024663","10377873503419621563","6060132460537575712","8458974926846527583","1512605389642942852","4690894706468480162","13309645817800296132","14638752500679549589","16889849558234133231","1931202607751606944","1541324926933702179","14975927860957207088","2957606541096812121","3506890306395765901","6341676761653602340","2042586494182789934","8198894881563734815","11158421355391837425","9728531889237403161","10776854714667933615","16989750376722106596","1898414072859432165","17842354737064367848","8157476714210728800","17698836228036028887","795894836559488393","11464152450028612844","904214271753793646","14838114723095560790","14825065360035149524","3021964985907813690","16719256344021950530","2993486253207183156","11006100809551344688","8835726601757363938","10481484345209119250","9053125069149998411","14357470214282630335","11002938658256833100","3553261369520782681","14456203761747237154","2429801255813637167","9713582511210389287","12597514590866351609","365703702920831467","11083794577417445474","14661385885314898618","14619437477629413971","4269606911635218667","6630880041073839900","14522569430247559783","2512998023653615485","2037480001817350478","15633521679519491114","12508670288977558872","17107316290844913188","4118307895039450689","14028267882295453057","5574789576820429162","15809822929177703075","9283509096593663378","15858105794486477703","7420360970573449865","13442374125843953114","4155691179250981950","17436607592455900704","5680199495572887402","5317806416970919225","5647953718105159257","8060935815680345559","3243456519097790470","840589047746679342","5331515838212718694","3172385451249435054","1982625181939999693","6576649385932196740","4904410393299409398","9770198150660070028","16063344893903150059","218969334357636976","3260861547596168067","6645904602173688662","6526497827981748199","18445474295803249176","15132435034450144563","2966523561699903527","16761738543906317321","2661253767900906888","1324365152205236790","15088076398235021558","6105198251035912206","13426937475258207282","8235027388969914475","12558018918490363817","3919255236006998720","5123940382802940856","8489804535729235423","9834538115670331738","17788584692001685079","13182026297004514261","16708674163010132109","534567393715703424","10793304242832077116","6972359577884430905","6036584963470934291","16983108474673395410","11130234842271142182","11021496546689223004","9851398027379430113","14532467614710947873","17492235623776628787","14589024136832598751","12742913700645201095","6177780764745506459","14585498906951528693","9909393163807614412","7562274820837527949","9281982377641602535","9640607137547341971","8796571851144203317","2387875397605569841","6087904833186787166","14799241811202304358","14699041417956821085","9911826062045093103","511924782427000094","2611228060795682623","7860466415180842531","7155666494202346621","17142385197081100183","13772666163123913192","17545051353900238636","5726635171516990300","12067690755366005268","11359343594905615086","4011765164838211193","1771358724436869056","11013749014857048902","13671777070546611268","13048664433010559758","5623295358226816253","3396985835712307661","8589881274485203469","13452791733890050652","2720966099090756252","13141434240564055050","13735306564701277031","14652077261633161064","2860508920624843543","10576211908768513876","10723423885968919543","10934732900632651654","16848776132215593100","12376802573419653810","238027615510590168","5739477754889054866","5934541402085500464","16933384248732483286","11810402421991846717","14388024449933096471","16551291054129785390","1110074136287217657","1843619857445867833","5877031302239847202","4020255381892779613","3830541209715167609","15770802294897977468","3857949101043086480","8321847983571407153","8005991218837431672","7428773933813060566","2511208079833492950","11725994147286367274","1320663650251027511","2546194297164914113","1105648291955741090","12388672236039115982","10625829453792380115","13409832045018193795","15525675210247540234","14109273857828700610","9379906839522904866","7334299697061693183","12982503835679566205","280555627497888495","8898258729071087570","10222161258176918433","15041620335430906668","12224207151380186126","17657986279997913204","9810029280130576409","16744610356243348322","13355558922733272124","17608680718427710676","8015316984124833535","10171865443711554590","14795636907731185252","9449127385777938272","10003752980388337615","17940192936091504508","5433167375551539118","1719343216058637903","4073768943077394429","14325536384030845989","6034434978339701018","2425103962967133781","1051102120695841190","13861852998763299157","18126409185867368552","3931700768002393567","6832442010923775976","3024041328832120449","12758258228062677433","5705191258385018000","7175066920079555268","10473520266825336563","17149085658436745180","15853712518298020363","14724069317451526740","18440789301594380340","10649134878191305105","136267268731942793","5919206240395046691","3642466257380021462","17352576815179554368","7427607120533208798","9158939428310622106","3970872884731188406","18213062921020999709","12621286216074979029","11366526062860899921","2630662414654223753","8925371842099136052","13904096455814370995","10265463298519482539","2997659700986354278","15801530954225272569","8302470317615970956","9231059300999374532","11695275161846385770","481815639195163107","7917464717347355731","16267034706988526349","11115153076291485367","13727411385172896052","7622110741936637653","5381090866896988416","11608422244724522823","11932786680826111532","15416840552471932627","7412155554671255689","10264934884862913556","6285288698850770100","8623358871499221246","17161307857941842442","8134597965550072852","11692391882336678711","3789733063928084450","13816458135602228917","8887739292104691300","3820147625070297204","15878769788961605911","17146522579848611011","3902606019237632953","5330818079728109052","5604241504669288682","6342486099913676029","17689519524957943005","18300793859365790253","10023781506477782632","16843793728957960705","9462861701856741530","8692850857122045985","4549982677518645364","7167958940903206762","1545666513720465840","17165235122931496222","14086357678865454414","13682605876686188605","12470666386488662065","17238033236414383166","13345963237439346184","6437001514042319175","8427277344658862000","4258182714281478075","4547122281169610276","3458738865520908326","17330614065396105232","3533295118757054824","9236074397140673653","17190941946188275306","7782415611569150406","5019467880889217036","11313505357794885256","5155528575461671204","4429325972943734704","14177660617841972078","12658194186050726654","14266676137240345827","10801876640927157768","16254498203959458345","7685255441637429830","7909650983456336918","6533150338823288986","18360147741175275178","9344807057488633945","11232446662327764385","15741121841538909903","11082164660919693193","18369322375943890159","13412502028594763472","3628564300648854011","1030144671733201817","6092537824444392104","5390275700359355799","576663700838465278","17200731770237443984","10493632035162796498","14090897168954109508","7719921322816566127","1610171791814510202","6694029978529007154","2570684476831522952","17428897533872803872","8738448873985105399","2785959992797990379","12788979167897713768","18285720173914471322","9171180441143192522","12205114615294200134","13632439338291249032","1468768286964700467","14501781721753157793","6543920128377861443","4119496189843342786","15940108789328606145","2986387993492772067","17456578536115517371","18140832732528395417","9092834270410580152","966371571001090093","17945410111646983081","17438174884586601177","4400468311770125306","9470767686804649500","528838820393536171","5160281298808234287","17306337804414857654","2867604258662328911","12913449500013829049","3091511223770285092","3752855858578862037","14781438071801299469","1825003445046211838","6932662191965944777","8628886510691528779","14770564952952546212","10330657512992556575","1067553201516599243","16273945726201233819","4568850012204247621","11686400628184163974","16177792392787386562","4383558386867075811","13614620836663547256","13315660250312648763","14977102920884769596","12565034443385094098","14282729275391202209","17008381456085918557","1014135770948795544","11256355724286338917","1986268033934778081","3123445006243168098","2483146642288911035","16017805378938355960","5964588464255346217","13118828945749318482","1643624117349425481","3947467144093744911","4987402295532157930","7140365112252730074","10969150418713921725","16839638714554622724","2669921497754155678","16365054391847638794","127972860020353455","2326362478859353936","11587491270682823218","2300989138481357846","15084303487212123581","171313735097719663","963610648664075525","7570617493118737379","7671605850757889600","6768566265907733373","2327358464560770933","1256395020884433237","18131358816418572953","9765355882162524158","15394018893884198054","7223220079616549401","14797547339682660993","9060623376761385575","12057381802546323955","10268005349694870854","7858881799911234944","6776073772626965748","1567829364951552685","8682279191387181264","1915960364507159435","16638411369142519253","16274639770760622387","14422678373878264068","7720725935895413440","10330375706472675932","4892529534646496113","6888840089032704878","17590321688602423818","5772767980939279738","3498669944346189546","3570792182365058233","10743546369884720531","13083227140518629229","17436704905730663410","5600105367884650081","1314554370677858893","15025919096904242708","18255618058417722364","6524324801937523828","7980277212776981197","3551249017767666357","38509923994081537","16722231194306873044","6394285162520819524","5449118609057706329","2449107880683443584","2859846747955849849","10818459128433350274","12173607715265206711","1935217311583944486","16784265465783591886","717155006856592454","8746510505616393761","9955772995221347992","6224854725329396505","4314791172069456891","16801775244643843596","7135936339309760587","3153809552180106902","13315424404206635650","4128030606146347833","17596620043913697378","6785748906733591390","11159911561046901272","16991948229598324824","13746738743866962812","1251119705046523295","2473333432223554438","786589498659992912","12065403792791452635","3579356134071048824","7364244631680173360","1395027426133021184","15236622346302758349","4288019165770646596","1684371962725095421","13472215504550397226","13566899916600574005","18315317948157993993","8357637847181595473","11679815750905783223","13217934291203654073","9389107872649936897","14599866897889987244","15189922103986378079","17374208965093686541","4810830605225311269","130926843634434913","17567941304079487152","290825183856876947","1118366867549530534","4677807546011143958","18406044115848312180","6057205968500560184","15310876826758515093","14396231195491247485","13019737189037117818","12821741088511524663","15573907280427856823","14661208815283564341","14150196453914759135","2304345708041980938","12776887427837722330","10810547653080616539","12472284421945376733","13777759118513196120","7945235251228256496","9373732117266500644","2747818107224372998","17147657861724474198","8542222551918337059","12504893640021986660","12185153842926516158","11079698592910266852","17698828673298380661","2095515789584764992","5587443401164878307","11856646760561245300","10097794906744132280","15748916177974572163","17507053490708769202","10691168377460052027","5978925353721051029","15047441678070660086","12955164148639068716","7567820782789028397","11141605372485559709","6880869701260287254","1285296949414469482","12977960289823366853","1202211764787828737","739601308455617446","1051878204674323967","2815129481929960409","16311894640118688730","9013503578802932570","6896146403133787591","13533959565498635908","1432940651051298767","11594707226265489164","6992050616543680197","1818756675701736932","254729504360518686","17591471117099857051","401787808757581800","6003924491780232253","1485623056105804826","11038525242627810506","18213538378740215715","17695122141801406429","5723304055790420198","17528536588924673329","17574053899204134689","9338817843230756329","4102428163961203580","8845254073553937291","13353666964540299724","5309385488281361632","13296205863083029422","6037050468087475251","1993074177837988243","10679449001981759621","12549251970078018942","1490830008217409944","12894673310839414902","7762865448413036133","12128989635394382250","9028621910625593207","9128490599577688939","16135011019470251137","4181796299341194813","2499760146920491170","13862217473237647501","11095877479385228454","114767031863161143","2584915824310705101","2878564141036512383","3298102681570921671","1110409136565031539","1790703301044333503","5271416755542831170","7448261909522316549","2983348598302839094","9491556547201888459","258941321316774376","2165383148240234858","1349962950059357635","13304024959386649147","12304091506709435680","11804575661795544718","11872869729381072588","11878304877690388458","10300428459678429003","13455062884362781894","2775110934523883462","8632144162963988347","15892309218859273498","2166833089445743560","16619030336705634977","11027322908297441464","15195858487057844990","3263310699791823056","15743270176691168942","7681014745657636674","12739971394559419346","936917103676632139","2511572114839459241","7541879192856977593","9397667967687157437","14042477823766702562","1409799060702131343","7473348020351480769","12565049565553930465","17231511762508034463","13065526809377082001","6002528644894130601","12263266639194253566","14614418601065985712","13545129187018982748","10689476848963233719","17952054749971245555","5125983420932589158","2720061883778997087","14297426296667709799","12994582244958302648","16468370901140477257","3101617767052108353","54956327620018155","4170606913035979133","8824062879721726367","11593925066038466304","527874773957587962","7178629270000131578","11539683263448545026","13730603248866016721","7470301553281086687","4642743543238336543","1447903510620712482","3787610459293334335","15761383479143917122","15106679179179478141","15965787197083319087","12088007784589150830","17716657200081602843","5618321613846672925","9644791228513389749","6459304590062202197","7315014888617523491","13861010939252788128","18285604504088158112","5431952576076879403","8786848617365584740","7911197929681609570","3900833388078115039","8911452062946958290","19492097364883799","6427310665015871225","17853090387498434399","600144171343821706","16001293154617120849","10359079618736716735","6254725129420385211","1757346920751969401","15272759696462244717","8649280912793204833","4509200045135099831","1878967058968301684","15503656552423620261","8121442676171110343","10582487755739473496","3419543326477249145","15768058452816817885","17865042949254730863","13668392649512964308","11460035167587261517","13103639856507270480","3009736232337112119","330523464200492683","8604260389232147496","15726115745338356970","11647794943687539016","12352604485602908821","13632764782117134976","15925037196444871193","10585894126031337401","12921819670540917130","16373088808872933484","10659306194134445312","2029848392590031056","1851889794867936086","17471772618969376539","9749711654695499215","15145894341352980753","608855089406299805","15309103105509587697","4466706056365527504","10517393867353091190","6044069662185741783","1601189527275963907","11968036106533850800","10918686121953192361","9479516354179575327","6473975799259859259","4101850946914735999","17747386759131074651","16849449542130885995","10862621300897889922","6049878713170843165","17454275212462122239","7541938361564318748","15579969407866194610","11424990711187385716","13308403195602706488","15889893584005345222","6758656331631807627","3138777845382265566","16284917020324745514","8361906271982722452","12244586930227081647","10495579041170289487","8287161931676213251","18086771076984633885","11601074076777794469","2023986949528235201","3292692837402189488","4799079554004861689","6318749003862921492","18061542556977860224","1475607021395418866","5899870457492645448","4735304055252358201","9387635052799483350","8356993179409419214","2247774780180153116","3700709234541974832","15174197980323548210","17150893488907683672","2692249435268854471","14948628477746666942","18033667134505536598","8830876306846304585","16385386549626568806","3798858281884086542","3705060683454662629","11212658775518014285","10724008229900772775","14852769062062192012","9245606141782478229","206057278511975301","17698115135492643395","2485773440876897086","9892560273999773951","9598131315464465806","7346589783259120037","5510553771559240781","6500990752148359710","9093902583900312114","10453976880069600688","10622765287910898043","2184092419101914322","517517849128573930","4156605199738139289","7894695756172950446","18027618211116301121","7195420214673479791","17306949317932728848","12845648538681341763","2470827526042765254","3948297225016408488","3695421318578678144","14881027189033939520","9429046293600846716","3161625992806713424","3161650124213532130","17647810447550782157","11628514663920222233","1712906219872794639","10361275946905663403","17517802958109354838","584741467484518194","12802697499733427701","16898356954200250540","4556949035944492229","980411632137437999","9278218136294017941","12496684050932445762","17160681763056433458","10764279660115465537","15184304919177695624","15381650491267983790","414506134839966062","17306769116629298118","17840938140089864385","11114926341240597489","12897828354679113880","487492132475506482","1468621138649026739","25145368524535186","13221720167237141352","11656050134441988940","14034470629045271501","9531054746346224428","6507658922958737389","14335671582137481552","18438646769666227505","9466699229005840053","4395379797167842611","8274403559248703189","2649655727898801708","13193549254601471223","15833279592020698358","12769111151265406896","4723412423183602456","2308800234475963956","166624317225922947","2210973915068243004","11535975504052701648","6799940503239097621","17696315895219800424","6224901867330194106","18069524434958508410","6164172396644504146","1089362489649045963","11702008165284923739","13777776456078099214","6876409370405784028","10394044673945459397","4724093149382558587","8700000157582918952","10289123239502030589","8497092163700917028","10521352816000048705","9162643265286239310","10044503672929587117","17560836016736217518","9007731444257263523","4215150366950679465","14911954428074743921","8048134485046939563","3700346124256415954","895164434503755736","13411138075803746899","2614143302201419719","10918907162323598172","9274729901715479997","4351734099165684659","11290905563739172459","8766416456677728512","15780217560076916728","15025794073046514316","185163666744818017","3715251039268883407","6826832002025423659","785471011445062990","7591587676682952265","5162519165340509291","12237024234540014898","11887213041996741885","12031239003891027443","4996166965030948820","16807949573864949813","4031983080068944966","10142369938393135698","7682285148794035438","8532994003984214644","5384773064110692329","3467048585820644130","6057768253970319331","9556167308298222445","357704706098019055","8185056837544436702","6763396222593820778","17712366676939474166","7701971248871598833","3734200596991281055","14401897926431236274","16117977298504557630","18342726945153148496","3583757582564108017","16506718836287734288","15014491428124498844","8178962943845280023","12803480578303001413","9633246820714797269","12448601079693117224","9195754763554772788","9592917156036872786","16417780084038581853","17962052861702012596","14744730633109417097","14714400906751309194","3262578448361587716","7415853773901290503","5355542026702165231","5534966913968796875","11593917340665270705","15100774817454996298","14493515111035011427","6493139025583406469","13229507043125294144","11250597907815433586","7441227378210969457","1989792508050939166","18413271024327978737","7341784605969268292","12419043778182373186","11108760812152008233","4442444741370181127","3664166486668043466","4375839449270135667","8786823043480802406","797509257735535757","12839183225827125113","10100516572020303858","6028622385776221194","10979688883440178021","15104414358521662441","4939457286018998540","12162195881583152429","6563933747161098803","4893457083664526072","10282523178862445179","16737165079860143035","15566100090894777234","3734124549978451997","17843497222449561206","12633340002138295951","17192655135904782528","9689747018722294823","1647511910930288286","13949275064489998284","5400046891380483948","12394203580359659946","4003411853705372630","9752442484595693875","15605662891272374329","274","3","12763170206093080925","16398729199652857009","16133237784380145496","12079387962214262250","11593988490388622043","9684781968040957695","2466568480098042436","14452709813974189843","5922194238007875194","7104883530497705616","11298955411124164625","16314992136048952565","15669550806385261254","3765887696314879840","11852065790170766249","6411025397690731269","14295379489538684744","278024224430528212","7521084339852080398","16039565309823897885","2276958430206690681","12200966895871336797","18145410747497286450","3952509058015503804","18331903339155947327","14097718397241320581","1494278385390154507","11452450540752567649","16464513239159507924","10018573027226518489","15081266518239588244","10297438105902297539","3424690494524205381","13905490190469659235","5501267783189759899","2313873773963228537","8157625832945360227","13640862212376789930","6704991783600071123","14051390169092368505","6798749716893968553","2481135127979109120","10804681014719672669","13042432622151897152","8387461342297484932","8359089884828690764","11571893003267070092","7582804593136841502","4182797741714853579","10931842795926514999","8818014273436449950","3071777619199231173","11073847907852166019","12434026616163816420","9841809459043636046","7748498271360226385","10052036290876090548","8472551675013418798","14571024289774643981","16797192452986338529","10145495934276683682","14353496650014895325","3564227362303363411","7520275783924621758","8431358984946505313","4793207641144313864","14688036038035629845","10619068708730365635","12791058973008685585","9454955890486914043","10952025211140777485","2280027820369936278","14991528682069847350","11884582165053324686","15225458758467530066","17583383139745427818","16460187968377701003","7235853320495354896","14764738665350836699","11734900458133121295","16925717767167137338","13051912018037193543","599845534222880931","16399524090866622109","12266540042653998573","3139119446221497936","16010302668217952303","4029859489379666817","6218000466661553994","9808458858249677023","6616521565160917553","4586610527001271169","18363814590587037639","7709184708939203321","5781363411290077512","77027304260288579","10221817205634573043","16721108124510915586","14339024134630653566","7860229454378069209","17586879208664421238","2846747011323006505","12133076199929462829","9718909262033741574","8570613387837700161","156943829173966330","13549295327736887531","16548179595925534312","7541241847353510700","8647699500037129471","6998652284394416152","2244482955467123006","14137621036864077419","15064183152242685246","14440640810168021581","13208910958557869434","16992738103262132010","11625886676571219635","11718558466937129480","15660046865139122050","9480270005275566770","1126479352298051729","9900171650261518641","4366868738352705105","675869568065756148","8528547252598262962","11629884197876447610","16541624499628390164","14252269061878278725","8578126795809748263","8546098672265825211","11578264296060751750","17213044657179454003","6848170769243374388","4528752539628920699","7407703436890779710","12073948042296499752","2789116788718043306","2874789615920087251","9721092648537586449","1430989316779697252","2209742337481018238","2965523216685104489","15760953758853139450","2138902543834983775","4024771750273073828","5829075225765309612","8265216165614234533","16144632496217712193","16742086467726438420","12416800307532570220","10168662723588844192","1808333735697688649","3835972882965353390","16007627689254124086","12400994180431509684","7776685940026679159","9275765453474924618","2126717242451601238","8908810954531782468","16215056853169060415","1704771199813247223","15069611274702841349","7505960845095068532","1858247746961708630","9704351222865314318","8184838911166770315","12271271224386564601","16785188085552332187","14212125294725579366","11990896418753429660","5173728950393036060","4257934734849397751","11903834362974055853","15368559197664582103","15138925871856701819","9140226163314313056","13338391505963087906","17881753260390575905","16891147570440160599","16120991477632210466","12408059045542149805","8606114773854755466","16708798433350621318","5031058675584975928","11926160270426480177","14618108403989090131","10666460093262372778","17912787195582599814","4732128355358568981","13278117879847905345","16292741363245786918","18043887545578527233","6145307679718405202","2587387832964335352","13928519502921728478","17319203690473799337","17891786076204549151","9545660924501137029","3573176350502168432","16990960461840770545","10312298221006871419","10397014170419968166","6177632790894486779","3875627103880154397","15873586449792226951","6146179775749735819","14282356860455186536","1355130114248112204","2880550742617338400","6618534448711160322","5021314746226763296","14992767150195821281","1383803554578783351","12242832472698411735","2346402124538094634","7965247164923242469","7347458268980464058","511300831703929336","10975589032037840754","12910415900968546343","17556401017251731662","2849140270986680537","10705533676482323584","5037493258437652703","1769327794590900358","9927763896027820374","7867309321077349722","17435105467240235462","15587144101419868814","639497107536837171","8098611206468682186","9192359010325461946","16886754375680065251","5088438757177367356","14890267476245331913","14255564618710973380","8742447264533113489","12018144115706155492","12584134608782390543","8903743269347568130","12228274310818357546","4393781164818661213","4137533044679541888","17275668084969122221","6857955481254283189","2492762431414027954","17474150428456467718","6438565270235610027","9373095532074544914","13946011090190253778","5748750865643487750","1728131417163647165","618910572227011973","4019577523772704368","13410980692017929976","11588222356708053953","1836795193188912241","2719686546992544676","12462583176859152624","6547296977596696326","12779860368737829305","8211712911858623967","6555865328676805573","866108047993547509","17816926986593174193","18099183995062845064","16164888193339083013","5017150440338871097","7108418591444496824","16185014574413411934","9994840243631520731","15694497531324683626","1138","2","5584365361862624829","8024268237791968938","11291104687344867801","14110655065142929352","11254430483659583526","18082840509712309926","14854063594201826145","4692178057968505397","13535678066104921103","17941059988154207391","3304310559487440227","6908569182331324335","17112195755826030238","5403464079876970655","2556056378451547880","8013454770020647109","3369283826884810070","12230811747501654947","2499206380923057491","6550608379358997480","8643954488277367582","6882857238257282524","11976173974777910276","16493618725409504887","6623378944371704882","14973244771747468103","16360046392355999863","1451393126915393804","4707357986403702934","17335920370349122114","1624558564550289715","998284861940908149","899738792637595260","13848859099172688401","4722783516650685918","7443006103744746469","6443484346699662933","5260005687303195403","13402694323019464569","18005260849205823727","2795018801459817260","1207108310430746879","550539573837068029","8382572180522948329","16484030842826162879","3673521546496941031","726559131863377086","3914015915905672282","10785852493329732748","14647006733968727829","177144662560113839","13843100023237472248","18342953763283291673","10017007481273323689","14939516920491188468","8304853717074352819","2134896645839897408","11338313109652346610","16386551772841940069","678977794559284862","8865948259121922309","2321646412717244556","14243828403044168659","6393167267407835465","13736021611227361261","7098921871310568073","7101181272935491931","8359281602302918884","13732533004692321438","16066823238145706711","12022098629033529965","15309892521792434311","5038812645789095011","17605772110701829926","4035018377790399157","2600059856790831567","8517830272160386287","12016388914532283863","757387700796118412","9098484544824611113","9181269909227232919","7922103708604949545","412353324483213996","973555103680681290","7858174927021777334","2396989299269995228","18383170701727614170","8211686672466136596","8751267956445103806","1948297206922861193","735749254720651750","7595206077587606704","893983946375855448","5218079107288864744","10467214084150479766","3278109333001036812","11946288098952457463","7103998167665539728","8329249656264456820","13579962097072395066","17329715183775169050","549428393650006274","14651440147240506489","1727281143158616904","11180355706005177873","9653458251789627624","11470282679877285157","14164964355409610231","5794012164626396892","6961126832116949612","16642109658497559445","16281046995359972155","5994530303149235346","11469018253892720827","1043155413036046856","9474045353869021645","18026078782096255784","15004247136585638888","12041115286967292540","7953716001562545091","9788847649662588182","14806526732276980393","15234330160784012805","11910729300103413539","10897596581486141414","6279707500225572168","12384548222428232450","13263593415275513019","2204337633335704581","2491735746652455108","5351031746701531001","15117479590626975453","1428805132729868004","3322337372426277456","16697573864030603440","8674227820810681488","16025473326867321081","3169272505657586325","1158264546048858802","14099158048740054630","5179273946408879449","2989488949577602145","7671249218287886141","7487798802397405305","8983598218574732000","3979399350754295248","13730825971568735210","17187768453675304627","910720757335014129","15319765547839879949","13611873481640163903","11199442133380218833","16205760942433192660","17596467693023823508","18016699760705983900","14227262039111910727","11087090800165321683","16316305332457224462","3703490308581177459","2109669586886298196","17547352811505705931","9444513001158328892","12004248927804388840","10727483707338596603","6861621699489450455","16404678675453881567","17050936860684800280","6397197650099867438","16946841618631694842","13231706447383467609","11883680382680638132","2651874858486717333","10430094072492496229","7563910363596741487","4705115473713239081","14605993466603257693","4890531687631022171","7870241465049228533","9114774093370984856","16369724309173552804","7862429730502868623","13795330549356920252","10476694713277770931","15658048839308614249","11487463558732406590","14222218757711423267","14026171207515468476","14221906824822779413","2103335701504595755","11205152032814655196","18409745622701860720","1181021232912015946","8081187106649044928","13513421126333011591","15412372539420022487","4304870191170374558","8603872251975324435","17519736461465200373","13467839078415716126","9250453787520063458","8023093334527418125","5197225912559703313","5242414793353790260","4402105783549881675","2456355119408920230","4406529897994388055","2160939874727243137","3761594246998494518","5880331747066338264","14180239520755374556","12409406804698896606","9478646661502393152","13229952196734263762","3120601169966485017","14572941024172243692","2248763525107042674","1713664227268838424","11988437040214056679","13239031348297703712","6209085274590526408","9157208415727612193","2241920854087039700","1759695671831758561","17017091140905860474","12445141222055550017","313566885987720840","13999092727510564259","13772833112042064589","17024841659586853437","15885249139530919013","1167945684920925126","530094319814191569","5254498570348724556","14195618248362386579","15949625941067821634","9616952090582253823","7668131290426453729","7586814581612998701","11643037829623558134","7150528083636402467","5896994579413257403","13191606310389327792","15638374055365875141","5947390614537322955","16620617913725211196","16745847284405118206","4929926942825738720","17037130525129441114","8210604702199059598","6673184646986665243","1725914546869672498","14109889287710137136","9701040899364735425","15539334333806152022","6321326754904333558","7753966528193288905","12744049858588012318","9317780061021593369","16584136091296787650","5706491083839964153","12598697245946735938","14916866106815153910","7840145680184016716","2066615982413391018","14377916514209175422","11536041415638395090","8834415689796280931","7861529402160236415","4903920578281643516","17331638031771366170","13300324768204513429","13423079144325465030","7304099111210145489","14206045513308489515","2799155752746683675","7058428282448373063","10370242361527150542","1713015643409552537","6086255907028931761","9487350690196651615","243584900109837456","5131878653542089756","18407028780695654954","13826223171368621325","8370389065529318346","671261444353632789","7971564984247464036","248855316330619097","17393972274114140667","12002022621750881338","4387629539355543656","11889615773552407952","7639378210680315113","17307252997060867806","11827521221974043191","8994499276032682233","17596805366284109142","17852378251036727395","17302247132871510964","3562796989144319201","7351179277433883897","9894464699554698307","17895357935165008818","7886835288345590785","17093479076616980490","12447263446506335064","3808022574074419286","1537270322135068856","465781742959305483","13283645573297051279","691264410873727212","16304326427610545176","756999481466967169","9092153628648756454","16854005712966391398","7631195073014586696","16739397521785750546","2915848212137263258","18342062436242797879","10108153527095703091","9097247211738463855","3842299234322305171","10040609577157456549","2992116195324547039","2617058118252868093","7889054986181496934","982228632151970988","11748118170207791274","10406854870676052450","10542693211990054214","72772313682742812","4121351863426850293","5032270505510268168","352794956642555465","9218678442538115157","729531980469887094","12823328458309834711","17370277410347899180","10398122179335018004","4853461553669845521","8467521693341428188","10747684354910809919","8298865443444322995","5949864592045676932","11213932458688144343","5796974320382044738","4924959179062257302","13727072133490673035","13348758221292543033","8931030530223419652","14502737754809377758","8545146468538615704","12446293304479381073","6522978388830471779","3338497394159130","17677043950385053948","87237759211503979","16072835786715048383","12568107213530121940","524821146024521144","4347983339487044436","7692951239839031388","1876007637756815490","11980409980507310063","3410432137205844825","1889501169097599827","3361044952844045692","944756840368510511","7093193733218069591","5171930241006012620","12959843058866648006","137362784993610448","13945405200166343503","14568090080195535138","1324656849277697749","17338719738996028259","1552099264458061179","16675182452627476241","3462631803990048167","11416915682850777052","11485126791811549105","13382105165143725846","12374871807523555491","6331967439243937082","1730720395061999027","7952513316180719908","7914581668666422208","10056315463536777676","4528476199771325323","5345598870466905980","1545318760801023415","2492413870091372022","7439211550633995111","7783168926747903826","8655648541910754253","17630722201042052035","7875161593158884909","10622010677764757507","13039691960780577993","16234679908717509117","11729642884362335282","12043269050319326572","17217261866151065004","1390945224973590538","9929997478746727383","15558073715746501685","16565161331611089059","8546975743236149821","7244589643312936837","17950311406752676376","17780870188747052080","3741289322198380190","1915588342770975670","475681871773724161","6390324945924473743","3620087814605380289","1543226690451471654","3342583139726051364","7312429853236963112","18417606843243811314","3804291492387467854","3563228537945876450","1627896855388376968","12505071876727093751","6320095634822845701","13783148192177769073","1759411242942787456","13449864467669644221","4194510922844895300","7035323914074113570","7746336833430380560","3506020978176426450","8252972822255533544","3363342338677602108","15860057550016598288","12294612209897310976","15928643415305498961","11354243516969860152","4253788606728013842","2971764378314944825","5998153855684453591","10306413168480827045","16416631033522752170","6299554445794688616","1055095160951101069","10277507813438881579","3159899716128042128","14159382324828943886","12824971644896239791","13630207875860311798","5774040440241774485","14452449769485761263","17357800567867260407","8702035731270204524","5448833357051401921","1099513148024589349","4010829844666367988","5606420587451673478","6998846628319991487","17324347066065519919","6736350314820674406","4791692090200427991","10895880624576882167","10176437541509573450","17398305310367717443","11491029038859949934","326843194164405939","7868638927001646186","15596769806690309105","9384567374665053523","11331565458482225941","14300434292021503700","8231652808550902926","10380771736976324026","1596587413842711990","531751316592749475","11398218398035577018","16061728560978152235","17158074444045530430","16489726987184882796","15327860505779516114","9065650653047263581","2022463198273635045","4906811707648618906","9147300621281565547","764199012040439139","13306099021860942170","9123052855408841475","16482084624853760226","8002876621405751521","14654252783300700125","5690755950808295320","4529803519277372520","6111887862955232015","10480485265151777059","17784362648847347881","3796320904881743448","13304853403294518135","14257045033595554687","3614951532478141928","12280690905585604019","15486311551539786773","2506157025777979967","18207050304301208740","11683612574340071586","10621241990628887016","447476938107515202","6151031999857472262","15202443107492027406","5044742741020062316","10253232948883640210","3472270531550622107","801962618515791456","9707116654635797733","13431035390681505455","800527625075170108","17463653473069896446","549250022030025144","2377048033622171815","7913434142811932240","12412440758729446315","1402911198979952055","11103670078539134075","9240164851902847642","6115602422293964173","15822111202159333035","3710208173568354604","9759556562509239310","7119253766732523277","1493590022240798225","7541864172213291019","708604215079323356","15295892692910632464","16810267867170722715","3405798323396023974","13227339792196180371","5948494978273346184","8046891750899388888","8229214597485076290","2428304584776625198","9459253700414328052","8814336444896827937","2169960118121515382","11719927942603820439","150874834514219006","10062385421124245867","10500111894642868861","269447128815090718","15548561541915350460","10380711991410044838","14274516878340620542","7307969373962416402","12265102770349790855","4147401328440518335","11550736914373366623","17076487782803141097","14064042852883706985","18141247575521868086","2233326504672533789","13219485671246292628","14120922108577191881","2268517804437964610","8133024290741714421","17747259839402479975","6727237408464840666","3690885894288722932","17809098013933449216","1101459728260755139","819995997576831837","9561441953004639696","11211781947593415825","3630666157607622556","1133002579293321205","9420936392697778497","3705532026176353779","6993804025354211358","5278816358833771218","9847116497585465136","12203039198073096879","3731389907437910991","11868089080580096668","4595391577540482182","1754547661636301435","13483520357599343199","1224763626152597718","8504049285312417605","12413855734752641964","13510619332335845949","7683603118709741225","6397252308196486017","3034750641432997820","12154405150996538750","15860127558705223226","16367590405494882681","2683531682414362726","7739758524714086983","9696343238142578575","14311572056223195675","4650579959809146824","12381966340848738324","2273986893127206269","1185460978314530684","10129154940186963076","2366465014757866091","17259173547292112511","1536524377779214100","8685650158572346739","12378296167369970216","11422752471414831692","9353731072428576902","15367719181329249590","2724865309099833296","6813161508293493","9385103928327943816","10042219086609432178","2315409766759764161","11542570675684545911","13088761718716962095","685240089836983916","12785134689542868791","1161345345515819874","16310544352140611094","2310776408465647800","805591875518928691","10971658089149767076","15606415132675992050","6554672081222600241","15313809937766200303","384581641057678750","2943228780000223612","10818873231498535307","16574441446820211691","14292388464040132579","5000858640146512173","14260572683621473679","11619569310159609379","11830339366370131308","12819635906918196538","10639878506378721539","6824697497115874857","174788565689915678","5748200040240519166","14094036426428848216","12761865199146368950","1856153929912666941","17095051410506309881","3355909039788759985","13024637188294754136","1728480934519665139","16227617896090951836","9487623565030009859","15688791430751175041","4518233263050439532","9261011534730730465","9676121490806528249","15641408254655161927","531314126292829006","12106308488215491001","871559245246764313","7715614612448272675","1619592584510901825","17998592505741417697","167495821037342721","6393896868479604681","9410921789470577291","7958943245950888714","3920595752263305552","8727241391289201099","12090196123566124857","13694475853807128256","12808436485336823228","6144648764826351675","13134206096097994049","6965736259172295370","3275140259736621867","11895205063628185132","2121185324154314796","15720195209114190865","13056478279321857689","9991291133215559919","6930301710803273460","8562970026761425581","7581781212082116720","2814127624157601999","6353464394717319056","9212446786605743317","1987745271848446550","6697191002408617769","12613140893409840138","1093877058546446453","10851240065887834436","7925164606576489698","18173605407041063039","13371265362800455805","17276828832908877939","9083925475892524430","662373280638498369","12984785853920427484","12030801906146888015","5826012288738093638","14506833299285414146","8979471391453723092","4142155985320113480","15684580123763623081","18015746216505917713","15098224359728474614","7637168357852231664","14668788163791910889","4292952071893845153","16852023301722444099","5247018655607747468","17794758601917922177","8728968790985281463","12906949316017646148","16151344483624625181","615715965172050617","3993110364701464365","11034400973746702443","4387578543409019901","6614927020022508456","1627341852539036618","8359929637545216612","797670500264644761","15144332385172364928","17971022572814183458","16569724033132585779","10876910825885534262","6880686747086814464","8821118579211303031","7435103270773510441","13925829004282621507","8955381866397097744","6892728240870396235","7220321088226912207","9063834301823996509","10586926332474650520","13817751981902144011","2714018356472401859","5834691748816162219","1394121877877211047","8970054624451370073","6515735713467039530","3464608770718380150","8785003059686198496","13453526074149862802","2998069197156806183","10324824898615353077","1505648579087254027","2417680819018764217","16782446303862748093","7031076128364777231","3622539348915383173","4354285923170297242","5215561884990041089","9861340069629754336","4284398277208987634","17025704872269219769","9298472299048386657","16791648640392764711","9776449135450817440","6802883741441786856","14342403950056646523","1370153732913019535","1347658923040428454","350930078025333840","5808865343562626171","11631591101429270258","9824431798726790265","6004191174366916724","5071291711282409946","12251884620683007599","10468667399597362916","5249736949644165797","17719575609945354319","10828738229983135918","15424785640556181192","7416428517520574243","4123295867153323037","15621637837743848778","2493115407733763357","13338225386784138184","11910466418041034524","13847928568009516094","18388279072161711012","548539248011132364","11588974713867996482","3298166574574261722","6706749797415584516","420757112360909042","14809254354095504555","12615593385137639333","10809131484402833721","16162883746528051851","4496862030356585321","588101608813422057","3556912191620143231","3080024598084356120","6843754645045616141","17071748600855347840","14348274307758549194","11260160506263618722","1020348537481185751","13493038594188511364","7879231583381045326","16780109073036428805","15177387482529177904","9391810079694820859","4741899353198936407","11701461549294135301","9263827535599784520","4793638391746306766","13160494908392675435","10558613904298216598","3846573081188561191","5542037177109733163","10540398557681641064","9268728699095275000","2533603976916512594","15440071625408455383","2114997581035247061","12655305915096674648","2551898413917239069","17098211916371296633","1281650824933553639","11187389485383793064","11889771785121578894","15184570040783084300","6109727711109308576","1239093408728104021","9646482881842704172","15846411356085431475","13232984839077378581","7480472306229167","212605010964225203","8561654981770080681","14981147726336064649","71581178708134745","12579802698251930310","2922070555600587816","11515893202951359109","14052797413935590689","9757513795637196907","3049272819664627967","16395038641382755629","8358705525647698457","2893558630061289627","13386833979248304742","3160126315083544825","10008615707993086403","1694797940028098414","7203581518036036720","9283893400596156203","1952659784696991136","3747521156136891389","14408191774609902727","989854180516559737","7841783438257257171","6878867626583298215","3499124632208191894","8132299749328743606","14674612781771628916","7608798895201001061","6449439091929092459","5114802459818868003","332895681405143664","5104390564290379562","8613705177644660299","4549108822406522786","16765580951967405249","1516215001859006875","5457451257437386248","7715952279704889864","16431937309123667152","17395343387973738191","16544281082828824665","5093823185888263769","14301305431082652262","9680423883685849077","215056312823420121","15359496591732439333","1694639373742098357","1390189218047145936","11973204450171291553","16642232889097075133","8073612180342626663","15790318885830980603","1046029024088459965","398464247412600163","18006200181443337701","5804873076883422529","5664811156618195589","12347389717945864606","11223572263732528640","7007896530619115864","2374877232532078944","18020313216496615993","8232772045745562437","11474218855785816980","6610427797751324348","14348723999500453688","4024887183652935745","5856744163256592430","6917102952384252920","2598540604896406745","6139140827004451518","6966464562500754499","3679095845983574813","9464217194729288268","3085395416154211715","15476808942514590468","10920633117349933062","11964363598882386174","3257428617433044131","6761377661511906418","6856246895691292214","3616098256710483796","9340161599862986922","3365557615778544303","1162279348699826317","6280352919587726873","1151194682223136512","9164997470712909508","17293002640539493427","15014054415046384110","2438303271515384296","3844914043047843245","13013118358026297730","9535948352985944450","700038142596348987","3178429626371260382","14377374688216917097","6176618205518907066","13359369190808154132","17508237787193961970","13739361882553785573","577788013103745706","16696171543283237040","2212059344218277278","17300086687085950930","790823041778581951","2800943254091952079","12375202737508497392","3158947237917170286","1889745988012067645","13719652612968557818","7490101364685302564","4099878664922008402","17846456288198488274","13681459400717075395","879607913738940812","13157493694952221189","12834913655077111533","6218380772673719821","14646982376585562704","17735486447119735129","15956706884952713815","4298204444840920271","4568948743254899953","5746758276730422674","5048229009316736834","579082057337351531","8383020570584995937","9219817013648931296","5683139047081041206","3098866111691460092","4307395667003178111","16419397335190484805","13120104787025117071","12237990512673266476","4372615973585803275","17958000646472884034","15417593422835779286","15678296545959995316","1318494393309021501","11280952194698213733","15034531728591029577","2114832481926719987","830989375133091015","8019195290751568085","15628872607138707151","6946818851473593145","14246623265471138510","6077093120489758838","13300896353085036071","3386291723513404276","18260190491173876588","11184814212104021331","1322426059197094251","8376012933709914345","16720928643075295339","10862036165109218393","1952308439336732112","13891886450110696054","4137439322438218252","2051650979728662129","18031462846438352764","11834140221729628067","3898037823213778312","11824615076230318219","5430135895731599940","10537139853058047639","16187405292012090832","10088141280252055408","18367708552377302394","16040433618664261556","4091403815936756619","5548037299637988963","5040447507154506092","433579272899953300","4893583229382314749","12112072039591502947","5147146949691205536","11731516259369054362","3762389478448783845","16551558050232768534","4160138135849801519","8448464448796236921","9526996787999237774","14376851814137216581","3104970646345023466","2348632034375730475","4115419026457622669","6154789315583085118","14078839876244508132","5563669733102106814","18443062533903725085","17637232858210137527","18059200389232480709","12582649235029638853","5333730958510532465","2168715241411784258","8897736032050490619","4532495092706995868","10831955534136784116","1033469137749151582","14473572023822310333","2792048935105776840","694557868883877187","9023946846216394973","17623889482921145999","17843033999558096855","17251943803897595068","13122884446794138206","1275372534664111772","16305302494909806068","3991990630231833530","6967510390625368893","3717595751019360300","12096328445396004741","4788055268834068723","16835561772560550023","17718473122252172879","3035620409806480299","12986562217638653749","1842482814175785942","5480962205326994607","4075312909671675022","15074122066418422479","1447681363239597767","8490183542761237338","3472641071820873873","3743568224137406816","12134969903875557815","15900361540838634714","15350646177235243647","5936567655502312464","9373401942813735412","7642406609867319482","17664848810791057490","11135040096896723033","15790962800945277279","9594584709436421835","13433416646994171637","14636694326096253736","2114261895807895577","16743350501638730011","11266969109405972162","16782973782968642985","13926375243060679034","12370255411151532685","18084175329898024485","10895438986081780697","7232625141065066830","3467677212920477188","8204253569514482970","9450813573372898557","2595573673756775252","16912358132068986634","14071393971124921305","14242038207396754628","3907546844089101235","4214014608220031588","12458027593799839649","10745397603116513481","148374314976892674","9903068437461541979","9790248386710990503","11810483019719398453","18240428070194032830","1214448843349390013","9480085001671587305","15538116871399461268","3137889962736391135","13611047385249229856","16208804440587885011","17960179389614464169","15856042428327500687","8913688906623663489","11335905235288454964","7102495888195663931","10996856286158832469","1361813115846396763","15326601976506730401","18210570310480242869","16692989433867914366","16901237863434313112","16192416976662327720","14601279501346103949","17678234945125839442","17010948100896001966","7611555994930519989","6103038078031547149","6092815861410811272","9864455610530847294","413254853224247762","6338270097330218756","5119144631629790618","12178173878803453234","14449653190410734005","12204352418911843087","700059888421086613","15602269564515141897","3692728229869785458","8861346127418275844","6021468710530136662","10017014824438762847","8471041851456666806","274","3","2916294441481529031","16529068904747180800","3491413177338740002","8565369667302005687","3252426001463731694","3016789353335912886","3603578597215987354","4317172197773684675","9741319376629689265","13152924249985329523","13533275208309286145","2636708566458301729","2196647522211903489","17012102348122496117","17561418189079834416","5964944941231196468","14298711368310351030","17427091244134035425","10053164673103866180","14796274023200600440","5551582029393367133","14834264949792281527","12567887483462645839","759286253587956590","7573782508989956354","15332058580211898989","15175982420535978480","10080481424354374187","10506782228049085744","9430430760615253803","11131086249127941994","13771567832939604389","16400271392304581512","3088205045330450079","9720915975230535881","133619039268691128","11584692144088994583","8742623123199069832","2713498502335406268","2846683265522302193","4483552372773445144","1131285197460895753","4643583846358838189","7488685668959518768","11095273652501893836","10038980309913110626","13941952058467631111","15428403914724460328","15603214671572412929","4390566690046430270","4333300140467109276","12221366165493982778","7006737722003134274","15635399197476941864","16473912812182932411","6158832813905365406","6369858523547652810","9248100799273236129","9853591427189098680","6142419065103825566","12334984095979713570","8514687480991904115","1495526507831317460","557514446793050575","17119175223548598368","17814346214710103317","13138186457478420803","963614204370040412","9918979076291220008","17801891266314518453","4276726112726463224","1619708636103024886","5677776273061202770","9234845236373955062","6804849524482415843","10540522900833409082","15496033397880877802","9487301331175669422","14109365627903572670","1484684332230503892","11727412561962102157","7329098097728010861","14503778200880940827","676878785175190449","16777162990491432484","12979979469814120804","13490354638855983621","6570038178176366347","4772841449122643311","8678477730303942604","7678234060558811006","395541169127236768","10361082914243696713","10027195901606283526","5164777925262628518","10265826298338191636","9147169516102837194","8956735751379421441","8559324239933928739","134804547225815372","17602196612907342550","8862843486115927376","717312693888720065","9146622160714738795","2718097889610804748","3334270610592621929","12934437801434475585","10587069807278837138","17540512404799659033","13735884760813674707","3169706663276980239","12585398594966907762","10098190459619004759","4352135005281875618","445455912113099901","2566028645554408905","17484357061231213333","5202292403315879448","5245022398252566187","17226084093039685601","6225686737579479405","848288954772902299","357085189230829301","16528889981854712489","219632831979227621","11656986012310558459","3499107655255206825","13949669138377710002","6398453377514889848","9854001205914118697","6270629863043045029","6209141244006749329","4610615997673547721","2149496520036511764","7738331289000059562","12276294510047421716","6117058267586975138","12887713386029722057","11089812370663598022","58165429047455313","3134782052474150246","15688888232079413387","8920509366816316821","17046866530276226031","16627969070205286466","11625751951122100086","9003503880770225106","3941205909088568155","14715878988315149935","8967931073362705679","14169015180011516776","4746012757774371590","8566351460952509684","15215536788537692091","2103662118934570726","7392900472963053353","534505916776753211","17176144754798256054","7418778889543749856","6946484795829114451","18408152689019574820","11174964300751972683","4109858463987831461","15999721844492256224","8626176773538027542","9726621124357071963","12691607153505886733","13650851327314334179","6032395736037750194","6638275177287038407","5461539450552879572","4683489603732611660","1431762523212269328","11464082719135706427","10583157295161898215","8877830215682767119","9837356061709864471","17326926518993542723","15218169090266812791","3079734443046709140","16904455282007670607","8573692498202111914","2252059754750502179","12344127689716486941","6779047868505550470","259723943637510056","6203191340111594575","5038606952094943789","6954896133196403847","17883449737213301250","9523846696972827122","9217850265207110938","5210876082642190118","5342871968901288186","3587866782502687184","8166112370234505483","4864088377610837340","8030014837357280165","975143445508177219","6788183437650339465","9119695701155834360","688969526380284377","5188704604927007775","6015871272097008466","9654956405826031123","140870924593557711","18376735851593738768","4274054926874930541","1864852709788213486","5661390313817455533","8244455944718455253","6494087677099517259","5815908237209230227","16185539054067072727","16586547279309270284","14338885141645333535","2520213281446611333","8483711649078320526","8237319323904812620","16266472454644520335","7971536683657834599","11139521529384968271","341353265734456753","5588920417192135316","16588294846969378260","18109226371411681975","17560538021821945098","12865020042234119208","17097223076830425735","4659102511620950559","16777742394731656688","16078911037098234681","243808803065545815","2100363696372290478","4997451579305231391","10092866675783711604","8809735060949450856","3200112045172015562","8402975331551826699","2596887937043526977","16988496492901472237","5020092130937289736","14937711259280394251","1934966527682427465","650876664022703729","2410677976376633163","4475579024613987491","15900320962096207654","11044238186550490257","11864248475738185660","16295109775909478273","3889910730083130432","11127526528804567189","3396776638594637606","10102828928542773508","9062271298582566762","6015465580602488211","17435794316774236470","14024837891612610280","4248559684962233176","14914515210223667907","5075746566461759414","17691806200104963086","11419492528304508803","983141884406973342","6872786629392875410","9498636691413926641","3425127684561626651","12852155825805988308","16629437181121770115","7251557239567114879","680803274178747527","3428236362689783110","13","4","5227334944973519721","2631247724354161168","17338988213175390380","8776295084871220412","15977144544687930917","12815087758277907116","610111393597359056","11749146260071013290","12800515365759034194","15158113139144036225","2535705921904652092","4226723538075088647","6","0","4214410874074864538","4611015120303208865","15840732831881709616","4718711926309418873","13446421488082104320","6","0","15329207733845118476","15304442033825157205","11273238236443225717","9297925736282553639","15304736265108821451","6","0","3964265432957488933","11278988102143728462","5148628585925596540","18324156976267131627","9755645825924725954","6","0","8618332934659521313","5777009525534141006","6801824059596499207","2837937303523340938","12548281536345467959","6","0","1423785688528373406","2216034410991536426","5156092147500127618","13343492778309567645","6716986472217918943","6","0","2682180932555042984","10865803838608066001","5810722121818851040","11753418255820094962","8048993009364725223","6","0","10873166465272763084","12945698709696505689","8309986065630175988","1879089558139972125","10185970782671653556","6","0","14139041320123899573","8078340676299081204","484593341529446586","4080137027777682415","12937413830822851003","6","0","14154577635762592809","14862856749530244473","11420271475505037236","8656438766290605769","12933344860281333262","6","0","17833519085159856308","9249147828397922178","14346738585234709116","17954301738275444160","3386636581506769946","6","0","10361682238952566609","8624546135945804596","6912554170836227567","14536652101401674507","1937571109091697938","6","0","17805245230405947415","8407841750297020663","17334142187908975187","17150665019574