{"calc_d":[{"args":["203534503417389461026","51737290128160367667"],"result":"10066111424425852937459211"},{"args":["254419039710189674583","90393770864465406220"],"result":"22704901901225881143720443"},{"args":["320777151328653562920","65218686529674464"],"result":"33007325256408844106471899"},{"args":["152057789354015339833","298487960940028978479"],"result":"44158609905858581111480248"},{"args":["277023069580322021244","462639468354169027585"],"result":"199137372623123556081825575"},{"args":["128900576388752107397","424856470984673996253"],"result":"71942559615872939129440497"},{"args":["253754862113602504604","414972326411981508495"],"result":"147430972248019554387998076"},{"args":["370265078802602963107","119354871867403379907"],"result":"66585874323880517185721858"},{"args":["197927119497330500325","316866379513438591421"],"result":"67372026649679393479300428"},{"args":["476475756533222028327","384593385641187074543"],"result":"319603433982658145493958777"},{"args":["152500071821287079634","428917962847564404848"],"result":"87713180900290547890500003"},{"args":["159535671466172152957","171659246475105803372"],"result":"18163506506056128687157620"},{"args":["446637107196066293106","255165726206680897503"],"result":"176338292086994908160194165"},{"args":["459140454090116015222","400524991832356610897"],"result":"317757684766943216837696944"},{"args":["168476307811277104773","191725445738874005459"],"result":"23360959534600415654982939"},{"args":["40825400884774275599","194052027855167174368"],"result":"4680031339168265432669801"},{"args":["32629390055763724153","283310784381690716338"],"result":"7891733796249014380072774"},{"args":["47628229417774870967","135022714087818533249"],"result":"2712991973958346041220505"},{"args":["224029263398620513436","394423446154750214847"],"result":"115800429521455126079397663"},{"args":["368349638934937859465","150796048334135471113"],"result":"75106418107855168412226767"},{"args":["293215537527208442763","70416368263431453751"],"result":"29571005758696069970395134"},{"args":["378549138573496351461","204707811760195134049"],"result":"101835515719108289984007556"},{"args":["337953218563615710095","166136819667062154230"],"result":"66582430067329443333146698"},{"args":["106290732706356192517","211998443952889509327"],"result":"15532024614397863471220432"},{"args":["271483129348320531916","149190065767297542783"],"result":"38136895758164904376663679"},{"args":["392137157313929392404","380200302627495303579"],"result":"230352487412195823374747005"},{"args":["231704523660278403046","160152554121053394138"],"result":"30268374758911236438125001"},{"args":["475875117999824707969","360237608207651006116"],"result":"293029874116074258581661982"},{"args":["18544765848642814003","413742604193366209297"],"result":"9530020458852960092344800"},{"args":["17315850664769429051","383011334872066160611"],"result":"7625777458290875488203226"},{"args":["366207507580640887896","168786420351078141575"],"result":"80409832458164492892664459"},{"args":["108550247994609525491","69297597457022504402"],"result":"2842890546946101526124161"},{"args":["340358870766464314027","43446477640719658803"],"result":"41355968349314381865174377"},{"args":["248150244744804301474","278719504862665060714"],"result":"73113060266992987675069221"},{"args":["216136513845964759811","254201758211893682856"],"result":"51996089575380180751930741"},{"args":["119188625457626441177","473484512058457598624"],"result":"81855014728181508478172269"},{"args":["68918565546769038636","402557487946397978126"],"result":"33832631204159476459751247"},{"args":["101442897261563099923","688741578387421170"],"result":"1044058870510945520587288"},{"args":["254574853693229699230","432975579225185493639"],"result":"159672380922748797353951714"},{"args":["442142386345187880079","488309726356177153949"],"result":"402716132533823599205283851"},{"args":["304194740558613566554","349613173107523789048"],"result":"139693085251218833708632663"},{"args":["120326452015692063794","186691383150757928580"],"result":"14323597397753931491682293"},{"args":["234838941192652843663","348182155258861574675"],"result":"98360357329687097049730534"},{"args":["144624526066803205450","360639417977106831153"],"result":"59454943508927939257414618"},{"args":["448764209735385676866","229724225114047825299"],"result":"161424513789385338778072983"},{"args":["465159899439964458033","282125920491792839962"],"result":"211721638888610361689809721"},{"args":["242214076208700161003","124434157462470722787"],"result":"25461358964996187097559578"},{"args":["319731884272564007755","427836647389186414720"],"result":"208260901731136224410984741"},{"args":["128228622735379683922","463140507149750516958"],"result":"84623193156126421463795474"},{"args":["287918300935324986898","274176656175256168597"],"result":"88798456488719867429138762"},{"args":["399009611300821950316","204805517589639132830"],"result":"113735523085459362462725960"},{"args":["298962480011365484108","342451224148645127173"],"result":"131901375368263624656038063"},{"args":["458918619241916008309","417807326848225875585"],"result":"336981732962799470013164959"},{"args":["8321391354170423194","418638825627437107417"],"result":"4375759078564090484113706"},{"args":["112122882216947108405","45186728405726406119"],"result":"2096368479159058161862966"},{"args":["79473488067178856894","232428596584509634775"],"result":"13382158613565155078230048"},{"args":["240241492605128496715","46270003977032086103"],"result":"15408780522850374987556031"},{"args":["246203087878893202310","312588899816867900578"],"result":"87094692277243234269439324"},{"args":["212829691474718879976","124284213846183739037"],"result":"19502898854730370182037716"},{"args":["467678318392372912636","34542912905847177770"],"result":"103966128586312799044069665"}],"calc_k":[{"args":["236970","101849","6","6"],"result":"1238938080971780785902745861404984240"},{"args":["176086","407880","6","6"],"result":"10938017189797417402221895684304278451"},{"args":["348803","202176","6","6"],"result":"8844260090548171379999873368149953688"},{"args":["191128","337231","6","6"],"result":"7472651926991947380524236111721055750"},{"args":["402240","215774","6","6"],"result":"13953533652743782856296109158030071365"},{"args":["300492","83797","6","6"],"result":"1890805202362574516861007829346463714"},{"args":["479782","227477","6","6"],"result":"23742575450712274963534687270301803257"},{"args":["14338","315785","6","6"],"result":"349102102122992823896500519129584015"},{"args":["443937","177945","6","6"],"result":"13942888650983359088125000000000000000"},{"args":["257750","358412","6","6"],"result":"13892332945492377385802108124329307210"},{"args":["90922","260940","6","6"],"result":"1397817952841929729259184447947733104"},{"args":["1130","431299","6","6"],"result":"69953875007990901905738435895487712"},{"args":["350917","136056","6","6"],"result":"5218502238883562218981318574908664624"},{"args":["134952","385408","6","6"],"result":"6692131347341746024296103101700167220"},{"args":["334056","21610","6","6"],"result":"624196347122057652592476091082765212"},{"args":["152625","404475","6","6"],"result":"8902432418453857421875000000000000000"},{"args":["246565","24131","6","6"],"result":"281776392201184433479900846909254426"},{"args":["486323","359065","6","6"],"result":"49238665287314870369774834396973545299"},{"args":["261896","73665","6","6"],"result":"1101820742903681174722198211944215059"}],"calc_f":[{"args":["203534503417389461026","51737290128160367667"],"result":"464419298728614666417451443"},{"args":["254419039710189674583","90393770864465406220"],"result":"1676548522163762394930227641"},{"args":["320777151328653562920","65218686529674464"],"result":"2152694221109601797553070"},{"args":["152057789354015339833","298487960940028978479"],"result":"5093223446910047025601657545"},{"args":["277023069580322021244","462639468354169027585"],"result":"37266512887020884597972453333"},{"args":["128900576388752107397","424856470984673996253"],"result":"10795039032019991346034520300"},{"args":["253754862113602504604","414972326411981508495"],"result":"24913596720693656730554564078"},{"args":["370265078802602963107","119354871867403379907"],"result":"6688239863451752074702995555"},{"args":["197927119497330500325","316866379513438591421"],"result":"8753927381848346425905563085"},{"args":["476475756533222028327","384593385641187074543"],"result":"68707762529685796725023320746"},{"args":["152500071821287079634","428917962847564404848"],"result":"13554715098019371550289416989"},{"args":["159535671466172152957","171659246475105803372"],"result":"1503986332290409987469943254"},{"args":["446637107196066293106","255165726206680897503"],"result":"30154876161631693218808405036"},{"args":["459140454090116015222","400524991832356610897"],"result":"68268208938811756024767417572"},{"args":["168476307811277104773","191725445738874005459"],"result":"2104193944213200400351961555"},{"args":["40825400884774275599","194052027855167174368"],"result":"311525939227279803114756576"},{"args":["32629390055763724153","283310784381690716338"],"result":"751832530551018981920118442"},{"args":["47628229417774870967","135022714087818533249"],"result":"131830611503946856807580461"},{"args":["224029263398620513436","394423446154750214847"],"result":"18181354821821984309188741298"},{"args":["368349638934937859465","150796048334135471113"],"result":"8799595286523255481332162204"},{"args":["293215537527208442763","70416368263431453751"],"result":"1877526262725125806255755253"},{"args":["378549138573496351461","204707811760195134049"],"result":"14351879262845966767812188659"},{"args":["337953218563615710095","166136819667062154230"],"result":"7962345849668354942078224161"},{"args":["106290732706356192517","211998443952889509327"],"result":"1267306237125515033841947107"},{"args":["271483129348320531916","149190065767297542783"],"result":"3886659139470496701326256580"},{"args":["392137157313929392404","380200302627495303579"],"result":"44477297011736947192905598354"},{"args":["231704523660278403046","160152554121053394138"],"result":"2943999517634517505491845623"},{"args":["475875117999824707969","360237608207651006116"],"result":"61067539271112990149780070864"},{"args":["18544765848642814003","413742604193366209297"],"result":"1316084311594094283082476106"},{"args":["17315850664769429051","383011334872066160611"],"result":"974912121412583700323412488"},{"args":["366207507580640887896","168786420351078141575"],"result":"10050246763994634323126379837"},{"args":["108550247994609525491","69297597457022504402"],"result":"124759228119397576197046224"},{"args":["340358870766464314027","43446477640719658803"],"result":"1740945890007023552406059651"},{"args":["248150244744804301474","278719504862665060714"],"result":"9632037125782225149897259275"},{"args":["216136513845964759811","254201758211893682856"],"result":"6116917990226075177102170042"},{"args":["119188625457626441177","473484512058457598624"],"result":"13453491844896981681313835378"},{"args":["68918565546769038636","402557487946397978126"],"result":"4627710398848022469465823055"},{"args":["101442897261563099923","688741578387421170"],"result":"719020468598602738203174"},{"args":["254574853693229699230","432975579225185493639"],"result":"27807068052739896065259395137"},{"args":["442142386345187880079","488309726356177153949"],"result":"93687896023385888607390202408"},{"args":["304194740558613566554","349613173107523789048"],"result":"22840236209021521751315083575"},{"args":["120326452015692063794","186691383150757928580"],"result":"1108192561105702876443622562"},{"args":["234838941192652843663","348182155258861574675"],"result":"14422027178497244529921538693"},{"args":["144624526066803205450","360639417977106831153"],"result":"7874555683226075217472270246"},{"args":["448764209735385676866","229724225114047825299"],"result":"26202126742405612787937772854"},{"args":["465159899439964458033","282125920491792839962"],"result":"38841065969255126950654292626"},{"args":["242214076208700161003","124434157462470722787"],"result":"2234904848387933701214958465"},{"args":["319731884272564007755","427836647389186414720"],"result":"39023309958566926707082485086"},{"args":["128228622735379683922","463140507149750516958"],"result":"13715136048031401033483854648"},{"args":["287918300935324986898","274176656175256168597"],"result":"12478104370002696786375823825"},{"args":["399009611300821950316","204805517589639132830"],"result":"16438175690054332471666564591"},{"args":["298962480011365484108","342451224148645127173"],"result":"21156984780556460382081562915"},{"args":["458918619241916008309","417807326848225875585"],"result":"73852185312504388114745049013"},{"args":["8321391354170423194","418638825627437107417"],"result":"610781699155594839270111415"},{"args":["112122882216947108405","45186728405726406119"],"result":"74038202008515433728159210"},{"args":["79473488067178856894","232428596584509634775"],"result":"1114578277883366020160554678"},{"args":["240241492605128496715","46270003977032086103"],"result":"665367660122282095758569822"},{"args":["246203087878893202310","312588899816867900578"],"result":"12184961798255581335011052664"},{"args":["212829691474718879976","124284213846183739037"],"result":"1606736769435332546936109647"},{"args":["467678318392372912636","34542912905847177770"],"result":"3552740286516128903930912994"}],"calc_exact_in_volatile":[{"args":["336835","1","119542651523666826","362000","999","1000"],"result":"111183438521254"},{"args":["80311445096475376","0","149735565388360895","164059","997","1000"],"result":"263"},{"args":["161775863863448054","0","438647182657731303","235557","998","1000"],"result":"173"},{"args":["59816768067537377","0","153490795848107594","306062","998","1000"],"result":"238"},{"args":["193050","1","321851997557256929","234684","999","1000"],"result":"265837104905984"},{"args":["207632","0","395416","277232856914053004","997","1000"],"result":"436108741455904"},{"args":["138942","1","201628","410722","995","1000"],"result":"340"},{"args":["51545476394067505","0","204720230403856953","202189268349491996","997","1000"],"result":"152609380349261"},{"args":["72627470758060982","1","51027","478170670269147958","999","1000"],"result":"7"},{"args":["166284597758225485","0","187786168843971763","384167964953783352","999","1000"],"result":"339879657616392"},{"args":["369515931375137783","0","389274923598939246","152068585770048985","995","1000"],"result":"718339709885821"},{"args":["25436918560661686","1","277939270193103583","79823687737810420","999","1000"],"result":"88540965366083"},{"args":["2246","1","101832495161316753","97489","997","1000"],"result":"7311350887515"},{"args":["97210464429572723","0","178912666335730367","40054","995","1000"],"result":"108"},{"args":["833987950014303","1","331540967641091543","16223146789516656","995","1000"],"result":"85196208517364"},{"args":["355244","1","58478","417661","995","1000"],"result":"247"},{"args":["273307941159172302","0","426204574942521114","255469933444567540","999","1000"],"result":"163717661196628"},{"args":["60356106993808008","1","323893","165929480533270870","998","1000"],"result":"235"},{"args":["71695304077370025","1","356905","88274023827103197","995","1000"],"result":"1443"},{"args":["76527987278436887","1","201910670004950330","81183524604358930","998","1000"],"result":"379947548213625"},{"args":["86402","1","108156742707539108","240665","995","1000"],"result":"194244123104979"},{"args":["178921","1","2941","191376","997","1000"],"result":"8"},{"args":["348166","1","386689386445207739","485611","998","1000"],"result":"554221814883386"},{"args":["49117","0","99979","441526","997","1000"],"result":"652"},{"args":["48802970673584732","1","249785","250645842235162341","998","1000"],"result":"97"},{"args":["264375","1","46082921873340487","273188","998","1000"],"result":"89062300372271"},{"args":["143829146339424728","1","401447449317715478","443884263531390570","998","1000"],"result":"259988716523943"},{"args":["167920","1","176274","309175","995","1000"],"result":"477"},{"args":["30119","1","444477927205129756","66845","997","1000"],"result":"604271115329072"},{"args":["86165","0","258385","472698","995","1000"],"result":"787"},{"args":["214374542016915712","1","316561","441120802371463219","998","1000"],"result":"307"},{"args":["134569614983383713","1","77013415017875151","172134168156701591","997","1000"],"result":"180198095414350"},{"args":["95951767627961329","1","378843800364118148","173555991150174218","999","1000"],"result":"209330985240046"},{"args":["110603","1","172170","482594","995","1000"],"result":"197"},{"args":["64341","0","216190","323950870288308063","998","1000"],"result":"193185352498817"},{"args":["67628","0","146768","353749","999","1000"],"result":"163"},{"args":["11119634404085504","0","87435281106788710","6253","995","1000"],"result":"3"},{"args":["225481115116678494","1","388857","291488150389304111","997","1000"],"result":"900"},{"args":["36846","0","283221","298836704804229154","997","1000"],"result":"117074224702008"},{"args":["17332746906914303","1","334533983811196976","160697751527024995","997","1000"],"result":"108212788166803"},{"args":["200183846401366220","1","408417","355831328967552763","999","1000"],"result":"229"},{"args":["9804082113874778","1","19801037120329878","22777192391873697","999","1000"],"result":"8519376131435"},{"args":["68523682936411534","1","402747774868961422","129144114110032036","998","1000"],"result":"426941721646115"},{"args":["6548","0","134671","274806078727213446","998","1000"],"result":"28565059970902"},{"args":["207188","1","27451","327959","995","1000"],"result":"86"},{"args":["138651888889639793","0","416424447688169444","201805","995","1000"],"result":"335"},{"args":["20152","1","94707","50033","998","1000"],"result":"77"},{"args":["121955287718896797","1","84569","258075245807385612","999","1000"],"result":"39"},{"args":["143416218296727524","0","432703619247731581","369169271016388428","999","1000"],"result":"122317716011446"},{"args":["85382","0","328877","183487","997","1000"],"result":"143"},{"args":["54465023272847213","0","96167366100058641","68002753931021734","997","1000"],"result":"115345447201625"},{"args":["201419875551804694","1","62873","224138577925661671","997","1000"],"result":"169"},{"args":["5374245264321578","1","320876","52903171238104716","999","1000"],"result":"32"},{"args":["93952","1","37857110154877398","156799","999","1000"],"result":"22681498566274"},{"args":["14881966650526832","1","365698118612598595","21054105873477374","997","1000"],"result":"773833532494611"},{"args":["13805","0","85365","127096","998","1000"],"result":"41"},{"args":["59994504251824301","0","93711937375219291","242542346592838046","997","1000"],"result":"464934822068651"},{"args":["123974315296727755","0","302800385341071399","299521","998","1000"],"result":"245"},{"args":["59965580354388809","0","374425016355575049","418059386862536120","998","1000"],"result":"133864701270450"},{"args":["247206335311336471","0","265263487168361350","124760","997","1000"],"result":"347"}],"get_y_solidly":[{"args":["275318179401473596446","329539848367295469702","452702081297790786459","18","6"],"result":"15790768638915"},{"args":["20184050154388457174","34963450631200556719","156749890559071302835","6","6"],"result":"4251961450368749"},{"args":["85314718711236103178","316828496411477266855","380580027767059671883","18","18"],"result":"510213971085298"},{"args":["498017671569887703102","1042298934096988051195","143311321697675799279","6","6"],"result":"8438359685317"},{"args":["317976709796776693926","194156735183707530413","210634981040362861218","18","6"],"result":"6039020819114"},{"args":["114468205235808603075","289673387622753728757","411319324166077796926","18","18"],"result":"193131884316027"},{"args":["179727786401442336421","204439523258462311159","13498468832623423224","18","18"],"result":"35214310017913"},{"args":["218092766392660224584","251755746656848397911","274114627606293439252","6","18"],"result":"24269208273186"},{"args":["80363363387352274208","178741079729850384040","351166562505843291461","18","18"],"result":"344389627827858"},{"args":["301097120190983591872","705299926230503374118","16427087472894077940","18","6"],"result":"25837710812498"},{"args":["181193620354413948160","328965381361383655336","12559361381031808132","18","18"],"result":"55299536319371"},{"args":["376841338621338794958","1445000142381315882154","267862157792443836225","18","6"],"result":"27001772657757"},{"args":["354961101577021891879","495764460137765578987","279344199855781376530","6","6"],"result":"11084933697795"},{"args":["322283844627484484023","776557173095165497301","334553140933113960413","6","18"],"result":"23198389082589"},{"args":["416521922203601214912","1658641844694996687865","491655705239547257796","18","18"],"result":"22952977230128"},{"args":["83632652601139245789","144724915791556863322","271859591529215528826","6","6"],"result":"247409112045814"},{"args":["256065610077751304488","214200978407691204941","76358046047287982","18","6"],"result":"12757561832096"},{"args":["64839702985784948141","135540343415350871641","23309168672644463842","18","18"],"result":"497216498990956"},{"args":["454181486666098892144","391330426303543698174","122152605438198960146","18","18"],"result":"4176912075204"},{"args":["65590893040695432123","145209521869844022357","6121495845123351272","6","6"],"result":"514593698128883"},{"args":["120862884586046195796","127565370529589843226","387361490920982486973","18","6"],"result":"72252674799578"},{"args":["459223118412932034919","779363044163717237293","248011339802948979044","18","18"],"result":"8047640700992"},{"args":["103220456670604082177","213024338631121109806","354986090526271981159","6","6"],"result":"193701015326689"},{"args":["121333709149276810448","264139124287924192986","36122733057836976260","18","6"],"result":"147872805092491"},{"args":["272679710041555576464","1060702167458247830169","344381690285504365242","6","18"],"result":"52316054768758"},{"args":["377251559341197490962","150418955815725478781","474244553418924024017","18","18"],"result":"2801621353181"},{"args":["289541602033102825957","1018289963233664340127","397175673175919827319","6","6"],"result":"41950635487249"},{"args":["290211909012422040314","86724128023285799744","4601841524905692533","18","18"],"result":"3548086931394"},{"args":["79761075513725243631","166508903193295525228","314213947394597926005","18","6"],"result":"328143990919333"},{"args":["108092223637311925620","140104367316184323382","256954477567586588574","18","6"],"result":"110934931613325"},{"args":["465052623622703526932","1428447668255602726690","357423272886421312982","6","18"],"result":"14202278935068"},{"args":["448939707505730759989","1471619974435658359188","56879854657080682342","18","18"],"result":"16264159177375"},{"args":["437554761736484801756","1327371094167299111138","25577750175514789374","18","18"],"result":"15845104673576"},{"args":["170526840339721795778","511228819456676755317","251794687928667319725","18","6"],"result":"103094878888295"},{"args":["423735195316070850697","1587007079027676766046","96992058246552581326","6","6"],"result":"20859084833712"},{"args":["86350284882299977105","46032469539303297844","91837304970869137525","6","6"],"result":"71494552198211"},{"args":["487385643851430724224","647773368752830954788","386430465976379185759","6","6"],"result":"5595061842908"},{"args":["144508890808869132422","417897871920364741975","338470721564708519889","18","6"],"result":"138479809309312"},{"args":["495495055259458635786","1809952349239739046686","25691395035505104977","6","6"],"result":"14878158011821"},{"args":["110217399694052957930","196516194951646674250","309194292169857172841","6","18"],"result":"146773572228909"},{"args":["380789480801945357004","1512770201189559889956","251069187286040984583","6","18"],"result":"27397954068001"},{"args":["189174061141906701676","587808063898463767520","216135205458662239118","18","6"],"result":"86826196719192"},{"args":["357547679870404134200","361994747051642169669","339134553816210020962","18","18"],"result":"7919547641746"},{"args":["367515445152317069979","1031229216808254156582","398003518075963194429","18","18"],"result":"20774396808402"},{"args":["105059035783438905199","330128539429623345438","226498576572630749409","18","18"],"result":"284696965847581"},{"args":["4375772276528730952","7125045662777769819","121811165539109344714","18","18"],"result":"85007968951577693"},{"args":["249337973500684231519","424039133157498461186","181644548715246107651","18","18"],"result":"27355248338410"},{"args":["94685005971249803280","45239327286146446808","141965800201646450922","6","18"],"result":"53293286792176"},{"args":["269618734664751918105","192677825871161898902","334627576527339998315","18","18"],"result":"9830634254210"},{"args":["315373140751224542734","1051456298841346830928","246090992911879694520","6","6"],"result":"33521011685596"},{"args":["346220141680987104196","627110574077420799458","302215017426070236174","18","6"],"result":"15110788760195"},{"args":["372427309317564844592","627855147701034406814","475755966569226092259","18","6"],"result":"12154438519024"},{"args":["205185565149913347336","707424117007473372036","253154830773928900809","6","6"],"result":"81891617072184"},{"args":["406626934013380229017","677241941005785117519","269778845744973789999","6","18"],"result":"10072920818396"},{"args":["272289242694837272384","946522025878177508910","461054271909651802101","18","18"],"result":"46885577799054"},{"args":["130102622951247304192","49845601702418388682","199684577742664459397","6","6"],"result":"22634384333741"},{"args":["317826290133792792562","628937697884966131707","226286285286572533804","18","6"],"result":"19590168476216"},{"args":["190900997596984916335","432555143349408802822","244285136554647263407","6","6"],"result":"62175156442966"},{"args":["157687485359695586342","446325950814733004426","139123753838202210619","6","6"],"result":"113830975125475"},{"args":["209633415864081241025","574249542079916015528","86951462332694413685","6","18"],"result":"62333157192488"}],"f_camelot":[{"args":["203534503417389461026","51737290128160367667"],"result":"464419298728614666417484907"},{"args":["254419039710189674583","90393770864465406220"],"result":"1676548522163762394930298669"},{"args":["320777151328653562920","65218686529674464"],"result":"2152694221109601797585132"},{"args":["152057789354015339833","298487960940028978479"],"result":"5093223446910047025601759746"},{"args":["277023069580322021244","462639468354169027585"],"result":"37266512887020884597972540828"},{"args":["128900576388752107397","424856470984673996253"],"result":"10795039032019991346034705858"},{"args":["253754862113602504604","414972326411981508495"],"result":"24913596720693656730554628083"},{"args":["370265078802602963107","119354871867403379907"],"result":"6688239863451752074703033869"},{"args":["197927119497330500325","316866379513438591421"],"result":"8753927381848346425905617388"},{"args":["476475756533222028327","384593385641187074543"],"result":"68707762529685796725023383673"},{"args":["152500071821287079634","428917962847564404848"],"result":"13554715098019371550289504511"},{"args":["159535671466172152957","171659246475105803372"],"result":"1503986332290409987469968812"},{"args":["446637107196066293106","255165726206680897503"],"result":"30154876161631693218808639017"},{"args":["459140454090116015222","400524991832356610897"],"result":"68268208938811756024767417814"},{"args":["168476307811277104773","191725445738874005459"],"result":"2104193944213200400352011822"},{"args":["40825400884774275599","194052027855167174368"],"result":"311525939227279803114789942"},{"args":["32629390055763724153","283310784381690716338"],"result":"751832530551018981920169894"},{"args":["47628229417774870967","135022714087818533249"],"result":"131830611503946856807580472"},{"args":["224029263398620513436","394423446154750214847"],"result":"18181354821821984309188761230"},{"args":["368349638934937859465","150796048334135471113"],"result":"8799595286523255481332209964"},{"args":["293215537527208442763","70416368263431453751"],"result":"1877526262725125806255824323"},{"args":["378549138573496351461","204707811760195134049"],"result":"14351879262845966767812280411"},{"args":["337953218563615710095","166136819667062154230"],"result":"7962345849668354942078225396"},{"args":["106290732706356192517","211998443952889509327"],"result":"1267306237125515033841964597"},{"args":["271483129348320531916","149190065767297542783"],"result":"3886659139470496701326286079"},{"args":["392137157313929392404","380200302627495303579"],"result":"44477297011736947192905750311"},{"args":["231704523660278403046","160152554121053394138"],"result":"2943999517634517505491885589"},{"args":["475875117999824707969","360237608207651006116"],"result":"61067539271112990149780398370"},{"args":["18544765848642814003","413742604193366209297"],"result":"1316084311594094283082545899"},{"args":["17315850664769429051","383011334872066160611"],"result":"974912121412583700323525971"},{"args":["366207507580640887896","168786420351078141575"],"result":"10050246763994634323126428184"},{"args":["108550247994609525491","69297597457022504402"],"result":"124759228119397576197048973"},{"args":["340358870766464314027","43446477640719658803"],"result":"1740945890007023552406085142"},{"args":["248150244744804301474","278719504862665060714"],"result":"9632037125782225149897302147"},{"args":["216136513845964759811","254201758211893682856"],"result":"6116917990226075177102198442"},{"args":["119188625457626441177","473484512058457598624"],"result":"13453491844896981681314012879"},{"args":["68918565546769038636","402557487946397978126"],"result":"4627710398848022469465904577"},{"args":["101442897261563099923","688741578387421170"],"result":"719020468598602738211355"},{"args":["254574853693229699230","432975579225185493639"],"result":"27807068052739896065259454293"},{"args":["442142386345187880079","488309726356177153949"],"result":"93687896023385888607390448178"},{"args":["304194740558613566554","349613173107523789048"],"result":"22840236209021521751315098256"},{"args":["120326452015692063794","186691383150757928580"],"result":"1108192561105702876443651436"},{"args":["234838941192652843663","348182155258861574675"],"result":"14422027178497244529921586338"},{"args":["144624526066803205450","360639417977106831153"],"result":"7874555683226075217472382997"},{"args":["448764209735385676866","229724225114047825299"],"result":"26202126742405612787937859012"},{"args":["465159899439964458033","282125920491792839962"],"result":"38841065969255126950654578973"},{"args":["242214076208700161003","124434157462470722787"],"result":"2234904848387933701215005858"},{"args":["319731884272564007755","427836647389186414720"],"result":"39023309958566926707082581531"},{"args":["128228622735379683922","463140507149750516958"],"result":"13715136048031401033483921072"},{"args":["287918300935324986898","274176656175256168597"],"result":"12478104370002696786375910634"},{"args":["399009611300821950316","204805517589639132830"],"result":"16438175690054332471666708368"},{"args":["298962480011365484108","342451224148645127173"],"result":"21156984780556460382081571164"},{"args":["458918619241916008309","417807326848225875585"],"result":"73852185312504388114745243388"},{"args":["8321391354170423194","418638825627437107417"],"result":"610781699155594839270186733"},{"args":["112122882216947108405","45186728405726406119"],"result":"74038202008515433728161104"},{"args":["79473488067178856894","232428596584509634775"],"result":"1114578277883366020160577236"},{"args":["240241492605128496715","46270003977032086103"],"result":"665367660122282095758610601"},{"args":["246203087878893202310","312588899816867900578"],"result":"12184961798255581335011129433"},{"args":["212829691474718879976","124284213846183739037"],"result":"1606736769435332546936131677"},{"args":["467678318392372912636","34542912905847177770"],"result":"3552740286516128903931027865"}],"k_camelot":[{"args":["236970","101849","6","6"],"result":"1238938080971780785902745861404984240"},{"args":["176086","407880","6","6"],"result":"10938017189797417402221895684304278451"},{"args":["348803","202176","6","6"],"result":"8844260090548171379999873368149953688"},{"args":["191128","337231","6","6"],"result":"7472651926991947380524236111721055750"},{"args":["402240","215774","6","6"],"result":"13953533652743782856296109158030071365"},{"args":["300492","83797","6","6"],"result":"1890805202362574516861007829346463714"},{"args":["479782","227477","6","6"],"result":"23742575450712274963534687270301803257"},{"args":["14338","315785","6","6"],"result":"349102102122992823896500519129584015"},{"args":["443937","177945","6","6"],"result":"13942888650983359088125000000000000000"},{"args":["257750","358412","6","6"],"result":"13892332945492377385802108124329307210"},{"args":["90922","260940","6","6"],"result":"1397817952841929729259184447947733104"},{"args":["1130","431299","6","6"],"result":"69953875007990901905738435895487712"},{"args":["350917","136056","6","6"],"result":"5218502238883562218981318574908664624"},{"args":["134952","385408","6","6"],"result":"6692131347341746024296103101700167220"},{"args":["334056","21610","6","6"],"result":"624196347122057652592476091082765212"},{"args":["152625","404475","6","6"],"result":"8902432418453857421875000000000000000"},{"args":["246565","24131","6","6"],"result":"281776392201184433479900846909254426"},{"args":["486323","359065","6","6"],"result":"49238665287314870369774834396973545299"},{"args":["261896","73665","6","6"],"result":"1101820742903681174722198211944215059"}],"get_y_camelot":[{"args":["275318179401473596446","329539848367295469702","452702081297790786459","18","6"],"result":"15790768638915"},{"args":["20184050154388457174","34963450631200556719","156749890559071302835","6","6"],"result":"4251961450368749"},{"args":["85314718711236103178","316828496411477266855","380580027767059671883","18","18"],"result":"510213971085298"},{"args":["498017671569887703102","1042298934096988051195","143311321697675799279","6","6"],"result":"8438359685317"},{"args":["317976709796776693926","194156735183707530413","210634981040362861218","18","6"],"result":"6039020819114"},{"args":["114468205235808603075","289673387622753728757","411319324166077796926","18","18"],"result":"193131884316027"},{"args":["179727786401442336421","204439523258462311159","13498468832623423224","18","18"],"result":"35214310017913"},{"args":["218092766392660224584","251755746656848397911","274114627606293439252","6","18"],"result":"24269208273186"},{"args":["80363363387352274208","178741079729850384040","351166562505843291461","18","18"],"result":"344389627827858"},{"args":["301097120190983591872","705299926230503374118","16427087472894077940","18","6"],"result":"25837710812498"},{"args":["181193620354413948160","328965381361383655336","12559361381031808132","18","18"],"result":"55299536319371"},{"args":["376841338621338794958","1445000142381315882154","267862157792443836225","18","6"],"result":"27001772657757"},{"args":["354961101577021891879","495764460137765578987","279344199855781376530","6","6"],"result":"11084933697795"},{"args":["322283844627484484023","776557173095165497301","334553140933113960413","6","18"],"result":"23198389082589"},{"args":["416521922203601214912","1658641844694996687865","491655705239547257796","18","18"],"result":"22952977230128"},{"args":["83632652601139245789","144724915791556863322","271859591529215528826","6","6"],"result":"247409112045814"},{"args":["256065610077751304488","214200978407691204941","76358046047287982","18","6"],"result":"12757561832096"},{"args":["64839702985784948141","135540343415350871641","23309168672644463842","18","18"],"result":"497216498990956"},{"args":["454181486666098892144","391330426303543698174","122152605438198960146","18","18"],"result":"4176912075204"},{"args":["65590893040695432123","145209521869844022357","6121495845123351272","6","6"],"result":"514593698128883"},{"args":["120862884586046195796","127565370529589843226","387361490920982486973","18","6"],"result":"72252674799578"},{"args":["459223118412932034919","779363044163717237293","248011339802948979044","18","18"],"result":"8047640700992"},{"args":["103220456670604082177","213024338631121109806","354986090526271981159","6","6"],"result":"193701015326689"},{"args":["121333709149276810448","264139124287924192986","36122733057836976260","18","6"],"result":"147872805092491"},{"args":["272679710041555576464","1060702167458247830169","344381690285504365242","6","18"],"result":"52316054768758"},{"args":["377251559341197490962","150418955815725478781","474244553418924024017","18","18"],"result":"2801621353181"},{"args":["289541602033102825957","1018289963233664340127","397175673175919827319","6","6"],"result":"41950635487249"},{"args":["290211909012422040314","86724128023285799744","4601841524905692533","18","18"],"result":"3548086931394"},{"args":["79761075513725243631","166508903193295525228","314213947394597926005","18","6"],"result":"328143990919333"},{"args":["108092223637311925620","140104367316184323382","256954477567586588574","18","6"],"result":"110934931613325"},{"args":["465052623622703526932","1428447668255602726690","357423272886421312982","6","18"],"result":"14202278935068"},{"args":["448939707505730759989","1471619974435658359188","56879854657080682342","18","18"],"result":"16264159177375"},{"args":["437554761736484801756","1327371094167299111138","25577750175514789374","18","18"],"result":"15845104673576"},{"args":["170526840339721795778","511228819456676755317","251794687928667319725","18","6"],"result":"103094878888295"},{"args":["423735195316070850697","1587007079027676766046","96992058246552581326","6","6"],"result":"20859084833712"},{"args":["86350284882299977105","46032469539303297844","91837304970869137525","6","6"],"result":"71494552198211"},{"args":["487385643851430724224","647773368752830954788","386430465976379185759","6","6"],"result":"5595061842908"},{"args":["144508890808869132422","417897871920364741975","338470721564708519889","18","6"],"result":"138479809309312"},{"args":["495495055259458635786","1809952349239739046686","25691395035505104977","6","6"],"result":"14878158011821"},{"args":["110217399694052957930","196516194951646674250","309194292169857172841","6","18"],"result":"146773572228909"},{"args":["380789480801945357004","1512770201189559889956","251069187286040984583","6","18"],"result":"27397954068001"},{"args":["189174061141906701676","587808063898463767520","216135205458662239118","18","6"],"result":"86826196719192"},{"args":["357547679870404134200","361994747051642169669","339134553816210020962","18","18"],"result":"7919547641746"},{"args":["367515445152317069979","1031229216808254156582","398003518075963194429","18","18"],"result":"20774396808402"},{"args":["105059035783438905199","330128539429623345438","226498576572630749409","18","18"],"result":"284696965847581"},{"args":["4375772276528730952","7125045662777769819","121811165539109344714","18","18"],"result":"85007968951577693"},{"args":["249337973500684231519","424039133157498461186","181644548715246107651","18","18"],"result":"27355248338410"},{"args":["94685005971249803280","45239327286146446808","141965800201646450922","6","18"],"result":"53293286792176"},{"args":["269618734664751918105","192677825871161898902","334627576527339998315","18","18"],"result":"9830634254210"},{"args":["315373140751224542734","1051456298841346830928","246090992911879694520","6","6"],"result":"33521011685596"},{"args":["346220141680987104196","627110574077420799458","302215017426070236174","18","6"],"result":"15110788760195"},{"args":["372427309317564844592","627855147701034406814","475755966569226092259","18","6"],"result":"12154438519024"},{"args":["205185565149913347336","707424117007473372036","253154830773928900809","6","6"],"result":"81891617072184"},{"args":["406626934013380229017","677241941005785117519","269778845744973789999","6","18"],"result":"10072920818396"},{"args":["272289242694837272384","946522025878177508910","461054271909651802101","18","18"],"result":"46885577799054"},{"args":["130102622951247304192","49845601702418388682","199684577742664459397","6","6"],"result":"22634384333741"},{"args":["317826290133792792562","628937697884966131707","226286285286572533804","18","6"],"result":"19590168476216"},{"args":["190900997596984916335","432555143349408802822","244285136554647263407","6","6"],"result":"62175156442966"},{"args":["157687485359695586342","446325950814733004426","139123753838202210619","6","6"],"result":"113830975125475"},{"args":["209633415864081241025","574249542079916015528","86951462332694413685","6","18"],"result":"62333157192488"}],"calc_exact_in_stable_solidly":[{"args":["265869","0","287204","151469","6","6","998","1000"],"result":"501"},{"args":["113478","1","401483","366501","6","6","997","1000"],"result":"341"},{"args":["2307","1","138002","331524","6","6","995","1000"],"result":"10"},{"args":["291955","1","316201","349547","6","6","998","1000"],"result":"583"},{"args":["62203","1","72280","80105","6","6","999","1000"],"result":"62"},{"args":["117423","0","292617","427721","6","6","998","1000"],"result":"238"},{"args":["54460","1","46360","483393","6","6","997","1000"],"result":"46"},{"args":["13570","1","285456","43137","6","6","995","1000"],"result":"158"},{"args":["134342","1","182165","162008","6","6","997","1000"],"result":"404"},{"args":["152138","1","426469","462944","6","6","998","1000"],"result":"304"},{"args":["169705","1","180570","411167","6","6","999","1000"],"result":"150"},{"args":["23112","1","470921","182330","6","6","997","1000"],"result":"83"},{"args":["14477","1","108149","205824","6","6","998","1000"],"result":"27"},{"args":["46119","1","87472","183792","6","6","998","1000"],"result":"85"},{"args":["406064","1","1587","466219","6","6","999","1000"],"result":"4"},{"args":["176711","1","257082","303799","6","6","999","1000"],"result":"176"},{"args":["204670","1","185314","323578","6","6","999","1000"],"result":"196"},{"args":["136887","0","443920","25245","6","6","998","1000"],"result":"46"},{"args":["301753","0","330000","118452","6","6","999","1000"],"result":"244"},{"args":["49369","0","166776","418976","6","6","998","1000"],"result":"116"}],"calc_exact_in_stable_camelot":[{"args":["243373","0","267440","495969","6","6","997","1000"],"result":"770"},{"args":["29963","0","115634","17204","6","6","999","1000"],"result":"12"},{"args":["127938","1","457950","175728","6","6","997","1000"],"result":"458"},{"args":["45330","0","60466","90178","6","6","997","1000"],"result":"138"},{"args":["57360","1","47477","129090","6","6","998","1000"],"result":"94"},{"args":["11760","0","55914","102946","6","6","998","1000"],"result":"25"},{"args":["242000","0","383275","424202","6","6","998","1000"],"result":"484"},{"args":["5699","1","198309","12401","6","6","995","1000"],"result":"155"},{"args":["113403","0","136524","384397","6","6","997","1000"],"result":"422"},{"args":["55942","1","61926","405221","6","6","998","1000"],"result":"48"},{"args":["114009","0","167230","360524","6","6","997","1000"],"result":"378"},{"args":["308228","1","495273","343476","6","6","999","1000"],"result":"312"},{"args":["22047","1","68075","93177","6","6","999","1000"],"result":"22"},{"args":["323725","1","198620","433689","6","6","997","1000"],"result":"875"},{"args":["118899","0","495030","85575","6","6","997","1000"],"result":"171"},{"args":["19467","0","24401","107155","6","6","995","1000"],"result":"162"},{"args":["167650","1","327952","464647","6","6","997","1000"],"result":"497"},{"args":["272084","1","248879","298305","6","6","997","1000"],"result":"815"},{"args":["12544","0","182426","227093","6","6","999","1000"],"result":"13"},{"args":["28290","1","19411","37402","6","6","998","1000"],"result":"53"},{"args":["8931","1","357214","93296","6","6","995","1000"],"result":"67"},{"args":["261509","1","84352","302164","6","6","997","1000"],"result":"545"},{"args":["319214","0","356024","193831","6","6","999","1000"],"result":"303"}]}