#[test_only] module verifier_addr::merkle_test { public fun get_merkle_view_data(): vector { vector [ 61350858418801960195844859341278187035213662231404265076491570526182629703680, 25746574691019060605232571945066060649008414083974737005280818694904740839424, 76376940287471323881249647293915050393324951439120937796509437563447713726464, 54478091199804627810618007214138112005526696489131678371339950649643299241984, 13579451175319441547071631332211226953163535099293155463871242221454163443712, 8365112606280111152221170421369765462947574464980521971084787890880690257920, 68596587056212185595805502866890393884260237193046350195848502731062584016896, 47701394826961475952402731205208946448265096974799775889448738391803897577472, 62579775382282847507896659220193937093253268697628000663614736434950718881792, 73401216515359222426715003181706283040233576396470980940973976195583627493376, 66671062826227697458757413260360738407894698796534002322399015003050437771264, 58138738490898008487520946713727201848721126762998490751467586558978263351296, 84657151309872721929305409490509255727143078733001491450786443140985039880192, 112667541755395878030370486579289428125244564756767690671098439722270891966464, 114975905102327689287830465026968783318197820616337352285369511524515104948224, 22073606272740884884479211858850030031925205370742971090084286833722377895936, 73406128501464181233317807847789297224415276131400378521961659343337152315392, 106900240005465636149505220347691190746961701952266670732093967671590201065472, 102315495815924413573869256856369050322342982065282309737038057675492715134976, 107917210411061651904078855991212620335107236229701144688446059714300306522112, 61898609842609993399371478642948614407164659675016782142234837154076429385728, 76212785011332290098525241357500711751633177616216176633715590738536011137024, 32663889763752161643907329000802502459633790816937370346011720488946092736512, 75707119783431566370228540912124581857343913906462917433899541465155741155328, 68471616942760382398343997781916170686217514508866399073373674585494472622080, 103646557901180614927977848105650401804581971674962732927418734601125438160896, 58673140681794242617223259435303888510687525067410025065624091408283249672192, 41321020733584554667140952438483313031473013295786939094400856114401323778048, 33046487721831056147313200404108514249917898745001126182320430605003351130112, 109551426542516526522640611474658322240541578704836542182161397111451960737792, 75393960957969291604794095051450971403977721815798491916277132194835200999424, 17049053499742003332590818862885149872527902669214336094912344730092938723328, 92508603314672082537388948995277025806736616772798296275613386913931398742016, 101550850195121437421309737596530765824973050003285344596110855870306731425792, 99178987837047796002761978198458481193481046070504877872962020234878821335040, 109720509181234897630268327899046606391638586284342997563134340713196417974272, 53268631352057532161953727874472362793266510103587680417705328112725252898816, 4207260767050599180651699903257142855423295652060067049777232457995951013888, 55327957888446778144398485000947508829014647977274810396705503052372463583232, 45375549192741870871170267286018708567911242963374509588368118490782830166016, 76348583678747077650735929572780325140466719238165460227996364939282383634432, 61260247255063520405965821360195013367922815503774471173208517840007031947264, 7961531257995423588112417330083733570149187615599498910238175301157043306496, 86091726850669622410771146962469167136644753598759603984744403264753979359232, 81236038887011680349651788546409971000705629596566900896931435817861061279744, 25310619780928437277796201567889861732247032542717840022564030290722958606336, 94968844545057804622438876269960044813979911454828782221107249324724861272064, 10516254994584471537099967602849847221269589371730384600236104193793893335040, 13958301679554851860663815356638219156258216056084707919302090901782723035136, 85712448427920434946883179458303625201075967607327016349013061269279760973824, 96116532102609478741498068298120517423943354750799923402523133575107954343936, 78307293718658269765818479359440423498498973370817708641699048048380426059776, 25753646632025616300079630203292659787711369669876383769122415865600711589888, 26162072049847355600836863047618267231882393183432748375466012032610785558528, 45866337822012966633010059060630714989968562604978526003775286939809453441024, 73555657415466443223894206895056511579199041894392920680061004570422543384576, 80041551163850047964378708538911709146442636559549868302585490379697855397888, 55144432419541962773449200153966662188241676455928720392971860142077918576640, 27978312257238042708630344577785269960340015361163814380344490224237326368768, 70661963141013993041307870234907234712005468888067842021249741909062980730880, 102933881187159238130483305043399863253278678189756831043984367513617878220800, 12947228626389897584261187920316830359140280914646617750274371217191556087808, 68188398513098001402489968372710167455732479865204506271979785549169861591040, 82645856488284888672484556911709561838239788169947506928062950733255190511616, 1302845613784190341038230764316285453691623920841996679761439694327918886912, 106298378345610110658385931552110387360834703487230222734855353753193894903808, 94347892018484893445616326538475708741794291595814760735255713355317295185920, 79050662765906414846462786320301999040998443940647976809186675289765242208256, 82607211075454651309210184793644170547521381837598019081024203875632457711616, 73327581419969780300550146293329274393600528729674448906089488843282495569920, 321781333380167553727118044382870483776621792645184708118682002585244663808, 61191413493045793903597976134427965271429344098493667042512554036628977352704, 52075659155299378036523440722009085397836010150346742181106331950525769056256, 80553591626725335649068391695551250823134822426808408461287670836809303064576, 21691688330784141815908013605231625531027473205445535020751918827544338497536, 81994175372574964434925747711554134962059244191524428474405364376470598713344, 6772969778014014748276174789146311279675406485160803850550152141901811154944, 83652373717360542183314180697368261636319826654316457323250825032707648520192, 32527663563195071636952691386466240782505969598899965568287330293650655543296, 19244114177744616549625426080946799570850636814580447918123924209243386806272, 73648287039300326623178628034314925498791243861833212912801222612865089798144, 37302502336806860193393145739762701443054034511982258382497589901242069417984, 23936283990464379048355641248200689101239791746953644097439717502227385942016, 21441312706532643882695225827130147555403147598544434294792668262332557688832, 66580536592155457750832763858222058078636702614947542943478523345835806162944, 28283819850732103058112555619131699426882284745200808053097773790588733227008, 6764240538337274706167197204211823239794495188308063953178953536328486092800, 79340231558297614496605498172501208944826777204668799046718090257082649411584, 63231980464005956487612444430802527805197713713195298569341449786901695299584, 52986877426336142952681551954310468022525305726539264796678192273369816104960, 85861942554156154480266426879260025748915366211154671838942150115411995131904, 55109844239731544438929719526866511076472675955719339292812198680654132543488, 51271077044043448858264439096183817932627826159687028892200113491382187851776, 616961694776915423344623889296624229807240827930997317898408842431893078016, 4091333427336906540924034594226473828836503747760396522357064836186674036736, 106615649334827533773017359595009311728508937141992427543862125817808614850560, 88467110269101203401707414240415370151314295156297351728080886103347310886912, 51096284291800706320256685149664264866247971736417456509447445866878871797760, 92485777894040635294797006069303732870683424135465654063502390014957158662144, 1420261030602488601999457919168385228035376799878810805432216197931833753600, 64339200248618906452539287373013744417577730410430531079703923066565119967232, 101675309782388149794968264575904213173143612764164144684420420763808507625472, 70102155657270201784051384720213986318903570906429340214741602168636706914304, 3005664324980057409133610803013462580973141013147736630887102783677578346496, 99393645288238726324008686503592349769311890052681362368290770562730568974336, 95064354015890587105046824514056429324440062532360175462715239333253267587072, 111707197448936758775612092792743998085936374124426109025553881005673639051264, 19616528090265641515101748273505502363348051994800426406258572521841310564352, 86856589849348137022248514310375074031552426557752431831772382907813779734528, 91695750654867191180718323771924526189947740859532275535332949571277946880000, 111032388288456486535221646529200202670393230925686460882414571124367325921280, 61045766528664119691180607169983615104998615000000700973961255939228242542592, 99682809746558647257878557938922184276746453238436845140114987019049784836096, 92747661416565827179856546242964289689700587635455528389130633334651491450880, 61989620891350942808349897430766402067991981163031015538713084977507010084864, 50091143536828280549714670587919534704771138798836999641080952151148907724800, 61409771622960034180828117020329235197770082428146082837932638969847338762240, 55463699507535950076926305818330950126299544867832441427192381518049487880192, 62714254118075621775227890683477038392797815757656351176171785012538595344384, 52880946575974358629101292847791715017875235638696890531192917707327327436800, 104152412862350387179169831898521054873813572324419059162739449553574407700480, 24774830483486206971100151815545301864693835690578444409656237230134185164800, 67836115466250636340897221469504954309064785567885713892858684028225752924160, 92784879498698445426358302424432175500153800350142887049694762692611198156800, 16455418756958257437574113876048105840620658083215197292596706595245763067904, 10346404259887846194943526036097116388710408770805598346258837717919050235904, 83501029415525417839833018239991078494021147056395973480068822684094389288960, 74317805504853706498843995837299572873564542461621242616143109803156394999808, 25838361127150335499950633798560532835845821222208134198743446872478132994048, 17399923197832048528283597448487754277920370764596579074788999688084367867904, 76847935855351363879762603606594069755860674197527491709884847484474891436032, 62550519366815708150735984959459830342553138202279760557612220659189571125248, 24126741461125574800783310859477012703421084529170248929789686006693207474176, 12271213507475977510837965205876681761622386468606214985282058947297638612992, 64727525568523774194946539610663119618476717815798076526136147485281042300928, 86421290564769140206586637902289592373889678563106012514584947159786747592704, 57902616620722663519843782631318831800460430486620901961211188781788388392960, 44254124421546617171800966887683545848019672804839606567398007574746999291904, 22246127764969447978157435309019511719917234311395805990290994397819906818048, 18528022847623704959080959272765881756907814342089884043848539110887833731072, 48019575028595753712063630552958592861739495082401258237661743557930387505152, 95170897900833182958651392818118112803252582043618528922882724827668582236160, 100446761383347903969940848689872635388682449409310637072356784095894523871232, 73830719264692292470385602190367969107709648599788051786521086659992601231360, 494240135931134545696384416314971655348644802460739861987384832569018155008, 34524062220727202398908303778542829292935802840467768639505383245016566071296, 104728293305161832940967764639134621397314085415251297914186764871331972382720, 113949986016191299854859187955057559877035175886308752869640556729609209511936, 78294629536777535086703445626050828662667206638845378274792490022614973022208, 81549909899685345614160564593818323273664526148978592846497587127280801415168, 100759264970726091413483416174253045889357995621336360133322441083609208061952, 86679386135542573605539509207371090676064359880873571399642351243477613805568, 66535064600474298588933582126239690276036002815731012681966400220675065249792, 48443949749099304188313205292386676812058513812602034111441721802184334508032, 81400729219953254644931596226160409647033331137216460347285971991981113475072, 63630428621170643157586176078348180685548190243011663571139360231396323885056, 20656149141647470358548794171602073228506285324498331750453577307861995749376, 45254778877639972406389811927886608560414154888342615768893500745115311800320, 82568450871007333911634973934864729247122463804623438067598616615864703647744, 33420751318530117527515277328264464998741600619430169881825899027505172447232, 43879509384663954646347867781151008393497215452944405608058062260142851751936, 10510061513331189868699441286491858018011028625322558657585301683343934357504, 8230762971573237152980862875269402541558949147743228421956651750181681758208, 82424847258412840933340674102815644952318280106799643598360500999502289698816, 12269891871254181123126154256091827021916663367459636798088355490160116236288, 2915583711250061482512280781650520032803660482639167588169360483526635421696, 58776720136555470661602839925591799543082440462508428841472967694502892404736, 78639475515487625808647441543871369187675615773579469839448734813501509337088, 6855509254188083944631777691865681855385382444016434120728672674544571383808, 80682620407521696836671681068486460112673600380216716706751285546532430938112, 2704613268142565160651704906161232089097587100856015250740378048250712686592, 114741644393332234182783690542636634521438205190690203701789407041562567770112, 59307720569876401333836774902260519684867552364267961699431346426289504387072, 4105149876734359386437200420367872353929277512652395578986348276511517179904, 36990218106486492387544325115318455448749545913138359637958547000156640772096, 98674412478425929710499425201865921544968506391347814200999970065194879549440, 18297587571675526523825364239232583308585944224349792907701839794236018393088, 28872762806246546362155221357027934294632291718736244660283719592762436222976, 40142476549834879597281279980193716316336322824461134503737773839997143613440, 58995499318260603841554969537443660857177585434706871341326670575263440437248, 53724126172015651184056367711382285142477703085422713564961733306502887768064, 60680515854904787207881333665873680576844570550255089173215981224884407631872, 72803694215234015577409648983140270050750153417377415051403690427805010493440, 49688958088533396764735550931088697972218290195747555479149585761436377808896, 83465318001276103781007428430239429127283423294614973426271758041320104394752, 15156390287607441106932366177344133228835169388571754323963068361004889931776, 52009961065451071420461432062074179851202461549156068337391934140027567603712, 91551069270594825001429748856294353240046801292937174351011754969969687789568, 19919098576914429234896528676675556086028663413746018260583497989874692128768, 106042350007430776333611244348716423898665972229447346950024013450635900878848, 52313657238850481619608006496239066040594089396228577869787972759086342078464, 104621305078570886332612958706711884052766831954589711479574681076598013165568, 66090872797864013497238253265716067962411511762557656518461109703503171813376, 83034735710358329412052893101867245854878747676090419604868242342310383190016, 85627623726810505066198052476544982251777680482471306122331217893125617876992, 99434024640603472374119263048414257541941546202940210687549276931438806040576, 37810760855423763767981521877185317292386401959580442033224685409944238817280, 15024570808016349641631724380213174868342876890639423655799104404527465365504, 84196698192935077225248016231033926914775989563834016501561074960918357475328, 17056130196873432001000383545226375009805342719062134238157767805072194928640, 73739477395028828421886814810484865913191059774270791943695553400629857615872, 47391381772951341473728875869314485306150063562931822617936895456173489127424, 97667828961453980499335312008985250587053749418097833328261676184763937849344, 8017854587010858642324004940986911974602313826101705861337432170632293908480, 45324998014123174561524341427805703804076723754410211166762152064226064072704, 59309125923425691238517515698663438467113349277812057474248610759835698331648, 26004242518318131098449155138267600581330706652298556015964798224099604168704, 70994122007341142476264888873550269430130195567696371539102622626250892509184, 24798205661841439959521543771629635080302909150858478031322964531842937520128, 15153761836282444210787045247744956009234833854588847016565781815343265611776, 104771578830729626185844722171483130546699136480094420699374137188064048447488, 54258207362070047492107230388686367306840394156663462434434214679380767014912, 93864576309580431400732484444640389228888997221739301870234909198754192031744, 113157114116698874184164226217101254638276122564965352583661330844242336022528, 33798127741034404915916688787998552732239240950856982117584797265719170433024, 27942889078990540006949539928299439853409310107296006705348740311949005291520, 78720342982170058989602308642419146089131727391679377904165017000785263722496, 51189694206953800329011268968028116330486971656295250420568301004445496377344, 776679384557652505814078605818617016880251237431254488156698822489506054144, 29588494288291412546137172918363474967745288706380842874107811429748255490048, 2790720361839731960991369288409375047334133847243382384086873689349590876160, 60030763959600870972586832807322944432525410472894264496126539192505280233472, 51957097843535946773794100304284615088038804762909566208067376302932856143872, 24604752022062882488170083360913062416964452146751622942338661306944446267392, 8538099453145828219471663914542429574167258310093079957978714156264855699456, 86927698357022073402073904378653551432459984456318003944035310409690822737920, 72337674963578223139348002131311806596987862115827465382704985579922883870720, 41648442318424365436543566098157162722922976471280252242174637685493035171840, 62338562667770370525704295231454277414407361347928378308108068767228439298048, 66418002651323035574152649765925915093046039826571950783200193003924104413184, 91553222061345104659501575677503709626084423047032005281101689471738683850752, 100422958691803955925480160062897913628767265416846233436992866208832374702080, 4979260182669737640448336300268366739725418070090286370159200972421877202944, 101155167866438946849201162083240156545444926176474145264596043937425062363136, 60443155437076168596587075775122513050002461878658133669311747782386697371648, 78801051589119801049577703745743893908118524901454696884431114350205824139264, 86941306177842387744288338534916279432699256076657787268632320035147302830080, 59680327750311544109665637519526511253979390215823979876514508469151505317888, 106931984715742222841791708601843549861415875434003766479831877071745868365824, 22019942875903131447100628659436210482147062905358122766667890073042220482560, 11083198793111033617084992989930840994419075366912827730161130412111206285312, 33607041554140335872085275997060693298442232818046164611905169815471692709888, 22523753330744943655058263531276350811177799616016521942604269535571981893632, 113102917244093242336015487177454907999351254073594512855261517797680549462016, 42108648377826128742489930938437920851283762487286118454192196359799464525824, 114056058463785130561610645413472978952362260828294211499841667743174069583872, 62365274710083764544987476065294957189219546156595013420947985001783045914624, 29125408549930535914659091157893033403806673488490725509190122365736129134592, 2612317073902702936249964771713508197100767023715645555453069407267600728064, 2885103635309393031237153107457939594025322676873427957049396703967213256704, 1210706711493878486822144675096989093656291300607185780505637774142241505280, 19497093570349399016115220556462936531979435361919466197605182631024252682240, 6887651597344073477677877294046065218922044454224455552720767657747800915968, 104081995292859543505630487095363617537027273877218691225216638391722748936192, 7384477425609022391862614967536160871999771303733928511173011912679535673344, 62964987219237026269504609312063202700812447061686047591350178960595757301760, 87544690700764536671475741621622958205170229813041763106279193863996678602752, 56974260901772393892278243063979719814166170913419415304623675412921767165952, 2994063078683298566885408269968677695663785185782798229836893842095478931456, 89941679925893911591742106202376550699640038708266308395174645621760085458944, 72013921688934904456139273734835458505057262444373584130564522210092044517376, 75012516377246806493808166927908726512527724535079885913948593759352571035648, 86486435005454396689611669587747479836276161853581844128965765416361559851008, 18446053837974485562356397363836363167111459011438050513577984572545380122624, 30883078916357734202154633378876496190607380445186171036935700285621390016512, 21845433551978486913392009010679100167943292165994230970596509807472847880192, 56111665551766929700484564888524933644852626315932999049307141377069106069504, 64611395016324581499166239640828904032998068321569393779968737945632286703616, 56800397672024585034044408129857913028277097910253209243031442293332060930048, 41611033542761304981170932125834592530785097789506160492703870510461398024192, 84594456908180614855301448242333902328991542100017939722088467865195614568448, 97966632874357629637453778037733125376338557654305133828373799138152878702592, 73796693793446361307186714813626716902555822403763091468556887505475096018944, 59659468549819131818894326548445791241162612815326197880389890099877047697408, 104167195179554955796902401965950022369917738382425738207830869818363716042752, 24012170921734376152982567777398331861949846460770152054838037551743850512384, 16920909413547430702347786416493737279898323285388563768434914912294418776064, 64136447103008455437764233070359222711550188835545236857954949289867474894848, 7431552761648976594096324042408914186778369270845534531787676020939702665216, 41661790606348346734148605262584689829209994545661396124329753034999874977792, 65797739828526198808438103252072241327237552175089713979816937149650213797888, 85744048313579708161755099473248260791449888455727301470405452705824751222784, 52636600737327088211457717118745455049640525619125666710414771464993438171136, 16505413904585412216280750120258460239722219034137907172960227334537258991616, 89579732274804207709395797704174613578143002184421980330962244175814868336640, 10051842402373395289643562755621517277088164826127857922258061515871418843136, 56637262068729560133776696770092643195279058305488804376978047919299707797504, 3217844223710258372393764275028432898114377563904099730231570189867544477696, 12057480396578921201761892948851178187541754130651760552029712534033156538368, 13642773089726141602576343132854428589282756904577909352493589230544561897472, 89838264704889184463733507600025226304478968561678620395043743659833832767488, 66116817577772683287032832712778959002881577161546404231517037735023992635392, 74033835340574646206685429927359885961134969986627203211705131885982281367552, 76114201079348110505937781251572248059195899381002918338515234721877955969024, 114181720513190895533658402177728266334158760634809447750452020216730830766080, 22138816521338314943225693178187451241850758966254782290944393719613638049792, 3778954791085063994408202638477148912030349137351488580983542433618828722176, 43892621992364259688567139538518393841414296620720658228076711840426626121728, 63844610279083107542564277174190771322998714036317163929461971489445453496320, 46723537975777563758480060106899207817815002674904803584481444696768599031808, 65849960605908746104766291416868283208555934788311179426034496334396001353728, 95654031325354472671495598932867561956776229550580865865237248385683977928704, 96604276819931107479614574569415909389865679763412519329032438419500281364480, 38415106805912613336438961325409257641870745996464828338556615943374243889152, 29708685184384274484416238947107256653421117536712616027774451956371022675968, 59787495974984548734650862845733979170446360467446197975114687378560772997120, 60210010293209933854441853328783340313158500995562265089135795714815286050816, 44394793257546136661062705366544840103098309838145359195568213004472102682624, 73067454360621948452084648867720906283334200067797020176408121217817870598144, 13252087484835324125582222499580571737699231742867999901870643276201754361856, 42616914275515978563901677976293013806021580279856167133716763248861286236160 ] } public fun get_initial_merkle_queue(): vector { vector[ 4372506989, 81041430332799530313234853847236403487641447365013742407328178941535608373248, 4456420204, 34811401563595215038807458875891169368564422154822881595129732589847457038336, 4563494543, 87833622967714272168132122344853612660517419012343516125905924591470463942656, 5027879861, 111215698543250860768290006858996683234309754380157998561432430428023408295936, 5755762414, 46605302785331411874097973494355433701180533183706438693767656987381064531968, 6271637413, 79425100108668891577264489402133688493807905547174789596447237169111034232832, 6662301576, 36932724868749580529314636904693213146021075039030867480395823619911412875264, 6800136736, 6163017992573575566511867749938254903186206905799452494939839071703554588672, 7168531483, 57212715673167080475014939318862266456370172212265982558906524100349009068032, 8110119213, 52645598959489839880948928370594273865957423837318381016151398428518020808704, 8551942361, 45434941140854149845510625692366098640797061357266498441252504669107840352256 ] } }