#[test_only] module verifier_addr::fri_test { public fun get_proof_2(): vector { vector[ 417264564499348480315033890604880545618332037331481418802943435326517154820, 2791765365304464774701610801350103081904105526961760475622165566937641760467, 3486833457994963358650575803759643664276012784421731881838459559897983673172, 3239724155131860688752609165174062089772290067228581928373778735610632538508, 1962100255979472628828405588362968915889610998189551676834012944452046193187, 2952221834822595488339930614472951082776312152799271958984407291665756212923, 2404477922691160710958434803152475047432098227197182479902812902564016358520, 2983277103136390521622142831279555665263616548646820287511714775788318675937, 1802460127492245400564326594679024140519185109546811813441118184689134859469, 1884056827694285099296084099006395379344248711104948389746278100060417628634, 3504062406934313007075119115510939233643265135541368551718375570742054991286, 216146637848325299808038721398010479614219000876532162862574326319866524939, 266220310440980259246063733070813978758147520876481008895282905872560763678, 2950123412506821676080133348981695388548295973408135686499583431699579416441, 640609580777142900937011619787408915635218886687532219478688957829024625622, 868839957591912151463399248763910807268026372748975043443220307653362941609, 223687450228928568040319106916025078831842567592469621053054707147321469596, 1534961448145572319675904050063435522219367368719546748149900630995698087495, 2103516901423089805746370536940927691790106421711170737100627184153336606694, 952171853011934702325019358296070441829397450374366467956261144222597438189, 1505247087670475335149899048069911090651527107678420742778291421559954046612, 578215782948283710680391724720849424714192093291249682130967236126597743308, 44399676256434961764761091064925676327352018118896062198848548259692004288, 1292870329962284371714762291144844058273451287155019200469045193584720863990, 2840589058789301845712977188562202725593466387206933628634859695088420779647, 1318972799993694618975875088963906772441415047565819293588317546625164831532, 2189494780024129633293729110812233878807837533746243549122687087298200736093, 911394510960362576526478992743292783174551506823050385853147537913806499793, 397454051808544430226615788590541035568232332535370896905536376575172176993, 984653321113170697067283534316648514299431787641942141972199422206257921078, 2194126738943488642912668600684673807735635861826576905594099422991536579895, 2617602526278496336365902094909941216242354174214171531060267255078114964551, 833844575045822162931711896951819284192974250360431815203365719629931887260, 1219123607154764042206007975004623997235844866817595306382001445665950976820, 2895916673230355702926636634211231807192946025608341856803867617103227028460, 69803871411891476291099434967756633015103050755317506912980271033463886315520, 52612712862037930016111374834082567630810260885554189413679961216643040804864, 34028590217666679889488504163233954677522220453744668256530837372538919583744, 54470657847155213785079800189802392420635220549815812815343325224640842825728, 44836472918868402248687793661162716228313274559795024978734129319920168599552, 19239400843537600256655684880904381610542299754115348299212659857870817329152, 95348037734153430726868544587973046349746686237398520632114441144238029668352, 108350661684730081030537251509304715830171534312323528383799776862421846589440, 37351024659046945851410626298535560726113152286303251857050701824577387888640, 112967396975880420371302587109524918747111537584742681149956202823038506369024, 72131956098092003837016555594894783233250108761612281766444502105423555330048, 99044412504355392149831404465091105719091938254979125096495715956039557840896, 59486787096175867390230244991988096538747230057689014574787399318759410761728, 81932523071093993179951142851738897115329388487582895457776850332731169570816, 83080892498665694621268489593406291868292899594025204656970943569026692939776, 97471604940343018039004227593447763661108326354158152658770476733351252197376, 77952829531102266190862465423034684887029094020951474691131524515916666634240, 13870053525937212580304594541658154784067087391850761315249507848811211390976, 13862291698981993829503028410115888378381644260203392105101121964337264590848, 100404103708845477947154452600455873251362101429392118286264416974674939871232, 16866726133723858296112300409792656444516792635939694648924246600521409888256, 3865198615387572498270432329745920180432618545410566126650152166575164096512, 42583128668316036326341117293858916125781484184795946327335179229540047126528, 29484599514814287471208776495992449147762893257023023779689776623955707166720, 44224017056511925376561584451172447634601322457593407221342847400193854275584, 109043905788242327111740719518844500364718894460254797788497279734670279311360, 83791591457091193881950655329585500635777450994606725494626864380544064421888, 94055621465498092922309760110566467903166031223905305489611089597761648066560, 73431149387413520117714393209958867120877151632853216133957320345073743822848, 90864606041744088999826364158343269459712684753452583327392272938053985632256, 83950308987218883617016895175020283890982434196041614592636226386948842848256, 88777449401622416379858877841941360835985529298103824591139086536921355124736, 88197561831089437727534387516274532371010547491236452146482880280455192510464, 28943072403772048077228332953435496183964663873017418843944949527710963597312, 6781458957549263464820721560285623065017082072489654843824866839688650948608, 112470124509132921242212403910177756316600486521232190377907026158829449510912, 43240935147580274992903756688082526560004310378897414996551192803258581123072, 106535370881895947558320087949639276476552040501631961835149323319511466639360, 18723273154224379456312301778997194910463278913118076111289727900386559262720, 47420151354060297620151464410726947992695909604381932383424424948076923322368, 47856003065146990412394156001537566951545279565771165114476748335082306011136, 60275993063963729872629703236446656932244295166973148883082921413194475896832, 64271842989177736453248476726993052257667791407671041375947310438715932803072, 83545485781055031514136642160886997262374249188017647629213793675439455076352, 65566217022055322325238450865464688992857149557187303963871550962659967893504, 70365352816657161023086256808319072827089373108422796216330767025609403006976, 40881317947314399073696916965642639229459888957132651706107762526671742173184, 83896575980369468433508376265356557678927685437693327540652016281663290998784, 57816237344121197872191986191319084820728763294925252851920749148172177113088, 97231194673021779440756264844020827206271706855735265360806986679076282957824, 47400770010392868679127869994797792391825836647727016282684750025761734262784, 3773260484310432650495772583037970242749254092152767868757027699794840125440, 31770765250165642785643992016049029589840273567776448352537851193648320872448, 7831228404508906678625340801221187882930301616343070448343699237599084281856, 34451918015079066094429111193020417105931008222929370677451630795998153932800, 53341308396168318506815823555409952281621189471151528705422791994964359249920, 20506000511719559803941169300913532561470116335516722321367436605559467409408, 30323280392109982997124407962929238820819478219485422144701749890456819335168, 31780094077545306627253500451612702854872633956762908980019403352609677901824, 49059049354621362146363144351897253623326686084564711859997213542410153361408, 99237891715584779961423079052808366224915886423686164703072437164508918579200, 108197259378708527637812230439559972694523085998706604409166005769728530841600, 100261946358552039819049445369924356049111369737258856918898446774533055578112, 61635669504984944040470156156700375814804673857193618684880753339694447591424, 82283838201074557290739258340988782307894328265345407228625828510178719301632, 25361154667577669808885971553004342397686504899053707501863010221694065311744, 79384915359561540623995756049939007560303701266686121321544267759534915715072, 8412560117030822549679337240841765651040125014273120717634436504855859167232, 10836047619558222628254313166425875621220999002896976980919885298577155555328, 77450809410459363784589306239523525373654634849430552176577390443552198098944, 85674242034796795767098231137575646869150902824538491108493372727498429693952, 95766603544614787775264942904641864762618296456843030743121308880243523584000, 43689566255733487238057567217693495053015598395912058558644269476787693551616, 88966735209760749759310863844470079801219523449742098207120902579002936393728, 7122239327163990462995436668164937445494924450792559632977374473129425895424, 78023991452826768584215477943011740025080359497414205745566503619076221304832, 35027983244212012018840220888383578953472144645333073216977317443963682029568, 51364820458242422868508614517888605834284270319367076682758478180755729022976, 79329188803171390944843426821801432816784569330052220549533228144093248356352, 28996513330430658861241383216221405876180063517739595165976598534140435890176, 32353151625494826721039910832541625269935859510594162636991300540621018628096, 39276001867653070380018026574844451069107510619292701098737294835540369080320, 79044649746781620694526923751112371629854923833938424095406494131254116483072, 71572108476069486165831125073402809248637239143561375043212901861690945044480, 103220970953188112021638101566761569776206634395091802053984882432091738865664, 32066084473673956848165250634230184447815513697316788401424068923559988166656 ] } public fun get_fri_queue_2(): vector { vector[ 8639, 2333702004218788575938549853265497020941061401637455952926149560094603189445, 609496486455703095585000013833278826195840004921810440541516782988599294591, 9915, 2270958783571955137199583189105725591946076062732515089619198229584827821340, 471189333791786152361500417801314126177853064480363595050967908900799251520, 10399, 1215798311784946165922713996662645923815630815351236602398093299751961678362, 3007488016544806106646613875993838411194830589350880317634384341673246755374, 10742, 3042420377155613288513316170366242989698801476804390188247755636161948893935, 3106565133483036383452748076048392446614741323200807086254330540529095927762, 11720, 1402031704674715167243009361066649581563315987157805855227670154693426120499, 1726098067966096653251870834330064955561279216069410580792186609285410597010, 12352, 662405532356239512774653364190244119956349872409796713942557569433928670621, 927509368927143888855546841309177711622241205627319679073497517220510477878, 12794, 3305449066087082679226864413938818734095484479692832777112169232758797828239, 3491285449021096923140365608865609717185328929852630328450783341971973180863, 13562, 2836213021769343447539059872309768118572828347558949127218191189858251329499, 1814767061870561627104878489238986239988694289657230865997261087682214211727, 14328, 2459968380245894501143917632499953295429709557119669119901048189420418819298, 1279106151481795726562799680048862726455511821853549398680538593565634442026, 14330, 606486013022883474045996082208725682207919121366427205051610204335889742299, 1617976955301604181328028576134514421271731088920408563990504290684079973399, 14339, 1751231502537514899842392966899245587692542301890806123110512907856348091983, 1160676772205311076620829887336851233268645012931571617322383142392389589034, 15147, 741032328467308888793304038750441106741505730158401355800531982115510885751, 2674603455530940350893718984053687454110003009662309278221278523770362174063, 15536, 1737024127062885025579035171238947332271157410612538335785761609275103396948, 1242033368898245986338387351524452700491847195582368266216110369183542095766, 0 ] } public fun get_evaluation_point_2(): u256 { 501080743087788603510483634306448304961082922258017134548723095553640979638 } public fun get_fri_step_size_2(): u256 { 2 } public fun get_expected_root_2(): u256 { 87254006650115822521038000749002345683174843578870016537379265999274067886080 } // 3 transaction hash for the 3rd proof : // 0xbd08177f737a822005498caa19eee1ce60e6e5f10027cb455bdcb938270a84a6 ETH MAINNET public fun get_proof_3(): vector { vector[ 732760739612308100049906584047157783110714348888046202826270876912749598168, 2338447598008876670954408114629385874830756656403809740235239540761808549504, 638556572290486187753196286237442199190294557105040487593893779120969081488, 1560022457373993664620468419788331868837658596964560113957949278339961003479, 488775989980186780338997630358691189773662780715959734843914642824287457150, 2226574320078370713032093352652975126739611360964678968588807817522329842825, 2306852593192277452696224567240502847832055179648525083552593101645241869971, 3472179235766154838434579711205657159041991595865937080682399597754573232441, 1078811873943764892026059989281359364229959265376607547640844546763733642580, 2321547384977231267188281809340936263451819538224694499302431981292523952839, 396506576250321341311648063955301005779204167693615039340334916880455957765, 1968679894746215596443429273082638273230425887216288383216633131591329585111, 3382230657072057965757469887230919947278019533975846497395189942665749793893, 1372726906340320359754829656383702772889616887275002011690574747988728995550, 150065324774634707579099029180307454370480205268689392952418091996225196906, 3451415773821267557171776638841348908987774750256724545355898848297761714011, 267493715973173520137729946743700873520151349798462045235219687248252717929, 1350029781887954988918868638236712584840524948775591756228015179532925636209, 2033959568180207193617265217126303751378049450303445937070151091346441983816, 1759046280763564047482135773004252637790798834143069146917632628771131403888, 832860108441282049273441613953043646439890145855897997074121361309246926108, 3259061487805176187049200388349468399004395860492090070831623810058498880878, 16045754007376442276411162383919808795781809959846918478916552560260947600, 1919550401839599907213679961682240847323459033745128193518592511113373324711, 344865302256255248290841155532676934758027902395073058929647380768343504456, 1308813998568520478930508065159910277780673763321704825002221420562259146235, 2637186192668429942905471141369815921708017028565565133033422677087183559146, 901600540878637026265055640570027526935243769732114998898326672838432891138, 180533624594242831517051553101312105783756133334435279789608587085352741205, 1130124878889067962321316838319936072823603507795524179607806893327490202989, 227775348505773234034870440594247730467578420661903277029863181902068052530, 3258500569336696664293407175339158594662942265854978861477768001827957808537, 1016175779329597067412139761120729306653279008166815524377884258471290387629, 1672373475343457863474524195289625613193817137321634988969329982055492605881, 784396279877789239626135564210194383657057511207828232848610618012009464894, 2318204926736945130167472261621413091796612381112572912286347717645630696535, 977562448427365711715708718123914784609792131703648629091881075738335239607, 249113228450294526795544620887194515544064477514412499360054426425258838563, 3408749293742637593905960949969969659542745209625238676320687278856648035669, 2275383394714085644159569493909698620020788897726292060869643123848320032040, 1410015480582166465653302427109016412489280288873218999042793937181920367159, 893033741806628679651763142664970048243838845151361667768906506099875966973, 3385150968012464794816192940673314535346902404249108018529099192781100148745, 3078865843213230602540993466675248506455008928402530662009658643709402245032, 2201348662179545169134389468444779773286239865205167102728358911713365092270, 249154481998266292241682790014576345745966483615649632886375425717747720128, 1166993418982130549812525063517673144407844553939359706794801639976651182017, 2883227819624228151460580420683677916547276517414533744759606658090231351298, 3440001993271458528817826783707763532641976780610963062414820706525500691140, 2636783663312794536593386201765274285682554263289950872276146085258638105447, 2182093569018220342508762184701792118794567874411565930443394123456788727081, 2960030828398354867640668653708779714225291533581639001846880096592979935473, 2421263317144373664512537164275790715693590494234228177529752160786785885523, 1423437469147696526047456924361914663354630737042167642760615032462333208925, 258500037246654331886083846164080832282491358291349007339529803383698647779, 1390250760701923057645441280460576600508264987349848974642264794686547805924, 1133345576039136117336381536567387552825895459972482981799367699327931261669, 2277410994385721107546856070952836809538552659559870367814304812158930610038, 1060806370357613580307854981257787102967814801511121015599577288051388006830, 2152697447236218565223797830941477339296844030779705088388614659428547289619, 1296308185668586327126942576294973464592835893173555381549815233827821674122, 2414361325547869316551563296637692672188553624183296592991726703734491614940, 2476328822436766450159451345607799492762927136891545932609674334001122733615, 1985598347737655921604560397846127353854517502114499142903903976320263440407, 169835116457147402951142552629357406178039830308352943607711798794596555174, 134561089816456934655780106542018741435698016410947688581485306786085881953, 1203597762336374060202354349555698492997041604611097740518257265298145224069, 3272940371973108962582782466811896182238976124429953703088649042425447566956, 3545970982844847052643288226158340897568489162123073787678983387916653880780, 1411639025185188744025698943433223440944727246755781436553999362281206822052, 3204970823995748722565777136172563653929906606186141290963696057498962846469, 1537920829295295799307255765718251979863865838310301406520158686798139305080, 730720183998877596624788949943566686225088171654665915766322726264422767888, 2598193165152133261698386383178852182755923361168144092349431003738590465975, 9225870062283163643868761848836766945060247833351789216705866227624676438, 2221214166452930869125775852872969760068612402503120325359312598340174255747, 2971843402961368954590318983636866259554823784827412945892358440235470879653, 1069086653667961785472672804603128442075547658908073030278661741718927267714, 1867320977583477782337041705327996428568434075622690033106591457633416397723, 3019224654013907397560903150070715123692969133763466549777583614967133981428, 234547459265058059688187102543620462055036578784712714284314184847230539008, 1052382013055978253478444205878791945360774497203916540207343990638479964007, 2471452992961794771995558620386560106991680527035808285373369900208303317609, 3044237569942223895835185054557367797354096935812930636079761900666066650915, 2836554476964769863826293055000365537428309988223526229898978561539374931641, 3245426627299617332166962151565041129734243347562338196140421602368411547713, 2753878971938587878914908258732044778500405546787961710461021412789140572814, 2300564061219776034007147984951197516612837858783742913729042739978888031037, 169898012579507026449553934826352411905502755087500699476876223884490714019, 2585445679329966610281585019317421821949531182167568964790352910424601788342, 3314159857314988202500778688080708095074777598221474935898605552093829847864, 76890601900160654391173487575924289054531270273482748498955661008085446557696, 28951825798470463656369354931594974190285670571006168129961372439822544666624, 93145385271435086251900341043870384042517493612831787708862239166905825886208, 66923118917532383037660905289029915671010060788500092279817968773240660688896, 5601094558871393084086079467005979760322703565816886774229669677245929619456, 37994026881238091749584100113688151178427612059922769221572142962916456398848, 62909192895601672020618314199482287758204345549762726029122523468902965444608, 54643179649329660002824928941090254407873613659310396757669989821107312525312, 40894983951613460764524216013972871623091167160791935313899661147302994640896, 63300720062659416315034813687034907221501490313541081633579374390471519371264, 79915481014682984344027423521317861693682967099698299861958165252326253658112, 103700380785899053032231429209566089223467430199922401417401348046139405893632, 28859861259175879471828113494011961416649423253652296722050682727877476089856, 60529428021482789183736537771593621955340954298377799420995209836354598862848, 111010085245744977141061156957134477393165735160472159095078544980654805745664, 24172676853046036836329983701189738573423357745841104036021198403824447913984, 63401492333866799468976786047668330247365085275292703152968718184401118167040, 100515595210560856476979746904673781569218446145158102628315492814354319933440, 22723671336562612944086893304714812591123017843344654249464448934751980486656, 108550097292081696153359139130692540256021540875455684127124935516815112536064, 4357844704525617802732011033826408159229758440882064041139377120917233598464, 115317825720353045292190328112615858108465093126915797493968526651932262006784, 17177635450669318330966367852162198846462181076275519748195337029267971112960, 14300615902126688278160861846695061226488272360317538535029993354639766978560, 68210246324623309451647770972842689575089608892511994973926378389041745756160, 98006232981289090302941952807095795116342422415893199891453556586683524186112, 35505728897003609232602689599448188701697431110221509847618095129777982668800, 99247719312493621191216237138715418326047182359114924954277240968831249154048, 94773302829938184098267674046972282351717911251742906141277819560064299565056, 11533535448849096551073919565303581739172901376199071386901284060590791196672, 72013470930071927689571417020584630954726606435014736219667691535686973784064, 81366984756620487242087727521570511372019046122567093553809796062903808294912, 31553690834848665785135364493180715629840897940645096016867057446683412529152, 33029591538002884406278456134268892007453664436380138850783547830911214026752, 23007612059980365748768644097143500608953148767878486604441136995276056166400, 27403190147157982139224748190408928796603433306013731441174832686315109089280, 73353988529160710413867864854303840515375332474148459341482685918530706079744, 8863133246912073919725729664844694757854869325273629849180981472946018058240, 106731546803291876004613481679366856178792288548104701236748261954284035244032, 90669340528385738153876711353407966053393833362943740789059938184310158262272, 94351959191024090532276840756405772278913618861656425746351774461298923798528, 13002368248557070093345975526193129152931693756507030378972261307968007438336, 73885102379370265882899501399139246387277325098860691414646190417229574569984, 24542800480304932028352158726021429199102088647155207796387385543530339368960, 35098348268927815882498810148773628339334002779352017488506186195608281284608, 105072401490029779668187748513559826553379525545751518984629772290513663164416, 102094388824294191351768748288791002607796382828294579347228684485096468643840, 22575073094160474128193761665775313518628617296966234964982505448265440296960, 54719678532908290406650199610833569087816119239684696396527856829022001430528, 82466741908136861632941961671838635168054285094684843481316260699376122331136, 15189527755055422383089451286540096443718575499544038891427539161496699273216, 10387969987781677490783214504823745473919162969162462445081752738718942232576, 75537072253761496646449566421689875867780031961228128188038249087926647390208, 41967463686585267874106621335234319048417631600921488220321739121240771133440, 11184884091912422143201333657384466339594093696771513297082178017696059228160, 1537759790339621306152862554670867450932886007341365250781192886756157947904, 46886339846340228004196120033506833537209493176283232662896464535949246726144, 52784624446692279950991982544156628784451417326487557617816734869354186801152, 38938022765412481306463395288423517672206661291924127542791101233441974255616, 77254501810828225518401933038541147530713654226348510966795100365991899561984, 5728309279570382091489129544846569442147476270092894670667888629124815650816, 42149101614411967109478394890585953081200836286153048717816467177927560134656, 48004147803371363381802363945970192358899509295460035660422447377848725405696, 96218705869522881613213016116275846030524400877096346564799635432483946758144, 84192715110664973316759820087924669450057425548357705819724243181119003951104, 38873906982163031960302224903303189145095953782162107739281339354939545092096, 69111307204538712231544308338387878329704112116296470605062925630630558433280, 54682510791781575482551417219351666278017040855716314467949639185980521971712, 114574442615783184300274072706242909487906380319472029892314306483489964294144, 114813048609331945143458625588376082591249811541207100336937895888544226869248, 47912160173146632519631275169088263793009691898871686064432327840955128348672, 6639056206167440201329187999255794588153887003571015212713721618327985455104, 26457118856390199106825382332801919586112139693201858897098624446857914351616, 66293407024099532386841133844282440900015707770593823350087359131572781449216, 56719656442774069529025169110686198056364581621226905312116463543032439898112, 58501032360052653085393975510933585065061940325117103759602397376714729586688, 112539957873022536750283707432633705296690845086265129134144985044502425108480, 69113254518834274536103261051596567421852765442803906806584364413420329500672, 101482138972401600788429219669766998179346069770849922795153404369508100997120, 35522271978317548065624161127503886579075336515170475684298053146293733163008, 14922327040860854633826098379424667287340527635987743791090219499426609627136, 97280385865253185245724740263198329206320603092247005005822401127277393870848, 14018116634043680998372686155590241472400429819508644686840444939877404901376, 99493025085141591031945331063157622467245330248327409119010298061025473200128, 59341618779705626448420190480279489363574589824825021978526030742120503967744, 69618473214628358097999855414985888418313055814079116581341497239400760737792, 29142762731837157475933931618855917341009778385349511580817846669306100711424, 98155492537457150118311847841645382016565681283298135401014283578507423383552, 12561824058702667249435617416993540091039187306700952857794268373114385596416, 51565135592278722351325934697075386848462051869780198159629752931586003697664, 69979676134069579218571058930276270862701936934223935370733412043783516717056, 108657328282277802354558025463339819424363091560174656893534855832410536280064, 66438204530674395962054503288603050425741700842441066854881171963458011267072, 64131362067177888437207812098106844179865280529305744301973264821547956174848, 46577914729266175406677411468375276090071868737620475012100798923180397821952, 23405217046433683422781253701987444979054411621263686439347339887254851026944, 64544468677253839786675775411039371097795217101958754267139471054074185515008, 113931171266937219620609785879270964604992456272345120306688393130923274534912, 111143557704057102191391414138246547725307706309972543569380721168830934548480, 110860655711444349854461643816225722843923446948770261067257023595879164018688, 46840717312198268492084117480132321914024177609728532251645337403454142808064, 68440390247805339410175106749096156575753570593239158880662732987535384903680, 66501134395927002834264032907260669568642171172362409493089229481845494644736, 78610869832528399727189072777630654688557907079722577505880569386728526184448, 114850986350390194987512784706435271781065479323470753998205274719731086000128, 52632754682768734903846740408724542847820505663926526929525610273823329878016, 24363610071119668937916408936011333833177826593172464535404137128778010722304, 68209196664397503312193573711246814134746843615088486481905808012132147527680, 99914800062639277712631289053936604978404341905810277090752383926578997886976, 15454604719652172672855510878030281439712630441624602285040387558326658924544, 81883511606353927931629085486578520968731663621562623521105390579287454646272 ] } public fun get_fri_queue_3(): vector { vector[ 68842, 2964178946110064358991726962687892125811805618747981051340918888528792149605, 2179683427920472696291350577048132027566530074554770687235446808381170104740, 75704, 2103094102915868483382485829173571396270087725632841249210530049472424431841, 2479596287378622959513567150060924229204175125306857273715736723758389236318, 80587, 1798636197358091986020677304753686596407232309857363392050569119004515665288, 1276280021350835536877635448007346376375629566169883884721703797525132952779, 86673, 1223919860614697179665648943701441038121903949120965235434568549706881265714, 315285769684436180317884585551657710036431429370134602541400631969325311314, 98467, 1498837460801827753244815055028767727101955870935055090297998458035615512878, 886174992991936454854555347243570745158880282692944820968869513404805391082, 101247, 401382385200356601733921431908710955160228380430776219606687202903303544395, 679814886334400165039259936221294035995228207839446638120957569565762850347, 102074, 107169631283831902545404617598779270567619544128856151074130368670375305073, 1658489653615862222132196732940191116616212573463363599252528863907631515768, 112906, 524467796028629916135088306351772443014515171851601370770980672297816004568, 3054550940202130034617898482251712777924047495173323457299213297263826350828, 113760, 3376618749243009688521553232710707914835694730136690370108761279729079575438, 1058561548859322008983466353839301649035915957137925653166306645978868347203, 114976, 1227923646611606553177690648991829647219422103852733855662008292391993749234, 1899443339253771681117963117804100042655863677622846446674184778656382944186, 115525, 235160462280836882059278614936884803584031242303237407732165794589913142069, 2309872502305684530821077676648359152149200585228250214134985515759438262321, 119020, 573842828530156600986657311356120176821431616140699737178615667697957614495, 743000622407137865621501727376975648288989174439365349123213734935762649486, 124339, 1546530425735562875072380887378689929310882182235024380357204143554321321082, 2752221987707151453287287390473883776897193346908145369312214213686196014690, 0 ] } public fun get_evaluation_point_3(): u256 { 1127319757609087129328200675198280716580310204088624481346247862057464086751 } public fun get_fri_step_size_3(): u256 { 3 } public fun get_expected_root_3(): u256 { 9390404794146759926609078012164974184924937654759657766410025620812402262016 } }