Source file ark_full.ml

(*****************************************************************************)
(*                                                                           *)
(* MIT License                                                               *)
(* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com>                *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
(* and/or sell copies of the Software, and to permit persons to whom the     *)
(* Software is furnished to do so, subject to the following conditions:      *)
(*                                                                           *)
(* The above copyright notice and this permission notice shall be included   *)
(* in all copies or substantial portions of the Software.                    *)
(*                                                                           *)
(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
(* DEALINGS IN THE SOFTWARE.                                                 *)
(*                                                                           *)
(*****************************************************************************)

(* Come from
   ```
   dune exec ./generate_ark.exe 60 0 3 "52435875175126190479447740508185965837690552500527637822603658699938581184513" "tezos_poseidon"
   ```
   Commit 6a1e59a2cea4392b04b14f6e7ddd03e5d818e623
*)

let v =
  [|
    "12824693747017958656359741899350387676664089448183168620817941350923622240383";
    "2110512952725741187549618038800597171689376420770588630765413738693257923365";
    "47326464895396585099705735602023752272300355108131773128388570963521922081510";
    "563012381688126180539569880290185949096875479968107613527817326352434592856";
    "20435639598009869993321661794628409935886243780150497184529212840833664449656";
    "196568005014908906943408140878629143505019528204274239329256802017215936683";
    "25962654684949630743270090458873017355613280868787190166613423196385364109406";
    "2902949562437765068560667705637724057704859748759440393767306205627156631635";
    "48765024020816932517496715131525675528890199049120440892483976763745835117858";
    "2521254722031505239112642581694420959196804419239024356676547276184406685162";
    "51021598403923227244919665563608069313986657641358042233506839666746223886174";
    "1054116206618757673158081612917129416032354356767130085800942497760890427733";
    "35527058233191932797057544076619925913363578197567288806107068259245425979761";
    "2634280023212643609442836838440917786416264439095063634117944443782024029279";
    "39421919986269102473005636801607717780949112929566701303040428546494236832142";
    "1108697190209272403800986208961553739614858445125481568510484181910492195628";
    "12045800443981429031896147388217433545754425883946502772543316945784413417019";
    "82604952988294859566853552858162148408810580477764040175328077158180638032";
    "50270776669157712293893033630792805271843351375068235098934380606286868420081";
    "4556699357166547420252702363071964093628547740375189594266494741118120185875";
    "28756618406604627864560204181157146784905823733084273636904787891595217041493";
    "3929061368963303543382708474487773927696676445825720846075125669855529226465";
    "18077432337068904300805913007986258320260964944627469934418526215049004418850";
    "555694305263590606473308840289036435744336132072477475386605456741511841112";
    "19540875247789686897819386841067347406140142379787247556508575750097457102800";
    "1448707275568454674766116478738872398268409443096166848018297610768625046726";
    "1365035359887233236958701559549281683572920146548303300137734899617496459320";
    "296272530549376935987465863345169666107896810662168723956830664953961522362";
    "1222008471833248844130489923076230958939009980056422343699249951036863250406";
    "4645825111751650824509927275187472476744269268030571538472557623136712967534";
    "17367408524064290797098982556349219497014777382389461167580403687601422907744";
    "4067034309108034062368247356825838876451720740358475567436606187615273492134";
    "37464072930817278139129480285443023448384449803554018863125599103193054747940";
    "1154923382618727721537690770667336978399240055012120552776957609043905780309";
    "14761222603381544767861781252566790400337820585000529592970728629846169054074";
    "3913916891269533795763393633333348732307055924078927653872560295421023616912";
    "30551679780389794856358102488913579915189391919966614704474658955963931924601";
    "2623945794554933981603577446997424920433800054981268118099374525963300203599";
    "37553485386488789278771814769828299823440779111850352710838985845411101822259";
    "380971882976374898531171928157843618667556427594941784718505414050004483900";
    "10017112572864832043140346277015863860093483928149059067819681230371941944219";
    "3260482321812695850957645581839558488578671815239403289847780027429591624886";
    "24779434793361163444013176816239053406573251563355730673257372706459004109752";
    "3834722693939583529892160907115156917875416106150610312937809427157623722716";
    "34750922361865676680499065756842369674722176279862565574651223917853132870768";
    "3303719823632917286146798280923324860357977348797342300199305695109156084208";
    "26018601582375751114157841612900668552714749858338434790831374188259468891657";
    "3760594088040850818134137825940561088098655326719629222313979094464767486270";
    "13502450637194424997028192825724613739600481337904104764037861753271786962154";
    "3605680875487475312847246627162938193404148815924719449117458482311523099581";
    "1768114684013685999050765210150692485022620153369626171927007242630684789096";
    "4300220668885208831825911397052406422843855438064865963936061488194010074168";
    "18745557299904421052970946495269579008489037727912355291647391635546797208632";
    "4645457313953861508779197981831082874745930614083957226744023638183119182461";
    "42593678790199145995053663684457815472221401417968114050739948072903660677857";
    "5212185812251048319934415989099832693177800787494715126453056611778087850419";
    "46864418721234297280212054571065932300397971297089783351260370088468371917403";
    "2146862295982450015041164285322066583154859608755785000444681979186258495373";
    "8187097041967453124034221635232536216422982441145700214410051992514734925288";
    "4224999113960856492299018528652331073564580004734510854400184247450883619801";
    "30046896000436459201509816995297597671241771046506201400670561663285639550013";
    "3537680698171566937918232502260485817476747029597018017860969285562087473305";
    "29039230731296834920039750344384481514120570535308392319591127087253572446056";
    "1606438979398798927061442150774687036977037804022029261455207241963834106184";
    "13557605550047888935773187080216193242098120252733035588710110279228568211558";
    "4047232145173403805626574199652440367464599106022640127004814141382369658995";
    "13204459193235673971472938035767571814382424793239200188612833165825728682829";
    "402759581944588848536065968240655767930356875210759037966670648336820844993";
    "5838980428774315696686158048972148098130544622501946984994509263591215395426";
    "212043992009831062312891996009060873100128030094171369513299867713516707664";
    "876830352021192217070586013687495740327679213978361548752554043712663949468";
    "1723482914175782687995738495132376039217305247514006613000060283960703558701";
    "44897949014063901955262183967378762018315399981354658326614944928036171768047";
    "1720524035836460098857648729960831988475356761611522787537468077531871738788";
    "43232942027991143475140536337799285287865381320563382715279532867764648867343";
    "3252643389239528156413547074205644285947056504868291498315445124123379223565";
    "10501927276217087031424106573374495637897264496162726694675925473163376758193";
    "4325213853470237890206153973507029163989200227464401797030473409932385586888";
    "15305409251523914230874353354359535059788180981148256493285783828590358196576";
    "1739088134521595648770955683947418709594948489272099893671540048413474833655";
    "32836121401171582866382562943435811841830890811447454667735502397559445574318";
    "2901016800212051377264230669011255203902656783700704539355895622617107865597";
    "18815036596924530952853517621791049640817225487294772991941444704465338992056";
    "685537555661929777955438314288998219757370937229000935628653593362061097997";
    "26092577718767817009266451734151117734467338290919197691355008501655978991425";
    "4216357646309051699951224324469648916897535233092166120987090957075738738289";
    "31651422971070076111196181838264222722181140435327367724766310272862029937859";
    "629273769938900575895441455920675770217393671083647396550016241217499324566";
    "49724468201334828484280244583213965018137667667628337917834235809476876208008";
    "5210665945744217681330157776482926914045721426907722878216669851069550177848";
    "4935444078547826859305672957116002161830310503792073317090488754376244453724";
    "2370975635708536874252971855221791566193989512753728320307480329583888109494";
    "12657496430857347720763402849538700908097732721541800130804971089165651345439";
    "980832203819443439644734094470578305034581183188994771638665578524209909644";
    "27624504294839473686174359070380877344474774819842315451839377969297427239166";
    "5022587565141243376613052649543532876939784755313934472399483321884982186845";
    "32243500134899591779833917317813896966152474894081029615308055451608309817241";
    "100058643858172952146053373048806069099381607603198359470716853088744003679";
    "43109176463952975009536800326405985839082072267836336547187198583087609692365";
    "3590740318354650377127325932768185673866050589216143382199884746038685039193";
    "18785827894321389879001098955985664874180601797364691363126127039762235438445";
    "13890410008915784125744184986842184782250517952645936447684522270657173623882";
    "457536797603734775438134778206691653593049060998477675514667726182894217912";
    "2551079617981818063329006462059001797540515944940219006428117815680076858166";
    "21472457723313943353708874304761694714619626622980133761654506137648304099225";
    "2369717436916504560495435944043536132023039617669790790048479296810831115432";
    "7031013180680842790541369815824254589599329901607532766080140079583861127670";
    "3186817293579606399172870922861931912987218438361533401014989932520483054661";
    "47464742696121028517360413317566460057783566948463915502216100047989262604494";
    "4477286400678903183321675636378207967509823582920376282336875179455466716185";
    "39603832419325005862317577496738452690938824170495474989446912069120567958633";
    "2298800618215111452558013082674860261853363711292796156530795711139925791857";
    "14989846812350944532382882165944724612680358022683579364797569235893833338786";
    "3142685991363476580093079952421569893866001742073784831979945318714331027416";
    "43769651300419944305850468997800960823562418250967725486604486195418246726438";
    "2903010404487914441440543971760165793498717412157398998979659478200111849610";
    "9127217127088119714695972218791177892622662022240237903196570849597530951732";
    "3027763266097571236073965528146797815724807342368263722325647490051351338620";
    "45161221133645017886711261601412531524039384492647873241614048192451822952596";
    "5202754415287792674027662002817505616467813648816826423072323182431484254763";
    "27242140821789243686202266747999653182843137901581640581966605089789849278720";
    "2486352432460205806125626579336554262523134363643243180816080025739061947057";
    "548204231964608561639273529292263414738211059797673641169135393526364027262";
    "4716993594931512860903097324666779737924835078698720901019262576473692405762";
    "9506462229205667401284173411406418258324116909359296336613315546137690056534";
    "1391686368350831625873076044206727120952405196977265549638557303761750998100";
    "46689858246492672703651527423393431292021158320712191462510792543052803111584";
    "1580620578339082387096281340287752692331082813664818782512432430199720845842";
    "8766399310646135463189410004038455360577767145004053413178639873677861998820";
    "2658879060923784327242573848583806968749526761176482702552450732606621976196";
    "50023792217818549536250470523936352020694495495726497073388852837421457132933";
    "4272193681116672267015435255576813070070642689876644167010407346355080628052";
    "47324445308700031888467261626081375992699772780707953194100484365789882431454";
    "745357856006460333137090209500374787442676746021883329936925355341586796125";
    "49684264081550689554750192283845385456679466775345577580166109490155297289216";
    "2362271878323037569608969923690509680390263526712033638784386254822375382291";
    "18892236458444926391262493369877957647095161647121024401756307555714456905508";
    "5172043182544854738478432023277651888486154164999709997889182042094718363590";
    "47112383745286980490237728644604959772374713243485506526636290531977086233783";
    "2468514109210073002795444989278838981077281022625955381003550228078769970142";
    "10760484429579733150748722744770630969539979733239758562622191462913951088333";
    "2172407928705313709242510853013332534382543340814365168104730638847087842171";
    "6739500805755904550287601060022858357500641732900792528669270754636609260080";
    "1785796504238035894463054840331280673310114293716511701617293846491504923269";
    "9632508482164659471598107352396309307790306866273893677886800050425109716792";
    "3314620184087009191069387298030535408664868853185208251237161964919487311583";
    "24563068966148861590901041758592735266698568871660764465875702639116829646304";
    "3172137675500596733636646012235521148230652144749098341049366473486393549037";
    "15684550895396068515471028729350115969732417905333858769590344727369384081603";
    "700248760062686294999986760567278360019832000799190116197996203737634652720";
    "52307485942779459117858479272884228966231265749455272562573874738583619442420";
    "3883657152867570661880089300888026858157645675554719017373884998602380872572";
    "36723879950613977022517261564575507578807019198561897008776817934657868063385";
    "2024835079941342579887433286943199727995352689418525852979628443261099900191";
    "34307840796460362263279500909803958773744979234069495184913872991803774632950";
    "1194435145355209307254189344049195366662231267173012479411964865421960287667";
    "31014650885457826200510401438820002615957776846470325819050879782587513039513";
    "1948547531889945681084691849162487099956320106182019457285868979225032808870";
    "6993260155372174998814252121448583176110548765257321055692123275495549108628";
    "3628614090784348512068372896311673975933525338121052905825942452210572653989";
    "45808574143983102919560752637917514976543075616407947885927216602050326197313";
    "415726167905886898791646220028599685530282471266098241258736873574263892652";
    "38246990752692475328034119997100943294185371168683274197027902045227898059034";
    "1110392451982987995401832490062981110412534192161968804207082758239406833706";
    "27701822355979751474804532392435063061435232116617771073364561464566348695005";
    "4827132391215463563392983490012590712072004147843077585296803565588789328685";
    "7564632283106849394053909408180466805017839429085275010245344373283947508827";
    "2324327327872781533558464380069138496744200643744710345906001952054490919216";
    "13140798650640322980324706670787476707003590015760438979598890984450151901636";
    "3500199380257986467636891750311499575228052306333324812280355945306510138466";
    "28542459574187611357589932976824304434500408729772997945459318680944578211015";
    "3781610762060567361822388324763082672099242323641256901088184397031508534814";
    "14987021714744452231617911764306940261543565067899914241289807445701754462007";
    "1609241716573434851069322332824879589864503452452228361611682688852939169278";
    "34897051546770181831280754566237511483765525227934927588069926033737344741728";
    "1399786866593207439943434122192779159950880088201666748148964449373614133655";
    "32272666727605419884137989690354170945870520375570572628324661236539945300289";
    "3163147813994452717406281941248221080830294034049663043880208950896403668492";
    "23810679194694574195614528371448302918064916463216895875739808511793511307298";
    "3649117216925272192207726573369494771588983064037158465279599876172844009039";
  |]