{ "main_proof": [ 5615154712189339051640966404240355226983762456044060648305301829661843521536, 57405894449212963714814627145644590201633679455840903440094088128021617704960, 98319298417693036411738682066680707434930846038225488103006952825477398528000, 447947461361114657533311587838607523368733881541487611957451611021854733386, 1836142380409210218279920160397443464390002041712066263343719889723542314658, 1532888547564967575008545511240769871818701655019632128175035351561878131493, 3339274875925527875821177976384650945659039351039157577780656117639473246936, 687757171891623484196423471114602087985139647984721280685435896661105210907, 830498359182074480350765450054539686293476875549516691469412632326344290804, 1503709080344795199167774154848530564651649639384822842773615007590726650614, 1651236716968148903302554549833307337968592538022808113369458724211006947261, 999357777072910130252787436812940611869182665408579412305694356782175428041, 1458378342438506200705178607989966346345666403843302080770468001463344028019, 2517269950521580219947834558797261639175051439761416110487412378350272526535, 1497854578458397861899504000757781251769601933026920872646733197839995211229, 1239304859895889994843529525359603881364368613188663657498223504493634202122, 1891270769239978327880860076230509916783839987730299456109608263714688788895, 861648224897294602693219353553632499636987257184859933027044737710340274619, 1228027501939165918182678808050619253104624973465748081466409538970078805262, 1985617951238568621379934251520884842437930514395525322160984305698692795194, 1985617951238568621379934251520884842437930514395525322160984305698692795194, 1985617951238568621379934251520884842437930514395525322160984305698692795194, 1985617951238568621379934251520884842437930514395525322160984305698692795194, 1985617951238568621379934251520884842437930514395525322160984305698692795194, 510802895704913598015503873742297557084061394549592280437180763683681754859, 510802895704913598015503873742297557084061394549592280437180763683681754859, 510802895704913598015503873742297557084061394549592280437180763683681754859, 510802895704913598015503873742297557084061394549592280437180763683681754859, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1604169862130866224237870771625980146208442840125942182334653760393685517067, 2001769271066376543050912694907086395841305141019064311417417325934252817232, 3436505137423852336275902986631733964007769338230810575939889588120836276509, 487358274447852283923896694453447005890825664074707007164001897231261558476, 2256299947747354725389657108078835647865652607985867768360542070105101814927, 3332438241207922266695160778930969747672651623343370752470546100226009135752, 304180895706716835545167648393194593553623964759530347630362424198705637250, 3210160997612094306453377629733164533262450216765268591150427784504863752460, 2720851249396320827217808829828839210745183874554129198669011563416114538622, 2679750860401726928815803579895002281478527426935314986405893040042625071070, 3418699291705514636565415693921012190957139799900726932309943500669580416503, 3259179891157284840638333336118303096722399334548943594456902077731225299466, 2227897253206981065195053452262885001798603066578170254327755301854681002950, 2431053610249998739677198751999428130067022577804063527348339480167806969777, 2650388336926089762851072556063861390039709660198117709597898265514453523151, 1534694518687636626152630041264058681077931017046041040020316297934454928125, 3335826488919649844318521547521119298127563518256894167230672414059378323222, 428564995329068023327863988245437920178731037355381666150753565924642613048, 2150995385828473232248747380290916249792766076430547443377854895299950443513, 809684736812105424963905923534193183134195143442297139774247152558929822404, 3089087741513379391660913048209856741552236336563708329499463747215291660827, 2595451638815723624283840104862310401726215323421697986858634514556802449661, 3485343023418876329454926585752128741858190024037126266554709328261282795119, 3187644774125625905800151428508331749893314654732861534812911638045536520613, 1420559005362320745590807835188921504274566178773894311418833296586465391179, 2495245342983553058695861150905049194252598280460077420610507606765854180017, 3021977570316994688483880640013218825519969091292027595780893412407328628409, 1149228959290701072492385686131897752690208730607883475918745043843222123022, 3452207448916181822884288850482954509937656475680219810068646043368508072037, 3005478140111466340437963997519001041939583864908243273914744668766662893562, 3081738139305827937787865197318934004737820275569137847631388428537497044741, 1932418662136316406602424535161797883782093086328627503269715928562557665518, 552116116830089257972542110820776764303390676282095315425658630612402320924, 120454459224459582033812796029953241988356718187091313959277637685122198345, 2574596888706404594700985935839052073096159081934976307829717496703267857134, 3515010349534963750286116884153608147847851412915793234513067658440188097203, 592947561221236011234178699128882339653805976721120484448661608041185635183, 624779936680811624507367408818597688973286038502100360310165580986044109257, 999958736396316523556872874512229571235041872553189067586617935536007854328, 278773884198448269643094548025547604835238627763274631390569193787558022234, 1625060015222660023056360581377734243724684719558596452651594599974177995185, 915515798400848947114029206104229594427361663345772522017768130887582074764, 2654036838403409745819901251676279007715715843894704506429192188145642315359, 3543002342168353211682919541461555865613754126763703173102873540268300215337, 773674578300853492032041872748324418686355190746230428328921064172230752358, 2152285568827352828527154086711110645701048923359749356597198941986958894081, 3561423462540146552042712212408111824897844936485681982324996678808481118129, 3081919068339652277888831274533127995087086160818616460194222139672119101387, 1499870641425998463147282133452314654808957190390859353628099103842157075514, 2241001520828998360826904233037834400093413380040583690010192741085661735731, 2494405926423338198560065055620298470521098023961501433565226209543274404389, 243188841453170202944869890526635434253129062740597250134291626283688747535, 791325837186869655815688975702164698271809911629292727138349367401041579616, 2028368333650200919746387438074337464751428078214429767382280802513481438681, 2260300160819367989795007169063580299171532003713952399095372052178173166683, 2096844227687934161120084949910603652804309765230916702199270691371310113925, 3393922921740554269510836408759086832466949424722226437132643496478477880254, 178694199586326827797282771592590777041500721379756552393039497450389795669, 2603437548181694085583692777414433038029790342404103529721720504209906249221, 2842025913434180583192159352583756407151883573105006250456012216733030532740, 3360790530126560406857951825808517297768131000413526382239274603799032896392, 3576880541714075609925142597511489532643909317067650871163636833017295582261, 1410171888789613124837022013719039482574269690130369195788758463804420719702, 41454327020284813933978554942547752996144320012038917080592691378025721227, 220228736297211367222237187800007907469430698250566755633980473170285593751, 2535255819176403247076295204340804720018530895314819044925420908530785463235, 1542755112968068230231010376957514054488391510198734637664191465547382004212, 377284887699997276802666244550260567618075216056520523365654424864328055007, 1507343559126558928808156520548610922680446728292375139789737400568576759165, 174263498541553430174107819421713098558723427896635402732526824570438953619, 2773583765531723497110793075587545093808968999950525594096450402743112445473, 2724918045120100608315970803274886301785277976521793394339771276628668417286, 2878094125342920263077732417573692816670522464737280921615224278516735475610, 1350713200175682922988016325774776509422973585264249071548962837305692239992, 3500225727036360276442136325449514470025728793670900422080591719493898835309, 1865381566799138891012066746899292842892250676654173647651844981754545842905, 247477304575524509530056036911841695642028299489049304968392567459264214544, 96456770625526603744584559630416683307417664518037444992668587117190154788, 1750172673833792850073444771510718669189715961367787377255033900196784239215, 3209680294536981128927312524815575079777598798361070356101789999119972018395, 3022354792534387561170757719244071462196124144449771356578912207313652613995, 3143462502704728494325145653656936929259874155923565330450618293984521524166, 441510627234224800362646720599928301423742509592936758482648857501128290148, 3408883903152205359576152219175672380720583008717797491693506116954729002191, 1710086611958625810139494020128172793540243602468757853740867484921628446801, 29275702129273111022916644630703174294679931891546185843242076526469079283, 2466385103273705344594915191739612475043708369861301130456403868236033104357, 3567095932862033579963604317331049696584359788114587075133324699943755038970, 1005415965994881517727010359964095695318876838536338292371417755675550833816, 941763704178986554930690522933734477041969697761548646359462996237615524315, 622411747215199664226502795005278723342797679546266955252397328035376273990, 2544243973535515447067303637530682872697915044152925694995141633021574633360, 2418441806485399127765643281809748100536242199570438502355109923505340441130, 3139382607243085826358816052552543826722917136882459320440792474228397175898, 2235164186707263463831349657778841502569022984903118465849599172622348117833, 102145190345444939596206426253010512967583079720015685944515410272855639437, 513826197663879064213687465339642416728265030500646244284352607611765303515, 3053571205842324784211561653118159415672744078775570971861275105502961880611, 588920860991475689261524888427455008412586555735785251152889135498418597965, 1479638250832403768722827667673850472907134641888307307587270164761344130611, 2484087722212048613796585233918210784836951114116465177507605128359941702714, 196148677968232165133753609102441891796767249148065270025036447345287527301, 1918107537820197749803113468813767947885049875686414204820255988527018779317, 2681705761399941599011798749680476073898765886661115480914023365768867143789, 2631726217072352809582408837815846220669752489453323052672219714595218763159, 23313509565990244498578466677749590733818889376105034407654600248084275391, 1457961374450307375638244564138648386275919773267832034577196148336879989593, 706417252323804332515568660550258959067177805980317173094547805674223838442, 3487545742423730458995242628454450551979692833169666092269268333920643299671, 1305376729173716819414286576645091981425790054110421768352663017080072519859, 2347916558788757606634823025093875402930970234994821632253420571321729064920, 2916993765709743970964216479247009372199369672544711512195841209278222806564, 762489277766662280683397381220798676511571786747141408360693935421243546933, 2101333650776044932567194832525456673075198337844080306204650728087287270579, 962859796422831841807589217953298802554575205050046459873339086606431120030, 116114917546684137702238594040960984814644178320280899333177173931481179714, 83577302497256355522290938707457774384713721495337631332220686062746985648, 2527062209455226376305026140615490065735527652509897229949973362721739473474, 678615293474736902375361485375758469775845937838874929494707748973165210294, 3362430059036831172526201260708758571216813577819148026162005975552678258537, 2845754424710792274307667253104038021277249600004130569915508531473375973069, 1177581676878533153680587190539467960661649116398636904555750311607654482767, 2128506734346094824269565942465677370709069631625069592279950764347740085319, 699293552382528261947352428947462691719351030051999204053888817531184869006, 3253229524919068356358882528479927788970820766727548232447418471252556703280, 2804487250056507344710460420362086742796683039633076656171039108018152350188, 2907976969217908904468627833389122795978585141226223812137972926774030110995, 200057992249429431291600912137899815413004791816820811257718952165363139927, 2884918108942288156069021934106000291004385466191406336128409521722876130134, 226144554849154887966540127208285175328915910291899002229387044557698392968, 3301487079393563486556102357892825114352498540784840563581934257708613136621, 3539437727919307803216594844788969456750538330642341406674089328491253288099, 2489926679174754898160447048584218460793841627512573742036239040631521156725, 2161452980475363358342358216564581685226915601600812332479619681184147196073, 587268416313809955477952900830758029621556548718244063637347516267732742391, 2923204763787425096299722243198744644734720753996752170536114541046805808419, 2346365466845943019752959294883403786101582040766605758499459516600198206245, 1018233231214084086618190371254943127336054559051828800328457831625881643390, 1627290130431796997651664472208408374136396756788439570123233907449802014203, 1647639574687995473898841743655685612590370094450018499585805837762723726695, 3409944661185619392260339017271521499852733647430776004770739515886647786559, 2125668167585650649708822250491552089072924718326105911532796347850515984950, 3443524663275265419740272725885983269510812352758407594010303813892545624115, 2474000621013193588379267019241086638605722234346170503050353222432867128908, 1972653639766014254900683744789948088960221445017952032180312422414997696910, 249098888998971021547815202607653219507301165731413454539767099338718536098, 1763270906277207014494571064774453720248948595277980461203693611405642644121, 304327669395531719494733743878776193366195782341348388504956844975463083347, 1815058842170587029320270114727414807918479128834260426775871898078749239680, 1736949582758561170227977850661598328657899935968174889807031659922586540562, 2046619688942542490260309174465384085423460560538372873850501898899639956368, 1657335903516002956709849602051880922775790453628489908791056386439079363698, 2009527351973426731824885536313308381810960354045213997916798649589518316028, 136965346273431188384658489263656908260935494709207872837375201533595016861, 3348353277508285503124288686982684783004891868724668706777674981877037025597, 237789890725312716313199062522411003324945831681976601656850752397614195971, 1429021436504113858336627389671970136243310084286237587732550883238657014234, 181997172031495880177574263016180842388799881486087525494491236969516110361, 2290749002777123222780755287684540644941855507671290713644428165112626124452, 2941164307500278939712211028854509491626044571542285105390104753023947848885, 360755346210941705795743896738766585812751767320501874921230386748112402009, 2178844766856736128281289944428474557758259239745921288940437712983356115631, 1120259019678462456836881268406989421386308596147427162033181753021484097370, 3591286902755142829078968570882365237563181403433355451813319134477665693913, 2548589507054533285509649374894966377085273607318920464867027620859645837621, 2925361221700024620926814398164136298920349965597692883016321647695188836538, 1266287691476424290504308434132944959882268169319712449529301500706904767526, 2797366702988801531398416641869248405957496210527349032760624304272466721616, 603051190959257215817246605434033787385581579484386310055937350824083115084, 3365308778809463516901014335521710585671051977644927669647528091585704311906, 3423240334950981352779318896762199379836282279458227827870191539693200969356, 2162639583513070411636018391557509514090879873653517535523030856355692031018, 3368399091890481382007198170520877777601642499473351762183396759883512535153, 729227789242095044127182152399517569975314835791840607921015626450984726659, 1237921273491162579496903095189590410691752621390146983848104216838665787122, 834573071873588159263738428750388098835052965173267092544381233638442395258, 2467450661220456319571755820699262449678071457305108995421443585675336380549, 2027830350275701097081821571920161839798917328951878006850269084158275130745, 608733084184875630269703814366839002208688779172966070053944505052927377070, 1586914877101489586205979909378195085071138993609301566589047758370227815986, 1747774089037003205489643843383299099393335766016248757652946958188670195242, 1150755890556397874873716644459062084076140537911264840509473533347423382179, 2608941943015664053683826471502393893626291825276936517335625605730581898896, 2314026579180932579226530203404859322851026452506006212360621610580610208850, 2062691326127358817733494123280476183502854296490203949033558504970471071629, 1437972215020384754179718889995766018542628682339820651548067815319267088693, 2738973815549578208150999079103388428028020000020213626592140480925708902346, 2757871352231812774423701216008390441956359255057768527430949145608713164790, 420779045365392875057045247420569504062429557571863199015372566770792008610, 3294398681829454845065566244634882838373418747218075769510492701494822330276, 2781807516458127396602118029141508961762245436248767341889486189702236709989, 2109769140589192475464729272057244011594538130470933992450664342094053859557, 349987707646876291240403603238382444843735510858213330263767696043123283007, 1509522011014140141317487261066407835098466809963920496852213198172561828975, 565704983558585001047143378682670942159868350247324967207585633853878290949, 2206080653247431168287153325211462604849558303225261374141251138719668664028, 2718626973131957781663076728879793317676628889291331676638544970936235701992, 1043705117906501731068897701791859090427804996579465073733643545738297297422, 3507853354241619369210809195768431951111062379216623305540835215378505417687, 909512863240166185349148793825855439271211221337247521010027139062653736593, 8545837811954028255386128307822548958508685909931697666742627439749532046, 2029956663357736641566488935412861050793153713161896492798696616569717723864, 1139947377767763632365730310572133084104851038537022105289842983884952791724, 1656369186279006509112966977572857781936962125345306772709606943057301997081, 2195713689975444042093045727314532224158973854563105479256571824125071832866, 1892119804250366241355421619819469172020676623515421141688259198695320773127, 3330082640483428193260087117158478088593751878340942791527187899949720157510, 3142086660768122646672464194033928380605098944006490055519944310487043231831, 2923948382364744928122009730028243804987594705022198320812108212964900188124, 226052330521157394455273043454395179947720234882957402010284144469131612305, 1223168514756404236778866354928238749178402395816894280412609685130543218456, 2243842503011455320463400847619351011129743108410757626608540300036025672709, 268461366848767696687274280934105812384597040005200855551245294518979609174, 3363885993516865864698871287100106570391360582413384115058564128816080778317, 171223137555304687076798860514217264114700447060967902435111398277418338899, 757197567555261234665717877102753890741758017734779527879882650479202288314, 956472371863728493668974050101190764271057335654287030982960966544871223035, 950411247747622735287521762740027980941646742803508805896937087084042630700, 3407981827172350704534862984722412275768467962130672718570822833071559927297, 1501776195725792642446258165173042212904229550184170886723055325631199469691, 3010360257769223919095804409018172799039620120047594162733098179214446715938, 1304163414190608153994974529244268547293820391383850689349511100751838790967, 908989573957505568792510616569696262438932121154692656704980405989001965285, 12711396637029128702646370744790464124152513368089366527441807602084047263, 2336061148954285624102681950521161018611359352271171388337286502219072103376, 143569711254108402773897273289351046043676827536355487950874690064456819400, 117191037805122715830586806819959750321725303615799232020725885289315932140, 2994607713641663846920077261270155763702918258285413565795970922203481858960, 3336016344879811097762409720830271049074238893333548168422117361820085822505, 2848512563469853744895608067240674410419902976670205074975054577958780128373, 3462413261287988312064297040347736715122690867322024709080562720049470677331, 49071134426512727564403888802104912396415854531479507583208817672566837990, 592728703211771390308208681225842924866638326160105063892593609163574687437, 1300347529597116177136954732861119128430953327124859059722032776765686713642, 3508985262175474783203606827266499613566773545459577608805244119808037764012, 69150423513439207091625851323036926394613738019628350340813191654599401930752, 52766583830272969022878680755485710400242920238026795623608241624069506596864, 84898711788128118408943066084330872761905809635856570219613172436493420986368, 54146531229557279521438039687392948334301954682951750744804962684162805858304, 11389388086191680503409425747997660219734849923561395796408630942852353884160, 98035482348742025801908461753684894782145881041573771715557385471711040765952, 652154247775023578644823678153188007384189429281354496510663113227750975220, 2498296903139567051910189736003919315509358566443295974048275168300295364340, 2231835360141602199299251945822691760362881070971969706750879787602121114659, 388971155165876629383200109389837628807343888639345457691871554387328429183, 423700157066751665492253610923560199359086686743395115183041084230325857639, 1150341360296348453562489923228818562807668347727587723563424231195458083800, 213241429783440502686822731099871713317452737013982282464066480604138596010, 2144550113506556492502091809255309009307394897883104128404525522477772663512, 1846966527354477653615430414853977189597926487440287505931020050987973030153, 2936571139809223533711927360244894999752522092130146991598691399270540263394, 3427902827684217167926988229344703973349056753305866148162606774563380537908, 829481324746743589925466457755391925745911584258897442391068583977315705182, 2135690106318760042541068712293606846319498335356738224003254592829327265903, 3430912669029349771687107458425815135754449005094437874123097789460715932472, 784237515403692919478065917170286713686456390090062625192051709755562341374, 993944064291004875205405357607680853288834929786837067098227961166894213719, 10934392264809982207542819445265166366017865312048679409339004797529, 5083687522146803469746467344609725213821711661688942146619249616175942459025, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 94704102620555814835708453079173833793242945376627348956, 2054165180329944293310735031913909394220757860338156251951159356409934963931, 44856165322111549541643080694166192645639706528500965709199518154596280912990, 113402437068669212996690161655287858067725374258757786340579873418620356588283, 62924189452749854610740568607918521863405785503496691015187109779527665160841, 50996508253858334091701914042372350972811283109226268380451814001571546128017, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 191209825709506815560471810154643861500717681918460771022, 15901341590252768786213304751971394340011888317795752378407978391556599472277, 9583340166405274631762025590238791810955404081782661405331717976074878251844, 89313001464151345137263132836162903641732294203899835078677383003189648820888, 53267582597552145234252082448382564411251414389852012714656959832611820827352, 58444091453373426442743417483305424625060610473572355785695788739462878060177, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 74424871494892211785393110090445730092074843788087574000, 109990994479628200609555449703244083744475499574122326090835673322029555592012, 942656277998182259123529450050633919776328354400604925404617369521119297949, 111860156924440538739611636275499038187355884499090313212223467638550524465536, 76958253270542936752417562706647811180197146463812626535666290545313559756906, 58731581214301412415388657916171657152621913926905553857334058928461824253585, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 89468452302784621092903973634385737855003999527950554179, 19487845974579522359059030535149244914957464467105028776159696667180719131157, 46673662482497422314264093435873087041086750707772939700466420874952416942622, 22061784142721621348460741168958890505293371669095129016307428814463803711965, 12061593332857424595118708604131128464345352678302221290038769114773368162072, 61770151885594298200227774844099417663992985069163487720151124102893997252241, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 113414762341882018343975023861267638852741325167197334259, 9526302087538422318230187072094493022572397745655699710629298570827763738372, 30761453820150537056496077893481349422847315218894008661851826273271888367288, 56647603767707159115093093026387039862346419083376195130672500639406136293246, 16302397474601366445326933076970258488498608190050769079898090185617178440012, 102025317244025172993679490699776070398297776192134358282595483979811075514001, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 143348570198017898929976482477374826518234088395540525468, 612559794564663526626441799949564798697783176845960658743248317167524235947, 104043082960107900945131487181777066714131134329274023365911497565314479844987, 45527679156649965413147128993479633622455877930856411829014274023702918891719, 66618381484078336708484424563093435956391382948410098527159263712725852693634, 14945196990630032204160355346439646249771239392629490714452891764481187241617, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 34950113585568870172401339650626219283136151701123506492, 26136693848523518952238841631005962471529450537411132929309832438365651594739, 921805676487220892875006897781201932089016044495436399381783351097866018772, 74037703481363851817352625564303968601601397736084774925935761115577676556011, 80576925412802435441631679340387099790751529170494760645688280230043839949893, 9645060538302442168254737907863988631493430795023650331244216370565476900497, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 19877241962382580690259029806276777833959478518519667364, 28645297796791816276353350581479390917369329039050225860564173910727739688020, 2366910082801604897493443192124999212398087828213860898615235669699285715327, 93106058280272807609275222558289641137903145409927081215433932371806575858524, 62932608717418580274437501605648120288119574996823212727280512674377169504898, 104124957524260452578839144854062767821793495797337921371120568775835294228113, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 59765594031595556443875942332015954616006147401221370966, 28116716579916341641959093007459390106146224766745062553962462038526320221699, 12043840869759508359499836874432162281424967772482932201312389009948138857875, 67479201014665757275089204103698628181468174937433977865852477684190043765195, 98950570556402480206172103731562715714949707434028506255057163390043197788312, 111969333949030568746146412162570630497706587283198099398874231912135408606865, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 111621796127251229229007394619500922374858682420701557033, 82953374821868597993082982004858508641895245559452348354160934867542716808889, 69507948605185255815349903232263721225699099440992253107754548778623503506896, 48028886049295570134671428939436731678721962710598048125504460249263429441848, 107970630401860937508208848362743640820539718856959469533435410953410326517051, 40942302123823977565263420364295134102245140772614181774684583580975684509329, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 87757814251861864809873465501817948626487786936106244184, 65296086714990470410964602044405198956040821391617116989955589620701726990106, 50681770664602020323532467347461324694058120780176064309081863529846925557877, 60472235572415847525728776294995417318248153445055351298445499469525148744475, 76828806580550971874966647389692514975682370184721126502082680787988028628295, 48289521442779772176271099459220651965944879982311785697024840880886081248913, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 93664137030952306681146203992998076406031002429391197679, 59951674909474269163325579674390887929577806002449143890393115620633881257282, 4818672802867099816173386426060898261965061565419910863537478344256558149095, 93944874238379289010273097505038340238822726642441187380820887243233395565525, 74344869404170698756572148982108595565320168012537262491171239319518088443748, 37886269045419652681280145784996204531369114930115667478168360383069656047249, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 195190290479072608330382957608312896035813508020210181200, 102232109495302686708585530834515785582971630861209757856886634586970763096598, 24799496281695223345150525889895568507011888827166904132679301590613927682450, 3982678199341332908267758292646600445336643558914229122212936620387861340156, 17330910599315583542812421366363835779966618254515697556247279304042566540711, 36589075503846369687144435155806396118184362668174355559482159597649956298385, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 193924399540504623724839107930091825031457789429768961112, 113838419166197858930748386485138573254405299797795421251761832956849220575543, 27840268798441055002420280182405530109883883535853228913761833578676172533842, 101090172481692537913819739423479285402702073348543021457357943078338511843980, 30165902302524911791882835825573021768576975164878829031236358398095324100367, 11998405454298715623215463221669941591402025334782303817331328456061186858641, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 14434177742638370771932924082198102505817247491079937937, 90527166296808673671793705065501217035582722681891585574944587476148290223081, 27877214556846377801313121118062691367774387664392668170357523962058405932238, 89519164244107625161495282430331800857619074914993868658790642839450560165735, 49191761836582483309075146822396703634406295105275400057249511316992648638474, 96534919590729212212778301018487907412307561826785287961094515182225758740113, 12139310875982097540735571685309109501784426549512559927786052836985886277970, 89461778520634655433818568082602889314541821111213105584396213310879566921728, 0, 134696147026582734665837615857167128522657440383232080379, 109808366708769554641716102203781327334601452748511822088507444559669329174734, 105781234402792432788068354730121020079901597694472456678802130923743917010361, 93630636730758695149529739376514174553108817060547339330314104878567582320817, 905232659010218433826149903953491532911168090566026999412750517146800053362, 66882842688879704381235363785038451196790263824641539892142362392475914161339, 105790070541633576331617772695149718776790094776394267121923114832158754912771, 8215442219130762092942144806541961809284581269614381021602024990113523951279, 37375588575817586558509570817408621597608633711440124156483435874470482188183, 56807638647012777568998357153576557220415802098447717342148759777735364380534, 6762089088937685424607478412939890544165121681936037155037187639723299098413, 58365559234385240155562756433995391911869288170040225675880871077598012749077, 45523398969988960158879150807194557126857300728402295874481856954338179866034, 19894151086064703808012310564363954602000258965873262202698138228725020330616, 93424275594656416222306530055183086159543149983494884848329469974882077789779, 74426856968034256858719892683819273265981177313442930326846899254523192527549, 76503543322731887693581117622610454369278086599797474751941739345145656806768, 14983118724638489742471071881104501608130132625303756918438417617484827957392, 79732897153489478943171964096039146410161472500620247302952791134154233238703, 12951810945633059672633432413775140520872290320605641822581677882756948577579, 62581016010182006492334358127441417874591456853236905322699255623058392052259, 42421946453913367008698530421795093647331194437224289772276421217502136005556, 21987991766389808888740774477578338434288420716986099506900277579953237811738, 78258369461902964478886765732292342006229440751404274911748116464507256629769, 51311234886012118651840407780246172457072162127079347538582849061946002697582, 21222496951690177381463517525074322909849670397353903718063525443295370218600, 94668555815630355259128193644243337150716323912527643985085735926016777047866, 81856890033708905433477513548866120184150750035325040910778103331354237318566, 15709838609783639598431287452720108394738748532235515379084303059736032584181, 63463836171307623694475477225356338232733813331266882151956808620091988216724, 35361818728360367959779469911599048256708853065004411170057674705284849817530, 41809700846650129310064338585487781434174462583677870466327422268335324517617, 30844816138859353958447562045255363075030546659279091236858732634974857042130, 16172170588792810153859442512378640575942110661296908045677873907480898680183, 32947638943143123786330374938563415369945317345729775361278828417425682339691, 82854683069460950841024342338582239974076874539283354360016724561117912983293, 55023198371682477619634795987916558824317845248489116809786900900335126162027, 31194615856885808516824871773477044665290568908267702869522346245497898038300, 76634427053433020512079748899072513111553581434244646006556437767637868615023, 95427537099699451433681180010386829559686556222163539138730720318319243715188, 60129009282853525947724116218009183297409313981554875027798927457180671317782, 106044506485705374440037014239956347839381279258854248227385616498991594966583, 9643136544973467884926082515147688333994350390167182317095726850103332033218, 115228829330663503573469813170674748136406650728756800326715610247671929161108, 113210438635758523118472030313375352199914865246703673581711353966209990531490, 68880040487238881878813572179226139163041384486188009219687426073450922444223, 73546175992849538863336233555456633738131275749037782708162936649169987424712, 65795408009915777258139294685309188447939410454150842828012379129345958967037, 66498669506344175106865641275043468955875856122320784496692201713499502351461, 43809912360583492932963646764727753295895484649829196930781154405420911737077, 25526380644117301584665023874594608175374263168748298370032142088437480284955, 35540332388783551396107848561241912417862579717899439003506117169731942461614, 99334506101858063237301384607056554949007682726450676161851990970603953469384, 16584385146823478779432639314130968304271888968048362372008842030695744646364, 56782770542048323142979460569156726386990648303722371397149099498094414812919, 91442394057266912849940577665541650127838837355728733134607699673737343406416, 42925212770503926508151632000900550701517671102147636435601636846491271902600, 78601699502287198119219027002086832562366884886807494408540273068121878691840 ], "merkle_statements": { "Trace 0": { "proof": [ 112201636147138047585907820671137530649023050399478695933814009041036549029888, 1706742028277109727484497926293810234308164277453220007246310446935960453120, 113544323295971422331797098023121726928530544327201777629861934900385272561664, 98680339380881992078527181208449040894706184030926603261678825592124682010624, 86887379131718239345242084041169474628944308594202816883914623138339756179456, 112626043120567009138955046745324662204293274337882500785955862664414477942784, 4195940696376975990577300756828751149034118148307045309653141320709645008896, 6790229437523729134154326891985862975812172190079818671576580684222614732800, 109680616674722667088272932502965145310707780180703803196479501920861488676864, 64631938907387038338361375122405295627870131107275308011647841656607709593600, 104663371050579898551954928895191819915063854705369407372979631106427541520384, 94606426554852963178755710128450232980439839328930654705551867744182387867648, 53876084923201135745782361356098807893161787721553314011687092652874227777536, 72734930621141248579046702193299256960853796618318397690999021645580229148672, 93683602034353869490333721564604755049567624836530611571198210788664375508992, 61792727386835372108189626063070334018747048669657298890575315700492990939136, 25159402564874416146358864227459608422588837560740456758348136511738187087872, 46376383639875172997553137143053057108571125451589871902188419540657645813760, 90826913936952321182340909006654918432293937545405580120910359119509632057344, 34711352371996259400080383249542432850611092251861231390206192445616847585280, 72694887164351870925144985272206345004018762103557964400135524999880431894528, 2827165133665119688228430056482040176194242725720550014183113778500556816384, 19699309492496091598448698283470728509961661463782421596163697999736473649152, 35723537840086253577850222913838318622681062311332437175487177659951775481856, 29400553952848033037109083501211645562822137355856262142533889485973481324544, 91459876473106439899032167198525947201476025080563967148854131868069586272256, 34922305690380282563010525432088719849894483187649459877865231813649255890944, 107665321403930562864619575011125606081385768309120169186756956758694399311872, 49628534220526167597604269361975680121111639770896249122302128858898760728576, 44622350974780056699368633345248296602323601420942391307422102676272014426112, 2044785090943875203669987420034619752817136595175769594463329186839512743936, 136945663465626612991809424186656290605220730385994572044147409716884013056, 101473623165200072072925272564985505151078726273849855717793723915301445173248, 101184531942536952301873679739985115175346278281834852993267769953598767628288, 83550664250596015116014473414288920371894701866568084161243876568864898678784, 57948427271085482761245111974279179739098986643952852058432457340915657211904, 30359459745880921087141018744122988637802810815940713687648029373181789732864, 96530735230381145968278484325735063792059305272979075961376050913238304423936, 36577849384030075616141982434555409055663159500956042099408408480725931655168, 35242400605399363296767443040484836128367990969742970714417775070247896743936, 26346778416577154478065707308773088497432235036698500897326999427593009102848, 4755388738224821990184040828504457733089618037778480707791760110778360791040, 86822300785035988443016977153236587601667111109250984943481938750326599319552, 26958820205068091510600710272350073881386152902937757529669562808231480262656, 31502043121899024665857943447677655254829192957890565532528372637753382273024, 13372232972368415832367427003186736302635174019878944305846514768849080942592, 65152303235722095365805422450834478699626143908283403702317195360639012306944, 32492027993914743162883313828518206207687867960968369653059652409858314993664, 14247451367573038412582841428567872388172261824746683360789676532405498806272, 26606230306318329735562884933564980281649523942375865790593992847600612540416, 72885407919577686084285167819573723898024472728512362262239891858794699816960, 109829561730384031999250477964173323214548818196782577234928449966003208585216, 83404625900437017504720917448948508522060193062303111438096821254859016634368, 14575637658967076057846397554560182613176710760986444983353963233868284690432, 38187370029398614458069617036939992484479102949076947850789823318589876207616, 86188060009118843552264790932276588680018367073236378909919736563057414897664, 49689760603496445456058963885428408637827738774753478103817203067632985571328, 91885811120624006206983498674651725775518697781131091025784405618749079552000, 93275889853668461192676944456476977330349510530652945478361065555290916651008, 37118345269726919209636095242081370559916632889807862804130231105567806455808, 39820192808084554751164721459213604367193401885280416854111896708052926070784, 54175686906253689482032285112162072101827677484307036827224515170261132115968, 58545313824619034642671703761302591862809264178811368918943461529227806900224, 56954126622908161171801952405093183391194065712512861255060385845128091140096, 30691163514664929386663701173151110848529421856318264799777455897828676075520, 56994239367018629075636042284946633039230487489659932587008610494398232264704, 104347013313251035448235117732815330856776746520724383942378953722328667652096, 29664309637698081022504029635625839580013238254365381311052355599762773245952, 57760595619606980467025320646971326123808071511409143230678544845417815736320, 107426326894184128222299337184028312382739657100612656355900094525159000506368, 46770414409750980514897258860010571813170436001836063165256283720581568790528, 83533389816611922605162249888605753018031405769992821474784897562044671197184, 23391096488096483503528166090587531967880522815198580009170288150782085693440, 103028956193582930272643745809679457648825362998419140444013133755748943134720, 12672865173174735580627622305002130395437017306464205618388446027757826080768, 6423113981557860499419891313858338822366262327569524545945954095147039850496, 101941241671524069432805068853642126440896194304145829037313689298121906978816, 46921615379520300659467247060588909113183912283328338581437618841378321596416, 3681939388718000647466086333427492675678982854271833659371417999034959265792, 25196696040748799474176954069170746396480280652960293570471150387880735539200, 57865873919356535879963448079924765196677800201041611878767112302705818730496, 37685169566476202726818155251760768725794254323389968347759830408862231429120, 55957718148344558027157648140192939473880315320996028855576973029696816021504, 93083368574886627659813633781757248586476193423064595590577627082455280254976, 47125819880397505893194517489106763353454641923152119727027296655950013792256, 46353636809047453317485496664152210848909658879198392231494227262419392004096, 63717139889925848779025578432324513212999235358010248148789944599372355338240, 16755508331941311483537711550315809145855356186495613237932693615854613430272, 40273478334832305855399705151426504227759583153755414785877686713366215655424, 113920728328649644894026216396751772018894768125430174745304118181840461758464, 10739896929626138649826508848818427060907503819686856283457415313048050073600, 2462409194917949114308056631031630046256401421822006189083471742867194511360, 11081981919236340238308802005173477254846027175604276158378186283274624565248, 97412789540136874214099934437946257416688973470449153678255534912497218748416, 25516140195281291831887719546605470274558284291042802255837848385189597675520, 55146379146507256816857807596566892993259283899229163846445725412324934680576, 81365380673944437308367861650085719467705523009826998199484047331119465496576, 114219534591679814141226558554216095151329617928340216457826414093007696429056, 95476742176614641372610207242672446648168347835546637311700188566328606457856, 91459143797751085380346196323162532120157681604955232054150908184881793073152, 5012016115109760904431330239422193970277909705111542287738694132493101039616, 32129756415446831168769986207495555055206227128893794363052246746999403053056, 11663569083937925430197041187520199462507497436367838053695328496763367587840, 88021568673345852160793274851451267287295333953856970294125537871207977713664, 95447642852920337910963384051090493383402180127637406019224779850430311038976, 58993133326594978850236786732343763093477929182867289822900527716527264235520, 105737266854882610714570347627999171539216342134552975480523652391520664813568, 56523989663052522984021402376545664175996532781534962243061796275317068791808, 54652595512886347240943919514093612358570101184916324961751211177225507307520, 4844305359479739589429895993354941535713113236496382146619018928902474039296, 114951446605519798189959362607127185738509325144234826158632765078329117114368, 60549666066015953356830436879480460451195867436812155394792106320670499012608, 28674396102516449478111158372791881574516657936787043792400259849328657432576, 11154111730192957542037504003447178398490751858511299303869045742740241907712, 10594475398818643860122819464473141740107800999086473041983007672269436616704, 108870826831936134259612590464295459302963550949882457841632952038923851268096, 84318387343800179383261831699623040278928208590659498549292307471497764536320, 62673449156749938316155495586363407126688465479469447285831807770038068314112, 52899848016403864690614999714107817284988859835612281617111331465818032570368, 114015104409507660942816625473618377507046836601204668062501102650320786292736, 19875442924898644826990671952514829599046531975283654459169124134806137864192, 32264529370402501119125726620306411843775996660885036396594184895333710954496, 13086590397700182673452166472902944968626142669675636631568079738661637193728, 23523959952424699210596225328204701603572243551595056704516526502543966076928, 81523064176653510853634061396298965438716869032504205142817220285748561838080, 33223035775718555723931292318842338837110800355261164245151251932060420407296, 113909665474534826611636392793831576093998923233343502660925344665024119963648, 69138081343053226766700074820418842952642296262149435031887362986068446019584, 58220332064712915055011293985463059221904306775288603796071220585746636210176, 47176640615798350572465200943300609994814347879154509535982041541178046808064, 73790519480370250338862603126973013199754718953228353904830553598810027720704, 16934378514781145271669650358236795383842571250857496096486037469430588375040, 27718653381360939821905554990884817170318717404649436736492834726330863976448, 84271419752487550858160425881811480496880169720914824332484624247702098542592, 16523902597706745036958480905152782115258138027935720593453743557104357081088, 17344702737522107392094054840277800479081895383569667613120356140052121649152, 49602656452453552482473124680912431006449616188892575849453570165796918788096, 57747882841880676583372000102632875837744871100822715406567260240660895105024, 98272495676280137012570086709056838414782079376942480231277527974902711189504, 94471843302726006283499610801225139209594922108390149694260608365905380900864, 37230583512117267707048306917984364862221562504016038557383362853872928292864, 35705379568110415732511439780707473797799416183461645809696148612998951337984, 33596304567715193712561933268500421083251416076106827000184388589423196897280, 86311955915414219869435794627635914738039293068374723363942442283121013424128, 4383915476628010458880799712053627225465592552104577920382842698370606170112, 83480976466218050955802630294840940338027729015038619261073887442802078384128, 56737915372582954611174259668487341107627587774003990089948588884576132136960, 57135253012265247771372924445813693181569555763639939098811529573788769320960, 63659821175710190368850931867030218788221927769636792033481318887810071003136, 468322101010737486328103183101083005163677788610832954666965861195524866048, 45237368489654066716417462293230215653301295178879439599554671331999997755392, 8583339363677017748709612492231265635170137673451453081489190481743547727872, 100250495471880120049696173064169951742052792299695887240159116322209418706944, 94770938392914311020433070300190070124668571706040435851834737365028932943872, 20415358158559437371542040826499530834311123285250679280228792885097445457920, 91003091091692822284061722878457433044716914402597788589336903222594237366272, 5429158447953833326010295000374221624649343410280229446317198372241189896192, 92657313578590160026264108102481011954854054617349082725225947112187795341312, 79304025223955034794852436288529494704630846822256329340961205212762364444672, 27061681298162024899672819262361516523168305128416179171811125747324198846464, 91936076980870126271671524370820548953797972757075808914949910559164098150400, 45627461554866605000913592708296478035799594629936136875162436538960342679552, 111549902268595936247718014703208685353967504302768800019466676758216513159168, 93729211854631224992299306613147859598382074267647455335440088515005594468352, 112754596847043330652710565923085437283732685878316937326609671422595758555136, 42272801611705019336165587815952790233719439360282178420297000686782659952640, 96142254878169572824805006826865438613816016798817293653137196185264360259584, 13782552250663963289980531610343121320837777362068779194068374378373988745216, 53097528530616897587518911230807310858979441484333366518012650409449324806144, 28317755358568503432137738812380756039089870209347159961630105563740443246592, 25269271947538182371566001974832874488091643528245025744696589495536304783360, 15332745013153847181606141757949584957603242290952380887908630491826107711488, 17362930712994579432890881367957215174799137367802847537186629751083630592000, 91535942902087456791278223854539939132231322312221874534593288848013615169536, 58881260215976565627994640978157572814557991805187312581227564621646518026240, 59228585675290432516189222282310793610624207555738713039651449298553665486848, 51079988603516931759070275318047629959066123653955921387886802232314666418176, 34781676543906913679793902141581307259716789711239476047354647222988304285696, 27864896510723038171646022335762938472499406726197562669497060048976153149440, 1764214706223224290417060810415902383536641650414019963024476928429501972480, 23239593139325223952298886826837586714350575621640542739608426889987995205632, 7508448859737533823122385548544208229112298134702399147226184970445011288064, 65227877136044625711961436655208650794916744461386182412883323345443886202880, 52495671817084316090017813677656872535446951952685123234425060740425974808576, 112672972201634561159535870199727925162652633779635098790802743293202399232000, 89773298712885498799694761491834878317075167401179709023938585959005071343616, 82635804688559121358039702237963997553036435859047099707341291852603810906112, 1466770100466261123197546655260943085261533326797590523839749542306857877504, 43690367378925223266788571961523110722457967996943092066140347898972138897408, 68358335212286665326753065703112761377174509550057351411487572943041999142912, 38285486913542130199186248162683746267706840622394242037991726092169089384448, 106494309968309023422954389809142392877480940520353100713849074373440500137984, 12990289855322123028288879756837247404007051845902419443851679844768833077248, 55975768184371569977175053461455563732678911249008354710884922391902713544704, 30305938451937059275305449167606876331304865536985507225236121642005811953664, 37179544754205103217390007362185454329114662482844767332950741274699294048256, 56514287063051187464228473424135211179280789195149983248220889898272121946112, 71368981097939954913234112767313430942309478204525540437051987485283835707392, 80477146574556504311413159783407335888261698902822690868175977096724820787200, 84103143937612825095501532627718617740364077193435685731258100824375885299712, 61262228102904226327322753313554646312384023358771319710218193766067352895488, 62328682864064486609909080043782131323284335217771947685126070364068563124224, 112218639672752502068752784245419705426298107965978244439755944124089922224128, 105133170380245763163921776286974397469916136539704141956701529178998575202304, 88165615372825243986908706701276567728563177854639937928834541221528234622976, 2312805088163401910260401045355993508603265644116255745201117736242843222016, 352528507148641823677879894203429713251948437525156683758757860758792437760, 89704927122974492510054668370009232486954069987017397018798660880214528098304, 43704432539009376961298751094243723711267850058910959821102202737518956249088, 1122573036470832709050608819005521829641820137922989357300545090798999306240, 33028761970705550183065842334005439076626738299362520905120603869299467091968, 27130468279972776312101009589162180407437095780971344455741654779757923926016, 12168155290998207085363439650704630384181380045666736917105455863646386126848, 110805391220071818706070252741378975489985605203763124600257786206678392242176, 81903983413686746184245025342447991877521244500096062734739027626941151707136, 75593337930882014092367226022031306244580892323390195042555692939285060648960, 67523693618950026889042147686586782873098555500159935118988730718811620114432, 83683127615866431257445516531116294589439107280727668594281827800674023243776, 95759192145544515899286995615608954458012769651493810335051422069126466633728, 106210744796547329856544365047716997585603877272994323867174596266385431592960, 103988936997265807914762839011379139867664249753679539687617518526812701851648, 71064734770417136690821133698237916261945921736242888661245489644745240084480, 94459343357999029657379079177487920900974157672274181748669965815686480527360, 16959121863225236988625772349503137801154376348399953900439228605511321518080, 15202220073425903263002281689019287497629630722734525489769845277425573822464, 99239594553158172377664263935444842945527989467594814465949201828888889524224, 13343624813632495307158481383046079752106475196302623624367477769107792723968, 76460261659218807387740924617942575751890657697562463224300708382662641844224, 95870238436822727839271549223148714216949937130542000435582031745677269139456, 66321048511928632213549573332505466388616520397391390362865621638635956731904, 22958547498241290211689458878590387318894194929603061770472247097644770394112, 4936648887590243317095569909071677732579061973500477459147106915889453203456, 62740277948939882327177794007875637458397972449977351049413554233471645253632, 48904447955941855819675142591599279559187594987737783260106316220602842611712, 17741964920287342084522592267498178712734034907542194652842707984318178787328, 51439872718935763794202301319939456867903612519322864260688677671747243212800, 76669341299143579009018039025526050018245998568088657390510148873682973360128, 24555003959486233805063025180808228793276657049245139580630917608445457727488, 5134603753511941701447243130905709447421393073369680755620130475070814420992, 8854552760719116386720768701705794576551718981194166131053927851663218966528, 69875450183801038128543923546486683178573579415524041547267598143054256537600, 102829246324807583897683712496798494935205942897954801269505687434788597661696, 44752743684953180152529190305503204928736645738571902872917420914894641823744, 49757162101350602770309727219142637514324185996971919154763057243428235509760, 11899456980220297515756387490344950596897805871060383196760520827510986899456, 53499918575460995727758765658560234440016406176094396886839027796253861740544, 68606503935604968647733557801165572208915350739534043638593871774936993890304, 68622168973346387749258085757516759312139948578946956289666132515525744394240, 48831545590157484996964934079774405279125799367880099604495547204034518581248, 72552931083672835452033241875820018784946345414715806170918382640687434694656, 78001177631325279192657144908566982368160115698270129958383050430845196173312, 92787002769988453170550030593016611945871044453599513982104132623239856783360, 110358372567421386957092971661730376066217341439221577342509418689298484428800, 46787212570582993942621503915874887229992021135283592289141075330814170890240, 22460648944848045769867444705812361248380748131228836099413001392594689720320, 106878628145790981124913877314689218849446784143267675721834316608227692773376, 85906272796804313020312785733092240305077445134833774079118970346696712650752, 114541339833458430712397494674601519257454909995525065597415599768462063304704, 43640895441770699912404304892734465419517073307825288661384189567261703405568, 16302337469083632394300949310874853674528260737188811416058025527020621922304, 72566614471436983110040321706569816811146608163251386588298681631070283104256, 5573136395121711224091176937325461716046375511172187238660422800992597180416, 69767622279141869563505019902339121637893964937881618597586588607836120416256, 2213445040471749173839098338716150852870222610080189557007343159641370525696, 95552101234325988368899970284531845652319036214461622916675196187064898945024, 102051319405081935787914192781511678846481046573038593194251823773071842476032, 33356414679570173270387732070418568784023792759582965729531874489743095889920, 26173796117977811045998230076138342603734217912900510275357649942235603533824, 105530024115469820916044259405051449775283756710500131641464675891762746621952, 44922508943326396088976821432600856319766017454499522515696651837531599405056, 50397433018969696523195666227417085740006075711709691452297775287878950060032, 98442120764179633474796472291904943101811855832949810255167388931517698801664, 68340047899630748768365995562913471285385137492196706022862452880028783869952, 68077833900572471131597603376992336885679810914149916824328584631538233114624, 45660201382002653195358869860180146170502338754087821540900737331094171418624, 103992454323081294650782587300586496681121141101068456488315309214894852669440, 12354047945075262300581859145762848194314092403136154100495149476456251260928, 82159604815472613929847075353059800552512305503071944981285035047400255782912, 22868812774179729676486885625925150189386906504631992330901685893500361506816, 17116889969822977581184554058230718992675646068203966607563421778284736675840, 61278181969031512888994002517394912006330110239943618395010905462179039805440, 110980422351059045826147695028454132876268668202356626576059619906780439511040, 39930912466170157545019591961246381170221689750655646829155222519147598446592, 17450790548066660574927593930304758805920729887126666367288915293869390692352, 874938157982951525849789455889815850343594215698129620054006707798660874240, 78965594993551126959164580618486669565919481777658740183226702799913114140672, 109147016704718798025790662759262480820907151103087857327872363890270460182528, 44114332560892625541366458543243942999919533232739964142259117750875683028992, 72340099389450360026217971081748727070121065622201763152887087067818927063040, 48514522920528932280729165023543404558332014989645806541331334423799197073408, 1526298300548405746212140120644279209546727934979099933797822134597567119360, 9317576807445435090550001015082493967096193390568315379208417934987092819968, 84413601123180701856592237262163414590320824121255279453172046559484670115840, 90691987900766554704083629561029956286808228445924509752498180687550459412480, 37138171544272597717287693333656253298251423249700762003398999932666275430400, 44699009421234452436168808369304391103892657644437499844264492836319804784640, 93891005851887423677573044485090866874038716826964730652175511590787530883072, 111262500051324853819202788448375263024680811991930202567431422305414605176832, 21738093114106725597054999708162358538727740816708703392141310119510175383552, 53599808261944810993892486457970135720457841837320531623292664192125508780032, 111104991726949137571224733022800213320309047703976440004085574946952312782848, 2323391091930998632699814045239440157240244672569754857438136614343294320640, 95665251627752025538053893620538290863361375227701962403796865920086189277184, 43706760636904886885052399825853612066096697433345485257820283685202986795008, 95740362518241955795436227180554354771150578802595383574285402843407630467072, 12703694755083836841449262011967610191601117043084437949665763680323180167168, 45329616646085756160808072674782544179623193369405666168537723760244772831232, 19505387553523685224100838986512154566474555738001337820453205664351574294528, 37226958549674962161928745659423894607627474734587515489492389744134483607552, 66325482338473053609928828613586635872698081755785273826400225313062180093952, 92598154982156973148061409740049812818724351871884945823775059279668425261056, 77024862402806333096417856419798274382502237663103196210367743889315127623680, 109165954950642007532612191170629776006249147559011957192591060100512512737280, 31814138653335495862126824237391359591871923192823007921618508974329471959040, 115260264409567518474606391293674444424527064563482698633061867562765492682752, 60825847467822403166484490665579842526449035997468314959227566813554585632768, 45678017535604283397030495302995475190494844959805410544081591945414326616064, 44578823779926963611951254902265017301491072717772786885918211864216654053376, 60624472749450130155500700806193098475518127092713009489196519573651810418688, 56467865357287802715091456469215788188675823975124865369080051219343301672960, 110307479039692246737578387769048429614987432770093952728316332312652549193728, 50746586645911759459533568752428001113426708661587872635835171308868770725888, 103208886725329898383878503971192346674651666431908115218867752827041217511424, 113089968804839646649328051903377265074707717419983139949290130564240218521600, 51664929907445406383387035448986764053606568326463622400171250374676410531840, 104905336367830110025555382434717126031426231710253737382180533685673286172672, 89856793394472746924934384556425172757618566916489225888149285321586713296896, 98088105185557180911727690271969124205722884365055596393722582311361994293248, 115254019528299429041963867328842188131091060493365666682949326455106231599104, 4570690900658882044002030609350924421053568912587038582522181972896797163520, 113559485030819878433466695212115780953180355579175903153063040225931432034304, 37922028490258836859290439042140238106162848372843864455679739269407567773696, 33931900231842636943784792131355396244768037816054588460002914476224380141568, 103891538238131709809443192146759621980386604875731961027481575483558814810112, 76887399396118919934632003454057632925725897208344123600679815301663735939072, 92210715307218868696072474268425953440992176655449289509397420566128348889088, 11420203148082712639440005948985928023129103083580032340228039271225644548096, 52065104978166944266816746417807191259389946702710240469861962605333086994432, 78597052900189608663767843341874841122376220186844462074781197190573049511936, 95279587715021459560911634039671118422318692280817737312056240116783046983680, 893521714771141132533414534976893880296712594324846267725432342951057424384, 94188964836526343081676102582124561396463089271668224562698832406756370415616, 105379645889121670331080720930014159413044340657746659753268314866050362507264, 80388410499096993349352270411675925628968511878830994903560642568943631859712, 78291924864041484204119369449346724704422862713705800333514200763251390676992, 47888370837730136161033150035552539273771523863301118457903024694075070611456 ], "merkle_queue": [ 67525647, 87145863133913532946978632183767338810711750648789718698916950165845855698944, 69228348, 56126630242843030076664566796517602217603591634108677142072197182233270812672, 70284890, 107100395960542092728910434672529613093713661120202928665372300742589853728768, 72600532, 45195297074414052676936271080002123892409804915743547934579789850683675508736, 74510661, 89526568568171051174107369719612113578110975957596159446958170518788868407296, 77949449, 24213121882812860264189018173642717674989969770002798563752503298868526448640, 95846503, 60051083885520626584325992456241892350073614181079619298272556269586463326208, 99979539, 52272086296501261084293343498497627191114595185507492043790698408574388797440, 101776459, 67453136668353996111828394760201392456370258594402086945985084395356780756992, 108630830, 85857374042439751240660750668250121089084001478856032211232855661459802161152, 115644249, 28255766230563992801490506995393384663447572135775072360957223919523595288576, 120631317, 96555353038818565902478317639278248384211186901497403983177635255785034350592, 124766432, 38988219247136899309524577094469797930966301079129108791266977081646324383744, 126772713, 40290222925377525521642916943745134826218167805871171677449931900892133457920, 131395571, 22474296091492069536476835075470471402600948152695653580820555053415197048832, 133771798, 100882164734833182214253789642644810530808230174042040311967516274785175732224 ], "merkle_height": 26, "expected_root": 5615154712189339051640966404240355226983762456044060648305301829661843521536 }, "Trace 1": { "proof": [ 945309018885972621178513317729659101604357545098823802062452529199013016026, 203246941763678591786473273365188792619328030234620370811760548026411922954, 2216822919969913792752081792462203457240305014342628160284698761689863773308, 2428271115585779354809885560203896640340137474275403876118589911311850285165, 505170070217713732024403173990594264947760343051070356028053232987204708841, 2621601032021876610946164373186943500104669699788286183322778043436340598004, 1499168161977990742686829941599450010395959358335766814354644045642341280774, 965725682067846862431711684772747630719189691059965642611747995280517130211, 2683090390685979755183917030865096435429135892682233768574722117231940381519, 3344679037083109183300498590266795746203501073250299285114620657094380396041, 2309750867052969563274959003535400569588377988100548550958031668890030440834, 1738581915662456732622971706455224370673612825988545268929662926572410582600, 1796783576542939371377094873622739762013099793551349638849754398435176848216, 1408155206757307959968740242407991102654232930526065012028602732720823933082, 3400077150416267793629853674877179932739996174201027004650184293499857635148, 2441421830903740667930498943889463677737351145479982224350105513086539801485, 97451460001487753467643551999475961950381016500123862465876159503374057734144, 32761578988131796866538093446909508565378410832430715368943372976712425930752, 108364330548348909273694755035004010851250510845902262054340878248773676957696, 93311101957048234173334926311824924406093069666381250428065104345789318037504, 105798580993316601746962409588627699496205719834497744154525500767781909430272, 104734595772046931657614092103484262636871192876247879292195495657930160603136, 19504728836014214886291316032970469760754272265793267456748283844289108115456, 17173282599217650633910707785304670894022492349299025282405093724054804758528, 40665117203886919464345677366519982806602566162827172747745789565257513959424, 94129915377613700819882996569639980142203298488531961617517290519614296424448, 55563478437991206447953135789761775375703864544226082818274007922647429545984, 44744722358842210990617999838602915838275043698804108109780040241323041619968, 77959102712942756976191131860048772588549167047142707521869147393462036856832, 102801106669965455747586770959454714485335779766256815725303856072917249949696, 59538181556255734840815165452595972386994311123745029501075572936972718571520, 28502025192096543227698789004291838938356295021106318427529144727983129362432, 57202452521968762118699221669613071990805258615560693923874220702326644015104, 6560253800284966789862122838313814368231847111594233201901822647618305523712, 84289115268992454031730697282436193545325630908880546517751316046815436996608, 17801812447898331032926830003218460723610944233910841394504461139484405137408, 23311649776822715423701708585945392652304098860422602185815090759299739156480, 25637432888864805712396346110322027742386849708663872598293065038170622525440, 54297732507022911344008623415706111475702369984851766622521236998556538109952, 69591892483627816647375174129499467415072893412824117522542216512141757775872, 58022235168143525624609738361962254940716439772828997601394079217851415134208, 40010572038809206974524634421598103826244968613245803739107179960444336996352, 35945799928943651523434161830076485957451445031970443130681675854611642056704, 55769958918204109075807624536179875493230712318032185443341270612110796128256, 74961779894301528916429407387602967483857804107359223126029824411040198164480, 18291563134610894560657757974400667362338148102712375647424315129530924662784, 59216623926723123301290681949473160745081116537660106833548364650494054891520, 65858777599685955545703223385436472349116524342701269204753386909621779693568, 26219191079150271960429518730270508944474788635480966375531384133273899761664, 58342772943083595736424346633284382103496377474140286099353340164724907573248, 4839696244632554652773160035650865380795464513567531730328714812917435858944, 8468278589975149521518839581425233211441859091479092656933609606585853673472, 664475652669996100597457036443291706961533382720471211854915728997449990144, 28538581728742429752273864083201655317656829742811931135485720469633465581568, 114885471719126144703040983137617694973916895435944427964077215274655218139136, 53165446308392258775376120245957403777223362957124065917662619712838998949888, 3030307678507540933911897131198332646875486520715677085709461539495245512704, 80990311490641607820648178155882381905572020042265502390665643213635043983360, 5453433201719193043353950518906201602319349319918562819136041604406373777408, 28670849741186693954239005228504898365250396402851965096297887554062730133504, 68049652473759410016126348941644721644809905249798332344221080814358508863488, 18698436738387709862108970329049380805086457151707785902501562743751379517440, 16902308808796733419153822793899188916116857385984851148928633779729287086080, 57970919971661034464701248143062475925553342184923073102197875613419725389824, 7236278826955529111815601741468304172987373242429341392630418622123358552064, 112113115459709228582435131572791546039586454742868451266415513257746857197568, 102150072111988101801053375404650446611183243352564296056232672941181035872256, 7378662092264886740785053825738452688766408528234954646500916128083049709568, 27428953841576413930784876060650326348291682742118857084377234941604651859968, 34931014527034727678349602131429273422224310937737380386847749297023867682816, 8386215030033185856644747591165187029742852868926546892884642188065769521152, 103031888700077646171314431268133090176510165705297505828630876175587560390656, 50898420058724816986048258457616571693625792057835362389765302376842525671424, 22594056765800602928723865078345009926768291240263979439188897667085322158080, 40258221094424427817058443056363133999816366607065043012121935720905667772416, 18940169230277392771365907907916050242268808605975320481355743277752340447232, 66834440278507047462351217120041641473484339023213148838173011971247548923904, 13290152298980010811512618595879055980715025886028444463221881437630058463232, 73359724243639013778380241672959084600144698754614787167460861434701883113472, 98969817819009227100199733325858208592041512462578390060022345480129199734784, 60767751548516040454916909115123575969108763670345921033498148504319507300352, 29722373505452798509100590676161308245316381095581528955466153297679795355648, 78553240834384938483730251673018027604280126712981531029892417249692841148416, 37046857702859882854083652235200493201040156753592221019662947742339299278848, 102460804683481450004812390918656537801685263031490902587002038488499595771904, 51141749802522581227960004481342787306721264232990862300157278608112450797568, 14424429241015511980330781830217321669122120134470713554202301462952619802624, 19355089153465354396488563621439120187225997782463451200069601369235721814016, 88158060502840463336005906256382924929982287105875008266365429204795374174208, 37237075095925799910501994110773385105324102720720382319400372761136319168512, 101131670391178894817586891242816400861187695228752237485265432577880742690816, 27602777285351827735699404829743238610925692780967265967107687790557066690560, 108115838411487016328958883186390337145649571486367754927166223210446902525952, 42482633808557124096709284974334753895314112998412804334320393132846920761344, 56925707380554347240287853300444264193921064455491369232071043009171297402880, 9059011194689430627972524980140390786379276993582961979039971618995316981760, 36979017551431786025813959528550198921672923360624965895969115184875440177152, 84076317468475798771129780723926674760154290745525248540714190939855853191168, 99350154429192351605591981423148284532507867467490871547638498810520521408512, 73202546027762581896643834674286284100183684766485760595525664784247727063040, 59190295254272898200692283133948616075772644699033308605035705793610543792128, 115379876024776422865906633815951246499391558941658519125922190864508925247488, 88400707117847638556799378138758200194475996961703129959348275671316280901632, 52686693536904588029583428375341111867796199091697141281547522697863029063680, 9939470227752663539089562077953802098104024759397646141139704684066130362368, 19565813388921981060059719782311555004334031921066406575558130007984475996160, 67971516591299633948452026779697279032338468766803221426300833255748150493184, 62236840550597761105679519232921411759181327330113907647016613100154360168448, 10575084724050899957026491080266348999840185943397126525115817118548017283072, 111368469622255137372392122410210673667723499895787632090527490943571313295360, 67826706358576597767419424518708604727858781110018343493278944967460112039936, 115008411010202196505973407281252837325080741469538947100636192187751092715520, 22767948169713836038221034729643972302145987239826964651900230675975326662656, 31526782354000147816407314234945280709849601113059930805973400063057294524416, 19141749962117513171981100885929040735845577137864598565308255583998729781248, 91878406295798813647578151042484207133026162499452601240068529095232247037952, 28933429803458507721384598605196170017621121215170446508566483208902694404096, 106092264119435641050943491239795873334876414485624410605934283012281049546752, 92717952363203565763702398263644565108652485356526738891055863295948605095936, 24308804324206949655990758676806941977612837018538596131704739001066026172416, 53398394469782554769754759700795657995044748778637926422274374655364684578816, 65640768222077442923424686556054385728844731963833751677362609868213080555520, 86570111874112907696586037408972608307062495044673964149795325806200750080000, 112872911399844789422898594168727948950306351080670575067885534807915734499328, 14208618538551733118502698761637299998595356167313885808975782028065426636800, 107321313936684010481385971839991021997422652021063253248652511359070625595392, 33503297209796202205797309693565657426481866079645344410705879501991814627328, 69568212882462330078844104968848255532287489168945407815151197203686020349952, 48478852603481245302473004907548834323139864591335240127959854600507443118080, 99108744286275811596616869336983800546550102934174293134636417720655775006720, 100372749574671374529931512686830418742356969961179876453510241216118774562816, 92008661374052400133374269799201837470895218467487645095504788700057753878528, 91175882610191828880735973633073273814039679415573445540973122889886149378048, 65712481715615339298472841366636486119685647486648550333098915136553084780544, 5843381397609174678861458817881807661322640720401539634712773112941185597440, 17159274965793830205768978755009424834933598169893095060887963314240096305152, 108294957726840704298458975086226895617515465303505294483453562876962434711552, 17955487641204278757704434451715743756528855463119062308671644392015876063232, 95092673613913472969371913740503342551677897454515099804659114557452658409472, 71600207259068884283523176884949675958848859589740813520523625582338980708352, 15434010334124527797134433982362782105537040169659538006202377694514348294144, 103578608299911476719279162016997101492875498058069763689801377263833535479808, 96361044074490317536209366128202630200975996497886427785654397426749881188352, 66461023493522287763944985459574673602617975474989462965620266856424472051712, 14985282934736163426235903623310675465491752889847755674922582391128617648128, 55851948319464494441563161116319255243121014713284590803899351107250732138496, 109683460501336422058382162301913220704514616997957568131658021945784292868096, 97474837584004993905981829222685052905798898169808670627015960993611305189376, 92485260449611423594380106956069080059666898711634556157911347440837422219264, 36043276156619193902560524098996205483006316082554138146744660718395093680128, 55904625871033826249493713772643373671007557475179440349659588063271067844608, 30288896808121940117092561077298780610485332448344354254505951571923911573504, 113022061941396765183994995872007039963214000425688127978591684999031665197056, 106782712654679841500690364172997658013451151764847702589070596865278345216000, 3911192529288941547991101669383586420909507749530208910676179713072086122496, 5621570215436731009298279144562403978765491086334418584798041280551080427520, 77243121622998044474379794266229557212143603469984479510068103000826711113728, 33725975325558030219732901477371356895102993445973217973598307993553630920704, 67606101236183381058954521495867656583851537094096571025780182954064666951680, 63387010842072013797531201353046410139021691520687730684454865891823592669184, 58613538664807588825217769119843368930614515992554693497070345084413581197312, 28729363643790156518360692906262442155125335047377981751844245861282609102848, 49502419542360943974978534938074580106204274030168088527790382851825927716864, 74251165415400915402276985296725158089547559674948826957969137295755241848832, 22526684681824186972112146982927007749706134252626479668851764765824171114496, 83703926265949567009696282316290265992695861568263243971519912505943074537472, 71017837233913392549734953916327777761296699097757005352404522519378859655168, 27527558782840377230862685817926441544848300944077353488504169358451563036672, 81811455999783044501996528379478991769137759245870022744723718502543735652352, 69868607576886253932636845699265100135301367492321471741424334531129669320704, 32159941503297208503969663296907256094450319709100998376820188860257537097728, 45697571099431484645011197611808638008498122460841585224671630576581699698688, 50343336472519012239407368274231356065861605320778938380732249705738984751104, 9554483815185553275444543800269148464084840476542165647978444236618880516096, 29527579884837648015844235398789738683197066624133209710721455027635057852416, 23985528118389663003345408928337095476039245813266170139644491936456496906240, 48931471284885911623145910703411414668921565015600150661265023399566218625024, 98074055517767351236093444061725851532408508319719943097730535843804582248448, 93714446494872734621449809228933452720428989817574008883013950684397358284800, 90698953669098521954761019199965519904314312417953428256503280585181465935872, 92101493664225541040195815627814930162682106942161890246498278895751402618880, 47889935417102135324431467241801457764339890873180255350687478106193104207872, 28284439719393317637007927909265657525806933955485071168345717668347952234496, 96073124044758127250142043682069949450292016481622750657085683109383548960768, 101919075557374814526401575736833842500228975196587771596299817343401848733696, 64304731995881771975702309128409280485500609566380332972334614624017743609856, 92385813426564388940525898632945321490757767808104834745669569990306461384704, 10414854591263342396815560551053217319122809769763057013193378934235403911168, 29426237836908634358089508132985396480082869359667854702668613016925912432640, 96542919371515936814969924900004401399405567195318887866928198598189685669888, 26554791917299949391692784341731662348038964972676241086367964709294813741056, 65464068501026911111206781963416353182765478163531419464309955164017398906880, 24791463444824364731671690318657499812477155520549105449754876474650200637440, 73525740238907601822791978579117210612541907588960042776049036779929737363456, 46257004318554515916887063254865282481996483814491893765615261935476211187712, 36995078159045001651398048024367874686708593946720131020152236966672284516352, 46726105573717300607289297061601750679364303593143444347747593414898278727680, 50501979911671388329582622772128994907418715014397274475689924333238233333760, 21880911650243804959491737782703959767823155540832958962564112546375902691328, 46890363982832743032745311977193827005415601376867060282008635472074288136192, 18776233821897147993850634319054216098522317107913084976964069007557060984832, 104146418097619906083207553053887059997136935254605152062542739012269220298752, 23484850906392130450286917936538476768814100173044088866083927359069978886144, 30050782697772777187330905971053215073114059958197103184649550389479697547264, 59858488370002259994677196176753681513985879538993771449698597397110877847552, 87430428986434595836424862490824675295048434444664177278951959163075968368640, 78200479786163537615857798846682737870497218580679021605329292346020834836480, 8088870168315198657789690074714905125128601822067808615660864536519293009920, 7109726248248244862577522555261870870115680026736829155875637722229678014464, 82720496360442924387990274543880050954548645410860958005443336076481997570048, 96039194159820557684408021248402434795168709187288726717464490050089430024192, 88174614057737702176708975110626505075423394188605253047726321545630114119680, 106050595912561884627249404106126112428933111515152857650931422003216475226112, 8318099715564511925872905929854881562654996972669811252069692202640868376576, 78217667996865391739317701864041983401296990176648076193478416938045789962240, 21402424231346006807740935037484136891017815435187772816972437241290448437248, 35730447710139063370950851304969627421508412297528061105247862904589863878656, 1481232083802468256659380414149389566381993182854250976943621424700410822656, 94438946805202393325122350327660941228156870439458440747437619382521354518528, 36096321257650380018690512186675740774191657549385708000081053361947635875840, 77248554378494690238979278853533290412184534598038947694358141499140162453504, 33502088339238414249570533922905946011232660949360718517355923777771894996992, 108618060376045112913546690126260658127287518483788048166450124453971706773504, 53085755055343838044507277766967481295562366866839888148129595526114850111488, 90364571848786634517068147059184491393406727505280477112439128734779469463552, 75975177908003302270391761097775522530417621050221605084659117625061511528448, 102198169705556839451688631535131882076195046639493512994808082005351320256512, 22042390340713371132013573265783920552303513470841143086395801698412263374848, 25283265872017117933490809047332039525844955068032834105733208319962241826816, 84511627790168177878475157315624624356473150484235314241228462894442073817088, 77127440898618607808264535065741899255284285481537323473881015431695360327680, 112399486064828840598942507929966641844130971158853427890291908415350147907584, 15679054116486976531208831007000826139417633078270593528956511172471715528704, 50645773507984246279334089871706442265019936578720030616962371922432802947072, 79691277245613958782919831587495686029761258744578685733370069334653564616704, 83191836930617372983136235990881765821118185676840704027978536673605649956864, 7251451676553200039002549653113577815249675740064212699858402238770255495168, 111493831007375074889774602752070360113755984487574559768266441249983624642560, 85992011808675294596816286861443423117223298864248748481413695835161325731840, 97335641798665820372996334924133850532594892634866144727340868735873486684160, 66209355342173622490044189211924942618388825409371355867864060793120423411712, 106745721080017236173805240240597514548274910726393860153212062460166679822336, 94226583381044010755257572091592914037025664195551104184355525811299764142080, 56015692921976559666722179388516834909640206768251949489758520336382343249920, 36102403319518012351151892933374688566104419992843164254529140509954336096256, 97994571953907654306077527378127110995643913115071673019768494290043404288000, 20650937691282888220776251517140367551554048271947747426345575777896274853888, 73005220418841175340482531830234135632709851777676807480354313731468330795008, 11844199248656281926666502225813468102216982514241691342309024188014826356736, 44881276471489970832407402876420209720153125130696308471647732701373499703296, 52511566805798193492353407739998745694515828876633622645321354591535141748736, 34031008937107283563689835566071341252206376112261598521010710088861899292672, 110070513144482372493402624524662967513701802893872171334611994035584640221184, 82599409833266059278602210809070918777937963505536726432734284117978441056256, 46607191076213267774452809463037230817977852160882548765630014593628182151168, 83135820582260211456126687909109462469139975672029563422217412017641947660288, 98784037516270434548369382333472673993857725941672553142327993377018731298816, 104776428304418737993063393202768456903375525403198114163884018168894268112896, 14039830905718976799861806429863077924872995687210409559339942302819282845696, 17944055876384791814784486515126666856225063975579417415797266889303195123712, 103459739913008723642709083075096312252294166422718095498959113126629368397824, 100565512331854450852518183580902235001459257509512649539475356097543564951552, 78721837077679437016638441210199525097346698938901292607999267189744748986368, 5797912955062228214553130770319810476754232673896128513011441792318758191104, 80363951188195423771153444039616954409319014861748520471548060241034890706944, 103865880712297096433969552039765045195236510156657795091654460746528733528064, 22544490836884501388546534554145997381816808589812241405907453750354296963072, 47490460245498956683582047527188807626718649267542616170888310870575484502016, 41503668029985087550821178050610795337574699550231096706566126022821878431744, 16763882691851846578870436876178418799859835047935054003735667083040723566592, 80034436807258481809265816176742903853618332552759700394152797208885338308608, 63392576128693831129555992581382066573996772123838421634230116490990543962112, 12748379549947319179438146327407762503614126838712853963325160941907150372864, 54722010886257166866713838960341941867549004554445699077822560999437708034048, 51404019587700678696634127555937033449640394688284144854460925371451275476992, 39620336432093689315952021110050998990524743299877868585820669697855166873600, 80045028959726412706598238243040386469565982580073453388801851805104651370496, 22897660006134402680411422920528026416532097802702260107307339565027901308928, 111622385747468022563378366878446460139798407507321539337851213775214783496192, 24587018112400025582661809100328822144107180704487203637425905596466303336448, 17306101000643623380707224513840555937296460051308831057108293276994151383040, 88269398393093910355124054573844403877908549844888474425446102290066103599104, 33896463821554413139430993805082635829127084329176547610493267570721917239296, 91182817658366403599491204557647828770333177226289811413347658696725201158144, 69025683052851167703048294358707447269463468260600374719818636580591731998720, 2937837099402129210115260804431768013171742448850255570236599119240172142592, 103422253248214838082271993197110538895714649617516841476577592288986640941056, 23259340896852223201697191196853964234320269296668939235186035779130997342208, 44743180799165587377721994786761386072518976500707333238587666938215801028608, 47318121963519185225727561720618517572840650460343005811509914751780868063232, 27230768625543595894144769217260707680390101760433012316535386095047512424448, 17592823996428414193168958321978666539797562297526680976891397769183631507456, 104901902310401014690241566702913351217995886948872080640832646558990230093824, 27991335452226099353795269341300807412582602669646072636259106768165070176256, 108915305044719350862096167516095686739834030649374297669895701430694299303936, 16335955238822215669678870497314060872224365458383432277189365202564902027264, 104224245513417377180273362345040236255435831125692278614630124719901312548864, 72569257149795495063606681070284690078612955320073094638235681377213730521088, 1741861330606452847518018211719574476448053439662290392867951601050674266112, 11874759746110285419338343314698930581567675261909814293339299059082100473856, 21621510357703334184504237227045852221739312333146924699663851276467871678464, 74529222088758512793472851494230217745663402533522905352662871072421454020608, 20817874869861097819180760394904143771467422436867503353131767195144514699264, 69865487729786882425408670011223398704936679092351560880168077797481083043840, 16313247444005631100755527332294548913983698137902490477599329046393830506496, 96321043475227075031946303049193590769688435993763347657348622264444594946048, 16926529376805301658909558228936755815328540872463051557431784054608388685824, 87132543940923651632285185492268337609038029439798418489210950967712599244800, 57420356651243387204868376940143104590106413022687779891162858304285406396416, 94220583045180993416323881484693651081547339182486201264924868953758490427392, 115251191137984511448089687441535394490755272268547701610959971820544462946304, 20677745659108327994247486824908228206490813533005426736933354920872530411520, 92145152650105678138028519818567294775930274455068974258623536849116523921408, 12472633864788865302555331958171850551290743843775725106766697168578658959360, 8702359657968356590594526337571704824071931591187896787288477544080211968000, 85567025140985655704213341110434734353369350184590022731006127330468143562752, 100953303178071358278518527681169236050240421504510606711303676556263362134016, 73500392596454069046908545041547118399870358061252277780292739101001598894080, 45901507015352160000408243894026315864880379423908781812589618966982480101376, 21288062763708054059526057555101056089046216413072768973024601865362132172800, 15608310145206774039009842920904944762078905608626532426731832071267031187456, 30811817651790631400614596542634517255101419937832372741908202661135784083456, 114695419797174824726417709258075071106291757420494936736154155514503354122240, 15487141039517286877150208811027895616032284733282188561193298497095587594240, 18699103139223214914657245419243111033597583619895591170425227837315177512960, 73488714829141243838956252162165159340001900747875786334785375771762016387072, 36746826997788075101741255920842857992410280460217166659831210962494985076736, 99762670661082121059416604166611464707428126078065097114798449416387044573184, 94575951649924291085634503892253721924000026403080388327024615299289752535040, 8285671171324397909254529594496755067454648157786190527574153768497856905216, 10943727472775544606095984399339027279173504203113988068011075129613020561408, 105501227116494770544293106460542588449166388087038483358306921492481713373184, 40043588432370572319090326135345627848770607918015214379489839613291106664448, 60706681433959416585227520880914831051871272339773642180708318301381317361664, 102497284165620047420523908438662218707941676308501483661753940461305188057088, 101759244682560364046195926027375135507452171680658193651758113289857954480128, 49424752936832147466155653224808505831399649932232047447693750055764116897792, 66461658362691629567574921292872261147298999338408087496001235287426885222400, 27263748885340862233482238495700146246045451025079332155831819133685361278976, 13698015756126399986917400400866388445409479346995477179218247542714658717696, 83312061931743775957662465132305511613126121633202556141657832229666012790784, 20612100117955715712405950173831111549016694704687416470238538240969779707904, 88692156340567800980239725449450487317899541184804827384339444609704485978112, 59365074583883122819027882744925956040255354611028566206219509615052000854016, 32904494025538635769770678268856187191926258932738821541184170630774586867712, 46616336918753274257052005610221357678740690561453261611199190748227612704768 ], "merkle_queue": [ 1725436586697640946858688965569256363112777243042596638790631056366607, 2296616469312891519208294273831661038999965342521065236464277348013964308575, 1725436586697640946858688965569256363112777243042596638790631058069308, 1433978011993379721423593329350802155885280600268452136609778717302347932979, 1725436586697640946858688965569256363112777243042596638790631059125850, 2160414368735018178759191528116939288013893609079109239131806563183687213417, 1725436586697640946858688965569256363112777243042596638790631061441492, 2948399162775450585484885808118981379892768050750711632396316949136394053429, 1725436586697640946858688965569256363112777243042596638790631063351621, 759293036815437750187924693986738009159105687463259779246175133984049738551, 1725436586697640946858688965569256363112777243042596638790631066790409, 2827596399635709122944473442561854376827008913445250398489645297639656191617, 1725436586697640946858688965569256363112777243042596638790631084687463, 3551551547809035785573341673540111493384387540400842350636782740179190476557, 1725436586697640946858688965569256363112777243042596638790631088820499, 3215908148498833584272391855038526474571144279254048851765669737220840895004, 1725436586697640946858688965569256363112777243042596638790631090617419, 936483405484360314445316468799445612458047327826093605319489332982174169007, 1725436586697640946858688965569256363112777243042596638790631097471790, 708102597074635425542761423257508304007278857865400369484421765713337254858, 1725436586697640946858688965569256363112777243042596638790631104485209, 3376640846788277034454948134111782602435761768386195498723148255837839010605, 1725436586697640946858688965569256363112777243042596638790631109472277, 484724422540482896074144193320249444186998920526828583197845144617154747146, 1725436586697640946858688965569256363112777243042596638790631113607392, 3218583014793792592227402362501700638733939932076794619084929904519651861156, 1725436586697640946858688965569256363112777243042596638790631115613673, 689659560336492103290874817184213647526144189450132487631420025197820407923, 1725436586697640946858688965569256363112777243042596638790631120236531, 709833875089688524827120897674510677758829591401295923016220743642680668451, 1725436586697640946858688965569256363112777243042596638790631122612758, 570908942722704881537312486191447472557127126641014798742104637749928226225 ], "merkle_height": 230, "expected_root": 57405894449212963714814627145644590201633679455840903440094088128021617704960 }, "Trace 2": { "proof": [ 1897896977103928056608593940102386484077827255118993158515241280347735851008, 107083103169785119227686553211488067763922583834554962431174682547075214737408, 12254574508469890778202988613869187328653074714675757172416943824969362571264, 79951923991127818861814146374555081920389965688015058724179392857507243229184, 77369395872596491559128284183428039073562912585388737571083005277040738828288, 30630816943451090085143962690170342177966785041350396533307632093486303412224, 42983347045457213086282827049316231587823357560210070438246415050881611333632, 70296803710858295805970641345257675747713061190154293559132877405203321585664, 93109384516523167772442459201096941202743524844356983560405084414551462510592, 111704607962978918097459782601574407129478916288353484538702124216865840431104, 97107229564313250446079325683914098988648022841879128930933940876919821041664, 28128155049494444336695655286310389600529102933001227973741712269350860226560, 99175952056762380329520784510577801321792612301974152760933985926211807739904, 53351743724502666315021330116127836919458079633554023063595499410457999966208, 60229024595109596264489247855651542091525258597765078553919892270799680176128, 28540263023288381824104220468895680139313398646477145727177870835268460740608, 57907603052287581650137073339524393000366312545830594642624943849667840442368, 110228908853556740568618583025118138264369486417644262038404477393741639843840, 111366546151673914052362478605170660823297810465144007581149346961241436848128, 72199531736726932080307955000557489196261337781088359421210764819110584909824, 71860503923229890054645286529562824797630315299692069060203937805025964720128, 101650940024147028859116430321177242689645780191016947823488251741448045592576, 5043367109702904720114768792302827475595324603707179926212196067134222106624, 92939717984672758930984421045708969707687493067332263844272017530227504709632, 8838528357919556332833820616948945002530928288017936058978269109929136619520, 8096859424637485942584369012943500004946543655074427253059849947111533576192, 31561097866629495829137972028843033437865827501823591880738064602047897927680, 36504391986689274101319421635015964751777714781907208390711508845335188340736, 19741053369420242891867456295097494665184232061112767120583052795942684065792, 42317062618334358309882314401232786190843907844420302113862090640515399680000, 108280669299444116306699966984680910870490145292121438436009985883534218231808, 76961604802549371064382927540202769333515411494136796117830858778054487965696, 55260387923212972338361218586964943288399669238008893723781756128009870376960, 74294833876116553559726437106148612218613148721973190575778166111900574679040, 53169027133571177616835465273553981433338981977210005928236793183908552245248, 51299219631874135724371084222949240776143469072834232212652978872849467965440, 33846787186967982974349697224357288080909712060951381413584513713275234418688, 69962199120092456519568284721072404959535915687830543611241135301282280505344, 74825146223111687817515395837348516577019198214730608526489350563873872150528, 33299468280902729827282998160061830252253041566536192463585565970891030921216, 39411019880444408941539646236814525144417929176451355018710951371793860919296, 78331562213474900602543141895680884822318718139400726708505390773241162760192, 57007039523504784019831942259560434480262789001060509706122327964349250928640, 106206661785923847587184264279364026551262590620848598422382628756452995497984, 13890402608240969783277601285836085263397207876817318001224414941945566068736, 25679824716524053514497977635643926968142647973915672418476760548600392450048, 14804863363472639504478572888312366524822709197782567264949956711753541746688, 56027740585429622771660097067909619604379892899570793024565590380671118868480, 75318498270682993247151193083645198661817165436785814975060652230269867130880, 107667102516782982123711932297164251506560821095488099810483263893757950427136, 58092630989557894646425343776837779451768080966428536409168024010099852836864, 53095491210235654444556998475632064340532601640782926270913067608575553044480, 11156930643262670348740573733378184989009647768081036991402548395873891516416, 91432635311841588997113627275940453970557182905201156369311234024320779943936, 18576982037690847032648090528897557912735104644008435067953497683440437297152, 80204965238209204981446895507117258280083855729981728443799196537785874907136, 62915270136828227258906461938837304952413941140441589652433818834736710156288, 2962426780993337294076221467220013253079975559786779472037095416810317021184, 102782973566132399334006039208140002892082294407615288011561560730174283055104, 23935755217654404224210239369021608334984574607554344052092388445116363177984, 77888194555946514264475186773545008863349172732940950939595711840715762827264, 63451091952626591205296259492550077172575140688226577905528640599277271252992, 20273791475666653563599481141753183528947894918899423032430871433178114949120, 712007897855741614831985753025943592949464633037679142492343103964953182208, 34843424205935033980200245359954298433882583452481895261741259864126055776256, 88321407379698451221386725818737272408115153901052655947102356644710313885696, 19319372963019292118158656652578445806904150688369118304932319712416033144832, 110080744843573451856055745570976338940821407098414864525230162941494285041664, 53900288068455177437808329136165509518261159497697492179512212798953133965312, 50420742457272845265902381993467731199061572960786958251083129229341014097920, 25808825057308893208388099597217794297150737372349337728047853586520385519616, 96098794100107533898859481341961961205246411956916152438978329585640854781952, 34302760960545309420171260219870029793813598870079290001509530711485803659264, 16365540195122445667468782095266549542439079769052104154040864618342250446848, 91685081281147057664035043985186031847388991764785203514835941213826136932352, 103635352319759541468272212115001212953335710063058035657838012457459814236160, 84700515636657941605595705261600844529278302706326020755389543777367842881536, 99652583250948802288952553861475241900272923938444892607650484424698100711424, 20174399219665555163905599874085359834319965504807786332400621577313879851008, 84599864211201105980360722025904871480284000399033000541611084719966627299328, 83725052421579822739209752788127390190406877598131244877206565177666914222080, 1108572716219218576775565465054141176940066025117161249853069288410336722944, 1080421870544804855829848128183354863380023938963209125187161485914278985728, 83713464691974883338950074923849754526166256132590743618857556986972174548992, 67576951619782393021247392655474874268799832034376446778796755843932072443904, 26099982559643478344979255325850196094799749713193536206114338627264985432064, 19951398797646975461904211860546009522635234148061649106970032297226887233536, 44411921124834160473522392377928413825424472152167448463615232884740974444544, 15295060146766681840238684781490055228809958087378557512542991618032386703360, 88841006960743516587687592717330286782575103386506295165937737417736562147328, 103379932143432224917059612140861407529305949407663602516820176741133629521920, 35105539381975320623877981536934935163477389943765529388180681965877313142784, 9438586998869759454381835144825723245714376178835133686238609855059119308800, 53901112797700387851413472392541393037057391911146852572139582544138800726016, 25742532526588197007002235106408107324037759409933494986474597801741070106624, 49208883475204710760813217704689583290565638799365836778140000443341943603200, 35864298271667116412834205790779676503817970878864997955742398241208109367296, 60956488963435765776608605341281583097990617000907656417940633159084571361280, 92869700325672806821427386475642125491594964758452131267082300650531139354624, 83933612756529013240800619322340408951815415229407822299422741397074218057728, 103759918308195039645267708618748644523688378847997378725629440818217123577856, 1792486203689285069219078577268512495462931871048217252371577881624315953152, 105764787417064253065584411686877152180312745972784582336638999384365652246528, 83784486923275481618196786456515265131715272539549352891470073439805505536000, 36771142847509997923011285702786300597207745974174331071339102691956109606912, 68523721665928381926305894602781567687505512885840580407571280228798116659200, 22044026184038711439453073563629646185608616666981800668565216385228355928064, 106082240218672128162597254223806672576559972710183305154268964520911662219264, 99730887770379134276618772788929451298552004117412555194100813789200010706944, 60602454273109211294389314416677015655939588213629118392162902817886802280448, 69518493672862057336846858501429774191974380419574413430259070764937866379264, 114237535582946725138933396115541946995439658448130582795034863875203113418752, 86779247247490139770497733937125647427564837573135192751229628594889968058368, 20543793200685200295290858734647007878103421661863768942543806611524442652672, 34084241552496122561321198728912088019846693068933894034818318637571195797504, 30082630156496191846926770688733346620660241800403365582643327619867690926080, 65662219623298991895760155845187863233857951506040130893526039176956413476864, 23354914165045141955026398173531199393165871745885945544713477535363774808064, 13855307408318260753967780380208374346598391229018285877916076101922461843456, 66209892113707466715108820658058143361422925283517322308557361390991492251648, 67732306938606766112952037091294702533531244597879198500943848138364092940288, 66404654389906032250939801804759596093274405052292296754499786336378942390272, 57700477660353758624228950825493315327118910036914998261111870127300715479040, 74440189227038589445130514774757283957363173462715963908044284356365048086528, 113758006734820346298052756391571366045349665249697242328625342735671470587904, 98085053366569439117931877885403671476152295557858262789110864992323135078400, 89212153745148879071258582184637854669028372080004856769795525961503771459584, 16829881463294580715475923206575091224762775584045614286617780686266491207680, 80904985908491910360831947367943683375101359242731899884254219023600198877184, 96587685443044915970363995380566648781240521176368974653365983047591259013120, 80588532770273543086514905071151970199438374370969988227227088968693403615232, 5445534026593175140447374730972514669642391084853480393399037885843964428288, 65911768422417542402234376526580275234698263018258345332705489103063208689664, 31110753628329167130825564590568739346716064180492110619473184854844230336512, 78515779984952736891415580261678993021815117260952124321970030067965931552768, 478938178508595317429663830231127805601907384642663348403275143082873454592, 88714326167896282744902281177205731643469325339809488868172194972256106971136, 114054889460059521614508943794223190826413169086697211952429745129485643022336, 24683847373129636744076167610283672394790840371874640956366868309131621564416, 106691597964110954116804239951944164477287519078510216699983651888305862082560, 86095274006545602102032509019387402920718463534681648988545263099686101712896, 106575950038073974322923202279969702863557452787653913684235595136458918199296, 44843602510678931227770792625765127164253400493294983493105537049091786145792, 62524143819307390868872786950662371434760441643177081200594902794886786842624, 22660084030481949278833493048657787382767586840283606003292238539553916321792, 96438234312905275502157062699711083435259333357272871285992833356129351237632, 3562956197825842237100558637286572142897065095022323114476352803877131649024, 109710587007018625838470793947053576950722282661047185704390291843678797299712, 62629815185215486474737390002527647581451348121619913513340521808574025826304, 89986208486041681015250923673025335537486045098481181586761081851229998415872, 44509835577792402024064166027424665026176623135702950543588920203215330344960, 55829645845289634410380221281973431180453796102018100788810563180466012160000, 76657415434199102724356293382656383402167786038033319215755043572667977302016, 16942984292216275856040288020228614191414804934847047424676035403516821372928, 110815068063138861785688694403533101429277354356358990158758786178752238845952, 21494349312912820716285626096406449849419693511325912319969432866952405057536, 73104270404580386563483226732414847368634240912852734432924405227331428286464, 81543856664719463093216278373695650007035761231597954325752698696431663316992, 64833083025466593855792376547930589229586788482112795155144953644467005423616, 3516152493396937338900723983225299051654154992645002533882462980865808924672, 91429257254944762351124194092445594265328634810629563322881025099279129116672, 31406517047248319626315053186284504100188273426629969152196638161645669974016, 41263299111731793224991668969301763707703606216062729954328427871927342727168, 94793944348020772290944634428400882357473005888264341237078280108202965073920, 19411213190370676738794233834978586842539145825487656070742478791279571369984, 41761458224139763243680414788745618880519949492015936090882602942892599148544, 88027672309125233222990360978665540656321116924752670776979779370401226817536, 14494874921335560969820649125081509451509878197361382765497170706417714200576, 2204195254136011675469334297616218632201662780725069016618768360988748021760, 104639290382027673433386147894191732777778272583978219446972812771054623653888, 15079373138478915861550380610315127576215502539726817840252247313748435402752, 39759877332210940100513962464637869105195312175764791805486256846709006008320, 111199455169551818316094505621384523250214185078442338460353523917125373132800, 28147954532798602350906875473713722110338826945153985519977922529178643595264, 91075875975217713001596139076155455624324340151349356686303704752810090299392, 68007161086053306653874766240202589657240527288452086458423032636985806159872, 103008545108745075927999534336842445339002487522865557470652308154674652905472, 22504991842671927072494274990303287921589760011364501120719223596640838352896, 105519193416192020616302585685642830595042645277129118271088100133371866251264, 107346023270963294274393018739570549515132880090180535557841216017066453106688, 84314108875689013551799991739239324804380211522434039052382782383481841254400, 91158813115217491173244261244925412027993857283912889704693887519576714903552, 17309641314652566753965422849104012748466546491676275063404293771866333511680, 76444833553100354496680739287605998026208862631776186866411565838238115430400, 32592667832095736495732076279359622849557323828461073760533902601747691470848, 73114100666946237655402452958492284402978316771590047208276423286226874793984, 9515078692851344504842876865847855325523753883666895784501625764646578290688, 103019294655143900316789697467759304593164005616697462884466103507390417600512, 15170200282021623534302923835154499901382502642288153109515683446926262403072, 92082624930735641839560998297191113593180412987395230282414587752782657224704, 68815948792297046686020693123135426166792874506665846027177743648932361142272, 48045075671183147740420807730295617031778344537530954915157799252616290500608, 51918903866920330752692696167886729714970432674719179423259968438671079636992, 91482438274290930663616268234244085180629769122759621041193232051784103493632, 77607284752842542386448317862808437564965990345558109357248902365253977767936, 54712397549054303450203391996538694239675465755851672508722761990942243160064, 44841121194613100564577858368007937653688120432984810633023071048385479835648, 16382782251749178650802604499250114876429643262840393442779154573048395333632, 112499537522587616098442576226950208907485461785108350261901745129425085661184, 16593508004226380483261420799866856649105831729825754217850281770755645505536, 3004006992871685295888704894265737001392725267332848812684692609422652866560, 81731942263658481944544871691106081687742171015605059205773313443381003681792, 48307677784896085319612860305112487578348098085810783226583581207681206059008, 54602674678568261777916264559861634140471574643595289467864402381300618493952, 21996971585774028012815705654246684851234886208648690080651218109677353041920, 81845906126318021510575871370037075089498064924964954840781093715934017748992, 107243747775473864704177448887503775224460268787951232293509349571433561325568, 88045692350220329884424539788939081863655162204559358319791198032595330793472, 105084065295497700845876936447572171755355434353334864124141370526728372355072, 25690333054020688948065461248299247330957569002851777962669680345229104775168, 109509701768662592875466892488159714339148080623762888993019589581925727076352, 18464290039927439489213696416922107988802875964031018106781111453644270600192, 72522274508196339932624458907032340213251541282606064404055377319619062661120, 19949776887340570602193129698803263133287868352866417964507122160745909846016, 33083633899873230834407340034589921899188400505724551865581542374800793534464, 33182730711616180746338379508740859068366402798603874302236537436264669904896, 107904373115314662144296884711459051969805079069456411936938010322484529725440, 64612510318938840744009827088130712501745302141647702785333769676970799398912, 8079540659367288081451376814289519562638916603251279429616957796675567484928, 18276238300636786437071522544607600227640203951841688235199008815183822848000, 34676815027031480513094898725500731395056543958541317711897359783487747391488, 79682544698683799970922836241993961551664081468882115460183501663216846503936, 50550032010743511720487068913534644526122261314615588968188586172307430440960, 113442960909007913600290892829401457558349582418595670909836083731344295723008, 61723482451346838716105454327672926884015642634398461462424554263368653864960, 18741199697440829594250797036740184372365256816922306080394521979714053079040, 68282288185355141518074492055464439763385206068629010451280532403486277500928, 23378266154541836713792626263479426375994779403270570444490775664554890231808, 114175119963705452278306920716818292440880605744206819884986546370554040942592, 24426448832411309699285167572457626228350110610072552998999540983562179182592, 11775288515730847339848778524523990435287572393606421703467620761776966074368, 2099125390948055619844628694183882102112447272419572149366137970011815280640, 39392934319676477583696535942170194294538821043369177057639756086185105031168, 40030710593822111881096083544506009364117895047775356221302682109669357387776, 83459320800978454514301152162342473989899660824913772526540827243087684173824, 101991248743076552039729682524200438006465859962614892769498090187641870876672, 38802813014032457600800832892750405856534248097677906017262973979420291760128, 92094411094419622479355511204302680309925903306105257018833928003629579501568, 18902345783926720092317231357470208747525128123516491511560683564894152294400, 36504168682470881291754290673573775105466055626919374382704250459183583854592, 68127176620327375239296336148042079386320047621476015762128869545423281324032, 4372438178441247367872345413891558124942133721249505392176205733673062891520, 75034504313425408420160343914980977236053483718718559811727701194937485754368, 65346121792528804552685727416417632801811803836423724402690592692677396922368, 22458539261659871261213234755144000306343822286720238852051571238299915780096, 73983084718318651289930597170935260763256505236323850533596064709280771604480, 9352936357140116654316038337488956918689272526844175019842998678914580086784, 50832951695613752002699722086075292625843095252803393356929557772967725760512, 87999865779857757840646971417768975807008422307447743665141015731397390761984, 93271970004342830331711920644194537038478602039921603776435903551181221265408, 78683206116542695334737123126278172707512404217813576249772551798527795134464, 77592819352556541569563067763893748058634220475679159795906213591919726952448, 111358208117115682477353550853500420863625150308874778240162059049765936562176, 5728018493452331739313275794623898913756548029725696931476250172018680397824, 109718212832381834026143966401060722614080203139186995374693263123717700976640, 97316571186198535690230708114519135860003806739981081184700171358966890102784, 18699911506758806622750849294220666243481764723484496366166169544778305241088, 3970885981536629985870897019742189444263415613672406068649801146700411174912, 74777329740927524112019209226979625462064146553523192327481039639954631688192, 19233302828763514934829288990259558295304505600046096938395912226851302408192, 48429724501550069660891578540990720953975795556254771621462106135238088327168, 78331016989657247123695821286410446097189574224355422847662364785936733044736, 71333998641531706768681151452001697804377768972589709858999057497336934563840, 33404131318503536361779438258655048508738066089070136765039935467027003604992, 26570135439737029577242443147944401733189912232098387643979041875121496129536, 95802158849013313001126545415272525851439848396006248579811246619675525644288, 77735130860493302765464724826689996358783126153478008369069585544210940952576, 57666136156988085337982962311474279792152674710053031706552535121361704583168, 61450523888621196196781603198101633537375983179052532553082452025396542046208, 13064979848468157692035415822408522134845383041485370921825984425793597472768, 29100424746230391263682130059953945470406780654130337511435946677024438878208, 10478423448965120325954308839926286328567400844114411998470365860076070109184, 47021439663140648971373619366809471922234744120952471913967415475223767547904, 31791355798671654284914000579939277283774827610849251869162127274306074312704, 92249743195294960591321287472316771015563066384907909530587471445527564910592, 92244988912460052697613159636926292425515561871184383876801864289699699359744, 27454527566004614785260170381836742995838184526622362814130326741021171384320, 47712454793359886057759229602057458424226864656918689648500351777918947426304, 86044169202434811261458756840388582978805831865953402365622729372265982459904, 8605759155082895990741882362382758149164637901029194817792463137005581107200, 18748707807879053467356410323779447619868283829346952556174733093627639103488, 17664806743386701581625794355573024052280816566952745408191267747889791631360, 113226334145832762808612911663315787608733370136523267297847556628925523165184, 74914207565866937949001470999194459422374611690877845519491455986876295413760, 81043805820671091584856785553659879446748397248195440344285925021443386507264, 48932940294485106472396814308259999592846012830270639101062380975520133152768, 63016459728806910248818488032155333133386817653298640679177268396217069469696, 82575269492546462121388005643939525430446992900560416530833805624518983548928, 30906645247680079999166678042391940585487211586239743574300042590541972504576, 61313154343620985565897551393754673973879248783827194396800258180797687660544, 24858623818309410029261349688126520248528554437370301193658348808098356920320, 78218050434076193749529389255705552038261854909937212657382261654029663731712, 48903582288896078293491989542040789508941157171701328481730722831335386251264, 112113625026627566611636492546442607495215327188107694755384369462917615058944, 18672731286999217417928541700711554909278184981489984639937881606120053669888, 7424256863134989401729597269836862909262723777141753563174293542250089545728, 57009813051347509184474786946424813939244217990120519981878524308914962432000, 61482532378776509835292148041455660656881115262356330670660290214617243713536, 68419690516886580736945348891859808556691104080963825107192529029134255390720, 88052708517291285654406608961403572639226259252298276813540976319296696221696, 58616924385300592729795481046116131825362401237800681040632567791594609049600, 19702657029537040671980052811692354147750786117556839827007501811241977905152, 25615675251461747736615500220067594128745167368541658549131649269771551113216, 80337082173378176360301832990118987390001858539078997295705524443342629240832, 105050527785945457453797531722799794699931188421717239216947639438328517885952, 7723780297632165923185066134616078324514418107002083378861237026916520689664, 113118379672668537950057859310971577708870389656589919159502679352825977241600, 86270484378310378908361774671563818378819934603310406757805770337535848873984, 10892554212805140232118680485897177347329400373527605093837084835866935820288, 10484831466743432469962241873413540959771366597399697218494078112223255855104, 3081807357661943385634031470761702354960118615120954739846267780184410161152, 101914576382530800361966294966559177282752494036412122057649612885360486907904, 20359041931561704148995580827302956017400141684105814801060614450326915776512, 29521708487800310378492619429110881957349874781663067260273794516367160901632, 37027690900766078690950715659240970007522414305906114124884398722537895231488, 11187187182312020383088628995649393856701324607215784003365568130573349683200, 65847201580909357068811355241411582303458128060326013057630587023948974653440, 75357192939943743197380622478531625043606363006933081243040385636001961213952, 18627817816876253096854123045292838901367725606574579020403481169864565981184, 105502144638842936009471974544378844001893775477519752039805001412164580278272, 37784951852739241104722582708245421566576659800168208268934551069271420567552, 41123506231139980668108767000654081830938770401891749174517829044771921854464, 38239978438149630658537335292683332451674797383699394230302767776924478472192, 58930856272822170609350649017646172524683169495435352194983864575397101305856, 113771430308437495588910004097994785273869220545139548550525848467407309373440, 45409077363840736533989120824523802931960487134842168845044826919155284312064, 74159569610536035536142520332430563910250939563570442419257661374301403611136, 72606168822378626194062936487797728774686716932409479278676807404521049292800, 52158547908789799767478658230027983094481592122922281101198217704367091351552, 58704731906077135924845514075783270378348408046983312151979765331552534265856, 101105828104149284041937284690452719990743547901775263656271337389555326124032, 31985131504828237720161399561510404994838021164753128661817973504868175839232, 82886439358709100437582995882170086097477612489512526445307632812772881858560, 72057897441986807947363911213209612668502951858084278316853924144449411088384, 36597484142055537047130355528851779934034446563250347304005792027956142407680, 41905830976520923973415056228422351062495045908538838972056307424552862875648, 3564117872038851653310409982837274433325856359941980080125098283303595671552, 58074404228425899953232645456624252795142948225365003283268466085477568479232, 106640328809207360311189263240506471845818010912354175589499733807865473794048, 114589611102183934940466094519151654312344660832940731718745586017092625235968, 63692232272493737683375766293935449042113430713544073828510402458245371265024, 88296145973765467692512943629420985236594425989490996247356876135342494711808, 4516559818592541256725249564168157443572386668775220567213718824529780801536, 72719292701018155021580850468669876967133085011186064765139836253695939444736, 64197101316040027298944262622848599591036542457294270556017137933355224924160, 71652035707292160188987397471432026816752807079000154809150299206443339874304 ], "merkle_queue": [ 67525647, 106918004036482579219707292061303007021987156146969164425474881696414419648512, 69228348, 25975746937476285046410250913759977519210653315040400511338747412438149234688, 70284890, 10433910548842841772284429155811066262095081717796753515117615033056644562944, 72600532, 7056605290690377401811594549930299231268133987182994894393210295504888397824, 74510661, 15376387281704371294096791984325691547979795542681785677888999823496701804544, 77949449, 89339611597129393950064350271801557212726128983034840330914288719489354694656, 95846503, 106499179970804592819724507845038558151858831030901135503699620384006681395200, 99979539, 44345419178078616565342947923089470525199559834503547162891347670164444282880, 101776459, 41789794702803785452819479795811295510027542996869253402515682196430543388672, 108630830, 65885244988966165836438976370193256689424290874342025582019858155825868570624, 115644249, 30670273759266836317952343193611340577890969058112508166786874674540342935552, 120631317, 90668314773498480907252148952188741934497027797871647493450838180750063304704, 124766432, 110627871807839689211849095383267872433114082670828611627505352023960916590592, 126772713, 87335230531049021422561784385715585315569657337953882611946327068788280786944, 131395571, 48569711457805120355362392768193486883085340814178613653607348077901729759232, 133771798, 106036051530936854206279476520690066648006227525632301406796601914644697710592 ], "merkle_height": 26, "expected_root": 98319298417693036411738682066680707434930846038225488103006952825477398528000 } }, "fri_merkle_statements": [ { "proof": [ 1892629659756310460089365957639158985287378618684122254959328100582422443517, 2040557738569370317367769295575779954475430595604694989493521971622796966447, 40817655359513278844963392524487980696174022684646502576091147195788630767, 773171733761212024555892857664552813667397816272639483853353364417831005353, 1673448871295459665535416442013986482352884007303626367874202228377699289451, 1255852354661246624218192990284749155062246554475278541455235165037554639088, 3401238126434673731392987728366856827730631993986714464125547359265050100722, 2128424528476649681303704448189493169149743071124569882843936064236654496822, 3475982178337289396256098977362947277726833115946950848435043503557212598955, 3614270039497620898444838565449748429045903429922054851505938224327391201068, 1389052474395311056858257597986959563129343939101183643022742922052278964961, 953917024481101693045922156542255966587929153952436530362782870674081869717, 2766921852219359706230344449330911907322147986243523463849041284649586527916, 1483632199820456458977811054457046243691307785251540174498601571337881966877, 2993872340400067367791766335464500936528065451369467743206301676799700858727, 789024246971576733084521766180515271469832537857153394218612729291588228873, 2814720359808733551634423822221296051133375879969737655196419517592238600708, 2273973205215582726365218625505789163785363936430611714308608864049580004325, 1130697384209236252127107632129358805911447719859875291964670313724672409198, 1702656270246842587252656553745512800854884919581871349451657943184010318023, 2576577824729374898770559146616180684733375787882623026951639747293209966732, 1774165296811597268453438830207511124942452794725356239782896425965490954607, 3196666486791679198296076348641660165757765422159308799536160663107445315354, 1345033261748006409740932093824826964783286110053433426519193713949662570638, 3119409770406501425230300016332006095003272871353947009243288505094642529729, 1083272722831854855664147054788909887866428468467253995699367144964885403631, 311357070770276071304753339299497883539754932719387912830369611827709251430, 1008101517971326856832000765889162030117648171349817306338698266147092392936, 3156933180057836498781788137506698828906953815104929852697501513602462393264, 2094554156265680068018682390293186749875283068635231610500126449000834730556, 546451387491218850207948154117980789201938059666282377585875094341122307016, 836821695064526081427718338966525042925145388870549453071712696553779181479, 1664685730337548014990108931997406533632781747473970483680532320704881243797, 3467462982009213021810587602719618664861223978933384005574234192452366708923, 285751654580282092627770680127844999794058481990055923679443692792458209356, 2305871730517151158787505078313743075424850241484425957553390162769337790598, 2180733128071663529942652666701576226923589004285999348335538472774146600471, 1594225748747775058062084031698480926181540903102871228213819221149051075381, 2129815224084236126070344499840656815697272208721763938215969241177128900871, 1144537311499760425545468457645571004050295766051257863463863744466421815709, 1893526381501563926527483528779787878585793704597277321252210567449428714668, 1629766342263976211049416905123438504892967685207469309940356553485932753762, 3583577526644050457898871113607195523172727376684927327470812296151247724527, 650525468450392861970786056976645362452076700809592504557063886445877937596, 1319320600359661751621741596307168195240153426171393080529342277358469834224, 3449738011483836149776920338690300370795541999839971896119379933690596881808, 800011232692269888103202800553212732018706562917438414135306522366684331215, 686515989579150556116893766125655270713210457877127648205586652078059135772, 2356691736551662799004698732487755779677008230923634891551356932804285818711, 2575131847431585223884091146728061775095026974133439074385199522060682399834, 1735996139415361767162744153075239977567723899821087415787928382176186459435, 3126305232045735437290580465060281334733001173110832586310031252866344744925, 3147419641377573280868776763523029810314960354844115159838227003601304441640, 281910209870904093952291074423140218086470556782222353919570968435672992752, 551636088362665345995329459176046550354670469478494873657352941911985691194, 351321428873198428860244814119310646929818550714565203828704549347765760021, 2793104638446177146095377095510819605929506034819400852600167272076261107191, 2570890042195987693129836074098924991841668745155154762923082914964335236521, 1257609235666332901127737310825702807137435854508710230092219033896473387650, 1934562687423871669132770015312359096280242944977203271497089321495237914840, 1679393167242485792301827306266945473784843069834095216573771313054245631389, 2428073793523542363951067713209230496582048684665620873738421362981437557835, 1644291514874986731958955564959577537336313102844491966673844763368353917667, 1507166352554551089882808358328680133906369433221824678604240611149666841220, 1640332386170087592306465111219249290956937888289472774508561159518672068929, 2692503443556572728498778714702311568252385480985635041607137576990145976929, 1535247418674032454104060337511243584148352413046680101868526985675472079448, 3197851549010079789919380792537785142700221611270895609231493884672487042772, 2335184893261136111026401865710188073197471963179402430244729820343677390256, 2369437837422243866240357936359424470357946063019358354946808579447698405367, 2378477071555678076864265568923095058423626731373422899559464935693910131548, 3484229593186470583950194504307881199829149152932045518285072290331319557154, 1986843706994110922684647931392849025754127185852748163808011835296363725524, 465743382579163972144578546526023469005060983924653111265144802655143241024, 3258842201806955219969729141413135168150995674710110678823899957518153862028, 3151082090606643000862281559536833004165074915353371460999099192952272340322, 1174791506994298560042536803846906796925992261904401591065800860538080493947, 689715042128530524568029731772477352555392217925818697642131759718085372617, 618112637517624024437485331831585964480455653950578071572893416614568098032, 68102994365803844831985946863906496711331363249323604018691196504396275338, 49325818726440022083345371517904324338138121510836339925497144923972769459, 2852910708051886093195859889438488327735477182646267548934396921054008001573, 373972176636714699026728071943097525923643706068368829875024167478639884722, 2585715977186743591824692502341618509412412054967288315920034877029777771659, 2932911764336895093275052219902754748356596843625862878291199906080973790318, 797735736022925703818419908707114608615865089258949915433710774016655604896, 233322241152817486688407780177342710161680122850096706972511198229631288334, 1729783836789795907109789958890103806581107477896115328673031978457013190573, 1253772288915878966341851761126927590531779780666149188735825301919999874404, 754730992447468353371541532142919586851051887934500312712496908702881747805, 2132142633863731945170462509335998310513695467403527713610787034561513933383, 2347624044270611096095586699065189717396199575201477859599626921096776420327, 3316769827561467607809789677448372665184036306056289971186674861697065430669, 3549733683129902870327557813874850227318136694647086285910638107089890258484, 408732181090089215572178071176559525937418215421381946803785005430932037803, 1519678373130680963199796758424670114792038403529290339526878246060897788709, 1168808802192777473145298151597915950659573347112575465335595699923656904536, 3477440560690914617723727837064489433853250488846294980886978483809103952119, 2437960138761993310618261482983379082443764825329707623779205364407521123644, 1881820411549729321276210122193290436677413877401822909241601274766250634930, 1781829036189942617146152630555921603909183307272384705842282887376998370104, 1941615831968020036828284143429847166394545747608912381836209050512687214045, 1240132732410158230584970689187510765927236131368240835333276757279357463676, 2385621760115486316728349501506227452724433333600487130667013584320725729484, 2705420636291628608195405626597827774079017491226424329889702151415777646309, 2862094893475259873184443039100999355847180312509745564725528737405364448503, 2116524977882578599144537896011801875854881329716138033080566664825732259277, 662616028757945212542304279748274108761826260258429600231326129656850460609, 3036846469409866596475582266472104451578634750550295737790984510245636256166, 2802925102014889414123117463877109659543310571053894965650551117527750036211, 916438307065355423852519940692377310345023408190142268774004278824522793471, 149040851198560353897795268315163668728223049467366359181521321043050526582, 13294815906437142363365415846290343848638231440363871492649977009423953952768, 29420167590030505833928112478236812334266928889099760358674655545256551907328, 42472329666777838707089522507143116510819907430762287871383704789395362021376, 74804750497939718555802733478462892403055411762955547054132779127596359090176, 10432760279380398116255276073492858184147887453588764356917662359983136702464, 55304746931983069410476434326113630559659098282276635427225504124331425267712, 41090937866452950025898458247161721290391372822439377021016567653684928839680, 85403556895046778028586835160466917658703923857880490084996859149288271249408, 63956321871102845541474225468446411939613277868874460977687432719307148099584, 26660106740152269810624093324120256103937733754535552213537210795298981412864, 65259963666168348689253133818731503220204602075524871504170185802167051354112, 91558418473492586481861414816052704340716168708343886307431973611018695737344, 104356077420483055538880815251086343221277971683282581657391549030884756684800, 61676226837836464360246458976795777474934844619722894586865927115525293342720, 110926224315644865095654416976713512652689413037986006209332434648231816724480, 39494863959721186582767149287375845846403840087092608588741615714020246945792, 98786639054216985013958846094601865580741307809021884655773057455124924858368, 23672934419581815513338880626825037130521698111244011970261492203458310176768, 88832493145989020494957219670361603952467318097633008660526874081332157218816, 39069517124231883637121763350734492255647146703444957703001903600710400868352, 19315687846810246368659375886113252081893172830423551346484342534483489062912, 86802699272890438995102479138697554141954666777865304034569770340171818991616, 510962898601874901557103459675498465560676103094062413576430166870274867200, 25858976754983311421605004499100409624960142536617168443089127364556838928384, 3607972161236018498143120775948040291097555008235700301982776942369353760768, 19444175906745942501809799985821191638305164437740489863337174172712447246336, 99120696379808597134548901615861361715508904095204367614951088071262710267904, 59337244160420177838110513194860606718822016764575486767853593414712657182720, 79331882878213334293246486972570490160488757231502561777956217841753555730432, 45816684762474759741581358778340737767891664633979893758864774200891115831296, 41275577830817519535441290412770627087149034094423825399965871180228509827072, 60018432080421371100740901231107788635461769114680960537032125377227530436608, 48491072869305909981310362430990094581999158805264496293333173766718966726656, 57953176112863298260497955544129469164773477665712545611470877976721088315392, 16286516649675821684782200653379913791250321529392694284014442735381789016064, 35624122936173855265927796074708099563840863089682360772660777907287165501440, 95143107834994160347459054074155804828975830158428515734894201974216680538112, 21922023092227287977604033096591499451712177508110586740440383604632722604032, 11107837079246591165497239744788298544378804871257013435783512789184558399488, 28682344340510323999658263954188605502723193663650298214981277390837448179712, 23737958624655417163557044550561031511126400924630154128592886532140135612416, 21691366570375630050230972552915720296292939613318493376798887242372831248384, 29224484006515683241954697837301993242594234148151311595939045670243344056320, 61301530544265485290445471958598977350209705440203606831164863689009582309376, 95236386775829433206276335150585083700475366084521461569216845878376542502912, 45751966209886572118871621642862397848843923222439634508440619673476787077120, 67221417504092770048001807202776476545576145650144211396165734023045064949760, 10598995364962771195099535000484327972334858706310753152624391104514289041408, 79063331313882685552954934691536778548475671135522300934137192331907000434688, 5376361304895855269993827318194668479654543300822455192512436841772904087552, 86959485680302823494925763195543370164999050820418170684958974926016944799744, 81446928187355712181032995697352666396605516337432966378917345572670958206976, 83642170275136288770390677270162979299074817955196171823991700525424115187712, 42762468764236350931596399579479765807329031556529393674544408170153667198976, 102911654988671554955830889798197800083904168615074933640474342749354934140928, 40850884965468222459981878801811449031939130031366375827581526284825392054272, 105444454631385613155874680280057734303820888772317660814299947857201235755008, 24763653448334761850744792311907110868107453290876440839459244502597544968192, 33316259064649795987689794216754177192326773053454007490526230385678683734016, 19282000161497000158806663595125941730511400384984939735390215236597443461120, 4001779729761854975206214913138705877728155542684689358681483336612956864512, 89203388555643737815002331158099884515041871851033918962726035231868910043136, 90873863239131086095984509512098113745108243966685339144740861236542074519552, 24932171321341128119930485983704283377671814743341977581764529770703850831872, 26052209799101802960994351675663556727980536745475449778181313632900011261952, 89458311506793061200023905412725995192804176619318579766640678329582545272832, 75956248551646211683586139709349240453079091840589297053514605270023922515968, 104413981991518012451658853569212503285863673729003121119765412378812044279808, 65921580127771360870274479239559564361622454810299096514112017499362926002176, 16240974688048702405608175698512266638166562182678313425147607644699526955008, 108045022552532918511451698739309703057288167486686429296111090721980107718656, 71618848805305905511990697667354077787654460810474915853535441014783377145856, 63938472880830135578047389966191832715571161276641219535165562435245499744256, 93559632049865428178550943741280770086921590488847498726672283509444564746240, 28814791597031630878807350575589488811314277583999121083172216008663527063552, 45950083463484448403414629534607297796801796159843544379099427261877013446656, 114681439237637122106815774029815155432970948942707187485829706958434528657408, 7261234909918023668393609493149088829904612810733618557692701838856471707648, 100715430947811653759003156160982244314687675526597213815999084539939586572288, 72742539829980713550502577392104432607178445976183567950734991071943355006976, 52904442787753538096523582074535959583195378347759500060623708654762213769216, 110325626361690828043357259905513471280757036550128880109955492262642188288000, 25376730138172676374487922414956639477895261264570355865662498105710077804544, 22632913009801359287357018519107972999912960312062747011774391245477523750912, 73846100940081890990989983087553734552994036635279091147054069991671953620992, 74175934087591680676791379749127274655190627688772807875887388757671754596352, 20242101356419427429030523350939984477437150114851709919322460012724145356800, 5259222831344386433151399622379491460102487799542850932758856173453960019968, 75243351015837884833526080661773193471912800194429038913804543676047754788864, 102013745872826935351677345301390128969897795717897177667093203020186403209216, 63786702800710666988928593265768630843275925266370337380333351935564677382144, 41908207203679811009073288594752510834389246813873575699601807334744157847552, 89647770818637006352215773063843794087708963308249621992080152180367049097216, 63197307207087447210466142301700282366470642028875040395438047925444011884544, 89417209734103884644720063307414935431600928955493771083755555974577486036992, 72578585766964877743934147464370992954823919499483445352198889055271436419072, 29416907204842252486471219166723474675846447279665200381917719647947778424832, 12178697451245908145698960367460305775857823494212504702152219855293681500160, 55274051354605478515987379930069820911682295045184546320000209924525263945728, 11896459328960989885522816234807810094894489604109076711442304060182948216832, 48483631969324652132897175699598478167008216007487608247177964944375328800768, 56427273123297572758548990761926021543193435113221682697263969955195379515392, 82703118197371002191409464676265324967114226149767667230737443644816842817536, 58150695981526510658395826744436416455829202126979461666935825404189923606528, 5983947702027310741691185567290057834210981098480744613310073295334084182016, 55661880133668204181918222934889214179013683234496661077540917500501177663488, 19689557547939047527775008418006089895216594312661599284443664734637959151616, 65477195343439047517562841679731968144844038870816718985797041923741538320384, 47120642073259086903349620360910053791743838179991062382449627115095706304512, 19215144295640836803359724903271153265689411834681280208918553056896180289536, 16675962585168258979166144052571853628724990008263423529185046276063409209344, 70367304036559434337353103913251316423968098371864653178910260043075983245312, 47560809116722765446725336795067937140116843394524799241114742879190182264832, 52467088703558027574029091273364631132913452168142702484644955193149568843776, 45460059560847054837763674173519482092771614821362621238419459316606763532288, 70527428500669822576794416382334345126235626881032348179037108226853812830208, 79020461763907410786114894203086074323931892615412200463228694816781135511552, 92651715825422688637920638334263363451576312055824418695244759335398925139968, 113585562146053172797417006117963921402168272266315912801334163471508329988096, 85391434478063573833870578622677018260341392336746330915430952400410204176384, 91217621377413524876967994249082916216706776036942871178616800319270836764672, 11229933265500300051491079533942815902611182389591482186126267306171164524544, 71766887825735454717975942007352122119782976589040555654298598935022805188608, 104997641696543477764442920417413791570247307486493031659558415497576950267904, 99482308494762053235820848144215681308614956912648050691535660479540654768128, 61641277595398267838870777237371012575328632589475941581127481315257416155136, 24230661162300834368897155956561611211067045143327643606016850076888318607360, 13027329346653317928966556792814677970310915861024419769869191893553313218560, 66511571570717738754355177500460409965167627931552997082944736399048369504256, 70382036824667082590475960637585629106622271452293483986912796814723407413248, 81010466938409206852432570614237533707988194653287832153004895385106813812736, 63929406733672060544157075906053972063644389757892991260237476859275548557312, 111420795664218460629681778649964913472092227943317606692933604077130058039296, 89009955099972685461785200156014807929176373730534271050393363197177783910400, 53962699027162781731506745068536015535113301559794150328781661540332595052544, 37084699502968269597020186548485458338619950327171136245858508131132629843968, 79693711309731341249782660123813242390966016843983016069484115330973814489088, 73256223767392604868963709720615172017105558715011398478219235778925982384128, 33036270140156752134320734598068659456868098485806883890359821247105959198720, 38568489356462770006359562501013696146826583301273887745360949119775512985600, 67608977657841501386963613918828337397879535327778921822338623107417671467008, 60003871653248868501685494630700652390522336048311911940833234183422948147200, 1007979049581497098922950671943723756416679379187376796904469482136347344896, 21900263522666971667988717603499634125376189991106471324728790038769420992512, 29314532986538301521677282211967192283426809701218619113750458933641840951296, 109842091775040630897993760080231072401819290824638634945964695425462109732864, 75206376402946040937415072798064758497223120197842110872143519842318814281728, 78659291274537020441897248259428213180067268095241118062360774494875300134912, 64322558409201495697182785470516249679330665711128070867582147484438333751296, 48018140319773623443122180191985937850655694006194678431508872084606762876928, 80123703796008211418566265803379753577422322395503919813922990287197367697408, 114404586079160624885976070845752851469975395812792072286833170768696755355648, 39827721073688567899027376684459237832502786038413345196546261041638816088064, 4700721822244855934991806817870628796201661702312590935924030655751771914240, 34422337833707479963937565417394301598126833159760401500975646092123487338496, 42760131165015188099763315580076115973162891025181052398836443173616019832832, 97765397879307322753591655699922043863914484770054374341719513180270434975744, 1408556058143416768516324279761342237012893535706655416480945626144504283136, 46212438349929224149753929121756109016722517020847964332220837282548006518784, 54330558413615310329070946997058968161753971522610000776170427640353241694208, 20467745426108208314214792918622985904207516003581353413599400023972053516288, 37420299442834650548246204639627702881922780664860158692361680952120131452928, 55207373655119703019105906927059539472083411846682288406938796131050468671488, 104886052363530842956303917602076119090123172849639527185705389508343661330432, 48203383167533287291113098368281367412306008289762911904548061938680246304768, 1736040266178957323997873843455865901038777591628786414099260128521292349440, 82872291706193271607892562049854360101073068505146334049866164050225178607616, 81102033873870132667177110785374713550333612201649021879097503908358952845312, 110336377200331831306871444133074447519328782890974636607663859351390812897280, 84801960398136120574162532067976676368878673578098991894647003538996957544448, 7373739652379818622205680492152840111471149047453547290666078839583782469632, 9594975429403867440765932814434753290346960063804750448863275581444328521728, 34455575494777795999435437182885728224209933037976358603082327762767393587200, 19648297385548704747719707660006296192891381873451206662234131766782478778368, 74614548104212176119025544571056260101152758350513305110500280178713418530816, 100500279045922792721068091427855609989415617630051283530533268259357551755264, 48070930030364151948191628165708168853419214895782658548912209733581843464192, 92307771649789820894441385480380817971997989313412006612570899393380513480704, 29501390179250043654946868945383005787552122968248103375974173927885338836992, 91873936988389383952008166716620229210589631421724364888673717713389423165440, 85287277026138624073971764590547329295368703368409755041579141994407417348096, 39855377440509650754874454668285426253254713156690848029968851358438473596928, 33954922397361317597275123341705013277072110862033036603544398662939745189888, 47862347929388979157072057651150937748150586693009292922222812001423134294016, 82601170141303749344810179153692183336236908451793157958711939471413285486592, 51658762950919659857885957383319460379406027555271317595709851130904249892864, 45404607770244894473909662754945221278647132929260682414185074043970106949632, 103318602563949294129332203189151580317055422461294801667835360320687253225472, 63868991778932770918141373783516917118997152848687695493593604877651130974208, 38519202277125115344136602130239345056292121128608821037772718934144910884864, 35139290711189440564135493740394947577093711876862360056012700889609286975488, 90954504707861193627624936037853438452599683639708175366989512597095176994816, 91822217656289037522072330614848724939526176640887786993612858884054040182784, 4777844762534543178624917158903688241716128677923314594394657739497761931264, 43864118073387114322622998037900768191402601196758095347777067970208947240960, 65420491481767921391303440642527958992507173516116217967824010370248712650752, 69829484726171626348266005477813336000592555051747275741373852165672567570432, 81393663998899108837440845576149658370633550435019032187953363229559566106624, 88493692310548795277492828629906057247479314602042684268038952834274202484736, 106950300066881503683765676355915694449632885664517435227842936076602762592256, 17707033831412526878052333836309496088378925737974840774171613582639444787200, 96540809805647161577055496456247109674374170119383391444907721936414558912512, 8066467875464207026072839241445892641627592401844664271682279524480332070912, 39241833645867237583222537519644772700522818673703385847269460901560793956352, 22966226879225031373551309806732472408357173243068148520605831984530510053376, 36958238040741143958545717203503124334482912918328167349805469492029234872320, 32202030936915420241925816111452723631501135288277085931013731095914676748288, 72390484523740484519430547856338790697993857410724513978889117149179896922112, 104884355781054396505842767155143933340618906781206200766434985104197482971136, 89649834404858970663166916230972770531911810642865846144843682479494995640320, 74663488114745735271049279610120744855905414238160784359581425498872432558080, 73298580993003507077240555291703271388622661111599203949840742879307017224192, 15073247660421845410768267241394555026243675856150518584363140970061139804160, 34399060576648794865044133992262144484332430397833720168519131795815592361984, 23038875581632312515687567965927850830268973912059013502667132375185615749120, 85292010169197172310221957081104391814478542723560398105125574053734092111872, 92624288982651522407945782978519848214879505303644468974769625866153895133184, 86291145139581808005603888512458623962456074690267298829931809375782692716544, 25844762823292990082639131299182659794560642719257915510507992862886276890624, 76247648318705328195565984930272709811958059277701873094702079112527384412160, 105197824113631896416309409020528981048343327565743034716661387144830881103872, 67032556798337311601599087649019489051302865475980680800581319681643701600256, 71633307086370927554683222088069300963777216527596881709097263923056269590528, 109011552513519932479513172937528528394525050163721639769512304010251124867072, 96631159255950791919130771283729439371550580301636753578279451055093459189760, 3251005829373215993735549427825116902332159960338755880991355498203784937472, 109481657790325930937649473259503329621848459283199590982912443663471121268736, 107380145916812665270462515287857661282494444595574252978293719548238445412352, 90946803767070894878986844433793708302191463382015737951085020193681263558656, 45195981345726490016358647970543477410628041374313253967001420937569073364992, 10059568723174302036423595024954142803631954811588597426932211150573988216832, 36006385350476530726892698814760006174964537856268125248876941972798821105664, 105483291325545539145953707170313009351771876784414433557420576103426003304448, 90894541743118509807854641306920559316154721701616878095350454895636541079552, 62844550852770749516410238733090289245881192968492706543607975558309014929408, 31163519085955618643550788202582442032095972279920373833352937790850587426816, 10671441541588300937456040338758077488477789623286407445786509678521301860352, 10737154634108803231554986993234831751392343938156705273084570225217474920448, 45309341132928594723944356245578342164958283404389525722253281931183807004672, 19971821712430836182374031924749045418660056924804116769540797375472893689856, 60031373456779087635819314511971815066960466479903696762430722260247737532416, 10058543972308797255258545401099016571656616737257299495553780694692468359168, 30916566094525130554567810889985027131168249701637783944724863643009134100480, 32610629208219732459711710091131761312494398525815128492020007200867957604352, 17183119755752595244271639990000136738669945727168884974035466742811158642688, 27403132090062435361726446256092135976506798353091641350419629356031110283264, 50054263497529219425317154920119029727732290077065108936674965247837287219200, 74150283777065364724008418479375951803981473452957519194127364040163428663296, 13968221408392093248126388510080405317225427658231227666587244483318462283776, 100393249441033455640302107379826951061392095950025745141690187426392145133568, 11967849946042875700344440254585795179142878193716057064806271075105757986816, 104501217392190204893267135896504051743834549244917726856646612693640072396800, 11295855458387281281499937951025350163197037744194858933841252776663733764096, 51150892196485762010909706210129849919727960877678087839978679422527945572352, 64078345603708547049188836246958123695310565858061925241891608391958545825792, 95431835953280420878117809560446103146857326144741346103864208922084261232640, 58132506348059918942480820132393081865168096654283725688159307094868107460608, 96316720662050397580889156245407528802060704115424826619365118105504194756608, 78838251191181296722353844020302988793669109267053088848321874284485680300032, 10157444245548811443320920912373291918877760259042271692253894348854918119424, 106627994461373637787247321345350346952299313808905945772234015639806303797248, 54516383990419366537869704787141149351438982368165830046638632919632021815296, 51966695142605595256963009713845490268634804513082914753932816076846235910144, 23834966618986452446388145780018929700326446382388391192838141275059609665536, 104529304410656603930503894002495984929198962216516966845758499381015992074240, 65451820362086735198243640471868723828700473232080127328432199665680553869312, 34713275771308403502542856387787133696333876246533995165555282561785202212864, 15643890706830804296093709896106032205288807494473154110697550742413341884416, 1096312831557919862477489066872239165309377979518697460538172501626175094784, 64587982187422260295656220988238405004212569418059197219180594272342420488192, 19719612566634621604714231408269421129918747139189980774424531975960566693888, 12016905480333393116567940763943983942688201258561131398241059410182418726912, 92697621443285857704102035957169908353815216935529895077843859883869482254336, 38154384310878267133698606960972444617122957594618866509161617047758988902400, 2157735349218974131895294221622964893433381654070425875676658636330809425920, 72691940976792163671774489179646644925016941076973272331398773791294142545920, 46120252600436522675950292430789881091111528735805585951732421700192114311168, 20550047814866735768875458992741235706067193239203349809978634009954454863872, 65580641267796456914569323186134458980625801476441651268319698066602102620160, 6535242985711762692698320683642260543231246164405913078049015097256321220608, 77340421559356957977937222031314249693161960438713998556614747502429123641344, 65320559919006791873142128206100345469816215087094501367451498861529172803584, 97043267104245521955862319143557528284442133375814917741688664395979715248128, 84803779300846674797493328732787291835187140954956343038620820639298017558528, 44789107130233428671173732947777112981522537849161139980732547262708023558144, 95431600457662053652196090538831737899982636387714219940146644363285633171456, 77257772586409256327989379547381683586662710987993893576053829056154893811712, 32236502844136457219706566286333962611364877687574013499263401036940450988032, 22126707260809379058254038373750859305117861792447215293229277496669424844800, 82732611300105087589338187583145365183408228355116249950142412450552141053952, 76333883234951542547395906440019933227322564299767158880116204668616290861056, 41334897897647758211667605113677401679529876706881359670742400517762740912128, 36129671132811908352280257906266062912206963671939899840955544806005644722176, 58478938791307584063533343190789143927581911222257451398445964190079749455872, 75296868174046115954874924945002186084734885147327025708076428591250817417216, 90491664147696569225777950029238196578064426641517007233377430827863161962496, 92056989360784320842555808271900721082435795146980527108806016228482399338496, 94977721713512342730654424515281416283621717850274776269462552734674949505024 ], "fri_queue": [ 67525647, 2889732096396087665858439603473982511898548954950009869513823217403134104809, 2029745023682404336592141461561391185858235946405116347617354468910629283223, 69228348, 1891465188552787555031610145387839524967729744338844094460964103090663682130, 1628242906777469439581661244186030972869102981159164438560181227556010351091, 70284890, 2738265833960567152272090674461606567657079526372224438225921225441624514820, 2235129062401617733817001968239603938327613884282541184946392717211708177273, 72600532, 968933797532430273019587974396979041503681414039992785573166648962887108396, 1597210919655877422596755963809670343551759815545912514193367120679040571149, 74510661, 836498218633286566217803109104114801458233639983730649798998082104105120375, 398140448031055210206830917527915201483086451401164260301783633286801179914, 77949449, 1363570269633327586757115467972736793116318665793589912593997546935798376623, 1174619355485294134626962783962434200372416962684122264565428575791648341619, 95846503, 2350809332650270488083114030506593570879249290144202284264575240147695087123, 796517247328882143110636107280564119695208505543036082967883819065623371005, 99979539, 2452194579221426453998097643868401808478374243875318920877560386042511902538, 127579610877878440006197021708131084265083222234084436063204111660585206412, 101776459, 1228862160068436101334835561366633845688856096523174929786809575392681651825, 2429736434978156356786490124925656551280498941301066609886689718670234559465, 108630830, 29619369901841596033815493306449068110683428968677720859512769638239606123, 2990440717148961478579869660155932937964481283241593504881435552314228144247, 115644249, 835705034207374672338001214373162205216076353010046797302604130305308141733, 3259203132857776526066986680249392148158289029053867062172701919313519150706, 120631317, 2273098149118264113482829650756278850836002802181943684104588156942625156090, 3414265684725864964530490636186347083522079328740981002373443385488809288237, 124766432, 2776243266349620030131098057183311328006341216392257670858639586741143238701, 1425948025817808350444630214807826797830933175641717534976857227864560799508, 126772713, 1379669709313020713800514726671059309246990307375067121218606729912007925738, 719447626566547088607399808812798983826611314137541040943616301753502023358, 131395571, 461571268063967448347130338169545030971083621315546289661606418296311437685, 257309335875286215845525780737657806764036009532554140346312779391345273670, 133771798, 1265394642291993574976787641150842813991316540969682947614074186294181904107, 1439539849059195260189853136400920036699555450767237910045398092320356691705, 0 ], "evaluation_point": 2307376973310328923604306823743922276849139161924810242690372785007979484522, "fri_step_size": 3, "expected_root": 69150423513439207091625851323036926394613738019628350340813191654599401930752 }, { "proof": [ 1225011918193842683469389784903882704795213131241674051351618178811336672497, 1594321159627803448651097660513642649584955254145212837514988847773170247741, 3262572366791071730134004928584719411435284479654561744232494636583803715066, 96361911873618149806429609596386022710975738583862943883329259243378662246, 144206672052584925417918695031098856577960289953177871621250141419936899498, 3042251664307764184797796535806394504029283814565930071399839376617012006647, 1842573062603391109398678448708718954254169031677102215956416632109182490176, 675781880876186744654601088725765033510965922532690591361330079090948066607, 2477638810414585780260900427821381629458333262732112342082382975723780545028, 503640980547853947708466333839478365667572772240571933438392758561021154020, 139865830390463420003887554389587956452660174760970059654682255802323309185, 1107422758679122552397700609627940115160418870861173105107698490215363818665, 3555442043576503147360520450466002484389956741357717867563314744217095774590, 2683468919295241795120571188550320439614669879569903083824877197211283876700, 2025303836976208881218840989733379711131356459191960074950812149326814590346, 2245703270191752767530419935483690535256934813505044294971608629769110086695, 723981427745547237248593514208406330266939065112365614214166870836248347409, 535613626750681789796379383559698396069614158427559616215782701088813145819, 2980568258585760415625025078717718696472439561473937299172618811370204969702, 3514874210603701398452306018318130583036654741943773025541301365130739475221, 3265074577051073019333512475173116685624012317597951131058289260294289943880, 216743655385670037243482225769903214641612012732240510537107965113771712548, 2808578962416120106628940170531682057868878427017842196392277685190544294737, 2416983399686747101552639053611610643475252103366377403148990943187643671035, 280134367783589955842574017857096008489373929384275485985924673197232061084, 804103408512850836051745471045942973316459275645069048608910085072352894674, 340589262351106478082750919483549786438376304436447159262301918132951263731, 2028868474110780815483037481139109551742921662313406778000301051966941718427, 2617595937258126697446236477819020210153116618740311190563333903825547495084, 1535204665369008641914553854991848345793978885786852099487240495782965533180, 1346883478470597821692427819674343763904986727626585225987413598879005723044, 847834011990545347148446078585711481934886522456299223392786984845272161305, 1728311622569539976943449783881932734876257629266823332585210449278098029965, 2259056667930169360538082556160707478226839201771339412249443355124944160705, 1586637844981136736313746457371728765977435398663497774759294690008916987060, 1097663226551756507736622662492150207774750069946848704099019358709995913348, 1618871660940921154228239783750749034906534052412363951553436386460552595705, 3336866718528374333349448389689195005289833754825896844458330024564617143510, 1632177905332401535815480080586880062913194244264641587845795185660189864368, 2897243988002150594707654220453498381194745894489695405782170711179642360858, 2118302993399294590352939344731161753457712479530802568126983635005150831001, 922007904275115644539955396034734789617725791741060288511599189298296999872, 1157268733987818431076049475307200966830247404429405997878734422311063883868, 40143249320669932107331427449470009129407627522205437494193558577368938325, 2479496076861499159956401734640568401903689816761613439619813122840397020815, 3084314510980530349873455364276819190649665014645507617171381984981187518530, 1764217002089241530749240042438779087248101814044421600241722368388313756159, 3274416242620405413114875150293458644290084002780916476461058196073532601704, 2232676173200021682253265064472166193831756026384824359120411690423681081336, 1344967265196769452445645874534968749009656803306031471469617296335455931399, 3114449564002037116266719989454452520859196785954560527019226932717805347214, 998842068031931404586014275079246798934858838906878800728299212654359889785, 133714156458570519854700703062662133874548565370732952622656820823838354561, 2674333305508891993527915610370121831317295431077094985230603437408344372832, 3263357947393681433113256940090857807174934933302955388455974745463752093216, 3138871414901477197957779076967789800754461993361188294908504805570404118770, 1712159399787772430917363524348009986669526038603695904295844919330849706256, 1127311868349604549740770554902686590727719385583743581592103073772807919079, 921772589176364326551627173844383205033562538952370554920035160418324237941, 2502283563102094697874110560499720188163957160307569820932397524146264763902, 192861834448801503733373745334025419576666307987783496791722062553271659163, 1789776187012395751352032129932925582136953842457975451371777308292049740312, 2455698846848584106059009947463169168905147928147103710228631254072909017198, 2701679004225367181404524971735042192600285568018429853643443033663610418619, 3089149546889026866170756606990844157871541692340286744547575142386576450220, 3115076906559190929922164587286048710040717201531840849447569680915932810134, 2632061943755222542603636365758465548196027127753497511113387993153052051666, 2524323263925835500033822842853509678151647797187690537144899216092996769028, 2456376517609586076170788029451710344597425152269066211096698393381694134458, 1732041139069045125030423241134925434945315297445025189566024425905035286628, 1301601631509652262980493516734687633206150370606290349198688647421386880530, 1885223376892676220394224962547659186948358145818660984797133759899212667475, 993892647991766330028673252388634925020177266937450529805537303501147269721, 3374529961479197248179828333810391980185575086863078610592014685008376609951, 1508060032187134143558929233226737290582537999121387109639503659288616221638, 1090488980355519367771899727898622129585537080403639553309230433208904994730, 953344554259846983559485973035291377713959939264464392365009972826232505522, 558876452310411937440246048533822355570713589349859041840034750017366733873, 2719297117752435223866845581992830843425040804336326235527093715857696871144, 681969994505748405697865971996612817456640598442404320047693418035929189578, 40115201837644804345078678363654479488600358302334133675328164916236324635, 2067239762812168036369034363388313478711317035258803382461439882523382954887, 2608013477153941964542026764714250497247580077537190084476148770043400188617, 2311910806457381886033934957099700479638557575775282094910614835294133075714, 10556138740659412058248487847950462987770885454751590237020959200653164426, 2138868158337903382399112278105702980934989339366951626855880706975458898648, 992083483209652273754161236471007823968069006964850170456262987795788949539, 1414330902884530402394507360186905378092487541339436664485941377060094885507, 2203367988925154059622881837695865712159126541368005688546435307428662728029, 1525657589105198599296734919911878898489913857390190993977922893163100510921, 805229373467061752699221354736759151689258094557354927944186698674200279486, 2444671451486350038361519522104775364093195806257394469794987429838184516970, 1463922524397832471087479383478218904311553878336830582193542181472291365389, 3276301319884746876590416739655340038090953321142730794429472235158632423560, 3215434634496769418658595700227891276663545238985369161066720252362278722865, 714278636692516776778764148075728218879922273038482573223578824360083176525, 1393235810846199733118769909386847331745599514119745766849279779206705648620, 3381946778628147289360121527091164144492581141464969132793968075009644569163, 1896915304310238474911682232478461612926999451610590674134337012320708442201, 625514490673004292975069708653525271515033325918439454552465034550451525621, 2663606629928878167209216779358747586888872832952576537956536100060941839369, 3019803859990817404650193440122906730559245851770471683467476674422872559087, 1262601378428957703750482419298867229493625656441561161870688180595583612713, 2518592406819482114493304344739326281739582841614535438916793372536957915078, 1211247095103341120952477423712781174340365149314866689425606815867821435139, 1585262940955263319854305611619302752294854313758310540870692203200946378113, 956620668315141625194705849965646096979635138232432161787800099364329883691, 696690507517249279093285853600401455778368492979453143481305982687295817626, 1777430091846411277963285352858970081835215797139645379332249692140210614385, 2187137764449106092329937181837710967455446217750152296004577167046789171598, 329509530397450221631133879595660498500586069908849861086494675538230671749, 847406200127166181175479239953823970772364361379025505788432173817878819424, 115357612119742126613336698454242439014192027803648086736920052421047829397504, 41349986911773008627700815661771517148493655967056457007742362129767405191168, 75292981168948624681552444878546328712336833183115325515289448493102844084224, 56226825442242086395058331526097532762591503800218439521202689916682222174208, 102710339075762138996604284312619941236625298634784172996151171563589382176768, 35083471834153793028266435733497431060654495507957284577140606116045667696640, 68937097284910388347825124084413950758950241646675536373530216927844945100800, 34493482136363852842434460969318617563214895769631101374459868967606000025600, 60532770280223951242861619537356227700394550593880014066034392997383773356032, 49080250827893209699156994315929604085845999004976618397142454092412770844672, 72076667312291968406642031998416181569360267918074754161760851863432486453248, 31542564886976083262706241553133343920460229795351461493619186665157455511552, 37710583946273811166196876203958930447560783179407938455735510882710068396032, 13087251127993227088083092626637123854409125365667055153841335452612715085824, 83354949918434458519590088479283730743762644197406118606977066399841245986816, 779330353480550954254080628420560470877753644922995262457132965388613582848, 36618663091210630759201540781114514261243779204891940662964704539014969950208, 15776521665506927025205248475663074012116850133738854025031080867400207302656, 79103839923654349314051641197403733355079568083213836744264538679792570990592, 86755748408606299052894838004265387261858181931584020799525072398877752033280, 66944932831629067545484062278757713248141367063433190195013000774031591342080, 86523563908657108370120742342124438431731360230249959247070225114926157922304, 82580026562211383483808868414195458538635416863774046745792753910827156766720, 53131503768583405434054141061193864209161220783604455423236631333806622638080, 103473289266068386496215416690088601318520756351494822599980527106453753823232, 74413305059750480366695433017735663831105672400607825905873683578818142404608, 20588505773282959495713331435280183365060428166827896907682566048402265604096, 95014846037863569151539538887998955101578593954917493256857378178327581294592, 38493650346241335612971503756809698466670713413792579193915821156170570137600, 79581228772277262897869500391455761755814415366082125650919621785522460950528, 40301202168555324410066837415217917836830265639401736160210367005365679161344, 25646916483031229089507738042035302767143036001916365342081292851974412173312, 87799403568784282436698584223220270855799626994939729231071993290119033389056, 100446986832235703743863100187931845287816043122370884011960025980789550219264, 98519749635285865901583301175082795695400631225613125135428098687097148276736, 26429283492176593035106852787816286204257543581874686267812971625416545533952, 95313290732660415336467782098169358858118660520982224084760041007596972277760, 11164159821063061782256281123057395557923851482743631227544283349438760484864, 46580917698852953939991145268935990916202198058298520013165976564397384925184, 89091932108606580613282236498143610045818421646492944327237375927902908973056, 44001859588128742456742661146663927507923441873971569363442007407209037692928, 40365980092631747607308337788776818593579250935830986600921939239318063153152, 53103858998406317369935310150282549107765828191951954195213076256163274686464, 24301809960736401919376759545145182596517904792408361374843975669049385287680, 36627482903012977183992711576976522981024382194746989336597958151141073092608, 98452273613447642734719866573580146314062650494123421437276809622302320754688, 72442391998375033234160921136903290312968326297564441985311643845285942132736, 104579886282638912390885071931221108369184329805585812035598627678114776350720, 67719939841423580846370044576054548311732481163333795034160497442228755496960, 48955071824332167973532682073288774176482018660041462728503065699076645322752, 110819542777895791298340064478839855670680283603204490792816502656583646314496, 490218835209576487816977382132003756528106621795653573845872998436109811712, 97539582303806051032996879005251537347105553728761331165345543456978498486272, 25696379778534067696492877552090401226786972129756208603398339390154775461888, 97887869978798236112586893611987286668266323560473501166045085379132949266432, 114837633952264581613547891856065408225432836236266339190014433569601365213184, 54942517770378057092147260445946939211722823166167653163357644237880141283328, 63912122889785337030436792201155993495270564377037913971738774500298723426304, 49079365894464941935414834790452376019982901892911397210202213863137795375104, 69760482497697588514413273018486096273978516816547913809166636273231447719936, 110982116996203745623303705841685890013281133470177696981059673094478593261568, 98242580162343087687507694725481178042854163652205524844435926225143252123648, 7383546588569706528717964907707449512368146881320816106066630317388309987328, 73153057884305875872195050175551459976604319086274695603479231828240736714752, 9361148077961359618717449437302227343839175141630589394657549493018413760512, 18763259514418909849953464853730059501528000276796548341010212606305275740160, 35443796551352839497291791223047065081252971125274507168547784690567145848832, 105231084069400635547775845831777259301554567432253496159193587777468488482816, 74393795004964960555926023110352569894315123228924607422280482942816492716032, 108628555071771138960792625763340726375790275797825120264549911840498040963072, 43236134723140323390774065255109384311224412078763532418434340881620749254656, 98049594272579865509396700211164611911219275171317936954151092975811141042176, 109943848759415248890164968460392518499951997021023418557854946426173880532992, 43081016975061345601491084771481568397177648387632540880657237336349535633408, 10934178434644148446347897081636534288683380664658646706464356312557310443520, 12425698203437082247729854171280432695476265696363643859851162579459456892928, 17052236334372053967803014119773661520556982123511803080914868094266997997568, 47036661549263895202231670952621885880947376611942411534250689779969304821760, 45984296264404930358237520611564822046498636263016129098004193143810781347840, 50368639556193479565967233349165086011057160091032596732426304736065629454336, 5617552320532424334753593758266492584809091654797307579328819178112326565888, 48664362329765686101054410442436327871616148083113848672572245908434683166720, 110667656758855704907461565357216054682731295037360865644138060114420513636352, 83655694550819001067224086551879522038813490384119036309894800908155019591680, 39571081030277602289942965899174295230425333257146433328965247801191429046272, 63748929779771258625614449414517818125683118717456366635726928261151560040448, 28516962556148623836053627578059054206278596235789398547092927333385686220800, 27296252647360047629087074542847062779475022778072697441811330741829766217728, 7136940939123390748032373851776395412070519466700143916226178358446229815296, 100546007491232120976125823037557224338248757023443082514761664824145128456192, 115611445268403887746224598754214901891870244004477422368535148425103905128448, 112618290982301399295980999124848898887025387069173818359932376308614472663040, 12263394356678142648757510438489373060864445959347057173954379660728110940160, 49685007473868067962283941675464517626600643965731953110835720318479824322560, 17850363905616962190643245828219965212994529291500220018452657099650468151296, 112282217972098080035431889295386341355983413445047432944562640538658158936064, 30877952323389578347291666112842787436200770999204760179370871122493276422144, 114965385357679719944263251741556529603842654291796280871332272571742506975232, 49421826927191460867450302438629408521450147397302583896566440369362569265152, 110060415179008588022000237858533622574562749297918403521538529543618356576256, 91848623821373995208623093550655110609925105680210312869834514199624049229824, 15502985166397417218556336456958288003318122588309800037185772358852252008448, 74230441119852691976538299298656722134104545767493798275646506367380185153536, 33846465696984199690460245835882883679490125909308148154792435351331631267840, 35428108601081068480544641748977531363424514305106483492840299182069527871488, 33262772064510836344167139591699099599866525029155496420174733764923058290688, 95908540921399645305540107084037208471655180264816996590912984800957042786304, 26717893947121394394964475163337254439154952407047393076273785814319913500672, 26509535213263889667251969961264488898240907961451753738214058487811298820096, 41183489228615158866195589748471557728616389868348414204143089379228711387136, 23859695879472697696592178718009165058522972183324138103921352340511381258240, 96763343573842206576601507298863490099135390103158079674064972467227028619264, 29010682501725977563742247744412628756289467795105304866682147701914700087296, 49449905260750213359296048440775448714452441755214942263095268087770034208768, 80920920144328619238716499400510571235369589663332882023983766707539535724544, 115574595655710568478487794563935247131033842356023155936020503659830963077120, 6349186393958693020075886606976226991434089381406682243617483817883132755968, 85263838662166910166681503942205854117617138254980573442851364308056111316992, 13024079947452664198402265221323417517636772661987318677775050779410372231168, 62027985432319612575649683279170303159337848373012613094296062145230704476160, 59848903176778194470043757119039483499091511514417298418991140022976264536064, 108331346959243200511179120204796753874663395581694336302425573715069808672768, 24263503194304209379117981271153655547133027128362714603600699908399655026688, 78955779532855024586443160315274794350984805988141429332789244026627708420096, 16970585186578172912107137217186610768671480289732611984096118931564129157120, 16137348346729667935331475140386188440100551732237756392148167099856306831360, 93033550539631819936126632504290928277807779440162735371137151478968470208512, 37621288000492524665299337188948572101180723174340922541896930333206092185600, 109379911526184077614090846659511945371393739619706709793316961615145630433280, 37673180791325241048578272209433780349650352114868655436697073533327775891456, 27000929295275720424154014188460047435754134354998763209979204422251166302208, 27721624146568444355878984261412244010242875460437513881877391894770899484672, 39402135594231266907775666420950340997453721510468356024504873225881577848832, 85761288160292538656693019743211213397502757880937914024287041991476458291200, 58041241895573571860843613597644915560300534999658182479395598212771566583808, 86162593702649017933198167632349915521418659303666320786079169601787092008960, 22075220797111870774464300637736938737130514770885411010679483207238312525824, 30334044078978854340864318923819678944249109166668319467947238333121885634560, 92009439529480410913807313713611983327980381183817344087419744770624474578944, 108455840755983126156283976021292043299224798212341493405232183587372133253120, 103133997030675548542686786590222806083678643997377498428267452128604989685760, 45039880648099299522484215340090175813166476498370527256798118065280882049024, 101509100654154659018112541755844776267993140662543393093078129408787846529024, 40958145536199330452247025317655114000827812842363342459807461576306822479872, 45605593683679519448288144634826960669356834797092845484579122991054823882752, 36941514153914480387609209547150588785906049492291398922361708994905228967936, 25033370330436230393565148961884913989891138262325039666068922498685889150976, 110634848042559513262926797198439401236256524232985944433398877827714854682624, 57937186888356947714470032179685865525413056285381063955492104435100408610816, 60633613749743718919717056381434316495906932389650669693393192287482536787968, 29479779173432392594997092838507917823428263720344859038182002563352314773504, 12538971644473874800109375072924542826454644042780298465429270345034208641024, 52513728726309625517597368392885887569128496343798853743505222820366137688064, 82577543426374494426857625896493762353911535389902549197368694808877230718976, 87261931370989434176139904609905424322480975234132675997891590926961272160256, 30577178354830297903319833189903324405276770753421293166121614352991633014784, 76840457278097761194779369759618941846027981894254164326778891792255966773248, 68020524449663387907746013947301734570858906209370104964934959685213630758912, 70222362465687348675129331823376073557649769873855741353076742083101700653056, 23477687852513683164840613739766648540321233740985516528210126629557384511488, 107432042936126035314605887933222868543363947678928407431780235141920529055744, 64385599193767592519869868002149564240118189732768914773308236932315690827776, 67431122853569294367106070983137958233889747631901039883586068351218257756160, 19946721220826909495932314393623220626324808075838181977691369239203998072832, 48674918134134714004746145046884820726253171453659009524935013672078414970880, 52553405921225799331241621683003366995706380098690862358333993251697351196672, 110137065353832815957518807250628625146512611680761887852033010981715990020096, 17250616320833208006268107172692399368882298482727183690188948469626374717440, 78549898121186109340032732062039517323697293746909273948764967944405968224256, 23796588121930342162306467381213777028047719607246708633235423340177072848896, 64781448395076791264951457125304650210039378201791873941450594672192354516992, 91622821767801439072683120026266504340141791245554426704063296119940566745088, 110198597464221773512731998630318831625525663440055789326296757555823137259520, 5890130831390622242843960154426081795467001894223133868495753502397730652160, 69375323889998867294971834324796555562637933139687507436527874960189330292736, 39802557919552383044720224719993865158989906190651172134694952871737851641856, 10266429223262161160994106152415550263356034490039826410538184429986002239488, 96401699095385710550642651316606537994104718984877283527872996637397586280448, 112772219586647159443928751061321632666239644964340333457593875595463229440000, 110256560698559105242388511043128657287125435810010415694500749455291819491328, 82615778793288227737243859233670117796992442902769399333748712910952675147776, 58075320325511572138255781583886079399337099828424504193182910353090178711552, 99366237781943872915080657120325479185930412741416819063438170683750517571584, 64623606538924053402345386258481772898854663752331657088311408894900881588224, 71256266536946889278984315380223203139687872098498531301357772140029453271040, 40847043608556900339464159251899050680274348639545567760966260300866100658176, 115359559414690533479777613608703778908789361642681543254829367548027875622912, 3171008183087732185773987183841298820930468559784225348985449536959186731008, 94718916688838291974668026179017020534485549474841786716649879146369204092928, 47253622794380000959610694008526370676321672346713260152535385629706705436672, 6677600988498820085841962621665059094909989597346062546873242664129871740928, 97496343768395308967076693337172169670927086087221511971266166482554230669312, 102539829249328389051171320704617008641013113110467716681429378484304617668608, 82843220279397816776585374952853357405533009633002840210204971049025577943040, 8393786302081999915648609058896028713370871865230351729104387972421442863104, 86091372344780487582769522356174949134548797894840447209573068001653307736064, 111504535931376998853242714233430955640272046069723580538191248541085950017536, 73697482702204029432224298579685286640964995867112587255001219419885505871872, 61526225348318412093114951096011818840748209493068094154575049623146372005888, 65532461930078501757157322978881752983213786266413431228781035566388868022272, 61072078036520465782702014453732693309238962075737183322861500314182976798720, 112731933775571225659016524780415455262742187997673192236889623546678791372800, 65701596418563083808528610720481133593934149553141174507261175348125730078720, 73485822465431019220688145538596670157267199835686357604898519535022168342528, 100532142128810133263290130452918975102221998416269025270780200376393527197696, 90697435999686518107904453928050554395507865833557197364802798241314842345472, 87275616197439527987498815123033304807824732988769872993763841781700929519616, 58429683100837308074451529306395256455717460690242228014136766383646480269312, 110936414583837433949300979015336466010525272635014577794865004311020170117120, 6772142811332919532110986278743659938017859043411367695850096179667074547712, 83121305813561706756094885826835208204921275588318905126206830109273198952448, 28414643382334397742000416052924925990047167688738581041154538646723962601472, 6176807038504709118990797547876043705027360777913181289343924047662005878784, 91212436546290962406146657037657500660840494993230892754644288488905419784192, 27194813540113769762622547367713770670955593604203758849591606314252080513024, 99751220750587539737639963350675036923362734883650161832122195991729929191424, 66809401667513981271423755351383548411425221593546781739825195288300328321024, 71191459431851900190836235829967048763254064223080208448522166637988088381440, 43728959401823500996761110765761936594730638087194478245520377595055227011072, 57775564223354342207911117920687090838128931304569944770424269427764390526976, 56413099471685284400095849619340895782226651900513545616724644778646362390528, 91516929754252185836443027691726320687996671258432243007693864583242985766912, 2382711401332778012139546044355620016368168390820373132889069883141052694528, 109657810645871927791994365951697281282739059900893870466379816751092220297216, 102149713654218793236079584091804284030104960149083753543029113236390968033280, 41449034282064445956774349779273946329077705819637594848878531187488531152896, 108746541317133791815242758466363125454549028088439241318290807800873948807168, 8740828593520458791378544649899190780009422555532877467758917719001550290944, 110801341679429095620454334608308570613117075539061411025398924321387125407744, 21257066325132741097750912367364074751468531199324647124863241779624519139328, 94989516063105980659147115681812223027198850610092881731545778017292561416192, 59190768348333125756142535613942711483317242500983292891841922375828205731840, 63951338954875407326489942201239079925950050809806421832949891716353273888768, 96198062861314043862291521388927352480877099340958359677939188271365937430528, 22839652746381897664304757001132005576844420997617888155906535184943747694592, 6324943973441322800946344613900504544997850703964117830774613440137923657728, 110496688018062051566904761770144624856345710941110934397455517537206527852544, 19182767471175562456590952397460832084354401162754799298227672279110933020672, 110130685259335669326276431071844769278887670396167688930275927547860584759296, 103120326968818680015520835872995893253024231663797694715450335743625731768320, 6228317978761447074052790459420150095676919307252741133453515851221759426560, 13815649447196476082876574291535690338103453781048855544033567361773374275584, 45497673393385350912670982054512941209664614464854538568924967063802481737728, 91592261419782585723204651589767727505172974397649001480586168705604034494464, 15531141386842125157154990576239843972789015721806733287722886408341307785216, 78175308496087287907342172399109299000197098769535586216248335502746295730176, 19959958655382071759543801774766228925758876700026512019408420420180091338752, 31000339923754394025334339266153659589560905216963996914267002881856340230144, 83418514523349561774479069664032365273406284221644468945660165874069828272128, 89190157065336420195832546500592414805657047621184149468262721732278688415744 ], "fri_queue": [ 8440705, 466789880448003650641855357901465520230195581592291349773745081729177704872, 446316748360966653412585563161667723564102540271257777834269076065328729173, 8653543, 2003912863128562482902744951312113856472181080178855422928829792995857867198, 2732115302828971066271607630689348400593804321666966207297485887660902059749, 8785611, 3087744866943619845649714117447378800042178150384841902744654455563283245715, 3327728473338554472351902911480069349895619632408355389211152793318335795679, 9075066, 186659063426480950477141917631082242512971760617707223977538458242882759436, 3217249745553184012463127327257854777578957484755642078937196858522541238135, 9313832, 1429363911103763664498420209618297965694596602307327809448266052566079417863, 1733227037865169995164919821622673086908981823218705282081926461721470811505, 9743681, 622429339089736655183164572995997580174226777837262799015212962562979019769, 617836234869522739609323546299224692415757617845064022322609461851467405994, 11980812, 1997173590116617232574239679674184866824105717616860345317117064009850658737, 1851814183588280124245168646698367196109250157456895513906014380763515029206, 12497442, 597936596983801556983824108215903538178989662907959963197178287908555432721, 1947643647370289824014546195736788515577260005857814709226741205651483510523, 12722057, 3462549616443304423621501089438952422564537023747898661856919329512713693614, 914751360450399336787396806101682232827538003300455849794071402831258593523, 13578853, 3166837967033966171909177410409481869052332699834503413428760769195436178283, 1520382140406542232873683732492414137985583725952969145653994451108935007652, 14455531, 1777840254490064098557573994465105354097143233857547641268268185287187285159, 138087146470188805229924266795458821513167445590469128337855243002235414001, 15078914, 3350392146068527208263773040733544980000480905611002374794354157613839724240, 388718074240637573786328805413608568726787016617159021466839670146573178436, 15595804, 1314297573884718915101373502963009161762999533028782725109697886999104587315, 2211333190429974564036628068042399111402421044694544006928319029728311953531, 15846589, 2797527928976969609161341392260855964888681645108008052870204911828980395251, 416507224160459108811567661373935282024120693812702770106080965614004921331, 16424446, 307115977263918288522765680172084187460153610398811134865506232948631633795, 2728626614819210359229461309730959390833983940915164743626582856989253802457, 16721474, 2528212222801447563122467997596441626175672159613200737490764009698789955894, 3095219495258885666322555108074172890628224590809887853112526765570402268353, 0 ], "evaluation_point": 3511336415089686075705148396399695470787013289562883572643469197783815111834, "fri_step_size": 3, "expected_root": 52766583830272969022878680755485710400242920238026795623608241624069506596864 }, { "proof": [ 375876110896474493425328709316510186227336477870485576543282030228724316781, 2985018570246734771900436381180667965748114305493815812328178937543144793731, 1126750842618517539145611930206903361825910038828595412847942135983282782071, 3291478500777298588250419140966849689078077507183538832555174470593971139342, 1706382145711196991077674913572939150906953876692373732911055849841724707641, 2225615534123593398557246469020352502113479465234986678483818203988044463863, 1849001591041910633040456813607429022858011902566796893675545100379504832253, 3064375407278214949349524380261182693861404948941934200226382011207286164432, 1952995126871240778411050757277895349998005533228806111451532486805989029875, 241615365795986175555629215861037501291059377891197258703180576202159229578, 1430470873681167554125681299254766221605284971490445174605518681166602193757, 3322369001509466291797996443692805507193478238850686188000360272862031988135, 210956334898761746102252706046040118201709018732410995153022502688290810145, 440714042272572215838760846945900119135795451245194020858320103185633113894, 2961614680500370854249462486860623185076229663399918672926088599722842706478, 1868333168307953791046411215861966137413170358698237844737403536194259196088, 2069344876119912833498242897646294248977386105981378238576263361965300917355, 1320576449458669770722394532974035857795972527684185081766248406303720751760, 3587369836331077551795137804462615908116556558014109237835667303556671810210, 3347105432591104190358664755128888075669574514718284704905232108478874370353, 2886358941005307228124688177581621689792306876616281819565414550084161610441, 2481700576404188842761555239413141757426009978525152083993389723827645193822, 2600102103761884412870186035122927058293023653927414973712510636553847519846, 372492912529156756508780450124697272796462014171408811385183638688814383739, 1958967052609648033998069575344802109059849604522232011601719237035016381017, 1098166433399568113365751157927271708425043380806269756153397221558018459863, 2894264145337599382191193130635350143104885594661762766697820807707965558081, 1018602107779900444366996251842319535893370431582552051488343286854005625186, 2177625127165915773168255885810593327795751808510687930435002689147193314528, 2941682824140427016353660423352691113867360288601729581374353318794361403738, 432243295192000485610122659943914297248685426047776583699398948006567167863, 1179039666126533860249118383759976222208857476831288688168021180605585631987, 3558909171557718975521974223282460828022151199318582916069064295352586767367, 1523626983155044671995000590265540274563548472980778471617129258929065350956, 3476637163628800867362437417845726683825864177933487156391637401614237857234, 202821790903681543264972280952399767394066495298254436146756971250348432181, 1044601599472892538734553118042468337446140903826241430518361857408313182188, 1343618447646017259668933180128303366087425196526368322822616498112900655359, 1461417719254403927363122979275972647894811390335321650333888018276901388680, 150076063896321313217861367993438730798671881056771317729693323890476299127, 1943613880733451364655889191473778860551040414260008731777532215570080598028, 539233706563507363691916801448002934442120675849383520556409829439020518020, 1036584406506598848560466416389408280721210321287825552913341757165875086814, 229320720366028373949551050761606803406497048004490700315340625456818607561, 636927326945863606854603686903883328421741367891765596610285168955672730792, 1693155302321366094732476194465053726057165547728333439587310092710431638255, 3009641269580882201228670974855130400165100164140025670195458914679368941106, 2906672943604447030900715131373909028073757065381660810873298110910771317893, 141249362648758828079703953654667030898180586863343901311933568729444887706, 1946212221189389682900161111707139325943377088619883152777729580919415508194, 1868769243315645527348922100509060986069197957196150461288858455654152436322, 3400775098504304105157076143093976860833823354766950839131090135318963105186, 1820106116182523162402624771471327103884682066510717746009340762202945724132, 1292313445729766583295044277391239039727331477344097998367932660022122055709, 1576350325146357599849513563786521732204876409551696871556973585074952279547, 1979633886023129815744892937071739604040401227725663067916936814852266367831, 2430284639078303626786068161771924149778328761022000165235259040530590247428, 850581130739709219855525899172255861506708839072543858196357798281773726255, 1036238058539827421697050653117846848283848285146767228554305036220751553642, 566042855270461471876372207208300043691652528965007453615466684961667432143, 2278089415225236776677330215128595602030562266053158464367799464274631001421, 1458198566058928062130951548022790996681890852662363638030515512280447560890, 553374599973755360147084745995045272705463653837794317709708706044634753199, 1577329413710228113505572205485612548336077766620144795385397678152050438365, 1014147091371476279259751542661780334107635588673090601972031866175498810913, 3072356176498673321407097450575846649449824382816282865822990841466462578430, 3100743849624030492962700311259132462635706394017161198230647817049817305571, 3395166048241419886812076845957354453995183081235199166219022952134513757322, 3019007352324866061520748834618067899972922113053571601201382337095757327150, 3121101676608486292355047258418538527553453126725700958065578147958441834688, 511110796116434139314819570546827295656586188942909085010369698503080837060, 2455283774884758978129467460986667411191327119747853109914911874861073010055, 502929790159235678225787327994431481232293824430166731412738545529007763165, 2623354851979903784632381375767779533273129762725039898822630775777400680747, 606421413892018007517723399994946969452032828716840140543998199199401596125, 306936451165376169610808653504058053604173473271652436036517322882310240255, 3453176973498307167484180954231517133504568338784736144758407330901870235959, 3528278315858886406461472583752886736951984804963579116370324802554369483733, 1507167385919377649029029747262676548181742030523813116829221028580502420427, 12656117432898435206578879962897594297938976956269111234556776515851490768, 1483876892459632911407645200261966622530540226824613924115647529924735545418, 28138740056796716044980023738521253263696270491027453495617538347073037220, 589079868183135499216626159340029908556531177567035228627336032076166945989, 2634779995002207717071121108691258813357260876590978049813190284689729166691, 1104087626077397642531809653702544603135273094637667033184375717933242219211, 1613040389016734081603065006358297183230181256057223368526213916302576497334, 3311388508384974302066705414993369152386448366304451993315874967498789999327, 20882550683789062546513050204845240471058266336106346995362690956640426641, 1304890346387099045406777314409597494679166060177111452856862279053887643175, 453317119903388604364810886090116413974106315890996490149244455377425069815, 2126456664170916976314475073841760678499479977218993621664709894858638907585, 1964900658799615941172787212597202625686408386259480826819905364825296986598, 2895066691835068740597615511420886660864471409327117758733366290787359103752, 1964987722975892067351102356094051448800468413796280286750973380674379294133, 2123218978984106071189977952877002911834817337414244268506504257701296160988, 2313417086265373670746419295501386743343437746602847448116525129819608334121, 375907431121340152668495835614428025061634707178712622948844147989010129792, 2330973244373476161071544502518863007424475934642167537691251147925736184113, 2654465569559679164226877868938211777322174074956313495964835538635172557359, 896782489167677035935793022297418651543957939251651713617170922559511818795, 1414046684335637926422843485504318761306041428536657408405919253282788893194, 1199729378856483247622483067655029386695408449776213935906460446557610757561, 1076518152363110781026478047021464317050145222273468161392586075932785245470, 3216891172926563986929346535913721705739122391043485736653304534306817528041, 2587317080391114837561995717709099027685796260725654237489897749563573725379, 1219401967743623656120628487738922175940017074127202959159231302205895683258, 1541517697577134443595583230234107617252192194004914855184085005193361530868, 2909191903566087209548983363022839297199699048192545578077309575980516378336, 268192627687313732342402216117197320979528669125534228650120997499150384449, 1999991616209884605406398247860638964274112997582188280601819464485754268941, 3253654245762769322288309879140842021852505886212139860400064438119303783159, 3510225273198097341432606370306307086413331402552546845887970554766567772390, 98065738942596956907377238824884448282630593024196327908470195303702585147392, 34743730651450753424262835801748022333691728938254661386929568023402797596672, 42448732745255506983522952552318192738075240462395977982793210568354861940736, 22371549009557391785566639905508791547597309129561328792215211342742356492288, 18738671192686509668579733798691750249202947827286828581986020268948641021952, 109093931768347543379216393669496063433315353008538955955901119805858722611200, 4330291519483276778134341734199918185191231558677973217869483183834203684864, 43827267136034338440492598315629904652743227766305573430395209676616210841600, 95354800520669554817386629529296296219949615062031700988321611863231792414720, 99726332369393383246672441920109345757002193807348995802419066345715740442624, 6462017994542659822874951466491784886588478176191294982790191738083847700480, 59263359379097521750396762252577467206670630919652714184379679729656818302976, 73761169698598025131949852512308812201022636871439611439114327275536589520896, 4995626698186525190566143121120692262054081044674073325533231610845072457728, 87763268677197789335558245793860022144917827921143879984584830758321746083840, 78745933844686883378912250857386231402712848462361823399798388676686040268800, 28473209578797867378061627476224681157307998912333026464836430932836630921216, 100430858339416826005285288721485785815300909781943200519918442460211287425024, 112464314199487835070249628038324103663692753206180345955338104351268018323456, 76267531384704789991979356636858438736948162342120113323338588971196546547712, 27570557243494791343755971109733787730780943402926179365774550395524478926848, 86836882810020005959568120830710901503373318494354436473178942782063891185664, 4024008492563596810816962519969517194945119625304896203632355409368247697408, 76579389088749242483766559925755489837208768396767474643930685553237450293248, 69227221342822964572355482336585973023499139288183679405256322870324794228736, 66942486705126319452147422670987251420213695955204342406908933386048741834752, 51924881232458188834453932944191845453674900302647409875083917547662045347840, 14914674870394193857272296664987361903950220247353354356151566556138481647616, 53006573122376493621035302489977102329864757561374806830527922925759086198784, 31732920262752110644494799649721438969234758791251800922148204963987286130688, 108922181269457309679060722369145127273112736927039333064320918806993051844608, 74481405532808443358832123367046970053395470611603244630805189852166377963520, 15166393634163782906555483870588493773071622754668732187733160310435399860224, 74915852448473117665386220779229032155284545523880230585262935808648876654592, 40628262780586963123469489186284601275319000744950618319168343297921967456256, 26169201995889414793280133748634604840044339365328316697425999003812769038336, 29778970250403510162013004979859281989420406277451732886701035836819789316096, 114719869599412026985251356575589404481121725695873895571527394674114339799040, 66068368520717809622150655566486513711326417822751926082497512711387053293568, 36353325753819332516635135307227413285116527376965474897540673560562129436672, 80200439477889907068470866333207659101824598092343194280434471615484756230144, 111671284240957640727478736070870662181705665701044134134372580607598339817472, 37982430609127146209929764482450692866802942414370708271235416862956997050368, 2518214637040151672944998631663910712939943096557105369619165861374341414912, 64713944948995145475674893934590095332806191913936135626766841805147595603968, 5402322364124881047850114881134155859659211158941279344997955849529516359680, 111645180000456329767441391109329242194370942414147060663703647454883716530176, 114143466687624783075268840680542962542521563789825078712353303767295994101760, 7207288872072629201671035259189330350769690519052789028723143986879452413952, 11497519314265584200078769611541995395430823159933020603181491384225068220416, 52761216878457752596679160877805703861992495474965347316892642510089463267328, 8604429719531917807626327886832979516170295275406177671276646013658883686400, 111936903999682572419943975848172452357568305691853264063048037463019808096256, 7986112108677595926154258237493385180441292574992756851757384733450922098688, 62983848937028353944461202685166078524438302886227493692706166584980854013952, 68433044563911795843994294706834012467115366943855559917808446528190790238208, 33092129008305420677954816891134137105860031633844032050994196852830894030848, 61884952086117312260244402371222094724913765861346299586671656136333250789376, 81121671838425427665697002946059478713379960279328129519643833321894621216768, 85042322643911667836989847882587902349422960274412409396677134224040998731776, 41801592932559247682501078214602184012627966514683371255003925677381240487936, 93959727858867136304335038737696382227002258121408445951092655227372864274432, 60066822634427381883794689143304560690568721212982973784268794185482669916160, 68932943029371792386855183550002785641676048588327358995858184180336118726656, 5830577830076364306496175057606431284212246343349376010144745932270430322688, 101692869891923984823339924912387206050989195251440618604221601739207847444480, 7970139438456987101686851970908421568139483662667239061568275295056833806336, 86636235822837591091404902688886598910690380279731125303369188239291464024064, 96042963460002914385318924102019865696073804662890073197568655750819206922240, 1916667336900911877655013507485216565384560849155801952272749748899236806656, 65512709288018116471133122031968276671699425579888706865222219081454672936960, 21554568297218442677263423129036341064705214865030681994251199594748421603328, 104284648239764277164189928717520857530678921437731043237013461893443011739648, 58851782712419348722267401358047838656043223181920012058317209508275940229120, 90597314280258768968446374039814751046436481401418664356692589627890571673600, 63643778643243892048353074740629795958963911094038285421616418516928861044736, 78780249241411882428562881216598265998651922753405413658567761685649438015488, 47490485844307319249856573037673746173096303045823827704398487540589848952832, 70824664739779623218025063836492591700136650384968535757392733610236945891328, 21381335110278361446632878128301868819594761572977617289996829076559478390784, 1191309790279885961019867679508601814812765630436267053271635738916686921728, 76516439599538758474163135558726742391855441273161106039819575060454430474240, 100893046881057324978036944957607086006000696750295014844388758203112412413952, 109087746195746695327878453403831475533111003951305858694147810934551560060928, 20300028277132786885963986321105489665741442228613053696317649783702111125504, 99654961620398192960981953190201971869993644711115763185305304986988610322432, 53103643580872517948008532905794598947173805170056482132849567455883888164864, 90463866967897621512378502121102798410174941436861979060253274934967357407232, 32317963991128276961910586760863547058763252076288321362258522542444189319168, 37443773033548264763662782969693550549540547293664233078887003115202707193856, 4554258033186801209096430595275586016298962215377826334824892804789826486272, 76970597443492403871648380259937912265168010259367422167224253908358604521472, 87099371723323840093102947583545219857240950021793092810111874640764890775552, 14363449334001845969764671385372807124289943235945581030275209545757296164864, 90947962826497678150743802625090349930701394194887751551670779976034251964416, 35174497134244207081011300909598235079174959167327827686008111666465360314368, 74671501179201401925107851096045089914726478858204679042061889049456457809920, 100412854270926152116235315271681704512223684484005606800792818777300066631680, 104137188096980020999985391348186209546243918582249168428331695474216856977408, 63049196738022536052677968222585388523275019755192557626338440676514669264896, 91703407665671103105523150131902887232941361729795394983594220534008937185280, 38697704559288158173315808833829249600857690173059088049229493155023701409792, 33386538427059295856093969844180993120266892906786502219023918571725063716864, 108431804489745181036069850149908698938925108293301997434884672749360012853248, 103177300075732145402990495781058753168163246478470704811718750252635665727488, 83228069061768310963638434674402193512132747367736663392975520666042773798912, 2816366627793149124072010983374207448832686139662375460706766320489482682368, 81031818965583633499305880632545038801348598690570534175454866644801960280064, 42656926539032464835899890355918663701810000586122347156363537102873263341568, 46381450788363039377489719225336583631280325039142034982662270321184336773120, 41421732999972628605214199959144632562403361395691013776956567673583897149440, 33449825980356743199212335408964201215932699247923440853402728492962745942016, 33778676857755833442945459621633468568400133431320109365305280143415964598272, 5190355941867874597825586786738872943139824736083544657755854344499146784768, 19423912422898848031911404565873974613105623252778907969545082556355935469568, 86523724196793995976073433583198278527233705438445223000805125568422389743616, 112005890910031055434031029133500630557512037120035725406074568606072598167552, 57475901658334812826293806703064589080074028182286539615104424996477933191168, 91065581960252284022256080678595868479048597568524602310901919682175170510848, 74642809860354383632842017717629524231130801202183222175540693334903134093312, 10365222427177739387677116835226256049444410635157121934843467596462892777472, 96698791604686229186175674138146145472178967320230717518575644321648729915392, 80769853012751195967949836470918726801266175964184967666186907620745228058624, 95469773961844630352152036561232301469186453469472000545472886555189585117184, 107607201558945057838604048018463617487423162680793756313420767169309281615872, 10755440115893730786597234925382713410700550055447007989610459609148310945792, 15331169953478589983974452791996305283918683293633392198468275667795947028480, 48550460980629400988578703109130219836531718806707517491450449357025199521792, 21144599612404335859350449906876083579607875175567850158244793799011976871936, 48348339193133468512237430468139478398476219684578376249423406499308291227648, 107974023454677732575447763782885486248586999154293533919147755922483792838656, 26856959704772481314850882024997182987421177578900510051708067157709984628736, 25539663701746516002422225160391614680523195766462674051133215417935658483712, 10458816173269112919856604142733868211020570722909421352004552322508782567424, 67390350380890035145481064892545341078296431122487251466379399430606631731200, 73624766385220510057078316429589036790517409435198897855490236612934149079040, 45774150617370434967746573394551655394719712058267549609158946013711467282432, 108250602689465865549227620579322420300514226288882567423980262809312778256384, 108152985191201692826774866503864470174251248922060624297253764729419566415872, 72981222493394373999966975725380372396041593036842408782492238192244456161280, 31396433349689032500217915238761455896239845196894997765302259095882361208832, 107370392924397312323492247720373563257126948956806374599940899351303248936960, 77171325256022732868941083464865213703133488752221628839799156476227241377792, 3107349758853824012728562631997032466772289835977191762296003844960036061184, 40520882441029829713403344566053833733263475170073459047689237666775380787200, 65896265309742312540688051154585724781896486602609705504570976525532241330176, 103331584151526102227818390899185980710475690157473342226660399156646475988992, 73705300910858960577958230373624335260852739174581573885498876518610927353856, 62546460791271673986970619965091589460622624823612224050477457574684761522176, 107427644189282373920641015846028910674376710852284074959845895044970548559872, 78308481820283259805635898857907311558627519502308044413800150059622317686784, 34999432858493766418592213143755412968149244128087643554789404859504800038912, 11077768916985488860246563302731618368918967248507182817102944794175013388288, 52180600160139031044333470798380756009035304159856029478670065831856348069888, 40712962508219808245934411722688956504453639546585144688208594574684410871808, 63057847910813851624704307708817910385641656837978241269500390157011038240768, 90729931710405137835723724502476779790004785344558860322745684606041534234624, 70452778225251913947979953315182303911304016259332742636050112762029675642880, 112604043568198330561757799471164852512031181228963162300177226060452992122880, 55043371901000720279810467227653217892899962109522852419327508320837034835968, 33402933105425895941897038949308895513890306464501165835880309660994456518656, 52319221482669563066940205915927167339106925165292787782581232345065833103360, 15745083700025254906854405138092148416331955945462888352800394190987699683328, 98008206859605138305498605191805793027158766155891079113999270109486564507648, 67381640107190142684496673932925641478335595778076246641498871214049283014656, 76195464485053351027841879148086134276912994689484007225133570401142252240896, 66312483054802077849083432179570547122047295453077156543202065596251977547776, 76414744039840862254146903057610247469010652165032088266514838234477786824704, 107106881801788413391583172517746884084333868614333681135128655247268762353664, 66293325136172549358045176913859496052085138096762718013708790697056662454272, 100121886543806431067443393354702124322889278459721041089687686659384453103616, 24597785515395836842883581807555627383217225217145147685707953332686065500160, 44215826354011321385240566404094052030440189797935108271764575749932031410176, 113299404768645369639561537899047367611867953785563691284148100652645381832704, 108300707545332074376227346038034802435016382450739393421044014503562263396352, 106348480834607272984232356739656256399576613279405271067833709378500418338816, 98023378833506715388633084280809247400508168704689258449784759872328067710976, 89992207386581445822208010942848179628159692456946042760545696754831970009088, 73237167016374637773101811617283981277772228808692299251640090360803665903616, 64281648323543290701216947198198446686990765372882173600578523332394140827648, 5295234543460982757083850318838711519691225973407448467298136472947408240640, 111375288270410677777989729988571397286514390526687480709864503767629897400320, 76802159894146927566358642934513956287561722820268959559055118762975030149120, 58972275795115179865499739632701955849812274147543999656801808177195663753216, 92933004102198354965295904108936167738089127509059588278406905135659762057216, 86417248559225799369849604973115237075940396954658679292171525180425127329792, 65456914636381917320374755399324600316848750073759077788261417959139852681216, 39762049622814329949000772590675327890957674094328983738614602398277872648192, 73881710473143297617867108003499905950671082123286767166717128376591841230848, 111128664283098278851400996907868329783468057639206695826516552398626504048640, 48980341607762960402335117557001277087528423216517914619215039064100942381056, 63288595584862260140923288549542069772331794406770789260634609204572893216768, 15932871446301611412682051985219956375395878159935830512534351593747339280384, 37141282730509704751227510756600193480509045149078762461461169784801015627776, 87859793281306972868811938374893970160419570598954332782409706991202166898688, 86376104680701328719823645609221888320649010877049865873382874775992452251648, 31594748578989828591198884664075167702146710485914559646242819008472723488768, 102543259019096989719527874838404306331363389081291367026413272190342171459584, 16176625821467615295409436634447377535624305339832289498833676441198958477312, 5830923696360569569006311363587689388841619225620691480834501545714597756928, 50287888126781838260274563514703057760996496144110765724210968325997545390080, 12117458902993322061464921569939260919754114566873035250255457390940972384256 ], "fri_queue": [ 1055088, 2137345281826904779830880107950220992183367748874048352728559751904288192788, 2222010400239550247976779334012239470839291884512737589012971224416037410448, 1081692, 47496136980414971341777906559060594142640043862733121324766628077016578334, 1383113157101469657052601384097467739147988965763445209759621285829486966925, 1098201, 3128804885311726015210800870212257061014508873771406316490719124510565466371, 3006363644726761789817417320711958823223146383356026749377029106019126339477, 1134383, 2470729069170196512888054007369700281744978959116766921620671902778732926648, 1786645562659221486628964452604512141823724945997520575417311509166316551652, 1164229, 2944846455584931073521400373674259769371710205489855633919854117370573189089, 2858277259955990596245876718908907175787910017913221199747141548516454550327, 1217960, 929977251985747910395328465613985598601920986713375810989634959782038633614, 1778459842342850418938587917609309748147695682233202238101020010023146079368, 1497601, 3261172550085065192337002361010935028987651043032385328317218095302914010197, 3221314608464967639652526749670481167328565938272627264115959363311880439905, 1562180, 51573631118927476316576022041046467583516319116347995225875026163388833906, 2647817516353574962079862480586737553944089390612884588006481719776622958357, 1590257, 1992062678380715074916795725405753117403276653045865504380705203893226348110, 1382909884527081819620816558369939640102148133864867069546324460051763292169, 1697356, 56639814600535736638880836451524878336947635950612840575228856334831744013, 3557371448517902620194062209107933605905454676222652538485441592434328820331, 1806941, 450340224876469873286197068451460662254421124228137903243723044864559737264, 2548995479987826024979286590673902420739509050249680996156951517439629711921, 1884864, 1032077098804308643873172657685026131871452798067138765902029612534982757478, 541083545149014612950783728915212812255928412607982688668104369852986390566, 1949475, 315298675407306747609146765254342702224543382353982522425327435232697372011, 3171464007183157628824362131753802378129886965217175487024673452932281880316, 1980823, 335383149324078618978513127424541105325583151017606914045709044160027610516, 2033993345262242722185938224759871032549410047333458146339388928631212248364, 2053055, 3027065999404537471252465317871705293040739785492994950909534936330172821505, 2122600941567996415809651332995700192437992145319807013350020343038435542225, 2090184, 1070081020972470171467051375350788826127256298835466101930201861492190240659, 440676863114137699790751039428195119997370146273133653312858240410197549551, 0 ], "evaluation_point": 318986378941631404615997771104572728267582405832545667553065359292337419336, "fri_step_size": 3, "expected_root": 84898711788128118408943066084330872761905809635856570219613172436493420986368 }, { "proof": [ 2832940254115377975054876633565407756222127635360436238689031636179969717926, 3002131650362754032774532131238488123081366127512199178519392900537178651220, 1614516678224710569130084084638320149747116254024398289465847402375825631253, 383507201843038885712798057036965467720065336728313898237733877171542573925, 2312306397913052692452060821506376548131792182763896363630618724192480575389, 733520310081933670947051823653433073151897459779655775301087191374929901741, 871487643396188210065917313352768179395728306202275774086263852211522405804, 182936812645807724785480723992426920042150588818975542705500951798032577798, 2096735353035041064302449216664586866118032436345080481442497894808960813130, 2714786206782798627071187147387479614992657680718774446059841032421820450216, 2362324743832679782476143821654694980213886926742174994344153915345141630536, 2911823397087775096226183358908612601553768256714737069761289477122333532595, 3252410085539924638769730219355798983456091027166909985650098902448652043709, 1574099449541861467251699168729566785816657882339336067208055913532575696584, 2217426335382490119260866190346232776473178008941801741345298200372602295216, 1347555293076204942355565022823567862212515743894555179206462341093874824426, 3020624825794456656407606117065254236435276575784983590551390791615212848132, 1677819885841748769106219913544596873482170456177923447307291146695106660699, 3062013813085443681953846804763449491108761049545368141311313733021906124356, 961160763704469462946678335161599285879666300075339148324983239046316527966, 1587815007779331575812540633974413085651118535440922524258553580668914831918, 2606665346558023600341612901105439310472978183544702695340235879944292214736, 263069644546008522577403817107879976314528200722667418628164940420594894912, 2705898364842662785576920002960173575668586069309796682180827753743135502264, 2956894074613681303244206665534463019316351037368674519612830072724027918797, 3418339431153256556619543738324382518582315028209678432694500032991227567113, 3161863381960510163486259320835001767913409260526743317734311966958598164646, 3487176749217671151296699308226829130746606681030483617490723980994079438429, 2634061787799381913988269680639904177960514330110248418605001897025948640837, 150731175312688107567264134452582001860573871904548347831061960786046824876, 1667040728373411985296577846058053278947000856823777455089426860970402349474, 2205060803174892732331528769951592937610262843459844577070593976843401882676, 2653347030977768820120061140396661265578081399375635239567027056170692544396, 1330843893448455053761570786698037564722757171819464015103993538309931031460, 3255568564021596142370142335131577476187158582702039081126754506368070985311, 3522443754284819580347726948757146120274614621043735447790707621869648637987, 3424549299373989542181307499953085915186033602877896919534181583142111023053, 2523314437722536700130992527023742591510998069154595727355817916733297871781, 3162742096518567813577994512434587329574136354554568159766899761783563004356, 1270064214705772653880203592032031620077887549922111757558736108994917191433, 2864765236810009740716246518864971211974677380127413278268645647731888634904, 2198067140627168540540479581715579399048777102646414125053095653115736435858, 2016273397166926249116363279411389200090562854432421090608702329768624191148, 1257214303727258824226240395398682852393151286917976739451965964196187524726, 1724283523027940768417084989611381602039691369438049554811528235636311244077, 2270515541047468769711916591009062727636770573286934639878115604465967939627, 2261468195025526918153323100118977750124264034557584676438661966677617596797, 462872187821712476198793309138934618539033852853934284003196204001758056829, 3568424406429391176938171640555733676273699594399897007005554438720864310345, 312319161791597199380235514396079666214426511241229167501839374819373192847, 362476753414142332496345524769840335288621801206063124499808345070918273397, 756985567862592799411433915750288508356947365845847385991661569871221821728, 2766748742062303342370070426779679382847611199276039865171416562453480854497, 2061700741562904367684240305317340442677942624205112627033894407269821117727, 2295137625970757986939098467708698644466965782145905250921198208818755817857, 586805820646663397366114119179283984914512956305301730785323207144431419086, 1571943442240186705257366244644867724517036305042884054435116634666252649885, 783420958763520864147471133356114074908516375178560470873515979086979033987, 1358031352660447782138125261516126700625370744494086659372676719011980261902, 1176142996591014270217825006538977938948481387102930262510152199118892527811, 2884570630286626424340215166378391859611188111006118205424672007076022951141, 1609219415364182871065473861507464173263127557351330992082411700109047020492, 3012879078323809849783486275416831097946187256181260449168006345233684820042, 91638197391982949580049795403599774469256630111393864460087796879946846741, 3353086705851611646827519054930630712783374129796420416637774323063352509846, 1735128617362001526131065621633418985371610981819629378804886675309728165933, 1754708095060487358053834188309931142777745067573791149863152879845525956377, 188319221043223092026062581697452928855209809989389110113860820933103448145, 2788459063271763403240292929493775953385387689112089903098205828309339715680, 905105047763277054910159999220839798607562956722857087666170915625894836843, 2630085934110689612284683128605237328510774889127025322430416255258470533582, 897857345014135638535487161107835666403179813482623801668352694466843263599, 3581005303017234961189776075045553333881373486891677339920801250620374140562, 1893039921233597823377428174848401558725101259098412136690893349303666240366, 2100675446359156631943954421313631677650679654903186201233647805504977901199, 3426213296998904108284902048461015589520268066588992046630545755458216976358, 1192314623016460324031464129115533764449873932657235275678500421324274267398, 111335413266182121312267562845652098404645809721122674454908729205404171948, 3618437463500365397739908223287744253237146416195031403366259473189853271919, 251357821913753700219078321576186284032191046812951848881979559059672809901, 1265247651603781079188228434537050496242421712938183609545950027690044475482, 3120829115763100123141262028670814299857492909876167289433857887265210785761, 1499337532651422007145176164211714400436848745316951931823872650601932439970, 268428398129606861849834044989717169717750732877241167873986204857776008663, 2174842265389529123579337778326177273209341374345372349203147870260603927633, 69102527259507710648898575131421842228341192838448892036569729172034868596, 10439461491237309660189999238782495727647124826820749782344656397742584484, 1908522243338630924508298159515990013670739793710213596900606305181175042071, 175609460283009395360475446054475601164402954447671526922498000499483645485, 3072727862872679157951344420059407481565781727675719346944979706070126013514, 3128680337851251689906213218637487877592008094371781350553048842494659451030, 1973869031395170580309758186041699174809907315428793955878062742193637111426, 2039389095058854578911316378095630193729156445441725128622618532640828042510, 1715069512771588333227180735055536079299965309867947920381927860955935522, 521506633249932272600924190100846283462492888227187728659339718487601531378, 2258164205604396690896780597384658917842174867925407365812812488968227479847, 3013441869974871253139181861660495474445024657298179001177634299256126126301, 1244782139202961268418151259885660461221220733843398628438603918643864278082, 1145129948138358247167170975988333147461028832161418321961210682682338842727, 1375862336759166032237361641428533149777990277544039148520655308712859513535, 659374984585122160324882171954442398736947729588021648719691872653215996838, 1433425535446566669632598268604088221154617278859990888994381721632350631094, 2722191755598191146844402001501058991051394450345588758787449298853048076989, 3082514244789796550659414497571695515517069118233641005228918230298671926604, 2755941279943905318604263959208161552715089809876019691575744951760781505067, 3106009567614375536231456004873726497903965839111995202772147074017211039176, 2770214663063273874089421421926483959469432854045954216716486638781037554793, 2014456279488116530926383317947025376736514123105335819776985060049486968013, 62807931837877495405975434080995343772175822320108926804904433126957359774, 2448316934374308939576849024160350423334275196652570090002489483337517077389, 3138973142731019114895426285570790441515126334124062795199231559858176898081, 1122071753319320643529795612562501448138902296898042428943761390055081883385, 3991115403261392378242958288964622505501708140659734105102424173526338502656, 65431001838196555351909033995352014374942271394305821660718712946825740943360, 34042651792823091745254704070298370960799150050622368502930478491207060160512, 16649844329357241066079984772059248193178310574620119723328398582923269242880, 12465173000013303212839771151219627388925125673235665153694501237671675822080, 34532632256707973956189637278140535136929313880343343586659246632642669445120, 49128849975775033263441664553797136576880387006011700913975900636469117583360, 83392448565291585812100049073201123381954232186109195314722788088479442010112, 49537258346773557554204053694215499244776915750815376122217891504894697799680, 80773583961969229290783247740702743747752168837317647719739373535672661966848, 25606435006652094049937342590142119719702377413456201892701311915536024600576, 2039046514426926226054812151994169087148309338340143497833497429555426623488, 58154418897106685196328892615879805867956602564656269652398138743116366086144, 90734344502440196517932889570802372115002466282965681622907676801241630900224, 68000733240506937959590633248097199128451057034716214174623284034409410330624, 94774884377547008278366652208096306290003435011313011873104811572980780892160, 60537706563789127673760435700460485887779903487855736909686009574884340924416, 15775219868452027068878393097226604465403027459004369707458112013748918026240, 14980220540661751096293514656528144961847625164217995669979281496673433419776, 60801275204789951884720758073759400891085306703832792461347878764896036323328, 46513461593932470332701016634467917292119850031681624957393078812183665573888, 6458126721565725640510316109579266612467691823136069399518516726948098473984, 89795896852982789497972005736289938929568354356957919188946383257312279134208, 15648746672117821502612458436289017403971358999574757798097705822249220571136, 101702639841042796350799241128079209886032372239645103585416569503713591296000, 96982354801870136258964362509394634500386023831761477368619829570441440133120, 1064475500397200687416619012260051520698694034122900325771321968281247547392, 65552217937279270047651650037445750247947099968392004037463847549953990721536, 55725464117576073313680205528022107009613200092514787201997973047288705056768, 52286956693649935883342616664257802816577489708711688594669868467508387774464, 62985879708287494956562709433651788654120973714561158988215742135701038170112, 65170040261904349200133632456529138377923777072892899651110896068442323943424, 48512648758481623674722156168087335446319886661337942756824459042190532804608, 36761111730809004890942016341613875469868362754680400262549405557405968760832, 83331367539152764953022622621473154277770632138430462237592635172066460434432, 74722397523136003117417297773148167621309956876538175690259533690574542471168, 94817243376619438598368752828601680218577961122317360846848364511390309810176, 98546588032200525878958312246413248793611621806102067810393682712284178153472, 34732014114674931688791580660220999484876242298826221637522392463832258707456, 36068906251662461604938969145967017512859785201707079785002598728102081200128, 58433596219710015588954022357974952941500772177738135782916110172147610025984, 78755688563462640909562375026526061763084604491807545238093145624007384498176, 25260662891790626986231220969284052965159922461907980073581171694345918611456, 46341361733596098529334478514396204486620336272891344811853564390842654785536, 62424114216788490509520993480150135984243377917375632050453443113720488132608, 53758880022594964529097208240015064439663969538909377177539872797437965893632, 83710140139741415927572510028162241764426503165153742376956845249647026896896, 104951747215428410169775471040324916230161729620291144639607347759430873645056, 64748748588711026035671251188699697566843015952898210085830899383866318913536, 1695769546456368290859539095209062739551914564406484300629162281454478032896, 62145838462901585837105380379101720640987100438887835781753863061012167524352, 81888674946680960227191776624832288062105175007824405183810685758075100463104, 17144029541744968700648730249690014443055344588560153430986722281307057946624, 32129839491134350467060781584105146458585083285500813695977892957348048142336, 42440477931111960243062281801306361714558170115610644641324791369667859972096, 86129671018191500539756040819589774213194788675288747120150075358340920115200, 85220933815355611548992359098649316915005572470688061782206658408972650807296, 67993302873049831657566461407857576157920813240875929316422514501876392656896, 25042502028836070731014559729147295879651525080583073109059364304466315575296, 55205602137051498293987112203074110089992498465288127701267648734897243160576, 101494521988090180231872736567686391228963087558846612230528798113670725894144, 82230280105077221101989328187430875025216474473546488015827267007414750150656, 52174273798094169711016002709257587060056988904114351936883756154653180428288, 48158677257607419517820052730952837750975274025330319762151776300206185775104, 57267265260141609038913283519928980783489170558199236407316393882397666443264, 86755140362719241440002636313552852698628828496533754204963854390202126565376, 108168854579785163974066050408986828134716683427312060463317536939463332069376, 24757231099540311320065218849507190585219290789399818927056391779619369385984, 70673635310097306476647553051910362935955936802129441819944093461614096809984, 8304479104394233797194326040886434551086660767745387117561672106066812338176, 69710215195241211949260623363197765347339331116131124967572520346224410230784, 34766366623694054298784782293925906881223617442210351895954222080433745559552, 110046509488633674476189917966183749289474650925214805698253704703253566980096, 29104215530065318076808886490324646527496706541434529784863327102495927304192, 78598856618931556936214815489036357135476553886462218651775654195235829841920, 107329413722167100763583793482628171981031370543992835223716368885403860598784, 87723186341854333291481294300159093049321943717121810128768552276951939678208, 14612816963985042952122666800066318329779322952593417681549043671855167176704, 50550826803438861616413885339812937397212873466411687423527703269049815269376, 29193886713400474404788074159245519236679999197743038951170425642805335425024, 71028108707168831660417582247755086777934158506549235721108185097416212480000, 77825720929069956244335366336775124952894790530741266148165026514615899521024, 98362753049540536914602040421361504243217804474162823864444600050690182610944, 25776294450617009663262407319883793196188124118236139142393163454174896062464, 76173472315336207829893963703639662040399307042162129076586972263357377150976, 84259169994389684789966527558880436242171781748355717311280514267395984982016, 30141980255023739340017787160721466543631381084596241899513190112093418815488, 43071026033141323793051562915510280736979927285757111886810880964372067254272, 73275605940644709352083962758854914742560509952308368029818223899781982322688, 8826917355675680428325201631277894016255014760140757619018262162084917673984, 80775545288811488909077372794552499140857175025891328199656809289052541943808, 83196405705091009327710592424240599931292593728087956065525192920499679657984, 18307414883343139159208596629564325039686296788609069362748661516054682402816, 32318035117657793597812874720397535651779827785747947099064973231623252213760, 33036807678287667151165511996566721264591456944398012726137995481703772061696, 115772159250536835154589372899031002382908269473817762088370197401437099524096, 28639166343881813409120649402314701256240908044534719952531769768476239986688, 24938499204186568023512353224509759561112681373979059075800659333710111309824, 58786492095398129469216281781764329184089740712473893145649857305761563017216, 38060774402258251129489293928803754365910040209123062432198206205873031741440, 8528978167286173928624010559932387399346149416911883380525387763534578843648, 19374308437601134063950983804273192241002234800613158134782010525999528148992, 86815417663940261124648631486255099186198415405340455456399757104048941039616, 114402515929794256416507586466239260127737660552258976686840310420163878977536, 102978957117369159981786504524392861003646685797652750748807928814977471741952, 23017742351319888732607461558866241485649513506956416004272840924438022062080, 92734399105620343502548629834131569459944888959016297184741545268227770155008, 42275348877090282479487255148783036499146543359063765288292921174198954491904, 81760122485864702525785062615375099550860261063243546211468558409254492438528, 10996310060359791651860599182595257566570827395405676501770412643616865386496, 2226981931481541695511977829915289882974040512256515631783126339282217730048, 1987908103580989297030932616501060431560103167896640937418553807344972595200, 21102310269397239676925273757299685147362541759963040556611235536781097041920, 16854977166045765811858513578706823989618232253638494343017734923383790895104, 29562494189590698613485462707524328451721301260221623712403069521854902304768, 39903071889804231379425056243491559517072853803056671669957028971083286446080, 15131815054209543133183969540235480303582684842902038678926020128961544060928, 79542846582281903469471682787103483972886343045103942578276630709229500497920, 73407920203534308552798773553678721138763778425243041637997029630888684552192, 46311491971846348629364895443480564157647681394578622081356890245558047866880, 69458818339081881465663758078932650859941125852709637961497812139592973811712, 73983242988821548158638640433992504996239515400881585764101520138171444101120, 72377920908179722420501559693850399911908792187486401448673989692719810740224, 103223660692245486895882934222054007482047678171112851731545619928902948356096, 106287354194170251413473231274483848463887417990270381144647450418940880093184, 97144940987340988517947150955038905237383084494066985145950850119824591290368, 32065307773419131945672749145890184948379096644604532849315972463586449555456, 44491892644336146926192752039798965136959723340525182463690488776649686908928, 109906484572138822833232573138963325515333756394030919868547132143344021405696, 106223804936788132131795394905236645683622791536009310653876504758185524985856, 68963054386968002465245310396910733224824821830384705148405119685764560453632, 71524517673950930161736091775807429120790481412899417028050080603161550127104, 75590062474722635037461482335674271586522646866352865063521145281469451599872, 38628661218041089574496976952014640296470868053291789909402503552030935613440, 82559147703470322043199461940919008082103236642955563341447554693523614728192, 2607696408350549072644202160500689127235937745435724267524224524528060989440, 3964769046210801751892318580517147237100200433952500435337254532423113244672, 66971528282685423285822648475691804485019758446238788412097570948902754975744, 48582367794566745465853840567875706778120402545920668785187202532433954078720, 113931481120660985540277423106161258578917924640294194135802051950579019677696, 102935892312396679908221784043133382238563500129176733363386997804067140403200, 56591420747310429096466888174288802905946319145802078988604029284941385695232, 82387294108054775558408265110084730672519622447615791058702300206492966453248, 110997328551693771845967776771219166366350173178666928880513968063305872310272, 10560253524564165570002232467911059822128418420921855483643127305885062266880, 28153361934567830964203955440469044499116921477878204969617433460016576200704, 51477370306724271356182528418084354284590995778861642553328301769732644667392, 31599830138880704795952796719438282374043753845759569947768745429324183633920, 105804969854945562626668635477064175270714629190644540228840177578565651398656, 75589432627883484260026015611355731899499394991151507771092386930330548830208, 82716140099548741353092290701278048129303528257202906533487447328604676947968, 22233238657534131920134037909854104604317958974067982447509732779800691474432, 15420987656713940789146803218820651957433416864310448284573703622968607768576, 115784576334136711495489579461342808844816679567095897146597071836165716312064 ], "fri_queue": [ 131886, 679736839754008787938714274257653905162816170036806867134396061095158207319, 899040819413850685247119294223501484574900148998872138532635287815640351637, 135211, 1608984161859578450392380029106877818395847646036122934402121896225762579201, 1390233744888053323331983177498439361059221575065147710496177491256013051193, 137275, 1626826732724524804783681913584409577047768176247702493680076351455581399928, 2107662543964733026053977501092563469650476804166963094812677733324215318610, 141797, 2512419097940387054086779127681939821109438829249867304100949618323505071965, 2084035662485335141890960466538521951112110449478037202954011520177948821575, 145528, 3138635329999836444176900329200693324010513771474875143606694198360335233166, 1412542218809217120377059212619721467798951345394513923585344847554769425448, 152245, 1494675048306416939864434097365419638506592885270048947350353706698512714982, 1187543819419287374572049684463690141628486452474859827698515743608973046985, 187200, 3051714353110118705286253205854799177380331804613872396862791896561647245448, 677720689335084651573177764965783833114655160497217313979967691025842945379, 195272, 1911075522365976675883349884983068984579410924127492932320421266576720599215, 169953392301609361623505692645152348537876314299059850705982285071455871826, 198782, 1862339363544096775591479729483868423591812070674285273048560267497913866512, 468344270823905711094374247648765470937745077492367106275674243209436524187, 212169, 2793875725931696410379348769514549304092617463331512783543804226874407577694, 2850864473503007572240944966016445772510998085452234777928942056910341093563, 225867, 2691334677025942863435350354943542000034666269693963796506972267539326131868, 2860020053007183373345027937554479531188298320683879160027041529283202261594, 235608, 2141324877988124719453458409878142736334072900552687398982744922146291206795, 3519471680514841533541129668093556423297652459524107609284205287042069023754, 243684, 845831593298975949007810534173711976199424155734361497190862480895923765060, 3487213332497833757353994797623697429906345601655014924776450256990009558620, 247602, 3327548696491909796434804300446330103356422263010197496046826558433136477563, 684643817670226066797478894096979446246728477846678443916690409365011408337, 256631, 1136247650978551651476644196299722282866777234888549021966455279107583895779, 2232700780147475634507865876337420984744133559884976696837218556037564360879, 261273, 2255554600511171831861385293844795767197500250832048859347586561709574007650, 500947109380108528498268327067083992614372852522548537870305035398610391240, 0 ], "evaluation_point": 2965451052481162766535435377678846133402458470316588279485570942146376906792, "fri_step_size": 3, "expected_root": 54146531229557279521438039687392948334301954682951750744804962684162805858304 }, { "proof": [ 2841861964438906105408075304007807794716167304592746090466135911268234314979, 2627278305069735220965806258354513454650151407663184671914874104439210464687, 3253811572809263797250814225964663776173300369111848646346004606040724073753, 1912580873766145683573758172168884614263255902500360979333978856205721684657, 423733916793260528956586129312764978691518733386467721708079730132531374642, 1585835939321340182681994577091061631156742330351584831221208481503229812625, 3575203086713619831275218572589350138321080682208949896905225868461229043752, 2804150399619872090134387587374798307018556280681986762837459261922476086511, 9634280771709304250427010065191606577133520517940471731005769072148299770, 1818165287320037466159972256289679561064013105460393674204449717402030057431, 2860420513235351259791188086584924657187413012754134009686859320171318381500, 2221090739391370469061914473408426788839192235310979762950774021290738371565, 2314912803350059544454135948796373553616302697211356427620045875060487592196, 1406733341515600093380238172739738599336443111609144349526847525821361960521, 3417188531030533323913835548696243364728614304882500575025792540695604342561, 297120228219177479766885470257585305514192349278338846419911727970371472710, 3564179811459940082968622629487672921610416514350222146415692845554352311147, 1277689839873900166287105623093803627125816254557185779866104938678641003072, 2146984938956911721939529276354069679134202788358711553676059225252210975446, 1894103230413075984429049175973826895121208682672465802413541878465445106950, 335209188722385424607392939510346098080886261222343808570580566069887443211, 1489140640855181001687357597004989989770658680332994549311773159199758629801, 1759835277845080970243678007407687583708442622841152709852553444049254268868, 957727479665621974195715758823873219670429405914884443689956895794521696658, 3420651207208991881520811942554115485142406598122630824258840043126664894394, 51310735385598991978841700006341425160874622053787178641216770254790238680, 798145220145624543604145120155365231929473690831814027945317882555662852847, 142924170940265428634099287342138711858011092463305700426838476852816430828, 763073325518171929748993234264103817500945864162460051357177675787678168897, 193141033721143753554457932990535045757496967341989113098841635036832625998, 2180906788844613593048491178929475087739312748282511742825898847609892217282, 1106903017154503652279746175610064962222400920423666638464238353882995438921, 3274471974571255993173879085336057938602516256299137874197542276391907043423, 1107861069377606242723191067569898430719107170448828165911235087317165886711, 3436057887544491189451018914479710062574305764959116029206154722359304978596, 779067088099974102739742171085136626526985092601366324897934594113800224556, 370875432783163387037403346206813506106338122377046594805435607094442992738, 1364481789013737503374457120537234933291534713783227694309901683777792608517, 1762228512165092033920162098983704704817958745939779914895813764866869761799, 13334678695635960536232311612910340390346338040355170279308816571892543567, 1792909125009889847198334007047151630082393982239907643303779973263384315004, 3101525782595435355716994099743840823071168894582628954581005801601854314935, 1423278593550237303980855430764269421575385406159086642805120424702413944552, 178513854972001327034229888699858718235300531752624959695772526847085231865, 1056819194367324693978557518604768959733540465972488571268534540160861486431, 2570365316465721752152740355806614557445035039022186519105620361698127470113, 3239531332778222901702046159644364924991714810262132697363038852157008271378, 2773323610296924123640299387943445446947090157579783766770633925089850406050, 186497372771621775750827184436534558354723488973187250138139187717519852128, 358134328360974055604266295102137352397890010269976284612923298280106462832, 2389261995568472008290805497346864202299096045790197002163638424620266399257, 1121301342836707580400113727906095390990281173095958525188665774376194999204, 1297571774578272877066221486593379105661848859288347210581986362856351670139, 2498743421762413855182995136802059638110748663650125137290961820281017110082, 2376299590473890605889614633666952077350627698785072538323701833852706771500, 369501715506804616208876443522964522037901371790722008128079522860145040673, 1698235580062947271199246572187044387857317493873264821122068721653100247471, 2233616385029047560500928541280251632826232876211370661925074784220088576799, 2106987066369964880716442063399654298143952004346180066498907904042489918518, 704818573799691515482482546604786387702045770786589976675334450710373500035, 1740909918511727807132341846204860840606130670551700948259368095457415844888, 1661712317809463667265843735322122269831523365782620311539367193563502510363, 403963351853542035645653171189574825122457772839664175574291593369172921439, 1993008277244204535442889981189839185234704621398881638521946952198601134474, 911494053044970539227837981449876509590948054528976337678693497627776557582, 1475008328316056231410326710156368353675591608638690376733125969449541151216, 824053908926942371211025836974589689822679170963671328011241382735704142560, 1987393598888268278798033051026869754047946277163674333024169810234301972280, 2047283329041372655382722958789856582085029449788345416718991261664568562549, 2721656138992387376908400561617314854857164201659378194027704705892457197185, 1465897602107817330500905354593723973455271513037530585227039115158967175023, 309928405360304627123544058917699901425697200308117881751098097275724893654, 2270481965138239020971846948758416038463506740551398884081011139443458339867, 1798149187159389244916893091673774277400566313742950176060128153037911954030, 1901592474875326008477620292320936073094416715188011454723915876712205370432, 994850372223635778034754599079190059622723851645995124329707304190477979296, 340718951595466199498135632247878797322080313897178640635314838225504579584, 2846492611868499676678040188789675659313560457614625458223052734193177005915, 2226711699391036209980307652160048516054833811688198219632248630208513695312, 1226769464120032003661975662932422327962908681434497120624123604450035927550, 2923160562396879758325499163177546465592546223016146084606672234861268008214, 1399938259575260655398342266112784817810204812989771048927636860203483117884, 2595928198214696334743621070419495228327192744299710945111498789948482202508, 2122586767229377226400756317217583164255280989632675101705598902447702995760, 2508078738088300504953007876848490565675067998731012835382030497333330300335, 1904872728134269922117591288741688421227543794295944057149829174002978936943, 921264459086749580739342719611192771974403970065491358502444782970115390682, 656705012225799414629269167847093954382249421764729720443223028981233337709, 320940095542467345412919223765636884335190016398449813011914769345677541709, 3455042831483178588533373489033847424437701478363162460850031730158484656615, 2152467914860009477421947708849168376481762714433900744137041738672019032121, 1365598747745750910881058328940522497817284903843411804320226639687566201749, 2937267232321680357043320615626447365670613201574783989510672279328472796959, 745841548764074877280745934719654732024334491231994947970568916635970384892, 3069721118855091563448078481383357943234184739717491499039962706616203069172, 3441253196452806685384789659351971189873319443891678890435911015653538209522, 683008416673113719998628400267530091222798902408693147055389332638817826162, 2503942549588770747575401390334916536230276166312645516904842597351382316884, 3360631531460032347016595220563198984998649978215229557911618862317178730323, 832034511153925176572585449748545252114293062596380153694865885492719478557, 793775992286503574034286547386505485673884548440141008287014339990943749230, 2389875566478918060165910235268395554954297828182893162090209462754574236557, 159750930156406957132411760715351415992251612855229567367380443950016226939, 1384922381708236012710980881639634454372919337382536655738035882496309242610, 1183854711560784313986109331397821855445109764399964469671508850674210350758, 1446069745365940451006031580214696951821571007275901065939129236981855521926, 2445993080539335921239765462444281503799738424849701548331868805279541501606, 1601736594169032991516812566207498709423412037661225781857519142177867655163, 1273176302745500248034270064070781727007062757003219999991766328819264847366, 2070968158370201153220581953241291403455445573895131499992274565257002691312, 1409429560440059939028703622033952164315152694184985024649927037155618406811, 2547863436195560520529457958988403668981188459327717220457776203689313128844, 33670583902619450017595813851675239968639236868271384655399277542459150696448, 16298006852160852395295832001673683825280783553427258659545117163405344505856, 54340307131564002600011945250007355345854178250909872459035484049425362321408, 17287412345436446052364907789990666932928021234226194314711351439709270179840, 74125946865155349524897653317370457170767939754192300185538235931827111985152, 24590866028153488007441731392926298829554854366794533398247811160297237905408, 1649309134570742646202777650586006702265964595889653594962573068167668563968, 35517624883877185881983457510816895603161062894724221270696879224973487505408, 28522143015222861475935578893749045631065200345495299111243866765136783998976, 54318731329437893351175086674416964733991081953817074381187761378358194077696, 21289970930183879670730264247491261983116267880151594953223405740891895234560, 20811671718077476296887086326876894309100495907828046580247782839793741725696, 65022418851674086961327426643849530786070047001333599500261440971240590278656, 4783440622623274284997930064518192530267335766724338237771392344298566451200, 32690237556066985932216207494133600652399543098976617440609138481050498891776, 28663420225847898873808030922008366245956888827506176780511357576662828974080, 27214360323856697495916689078778042269408799675597033286190434958087674658816, 37569056797337286941279743560520763828507408706300859710906572236473950535680, 4978892005470200332370300510225494498764726689863119865615005429910074294272, 49518082241891386891498778683339491465428187230562621034608548283441188175872, 81629412144605460228448302732432456568817120997496032419323379446649135824896, 71776526867239035935436264937125695031129176846062007167037250516188821192704, 66659946113357326059963236235905729223395469645202992055503525939202695888896, 69157099004481266003851799649615231384956712562559730788318273146556692561920, 28016406451351857999088915607361955317046805048827383706768843595170497691648, 5747900916949099995197571449071059721395301077276864081531878650182788710400, 48941980437422339894456981181514711141956699639340218702501250101846738993152, 15505334500842084514837700261607750061813017668403620143040616779613258907648, 26654209094729884074004354720284247432873374664085396182452851271108432756736, 43118954089709868210783482394878704551997079570117738428649899225018183712768, 36620900249228132124942341629502023638429817444665513344897845271794781519872, 114695730396042618563964514883254223189630729903659718425529933084462499758080, 5787544157576282546020593028264651713252544719031472163290735794920515174400, 65369450909577897617883128419732830090750929176401557006590577314713315573760, 95789156232578032569162842500538024630526341711404155323835039691909227347968, 34514889191882781652583285387288368418170739947857613896584537471722205478912, 97394226361605469988302871538594601366626097695897489514809902243624559575040, 26734206872726549541653281243182722329076869900538658540505628586085219041280, 43713462194906193731232888787101426054041149853090821237369894387238756679680, 92633655859638582969688800141934693293648420654245164415233591170414342569984, 67737244341071763164434286369412542660547038039028525973453730732890986119168, 2727507347126472626094154639157597938653324132358194109674960381900543229952, 89573003826882112014719535570183055951100324867304188786234310997615457599488, 18781042902731238774198693277002201475427087362911445895386735489395399327744, 81190313606393825305858430009359880483145225347530249570329926487476661125120, 1260490200378613546743651712978259126897308017873790305321164944699830566912, 44290469471508184647821869614463883421477513209780731086663298776388490756096, 48196326890952224725331951062225904615562896898153855271882607864121858719744, 63700219640335114906059175813933580093036032117679885320727730644585738665984, 5693605849168773651431396596738324826192484456988392186685055181660113338368, 21298592065607774720970534027764006494710113789684549111334796240725768929280, 1455562069676223094212543184086613216892855290590073226672083464022006956032, 88928044354842372336180319213987385101909578929557343461006077853783107305472, 58702482078282891804736076227428299703338453668186382639945701042586294157312, 18467158398512709178919495482347703382634175899240673634728221073512173928448, 21193554565641710996406111748016205734946512491574207331663569745779311509504, 109261788210330602049989707099695387596671213343833647429598852855857976180736, 60261157305575003059608970941861249538550369205030950462026302918010385465344, 16164800092114436568329238312784809790122416370183879290750962229488941793280, 7266386250442159603770125681131062888105941726704377573748290211816409137152, 36891829654892427199601263579987973900748135595908142405334454557088436715520, 35746239223600020623594277560643272858703867465652818405589026741115357757440, 22703447193455389336832731474921908395475749459994503075501430969638326370304, 58871039652279528400775613822609854475377426823323069636022471535790756200448, 9521170580665226834753474493044716716093204259102660913399477640636661760000, 57576588551441550328616058582994295158849309397323066690351144611995409448960, 39855949573727996559985640646291990830055504477436728256864801270980851793920, 87296843058687172281348467290084161372227444417929969388928934276218168016896, 66143070586331537353379127751809405293521690830748672319873108930325330788352, 112936250222909454297260412139018777229666401216613912538375839428933312315392, 36434892061098466040925928907938716131462399173892523100302476302742135504896, 85516909504315045097407242799990929660602516088446241509661454001091687481344, 97974995354610225365119645948077607642716958821797868273533469499379211567104, 63938037845067468048610507343387372248406316167100134224133577542476710805504, 104183635538164519300877591539699866628968314385125771892182361004146832703488, 110041035177819148098139632860746680013829110511579953594664124586042452869120, 18119810257731535589876896439036016655145100733713603273666800112474689372160, 81612115734707661497884870620296946790718608353285549952087265877388192382976, 38252351445024096917230078081424940427128459469190133530248841470614779723776, 99186379002675241277132536405417574705089089518026851341195348944242970984448, 5443288559478545691038549487388885995908077660914442366280020891482611253248, 55790729546417562606331800981678161611556385531955579371347836032242426052608, 63549439786715571363705620467484703441175189389678973953735694383752494972928, 115224564021379011310556420464588525969583930016206924589731704616683776770048, 74801071356400083759477361328314507403658848976482197175001985985589574369280, 103323801549389496341791727790893913535784094644965737897247983296755139608576, 31113377038848394706336852527365496196682140912924575666482962803624763195392, 3850107818429524648498463983269154965090968281063048594009061848581433982976, 81324808104168071061868446751059684023507860171569124732264752047504020733952, 105996318058976459826998062906204754043689238074197384262033489613021977247744, 22899949788143941009783940587046580439268696125595582207814676035988109656064, 98833985885286739004720970713226074694542185318356815491553864849585856315392, 37023285101307359969240110033200449695448507524260444130954269618115176300544, 84855116063393183151527522356821276190249448433540868400705142263192399904768, 108609841261778971502110422741334881193958587935616627082263174123748327424000, 40709437796262034882966912353754237640724512133032849311365987311782006358016, 78158885156360867190734064709364097381778281530895541877958283746194485149696, 20930523686320559930904149451479765725874812539759154906882097573066849648640, 25388837237014164246895914807958394742401575908574165736101550520133190942720, 3214110315119233128499888290420211932444848388032863098609481777716469432320, 50401926466641228181567234619831793678416738716060823645102114401622620635136, 93511066828903089795630054959460649687420748257053025990276038841526413950976, 70634960147154932527520194935644841545654361265205130158687774905398059859968, 19903978258315163580485904984822723253988101454060029339371967980133370822656, 60764636381336937118116109924141945367279750497188508609788150215287337123840, 31402716369812791696507814313071245064305319299466829259105763409205483536384 ], "fri_queue": [ 16485, 2447303651631823461585730676857904111150168395882097583899599647642312968898, 3561069154746859877361525984658330618486316949509933006467596660869115756955, 16901, 2306948141595105392452322456254052528663426746180087678662909155241009784575, 2148930099942823037396903722841565685661554845637866702142618597691044507991, 17159, 3095789878676249771219855020811044206717610099552244925975624079575180207792, 3615285879584811625382690873400945875282195164235441382864206074747102572184, 17724, 2418258503701172331313326008405788670173517334397802937151396345765670968797, 2894632135870672340214884822714759348620107583719962274427982831288362488259, 18191, 813733658447435410135611873755360989321893209786899714372757016968200395407, 3058806250037324732853072012588424430360909813289710315865489464503726309548, 19030, 374693924362322394901248018816892315549523218669217005403831228877102220263, 1018244360808189246593216289865845166109820791138745449295248009036370639159, 23400, 2882645453601145337636955810232888124453347223817904721788110715135390785417, 2462538869493451223945821806120734249311298047733649800947175841595357113510, 24409, 559048467325951458531421916732946044684379949228940948854170338737253450239, 3123714480553901423245839643760136552774756936567529530577363150255460445056, 24847, 2789789732900945049529142721499230904323366081406857744070017316775447389261, 611369349620641057042553412830789089484550660002720512323054903140106613664, 26521, 3497024233134743524429518866540436814973668539973569263334212890681644308382, 3510679848935463683380428655979925096805917613823945775298908160712201144616, 28233, 3341975743120426693097658435853843343373521122562651934554345316673147952137, 44934509339896079079396576109884766397755366892942710468644650060680140893, 29451, 2117863419828754811531862986969131152754573848151369351690613057830431513369, 807484228630393373690240106229159659472491947299152349170369743711420288451, 30460, 1025978355609309617201222055018686587033499836881279494115651209903945869242, 3352814283002109074016723181057406254555199995866335756475493887209683662604, 30950, 1695338574759834229068913829091246330684002566352512804301606155362788584214, 736804408452655099861540826064707873795108609062963225310837703707586278869, 32078, 1266079927591852880243262139228993475184796607805414156104578562654008176924, 1667314677556963353277475017595013681988872884071030139007290375078560940889, 32659, 3188122638618752640011155073008527765710634882944832815028486492880292482460, 1898690438254305583058883955306131224288497891150048038394016066295078396539, 0 ], "evaluation_point": 3507096713852724309587112400559705996803719377561096604643189465496193759651, "fri_step_size": 3, "expected_root": 11389388086191680503409425747997660219734849923561395796408630942852353884160 }, { "proof": [ 1783665398817729271721967323332840537514623119185013812825919043368276068112, 3453291961450237461579284803174017963743725081045063318067385434476894259581, 547503676846475020369936744485093781877058339472583228549185199531969111278, 2338579116542314623938082862380348219967205970304600719014871269894632135582, 1694522242538552314424028577184856125691415971389318288925380522044819380536, 3430920557931288305640718002220017578671520983628450459596054097051768890515, 1171592809273732594191680049276919804839104454969538939979439281598265365496, 2519380833010966489677482815669445552925596493873356503121255746315062177205, 203917247198609021629940255323687778991134257441774016812359565452443031769, 3279377504277050338602267862421932715171266808907748795478535214393430810289, 38176598902783593642549212120464371658399231329307107341538264871466102660, 418584588532388922903654541902020385736743270893667616771758006519891296318, 2694704595778406146379105077205500811715751168835385119460970281714366823065, 3004954376448238686105354415652455667759698712762256885143080428435965801004, 3086800869985240957410751804830085199584379837484024123026957876472542608807, 900030247521908312227365693907686882612224473655150613973621475938748530551, 472663461090072990067124252405523092655711090662707811870102307767936236845, 1669582978366014717957759302295300147325376798486925594619656809252565136764, 1728810427159632078342685455513207760229382815769505900851144719775429747560, 2778296767205773313866909737349336427555846462786625550334096916054688653501, 1289804081373432903330082286089733811972626491927368446676297218166981189560, 1333101993344076326413717837439991611159916964858805931026163558974543575913, 2828039594459719311790524926904716604065922020472292676150652486620399366578, 1601444645921448185452028724675236871911400688119894246678067715048255163104, 1016241070105305870659011787217788159798978763165035786876472048547467275712, 3373869840974185356779308348644456826944201623121066325911434103896796547713, 1153607780000380962081082643465109640014361567224131035061055103388737142585, 2186088203381291867171519230436327176352372513278557652052101959081820361242, 1270201627621991029885301114348202658973180602754241188006882627053875597175, 3325365873342089210173674649259355124592097349590321997143066357879008106184, 2272966742680714223348595971776477924990392386814863019823107669533506781420, 279481455442729578798482644866280885363817569732646161056310664724230309399, 2716496493826641787780227982709870783911661696682143351654805687861119775502, 2603043668597446949417347662815611453524142187848288480744907401832896114003, 201724297874132432056644872546389549101942344861791812828699055804087158634, 1518860537470869804357130740430272443122030735941227800946776760351625311254, 2010314658274112051622136156161833786858535129327799662077705910107051202590, 1008015856941537011101897209441273125616949635268954774690124466781852312125, 1322214288084506008856241975014459867882804738027794527089727051978147422550, 1676432548977819266113420964274561535602474273145115417366750568774711819554, 2530414564837505793945350005694250873415291625551474577415482439087426633910, 724644568566750904409311579252833031180795062446855972111792371549688308844, 134445875135927964110631473496738067407657095788046421570657839184851431803, 2679361812809749108539606233222374739305070275754813062274186088000169164904, 2991214393083210142569118289268898230739275516809142279453806791114083100056, 2025949334436701616243694282107266389637107354177036769207047809540841262510, 1477614807169770570272593909457634362728402999040442677233863971576338678407, 2699361414380179742175503448710640952992931546697729598638316027220234369612, 431139305188951615784265699548408121673137029723538860896030709478180336316, 1901600500868669184782375871586344617960977553282858583166861488603620402072, 2929904344125494219087504463605836245667472076717417336385830793305305278204, 17119672681376574280929716954133239533406702618949242075365505856905038864, 2427326751976991003589194954051777341117676314111048972555280358128672915109, 357676775970105643928556054766731972110452127723727060824622439460218601846, 1183549474502097763274733134808731349426731965267182244272193470181184339173, 3193706131697531425583825970439773719225898464928548166660953103929345264336, 1556585574454968355718615153511446957915441915843346787077712600711455369609, 904835170335978478475290107067220021232891582523251169154462401526344749683, 1033731476664726466834208322568181264984857980477851659057394384089816574249, 376741730725521076046688183706256715388742313054481957423698413974239315808, 676184121762947668914809969879418235923583626517089431419871867967338657420, 2461825328402747230707448470714455811419304740594308885386798112354859260276, 1029192989233458968050721510712294506086825585763143270918553990738416661559, 787733158308875063695027846346203102026706349159856334374261593712592630929, 14486333160310371335627836230783435674983932040403898451803415588687041091, 1628782822616338741542015801287085944230410624814518677672263580035170504635, 777086349713470061325344890163741076348275360923700267659203011242740227236, 1787894900809122439908786046472595721568813175526438010094796605679540316996, 1685498296178961091297109410946480528122973587472345950406035713313390721051, 64530194786551237877501507652456858562425668255308295533278805432765461164, 3246456367686026605725910276157127050454742073088165349215090881614665447225, 1399124684569442555401594675125846815719364167019267504711390258460484392902, 3442950382757632213673407344100879686644637071020421833810898843566798148261, 190629341154733887864519290257543583515908744777835534586659414913615073555, 1516393611342751583397289418595288592738832698400630089339458459476567841599, 1705537911514692395201253903631560469142800937285657878694497244328921900340, 2525947761050048524175280029254824108534730121640529867519740440747429636252, 114540837714486894988288696465409756666825311503276525648866645785981284140, 1093077934938797288762484636857431097905011960055861049865043152850597505943, 1247707876793118892717024277137615397631460865109910916290461873441227188073, 522974407851384967143114270029665418296012705732670844050807187262025054196, 1629598216878172821668914413619671082678980358555793758321754311019077860123, 2383167591559578319199056322901684983733447093657083993529416993416952976900, 859923438338364744283189657044133021616311787052521075874036253411346919463, 220975936779426243275718760393761017679899159843360574085862114053779103639, 3582454311448623554447700517142521279338383303623136818703608435907294697220, 2145283094643572604143978134107317698992368390081882275802280578230576728432, 3062991894658188333215456503442202420144915592868098950982574065235658679129, 2683751795412137362788541085855945964109658001760709759224941456072492879204, 246967607871595996835635396115149233566302347953771835975967730243282537036, 1051813470058394183779799311740303487398938619406975327810771841119400793125, 2479797856763765755011793209248192298628179041979172259076650503042147651832, 266353683105793424706702541742097402906923326067197857227355864134689154986, 2014532627619386861499767697090312153452664979545396670227636528654492071932, 3246632542960852295698681290365947171438907973837343308733358011013717403496, 1721790348054082858514893395623342655682274330114136293606544025622004068885, 3069900107597547453524565283520780618853524195214085212092386287634563833192, 531365217479103819524825397441723339472384660007719938886388091705176401654, 2040572083131447940669912777718365773166551223589478789613773582203277358600, 1565209593019241098332068250959645229460045668680039300146373697183222521936, 569191893205230414727751086235461855119911122726623618263227159985016207236, 2761055469812653869682995675817722144596427491518189312623365130248172306565, 1268079738272435628336498990512469374875332504068170740241533264224669142994, 2264488615253235525324424776523935955667381047431869876966641468796829452463, 479534235325701232911343436938911812261592582195016898508546484908774309332, 1342147692977189434846153152019009621826647178467523935172745257503142359305, 2004990877196776908360737620272022607542859708824127024477667459688458236151, 1270634084075708391004087073806620722718745305884491323395512177475065359276, 1424359681151429203071709509719993821310538014697488321111552721913490435655, 2109186781020382135951877946000153916371234634176791022539957136610012454764, 2683759966335328221650326740244763210393885470597686592908575417641954671964, 91089301379201255260642072285871021644162702005210665880399763654107392954, 45659769479461262497065446422274294527590832204409343721812120586346555244544, 64716193019986686762541195631588848760421032429539110649223022531651406135296, 11333868058858040743967015635881885683145719585530688899749606271635855245312, 41448957578658778130951377198308733172304264782463617141919074198714035732480, 98647824942961218659984679071429792387090340936564984031876994052886041198592, 102012283919387042447892879875275543661318843272472622727805078717664468140032, 81483801113381898764661753018310137740078400836266536440968096183410009047040, 9987848841224396001501893672160566529282542927030423087132535023238830358528, 73383533479375736972977550857587797894482755100951729408912097821971319881728, 11659129768965593872533178675087717764025361684372918366813114683888855154688, 9087745556775444335338598608874619786661130586860418813003191661688392777728, 4930893096576853856101864116714674983498571308201488108790967189318066503680, 62050088658668101982346205159898000505768569702408939099324611276058969243648, 100985130783950697504143490372703921564614633234258882164662015945510664273920, 14065732657933268279928360450606285851592723136539609341902767813941446836224, 113108516020011748184047024601385191017244576480127741069232658028405454798848, 114651698037972184136558991029273170979690934983463672843104596002277681004544, 3434188760350275075804530751728200664825733388303613954087793054915265298432, 1283175676559584854491704833605057973887066702209424931640775607705680216064, 51939926540771837334290217670762837329180533637004390470087244156732753051648, 30663277575674992781143138312759852244357495402480765684157073673154159706112, 32718472567011208638046365090467129702625901386083484170987409471846953779200, 42916979755561388700876633907295544364556564751410686008248843919687965212672, 32037158054032358411614284837270414333369025182195905341537142667191175348224, 28136051789220525097300045734318543484722182614520463886115102046689419067392, 81756845217148420526699444201139793659652679303642955216955906843782387073024, 82566143958469504985208499181497422050073289660388771404197886013658290454528, 40214990849719807399233529468507520544590694932532769747404665454035768180736, 62696697766605128872981010386835736538721282625721426874717333142507928682496, 88963705889683930047299669529462011899945016457593592619053402556938403708928, 4348621356191806500609701100188359190940698461050529121464055748615911505920, 91962345417703123092246569228215956401682740256706644931858166742310711197696, 93660968209496075717116705915671143247630747919891511323876114227497346793472, 62032182110340516736406881658285158755177874367779166653911967333856082657280, 100821688313178796290986729432599098482981028234725159628168286790125422116864, 60201365494950820930572810613876310939323276953088088642933618521364001456128, 24512665681669776468503909687670100867188449403227492019398051150115635200000, 52006764187358697574772242234964091686651746440428940181772791020017265147904, 567292936678064787717497210701186083186367164925879523902343660319140741120, 5484033147362775463750315168265490170965636651896768703272768656312759222272, 12669265652398890159726905732855215244735063387332915141001813393931667243008, 89782606418319088313916770553765398137499691660303407745316482488705877016576, 51224426454584305915518396314293506164228423201208107427107999194788153786368, 83137862274190048921662247595294227259177349928640486783249004275247463006208, 37693377465429911156517008368935880975384892198521028850058904615321763577856, 111557287376773456809051601597263751496332414114902757323701152377896530083840, 50834875823774951195131572139185897551047585264062755376476592600379402747904, 2392333403622675065867107400033349855114378908290084535132609016891298545664, 45999407083254018787405300848911142893749972664008176650406371663007818186752, 12499902056010265544012869818057117013319467032658864769649100300376445288448, 30619749534054285883305324087755918421465615063894254789417313778428702359552, 36019309112600385707260304327867458094173264968947164091080493689629470359552, 51944354188928724207246516309798596260126614233241520182514430951967388860416, 17584923296228129657865580867464200422414306454355529447111873520042699128832, 30226356377522348270474670757185699644442883280543459055896213678125700087808, 80551190868785668404186998055548592687936707028451764682062625833927542046720, 31771977541950644411011297821665427101781683769630509737346565447517894344704, 11897397672936807893872232073816030372300410172825183806704829571266812837888 ], "fri_queue": [ 2060, 2005591406054700272332738752447642362669007584320675306257761454372807993278, 992528888438333751765326986950022666287754918707786515228947715481776342832, 2112, 1076168926161766153359265121678415184146638564337964735959539632646687892661, 2601952110940413198566893022105607683366546583149718640975768895425278727762, 2144, 841521577679066476866490324573533047647263794655750630676661344108198217802, 2962695769096198127459155020735307971875203054587237480504523456010566315218, 2215, 3586739809138100337134836409517232672084756777122328880951817207194046199361, 3054287557978139869843629153201641628675073915900513753532098877076245914226, 2273, 564976259906914870253567011878677091146309322574278002347189830663109974905, 1336245486609419069081018710696010424932933379457922767211330513763150993437, 2378, 1862822562293043626254524619698879682239353165285055719892759924617192442138, 1735622431480502484975263224818890078184668017315482598040701937728061429102, 2925, 1558659550695559887019099004706579502336058553187482185035767897616477121469, 685218968019461724272290923502598739481908231260346008478720375716258403141, 3051, 881960794949481506180434244526768970348554580853050979916662906899050740611, 16916549827372101752938530470811447862966886737195660426826982516560665170, 3105, 1175620165481359897672043702727737322420879182210443226360187372111163276813, 2878899257505788955509735309577493261089223071840456648045372611133512032661, 3315, 1592931063214573288900521986927354833211525760996382919621995635518901258711, 399852226716616770306318924441039833507410867879105145478820611519536681190, 3529, 1895233628436894495930591850986013924788994967466982224334605620850312915921, 1116148510011264308203395974133377322608309796043946100771765892393956215189, 3681, 553297863598978036830227243797831714646747091743027747006057464136461248053, 3416085667582374240469181532582079091823390518591251742838677627525940757222, 3807, 2758713319098737319619769737976903314620074735556196266180628135604854076268, 2081883209029311223483972119028094753678541853982425629567674434336619734593, 3868, 694907402334869290343211313316340768911066678179352430355230105011243838851, 1583929022220645464526663629537087949935520496578191033106265389413346734888, 4009, 943518653575768353118773954587085668779267986974082865397129247232887306526, 219334757812828074053784693394758107466761815435026153983431869946967557665, 4082, 2053043616220239267757312273181139002965859625277722604113926791426116385510, 522754498406529076451832648386096921278137757141001436052317350187184073285, 0 ], "evaluation_point": 409094242408234793541260543005000708897094714897609740471648475131450250407, "fri_step_size": 3, "expected_root": 98035482348742025801908461753684894782145881041573771715557385471711040765952 } ] }