@nori-zk/proof-conversion/build/src/plonk/mm_loop/tau_lines.json

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

[
    {
        "lambda": {
            "c0": "15667376436393661895747348759548305539767520663180507686455727181243654305693",
            "c1": "6454417028450629607427238524448055201469398359843724626399063286602088979041"
        },
        "neg_mu": {
            "c0": "7978797714702824709884883484569446689488715540212077176577838652012074446513",
            "c1": "2498591735075898321234476516153117611817750720971602828388060492788776486016"
        }
    },
    {
        "lambda": {
            "c0": "14104230235902169268499141174161517766299915250254524136157409315574095675462",
            "c1": "12630681245710642944024791367514254966374910701534229684686052464980645468746"
        },
        "neg_mu": {
            "c0": "11285690419114420806091159727332176974619052295750273469771420586569538567593",
            "c1": "16783080696247297378124959072447820822849824524402631663904348927678971609920"
        }
    },
    {
        "lambda": {
            "c0": "9179545782132455005596687650238949028429048151474861797019822890852983986283",
            "c1": "10101984361042217818602645944141485481783144231344305630948796259175167175812"
        },
        "neg_mu": {
            "c0": "8350439164333800436134037688057892807971367414362805667716832552106161253531",
            "c1": "17694300637473579548325053290853374248954148571379568491392832743372386499182"
        }
    },
    {
        "lambda": {
            "c0": "18617100719146754293315209195884051425935601185176895271653683454930440802272",
            "c1": "8440751665551679736927742679326653355598536088084722602933351669032838754941"
        },
        "neg_mu": {
            "c0": "12634206226687889424581493467396118734406173463323437989683211738578662155222",
            "c1": "14157202054911453094561357278283285046981820480364773790652915999415814493937"
        }
    },
    {
        "lambda": {
            "c0": "7610310868747200349232539968981474372824447089235368043661466053543658612035",
            "c1": "8999673358950938378998476591211309468777752941518965049045860300225740880372"
        },
        "neg_mu": {
            "c0": "3598120085285129720307979825677744837147212767305920514097220615167667010853",
            "c1": "1691590313632396543034145710867990489442658231837768907298307157637543631064"
        }
    },
    {
        "lambda": {
            "c0": "5071526184241644066924082347977929993282569073368204160615939923193098999549",
            "c1": "14975051690623878769824633622772036621896047127848081102005381066837961465539"
        },
        "neg_mu": {
            "c0": "4925169069438087988882658167710903805164230902427808407107134531466332881369",
            "c1": "19801847987694243693923070044346120242392169268689538806675066801447129626557"
        }
    },
    {
        "lambda": {
            "c0": "10484650746439798289332002225959900330775083426501940684029697591007974643916",
            "c1": "9108777701311572818364410935530525631112688860766961583257888593042726018369"
        },
        "neg_mu": {
            "c0": "12461563614170043961347487821742298018363717429518034011586001640647476358944",
            "c1": "5265798200999319380182568787082058635221662966952304641572518603848588956658"
        }
    },
    {
        "lambda": {
            "c0": "8100114463269174203360381784191431545578641427586549737087720317838447845404",
            "c1": "14515222471502639202135765098129482663536483622607143619679646607329803742684"
        },
        "neg_mu": {
            "c0": "21565464869850911369186844054089035157111288722649363309754229285743568422315",
            "c1": "10829726610605252490454602652932862885236974606799381390649363409374004749033"
        }
    },
    {
        "lambda": {
            "c0": "11609456692136685134778696784599230845818983429577382032453663418436426399880",
            "c1": "18663231027462652312276208058118117571728774886807137277910330578023723352581"
        },
        "neg_mu": {
            "c0": "3582405357150158349738125308601705111633645406194477970206356362017836678199",
            "c1": "19610208731521864851029941915693432134248635883859012647033277501469867555872"
        }
    },
    {
        "lambda": {
            "c0": "249242195147273120768511205619026565312184714878102223515787905442333021286",
            "c1": "16425948976470919022219845872692868554091978506729875425766037344626364654862"
        },
        "neg_mu": {
            "c0": "4159110088197245169544114585987855678716511251033656977701994748553149206340",
            "c1": "10576888809958005538138619904119886602312410261202470134652697777333257239218"
        }
    },
    {
        "lambda": {
            "c0": "7490549026209893810476088762017476681489847437898353280313817174425184776615",
            "c1": "3651737769929068170219871834952119511282818496987433820321437971801260434557"
        },
        "neg_mu": {
            "c0": "11402273122334127297017359492807681944472267690141475816323434007429157993815",
            "c1": "17681051640115458609947183126297175199867244894179150129658735660276176073170"
        }
    },
    {
        "lambda": {
            "c0": "10069073293319701731370876396414357285937759664454635895487340166994012336728",
            "c1": "19179822670261863286007158095167030515445131886680807896240599844142230120876"
        },
        "neg_mu": {
            "c0": "13167073944578391429573375193878509615970610610882029634460019232350539929015",
            "c1": "5000634289116031374524377118076559624497204087124874267446137754694439148722"
        }
    },
    {
        "lambda": {
            "c0": "20710535508184928893117569562505717644037690786496865356260717182138699042410",
            "c1": "4170276772776423737057042674825896837878679101681839819275569754995837307077"
        },
        "neg_mu": {
            "c0": "6987540445221996868175104121357581713063945766755076707423954306276828610930",
            "c1": "19733005314663073010387321582112101621217633097074058200775359566179690735891"
        }
    },
    {
        "lambda": {
            "c0": "16232230569119354889428328639413286759645035641390121670707952079574896311425",
            "c1": "5066967966330515497603728302421432585233117225946769502648887990468730790009"
        },
        "neg_mu": {
            "c0": "8141384022199593128855427814221873808544124030503642721791468458952064507005",
            "c1": "8197808625551093079161990998363842545731953609583677171919328575393086008009"
        }
    },
    {
        "lambda": {
            "c0": "1413540176310935540285882944623956067394796236741520322524043424480563222708",
            "c1": "2235281977850004142346592820523675458640200760346603346159448483576240884862"
        },
        "neg_mu": {
            "c0": "16146615196423334473998203326901252328042971295991683424714599417210701025407",
            "c1": "3104600845242722161901876525181181488835744600251137896350805766934029350642"
        }
    },
    {
        "lambda": {
            "c0": "7639844992807664969747187694458365486768288210908008651297736443484799877307",
            "c1": "21351516673042147073363680688039726052601775372161737012082063292968499626937"
        },
        "neg_mu": {
            "c0": "16880026571744140046965370246734487671298976782214910249239680172076457486347",
            "c1": "5712559279546074672987242393364735950240412287563303672287647875379437338782"
        }
    },
    {
        "lambda": {
            "c0": "17319413512463392621416752440855909341824953110209836004367673223902387783616",
            "c1": "21329568922969647578644072321455152461494706103039233651294548625156237628224"
        },
        "neg_mu": {
            "c0": "7978588657377022419307753358169734673433595200721810030003949986718893429485",
            "c1": "13148926344456219285474416428044937672144810040013049817469765198474602709735"
        }
    },
    {
        "lambda": {
            "c0": "272248768018876837751982426720606616471499599384729740803551677627284482961",
            "c1": "13569778792494749686626864902192812890675334593946905320471345794071417202087"
        },
        "neg_mu": {
            "c0": "9191665139532957131540380490265783189605799012146272382378870781875966385634",
            "c1": "21210011067922939132955096493792055508446421941865752307429522204035321241888"
        }
    },
    {
        "lambda": {
            "c0": "13989563267361190324501413949084427848291190067072735449019961184245456287707",
            "c1": "2109458618982864633472497386991463323760426026683567598183291104305555866645"
        },
        "neg_mu": {
            "c0": "7587257210956359081747249671102604291968229360094394058456186331126467410133",
            "c1": "1027355945564127490331131945573986709776162701479783508934673312416995002920"
        }
    },
    {
        "lambda": {
            "c0": "19624910554734539448855304150905598876579136682355322830528303220540952357264",
            "c1": "2947522518490093907778113247137173704130825592803506257942418187255367550599"
        },
        "neg_mu": {
            "c0": "3247869340497119463121483333167965843764979014733769032379860437258105795432",
            "c1": "8514155656086741195871788621633889536661012903810035582945281408522472060291"
        }
    },
    {
        "lambda": {
            "c0": "18341712742848383280154804990854505215692233322197084490535673909983545810543",
            "c1": "1893443705817864496898202882819984820832924247229997674996532918603913075605"
        },
        "neg_mu": {
            "c0": "3793343924905527418495164783242124518001035358431550820364319522143433730242",
            "c1": "20530071673382802961993988525242722906506432405985735668845213967609554737805"
        }
    },
    {
        "lambda": {
            "c0": "14531646726901568108139704661497162213325972591947127372876221278495375118781",
            "c1": "6978873084478842089937848101856293842398010673028027627734340301839343990121"
        },
        "neg_mu": {
            "c0": "17383980253662579164589947478615790404766363155261056376389023932341701059867",
            "c1": "15273033007721421089184953705487307903519926982050079824113865542635931911080"
        }
    },
    {
        "lambda": {
            "c0": "12928579985878285830732499091929422559560541041734440448360995817733163869626",
            "c1": "2693297605602130929269160483829547616169985010251317347161791110312535814954"
        },
        "neg_mu": {
            "c0": "3946152556617432916073362462746070964340502095267694253928519390705567508628",
            "c1": "7103821625067664600215603727838466464992998803479550558017000164325319646825"
        }
    },
    {
        "lambda": {
            "c0": "15409279910712626732662393507740454692441552045122875566438557050913922644403",
            "c1": "375005877788154531342826344425354777161548297358255665426595717293286092741"
        },
        "neg_mu": {
            "c0": "698114772934181653074185814392463180077191305559904358796725499729246621518",
            "c1": "4852985142087010067111734981322728440719731957853484075133137353979272172371"
        }
    },
    {
        "lambda": {
            "c0": "7129110849787355174234970358929499122291987316788223169383625320733767629251",
            "c1": "1711591929148928256695739395062991957567088376031182634294309060403371236637"
        },
        "neg_mu": {
            "c0": "16840437471058642418056944606351312432395286008387468751862565927665889073433",
            "c1": "10539528298201828335050115648650552841994295899088771994301267308847458558633"
        }
    },
    {
        "lambda": {
            "c0": "17854047808819067173164220483727837491858530154386534957807903494997621740488",
            "c1": "12749402506762050004656843627701314363758074026162637100902177564040340263876"
        },
        "neg_mu": {
            "c0": "11501987166259006569635646861549142226956440485906905179469750643154163442755",
            "c1": "10036258002163524558833434316591017044135161844941420572656525528597612792788"
        }
    },
    {
        "lambda": {
            "c0": "20947374267424692543281728946097645242469057242158674201743266633033406223473",
            "c1": "12785501622877004075303940714309921425691628650502293650853812310514194602108"
        },
        "neg_mu": {
            "c0": "6396065416154747603971204017049939788722266077997126605536660605709058367966",
            "c1": "7596742523890529360706867803073109867639161105943306114297432152566192992585"
        }
    },
    {
        "lambda": {
            "c0": "1694091640798045033265589389049933614591500640943942485075720401351285562318",
            "c1": "16192923220060664547912448756722930922152990083119437442782558054772874104552"
        },
        "neg_mu": {
            "c0": "11986763695296690616134845300989085330243190912570041430012576822150440761418",
            "c1": "12534762985282725681779740806431464183950513086329427523172470035285251380419"
        }
    },
    {
        "lambda": {
            "c0": "9251578577875226537779976085463769342917061583300857769227374341460492882530",
            "c1": "6459880131541846715898994456056090824741283858904247511047867712802855448606"
        },
        "neg_mu": {
            "c0": "19029397542271615736663577202562581393801360861974331874595835977181842316429",
            "c1": "11333175179370240550668175145093740391906835940512056666690743092346187998726"
        }
    },
    {
        "lambda": {
            "c0": "18564482388159080924794180300331301896781278478490234171820935286764186778314",
            "c1": "19170469177550260208474528759031791746498344823426370977130092913247665333396"
        },
        "neg_mu": {
            "c0": "354907715462611660596016051543954066437278388845752418431348255004386400375",
            "c1": "10382442596610475809588961562554591589932979830183778212261554699985723662532"
        }
    },
    {
        "lambda": {
            "c0": "20581708495017290702259774611551088091382742104618066364404536231960847235909",
            "c1": "17352990218576838346252077816564919970031188241294758837309401524529667720508"
        },
        "neg_mu": {
            "c0": "12038436190356926498848143013347883296802363708697365924580965026723086888446",
            "c1": "13715540873560093221263248803380507838459574371984653852484778152824615346071"
        }
    },
    {
        "lambda": {
            "c0": "16854066082876383051854385099899458712285869903834609915497592423515930224432",
            "c1": "1065891439414773831396958166755836437634544796444299332804771192630962717114"
        },
        "neg_mu": {
            "c0": "20260862658058740340293099313556706521031046485364315594714065686308233134952",
            "c1": "236337935036123078748620601811801916001626458237391159250014919690361322867"
        }
    },
    {
        "lambda": {
            "c0": "3341357418754317254904888794602913441606604808512443855036219963462749922296",
            "c1": "4978575055665794867648935165599387139793491785427474116371803352137568371073"
        },
        "neg_mu": {
            "c0": "3953056007153084552539241955797088851865975297691850072426671459350348769324",
            "c1": "2726639798068096920629385879865702078564672898333652391119632216835573373023"
        }
    },
    {
        "lambda": {
            "c0": "5800436449846410306118425043613990854054407025203767508993821069484714034790",
            "c1": "5017626794788324319669476741917789331838285215351701780556967776147716710876"
        },
        "neg_mu": {
            "c0": "7741841190670340871607994596262881483173879516030995671303226084032410677521",
            "c1": "10730082432280050377266249640648201519467493201752839407952392673796866646789"
        }
    },
    {
        "lambda": {
            "c0": "454881166795415667229542083618927037578614284611186612286193050066280465386",
            "c1": "1877738522510463438668256123574097747442166431649094759096647841825968202458"
        },
        "neg_mu": {
            "c0": "4286459537652611005991926441343038001820628457636942302424127393034359327209",
            "c1": "20149907150255346113191459858208607997182049898281365988168105335607119466303"
        }
    },
    {
        "lambda": {
            "c0": "9414560266787368642739752579052408611057085121057559738987228943337321190476",
            "c1": "2744739846192686463892439461362389778186471302429468676749102979156598701046"
        },
        "neg_mu": {
            "c0": "10602932195342061258503145746335925743896446479255276344533497512644921878542",
            "c1": "17338910671875995718455404601123928490776220261985675377750403698229658258710"
        }
    },
    {
        "lambda": {
            "c0": "17030150248231474089081771072313398489140136943947825922194002974878256707156",
            "c1": "8583421239752573003388748795205420018052597481757124929798569606725294489440"
        },
        "neg_mu": {
            "c0": "739094777450660233230884686902095148773509647944561273183028958001745118231",
            "c1": "4537175190634523680841584391105202203426362353461611641285610785700493036881"
        }
    },
    {
        "lambda": {
            "c0": "1721177342950575670272473136019617120348427030163339382353413623755892921057",
            "c1": "9870525658627573532397942081605156409623854558650807140001305958793738781173"
        },
        "neg_mu": {
            "c0": "2898622359906652808835050566118735326247134516522533656499731687654180556063",
            "c1": "3064550711312523280922838241502233211147903664169690229988214325005077908059"
        }
    },
    {
        "lambda": {
            "c0": "14472257406933650479120261435459107039110202976821315287369696213613967023790",
            "c1": "76685118278057468288418078455118229861250104039708400967605024554263387158"
        },
        "neg_mu": {
            "c0": "7952957445844943076671062188471518025255051819626861784909683543980135440750",
            "c1": "16234457553706704591516710479895428585231300884652463636343167185124328035064"
        }
    },
    {
        "lambda": {
            "c0": "15362530762505956787275836531870221995627593018002032395085031538615836119415",
            "c1": "20573148123977589300191784061395843743040846606451125982992004432370648285409"
        },
        "neg_mu": {
            "c0": "14014582579863340988091465842247966571570455375197119594417743781773101914929",
            "c1": "11093569222202509308477639767595279276505220631731379163447965031843673789910"
        }
    },
    {
        "lambda": {
            "c0": "15991567728955411069979974709505009422391801131138760228255186338604905788185",
            "c1": "6621667828289671028862949423536778878766795387964541175228456791543347231585"
        },
        "neg_mu": {
            "c0": "15895740311031257999300417765203120222348903465589977198521426547456885870634",
            "c1": "17526915118020366698061101787829501826424147643786488970302344251789043455644"
        }
    },
    {
        "lambda": {
            "c0": "18720840954490757324930312222239721892048366141055742917718770970610427053730",
            "c1": "2770862729943722637260066243265714295583969238068270951738366188615258944525"
        },
        "neg_mu": {
            "c0": "15936908320385548859269883193823640779087451236338531749262268739761510902079",
            "c1": "18756137109242650755790069877067432496791268061785263144797482959815852284550"
        }
    },
    {
        "lambda": {
            "c0": "20550798266462622389540202496188289152338217684651565403617972756396677830830",
            "c1": "46010230923090269023364176335469292392440019463736444047606354307291745010"
        },
        "neg_mu": {
            "c0": "19012358053018448930341583748539212229053988810123748693558361298470435785819",
            "c1": "21003970908547635170262621481239418972695960520608445949864948925664430002590"
        }
    },
    {
        "lambda": {
            "c0": "13724171416628732790361479268393438155872193151566969550001763333208529581314",
            "c1": "7743733655179514011296895475635051065318221424450841340078256359567625523839"
        },
        "neg_mu": {
            "c0": "13037608686369630113636687266719650756224796371890905585481955074721916293284",
            "c1": "137568139163165410444784308453782313379993445313390964514961432039552815606"
        }
    },
    {
        "lambda": {
            "c0": "2834753771338336589531220988795554052899437792853461993089594077634433376987",
            "c1": "11489700865338585942954121407534509286369053959504412891628898686209895498961"
        },
        "neg_mu": {
            "c0": "6546668446986826633989133426272333771236901924145635424903381107207501920044",
            "c1": "8864843111449865957712561709491251429153266001836623454365059268272915438925"
        }
    },
    {
        "lambda": {
            "c0": "9105240577704100257703172204408741622526938803787330573195426888187128544122",
            "c1": "8457813338699848180247938382332467964834749681218450164377900792265728707117"
        },
        "neg_mu": {
            "c0": "15122916148024783088117333167250044922219022723401405434829292415484861765019",
            "c1": "6106207460502074523611222889015083563662068134527200636133379918401837738392"
        }
    },
    {
        "lambda": {
            "c0": "6750020615936151714950191036030138549102408813625288067386618955168547905124",
            "c1": "21530246535428061112998357625137529784782245154169424874345097683957550350165"
        },
        "neg_mu": {
            "c0": "17784188700822608431878898783022326913386309439924577018151541334420926184627",
            "c1": "20766260320379780431339116237065565063271070874864733792472034220159862975190"
        }
    },
    {
        "lambda": {
            "c0": "3529410332639253861921412011763875447006294468020518893881688202555356200239",
            "c1": "20123007133270312011257158943931909324347150915916000240344744759510493213701"
        },
        "neg_mu": {
            "c0": "9946540540492918074624511631774467142359162756774963672068188101044476383978",
            "c1": "517093362910985688018960751339604331537039036776791821164331705525131553578"
        }
    },
    {
        "lambda": {
            "c0": "18431966237206251545777350833810059243993537478304107139299511048832478718325",
            "c1": "13453276198722699320932647910295087833248528095253804901113185359265119576758"
        },
        "neg_mu": {
            "c0": "839924454794734183459428531888246117815489111038527868014300914449878253389",
            "c1": "5070573191182304090260548892004623355521456278761644948101162487883612755082"
        }
    },
    {
        "lambda": {
            "c0": "12943798659896695209360487992602425595612905012636648280369299000779794801955",
            "c1": "11124360323443209500924227840871257160406953719886624107427426168118735827830"
        },
        "neg_mu": {
            "c0": "12453192415613908453856886057876642215340120903714158040633188352543707968617",
            "c1": "19646327569287859101345017589280669961588757326669034088129142421044901147910"
        }
    },
    {
        "lambda": {
            "c0": "12580987506834447848639422811704817845265205266936010295587402445069485953835",
            "c1": "15667188012880368482994552565395900633253141177953236096449341286539720921583"
        },
        "neg_mu": {
            "c0": "6101800363141913630484136664861220999399528725658625330615759774218217698084",
            "c1": "2317982845803507225173428919611274660689569325905743448204055683510898664607"
        }
    },
    {
        "lambda": {
            "c0": "20044257584245239788593190240695133190893014311772532667616267494633661662573",
            "c1": "15224728228542100883356963794076910913585592606961000602246079789192886342576"
        },
        "neg_mu": {
            "c0": "20175780350671855299213422249468471309527846638173570656700974286264050487541",
            "c1": "9516163728637569331398038368388579106765650815752975651765330225543264923944"
        }
    },
    {
        "lambda": {
            "c0": "16551723614988701832064457692203947367967774713744183719964747464809574000124",
            "c1": "16066672491770891185764391837218319735171098709937907610934804393370905510248"
        },
        "neg_mu": {
            "c0": "15539286704240598986450417047397606822871390074480344185680029109894510680943",
            "c1": "7595823072598240992092637456376705716523432040315849164840587654789832103665"
        }
    },
    {
        "lambda": {
            "c0": "8491669818954356859408071906095948368617528112012496262209442032347310381668",
            "c1": "9333390794637278172383449789387213160310639810843557275645195561607682029357"
        },
        "neg_mu": {
            "c0": "4243812227435385869181686185190157585397756447513264650084653320177671293164",
            "c1": "4593616845656811212282137585987099418665514552260255809642161211102567069026"
        }
    },
    {
        "lambda": {
            "c0": "962144654272402022859372957190914100138437235616745372572531801512921624200",
            "c1": "18013189069852767650934201781174544872355048857384533592947092255825892052875"
        },
        "neg_mu": {
            "c0": "12645498962222710162372908344789505030330594029805651894256371910401550270946",
            "c1": "448214164812514443827975566486355234700688424434300813049545713080675913267"
        }
    },
    {
        "lambda": {
            "c0": "880754290964973274250686944768808463822103046654069279958750393409394380325",
            "c1": "11701714002273373401412338931424578288532982080119166090123138020707525772898"
        },
        "neg_mu": {
            "c0": "19640136717392858439307562136139968022630101981794620415286414954948223607101",
            "c1": "13570932385692434274235275397744904769387835071104908632587150415904937763073"
        }
    },
    {
        "lambda": {
            "c0": "20873307569574801636507058461066970875484208656990495801400680689449529493371",
            "c1": "3672530062403071479875366941479526384992350048842537296486568764453823130073"
        },
        "neg_mu": {
            "c0": "9468370146157983025489301861528612495699432990162522031730514990305289398097",
            "c1": "9440158116525436157399876594270348175974793397776338835467948881589515286735"
        }
    },
    {
        "lambda": {
            "c0": "21689871126003637769329509968903158894839584636789529237367313183039026274120",
            "c1": "5521264617098128723769497321322444682318002613286806374531061972038859339497"
        },
        "neg_mu": {
            "c0": "19799439107541884876369609582453262592777352377148644868015357862967128841886",
            "c1": "1762956157625416177259302040775297648611296757923954787761953249717928419457"
        }
    },
    {
        "lambda": {
            "c0": "13887480092586223355346341626106847461419754947632478462467492742842271597492",
            "c1": "18509851606305556038232673625292277030652083577191276680567919923621923062552"
        },
        "neg_mu": {
            "c0": "20427209975942316358605013302511708287633687479481562021818304087172250805642",
            "c1": "5373437521643471349722110688496364041508494772612099574598712706533575941354"
        }
    },
    {
        "lambda": {
            "c0": "12826808571390877498529836693887485128147122765857753734501743476193959746537",
            "c1": "13502844849717730829754882190591428937358188162887292153514466391948049955766"
        },
        "neg_mu": {
            "c0": "16807100220701289092763898432617136661039546907110774816683249325851421065431",
            "c1": "21271958385435822216285720272313499113004630375497347741392639394429443205592"
        }
    },
    {
        "lambda": {
            "c0": "16188259930841895177333668303345815716766506372064942228233582769965220306602",
            "c1": "5038662700317073929493243306309803993470980535965613706332677352285731180259"
        },
        "neg_mu": {
            "c0": "18247023146609195750465822124938017725390329658341975218446984976496416693709",
            "c1": "17760529519076929826891323416712076179949151461448285245266496502791599510908"
        }
    },
    {
        "lambda": {
            "c0": "14180486346455661921955195970663679622525245685411782416870993795360104939888",
            "c1": "20731724501884979595903053917003012334830755505767388417310677427447173859046"
        },
        "neg_mu": {
            "c0": "16711478022403632075510812115128609584892304940463590397593948322775075713046",
            "c1": "19151731550738642920442105053607244631057359888973138017140438913198296310922"
        }
    },
    {
        "lambda": {
            "c0": "830695419832840304100047275135207594874621698578089259006840385131593284404",
            "c1": "15267032442977941794265455513088247079300182768555057296021000347482899641019"
        },
        "neg_mu": {
            "c0": "6403395094098682604679676165091368908099187224044942029618160995446667244171",
            "c1": "16068895565983312309074914936106507938432839463489167500709304491361208949692"
        }
    },
    {
        "lambda": {
            "c0": "14767446888147443040597295705017880385357210856895547285871447303113121206316",
            "c1": "13302318499184516661109458570240874650806700687716407476531675900081805078352"
        },
        "neg_mu": {
            "c0": "1964345475415025830631725011421966553054731129665421934087914804887309876106",
            "c1": "2260039654933578736819423734423317608062571711453026834995414161268277252650"
        }
    },
    {
        "lambda": {
            "c0": "11005157347677225392991554633446766973034373638972537337180804536042840241165",
            "c1": "8711397578118821703274380764538394543028125816512136466759573834410159855857"
        },
        "neg_mu": {
            "c0": "14265847898308616726507174662973813447587397974794285642451211607254221784279",
            "c1": "5045616443788556453429971313771453111105057357654355585863927823552285416961"
        }
    },
    {
        "lambda": {
            "c0": "8246629564278188167923024098521730748476489558713231031316437912044604757448",
            "c1": "14746411128353892110860344521188629154870319817498048062426074113371170928047"
        },
        "neg_mu": {
            "c0": "8945449859880309413234473806802300433875558639439882787381538286678877924201",
            "c1": "11569068931448234977547773539654128054516837390594260956991942967686782064139"
        }
    },
    {
        "lambda": {
            "c0": "3931472238154953862539832847943643999773657730394918272830920518183701988174",
            "c1": "10252157420558974342768340062874476539629664384962278316011635577980403172839"
        },
        "neg_mu": {
            "c0": "17981070494470377031435893769791992330200826990249336914441557336395411437749",
            "c1": "113600958582802570148791046782227475464258669627937754435381115910836966094"
        }
    },
    {
        "lambda": {
            "c0": "10033846600088943866537027840343507881608289520060759155592723665741775984342",
            "c1": "14124545123646235295834817953401678345031478083845876512553742731689374700699"
        },
        "neg_mu": {
            "c0": "5336643264180259686159772496139744401205555299357373553581732367800394041959",
            "c1": "137235568797309950942494222495620839385309218560113728567752562501919098091"
        }
    },
    {
        "lambda": {
            "c0": "18646140878379987990688825425574194984060845369491061065001460565340939655310",
            "c1": "8502160702568550829948887776506618779844920959790387077451977153775815411733"
        },
        "neg_mu": {
            "c0": "13050950340073949318361279485704885407906025399648146913270619658356460520488",
            "c1": "8682336291424571261637386153971825764180072111837174448229423449547225139837"
        }
    },
    {
        "lambda": {
            "c0": "51713244369586062771291356919725881652568156943705596472919068586238261759",
            "c1": "16876266332012996550770061444485893421587834510659986656529565103406268019178"
        },
        "neg_mu": {
            "c0": "14553987978522761724140290756038142240186279326401859906118029788143174238625",
            "c1": "16116747787829180807622812218839999246238417506796231953998612603704074160395"
        }
    },
    {
        "lambda": {
            "c0": "14241573426489629951008282684351769121436048000467692783205569566007717410149",
            "c1": "18627461001597542412264484136849251744083739195755074117449616315255024215326"
        },
        "neg_mu": {
            "c0": "21715348294262974047550105476176966603637402836340253978207716040851799970388",
            "c1": "14865383455355411471845781554123247982624629836784924949204922372205753079766"
        }
    },
    {
        "lambda": {
            "c0": "10453581281757790785589470112291589674241620523657757463121280702060625645778",
            "c1": "19623469186250609172082178651925521258418686044009608633463032922726130791913"
        },
        "neg_mu": {
            "c0": "4680784832160908750231170934464912447623632275367291071429381143585221132279",
            "c1": "6877091844953808402423467011701015752368085474093209886380069730735124089441"
        }
    },
    {
        "lambda": {
            "c0": "8126846272696699606803135665848738458898551563616494729570249793796399120385",
            "c1": "367746335091485413047054182898917933820349231258433366272447721880501111922"
        },
        "neg_mu": {
            "c0": "16543315485256162143085487992014904402721134009036227087692052761206647661818",
            "c1": "3171816081891893581300402645948186088130007904832187229014665794266414251656"
        }
    },
    {
        "lambda": {
            "c0": "6336174708005472066583674214214287956210659502734022445136303615142812477193",
            "c1": "12908665982920266408177867890164665530232671916040035152410911112405171793553"
        },
        "neg_mu": {
            "c0": "14331934879937990592721042720610606509484888573827861796591960988358441989356",
            "c1": "20680784511317619004863128427845008548053298436892417228168777806013980802789"
        }
    },
    {
        "lambda": {
            "c0": "18671925188314608242522228242050376839953091426873854635908602771394487154621",
            "c1": "7515363717684686513825372026842874937435143239685005411783656862590793404121"
        },
        "neg_mu": {
            "c0": "19201744054710476358912164796743424306928000501358718072782308425588269177428",
            "c1": "20942917705276874820407870112465445645973699126118779657471699421769061499273"
        }
    },
    {
        "lambda": {
            "c0": "14897800756027322664818213690027110079808145831072968102874906062020200388224",
            "c1": "10405555077535190045024847820045914720421258872676285690656656059166793578487"
        },
        "neg_mu": {
            "c0": "6627428203243495053594287505887989928771136469715816817168936668812219211782",
            "c1": "18394650719589991234057577649490804867289863135991569478195509083444164148545"
        }
    },
    {
        "lambda": {
            "c0": "18006729745323770389711052139468654171034340515435386345471173694005419860569",
            "c1": "13022835371601576745928379104021662255795350311666976491701992974856633982021"
        },
        "neg_mu": {
            "c0": "7332809581198755673388082524447053303866720417280054984609268662128035762635",
            "c1": "19715089414562487454515592600455862270503915174128389366049421953073526942910"
        }
    },
    {
        "lambda": {
            "c0": "3308271806725430741982591992812711807103772501038063520196443086471186990522",
            "c1": "4273966431301689102091841532549104825488773515371188379107823137562173324731"
        },
        "neg_mu": {
            "c0": "12901578705155417915941596738873341582938808863092005276939062542381219585261",
            "c1": "12512666609007140120690938169293582665499203586619946821975722022937391235845"
        }
    },
    {
        "lambda": {
            "c0": "9382092162252457053971555262099403096137053164901031246472346658433105386562",
            "c1": "882759957305747434503345842251922177036413288894571220564887949669514878642"
        },
        "neg_mu": {
            "c0": "19118556777408974147865618287479251427194412201986856904857036657402895411198",
            "c1": "18129139679165679254822003447278893319316198394844191284606552816273439571675"
        }
    },
    {
        "lambda": {
            "c0": "13177855221866399216671956336797652640911587884706239441492950031020218069844",
            "c1": "14951835798930443314577028333646559730143880452699568901374395160890613321047"
        },
        "neg_mu": {
            "c0": "13533612637326382229243179848490611931297574491534367215650277752699024012869",
            "c1": "6462148559182217481265935161920513211210567391474505226486320630097546831795"
        }
    },
    {
        "lambda": {
            "c0": "13351621641031383063289313183573382357583687270303913776249968649520713981805",
            "c1": "18402054642594422219918682297372282179161959139075373747130012752538186964504"
        },
        "neg_mu": {
            "c0": "18452467905162008138546739576559695463593054624963451189671273257850391065782",
            "c1": "3451529321636460230268003032003615246424389520261752463833445446012650793419"
        }
    },
    {
        "lambda": {
            "c0": "12176741044750587836631316225122313777205637711571597865996298746233543510368",
            "c1": "13640823463171940552296526735312718100927879899913725385659084788778759178270"
        },
        "neg_mu": {
            "c0": "13099762253842335033200091549785960618308264429702602806286403517468108663809",
            "c1": "10636916700809321805754493601690670248030116311827769292459737311457776125153"
        }
    },
    {
        "lambda": {
            "c0": "13669501790940092016789527654166063189327290011055704728312156874183050573864",
            "c1": "15926669409503147111328542389384044418219973671563096711014437876061183670088"
        },
        "neg_mu": {
            "c0": "13634146440438420999841116919871288463345771888155059157774979494878223995140",
            "c1": "10634986498576824289802767195727449472371895449161001163757879667062819864718"
        }
    },
    {
        "lambda": {
            "c0": "6951084603198889587699349108053193815407040720135314087556643809461734101308",
            "c1": "18087933442595235290735009065759832784414790279574727946253560559388033089972"
        },
        "neg_mu": {
            "c0": "15870835862520033962755254701237434001050297145176772292654391971534695419553",
            "c1": "10655071526579333833418083502715953026789243094307124645106912044413698646538"
        }
    },
    {
        "lambda": {
            "c0": "20101051024794807244133998805721379171744168005813910525532930758252502334709",
            "c1": "16631204649943593620391837843308759906645728471583869371093781133849428249623"
        },
        "neg_mu": {
            "c0": "10373956536350985807687750297737347189026963397303596495926878028012432577942",
            "c1": "4627662858002940544424514380546040119106806541944594000976587783242181237951"
        }
    },
    {
        "lambda": {
            "c0": "14080852816969193367502815984963909005110597113739555969639504724177087379731",
            "c1": "13104363551085454776717425257997783860084026783252906654299214289870701797086"
        },
        "neg_mu": {
            "c0": "13281556734350127675164020282055877210773560623494395480940321668589189209288",
            "c1": "16349932702493542261555738452576422059713797941302158138074453815304910062449"
        }
    },
    {
        "lambda": {
            "c0": "6837214869711552453653799029333709420960426243402156515971489752894914957105",
            "c1": "10701497517527556255774437665158235177481433476896680534430084028375249533203"
        },
        "neg_mu": {
            "c0": "4538027215142117697793353237329941284333358879876267427138436172151014199070",
            "c1": "5095577105713974615561412712011512279630109065210750953874469604088693081101"
        }
    },
    {
        "lambda": {
            "c0": "18153290573373163146453613173916745158422421817605383633421491586339048318874",
            "c1": "4524206001874062149578609657329269028764625539829649520320743661351155814328"
        },
        "neg_mu": {
            "c0": "11338005357430700998796134839987431382033176334873986271791988277299817517982",
            "c1": "1722145885718537763042452047057597198861767732046120390909863868971757604751"
        }
    },
    {
        "lambda": {
            "c0": "2184039743555926952215952651666619397808076287257510702675012385552046792257",
            "c1": "6674939645269857247259296341184350702722787252913474458907324218390851601795"
        },
        "neg_mu": {
            "c0": "2076150010441958600516604294961137691120026045062125670372653946651476957349",
            "c1": "11901948712708874522052012911770070378799685034767441775415748490634336434041"
        }
    },
    {
        "lambda": {
            "c0": "12310229915539592444549562338574175101195913136631138075475902803782180703649",
            "c1": "17317213214677745876511457167501302309400390197073236756524667989972914655027"
        },
        "neg_mu": {
            "c0": "12231726162548866153373835821947133289310981265707464645249438270919617884063",
            "c1": "19957040586401561814767011637813341034658786386190047992622007023250847082356"
        }
    },
    {
        "lambda": {
            "c0": "17188699688880061594003398218487630250153444385057796868392917816131034366016",
            "c1": "7966494322545402508063065071815353882831794184349276039954451258534234713241"
        },
        "neg_mu": {
            "c0": "12427230146395124476041840926975517375918866901051144875749192327164552375824",
            "c1": "14582564404044366145024148133574236222924502234656473906062099125359766137634"
        }
    }
]