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

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

[
    {
        "lambda": {
            "c0": "16053038067190296367468596356094192129022731063914732179120945019446884619221",
            "c1": "8255536868292620944764013913115571796604549141481799957648719094616980280887"
        },
        "neg_mu": {
            "c0": "1680434087217908762188513888731180967069012235541138281753317594838287941133",
            "c1": "19491433686921975987918669077017867748435767299607210121547313497083429353042"
        }
    },
    {
        "lambda": {
            "c0": "2866671387143057312758457891194409217641192444825929176264257573564190519667",
            "c1": "3890232258320546922215479227857414964620855826958773252291666032355197288862"
        },
        "neg_mu": {
            "c0": "7749092998155081492587892839894885373385178730066878779593289273142710750567",
            "c1": "3729720676290021975595121329442563455536279394597026602399669305585787533272"
        }
    },
    {
        "lambda": {
            "c0": "13653021335857057497738316946631856599762099348894342724956986106610726935992",
            "c1": "263253999207685837260987206412553605669041817913210783746116602090146382570"
        },
        "neg_mu": {
            "c0": "20348378478608120338812639349974340732102235507506642310441900724921087826247",
            "c1": "8566792459109340182179639521038613097990900893660026554466166360331455617193"
        }
    },
    {
        "lambda": {
            "c0": "15260523180258139194726563426748558006756859427476543159681729357052622988171",
            "c1": "10363917381803769724909852020564711434732148656379605723802283262282760125772"
        },
        "neg_mu": {
            "c0": "19731985605225575090697166005028587616606038298772396496599168985556363200631",
            "c1": "7373556318285282840971580083079025136539854915977927179933078831491469609682"
        }
    },
    {
        "lambda": {
            "c0": "8154802137101202625170021372747387048190228225731727940097005576135938104459",
            "c1": "7167033369431369416912267964078849827563481953476182225319804880139323618057"
        },
        "neg_mu": {
            "c0": "5027080457503687104862577903377368485365806076692125497436352950815222879179",
            "c1": "19289658640175986155793149849769305065167539432896819573858459105348955554557"
        }
    },
    {
        "lambda": {
            "c0": "7255254398189042515608097300212647431872470395242230982827061414444176421646",
            "c1": "3410311501342033036394373331845894327866555916982208837558238832279740082800"
        },
        "neg_mu": {
            "c0": "18049101236999327864886811068212417971066320579871553559963860415669018134496",
            "c1": "3340541398203178600550723254278705350179917842084176758931787480715875388093"
        }
    },
    {
        "lambda": {
            "c0": "4843107182243846221749754851079590504846774392314103027724596490129104309191",
            "c1": "1013683479492830206839918216987054402729923011024328151706606124871376860386"
        },
        "neg_mu": {
            "c0": "8223740335264218373639292193525349753225213618348104360137437003379775025437",
            "c1": "2548870952786184681128163676627501278690702287544993422150040172278516478745"
        }
    },
    {
        "lambda": {
            "c0": "10933414188981000962154279362539082135433838471876508759317795948085636583710",
            "c1": "13144247120593376500866993966960493880059900916926249715685108044300928773058"
        },
        "neg_mu": {
            "c0": "17024182879676720943763727838881486298580583134896607657788582772952988629132",
            "c1": "233080409219735443943562019109568508823238327587973458579303286089303864680"
        }
    },
    {
        "lambda": {
            "c0": "8625858370470638966644166883178282034670469537207935078693477767013481896832",
            "c1": "7295448101871427797754776313940352998400964496297856470595466355745302620205"
        },
        "neg_mu": {
            "c0": "12741554743127982166929067344161278243007796047283054478578651970489242524550",
            "c1": "13533340914894806547242436051403884684880759464463395765778018084764690482674"
        }
    },
    {
        "lambda": {
            "c0": "17183171772056908753067463272364144872617260799172751224312216784935079046425",
            "c1": "13057261934742873092330580629339596631953129402947929487417906137401533044387"
        },
        "neg_mu": {
            "c0": "18529826825246349918796155362147515393057890780371211039126583135168256222193",
            "c1": "7152402704674677410085252220042622453838079099860847955739595078260597957359"
        }
    },
    {
        "lambda": {
            "c0": "21079412205461817171524248949866145802900124531953569973230942878343422879480",
            "c1": "12404555776006644751918340186267948678664849242767776278927889396472290610976"
        },
        "neg_mu": {
            "c0": "12840253923586692131617451187759947044042066298817792117690394546594753884641",
            "c1": "8158139756145181136238928996722881317838985487207098908756671908218560553734"
        }
    },
    {
        "lambda": {
            "c0": "14123617870999952343838859239646064338788368586237621297864633015322104829170",
            "c1": "5698712959783337228494293624498480071148350667319917039901646929570135194415"
        },
        "neg_mu": {
            "c0": "18460982456346059596868354738432316883993666411104523803198144839055629293336",
            "c1": "13403395199717521543670795778709923967517979242320731861331379133590727268731"
        }
    },
    {
        "lambda": {
            "c0": "16710045548084843871684740142810208587851427447139259681469812276054297566856",
            "c1": "10672422461465397210554781664898124189576965505790862581507585998575049973463"
        },
        "neg_mu": {
            "c0": "15904448891116241570784111242860861832985869099296173610761625069121134876691",
            "c1": "9927019991880093527901598243202470804316980490747446990654667333842088686441"
        }
    },
    {
        "lambda": {
            "c0": "395728444037914637751841480397278807252759406095909910022575090018730738154",
            "c1": "8686000704958980244544613720360507961922097207592272555048609342482408367966"
        },
        "neg_mu": {
            "c0": "11115908756881869723203468810963650155309121291481669902402053824012194453255",
            "c1": "8667794363750680773882670117469638291690644799743418174877711580679054988154"
        }
    },
    {
        "lambda": {
            "c0": "19464288186863865801133299633773479745293953872251740314732018434403664944680",
            "c1": "201892208224217278732612436921056541150160122415271808120644242283722961535"
        },
        "neg_mu": {
            "c0": "17983889902010442989037806626756227210350021563685842847697610334754612024861",
            "c1": "16240742027186297373450412352773641086393171254541832522856010008961570443994"
        }
    },
    {
        "lambda": {
            "c0": "18588845282187844387199516326528891991729748147247476088100911235450126797725",
            "c1": "19185872260986254821931758651065959149001314569232921109414027910136542718655"
        },
        "neg_mu": {
            "c0": "3979157981082211890213327198809251890345860044112490020571189248429346769401",
            "c1": "19944567808172014331943455052193835769131894893228158061444755101571479200005"
        }
    },
    {
        "lambda": {
            "c0": "15630046327679064119924479790846995305879737119923390223710791183681145453643",
            "c1": "18882581969309940374027649752252416509910614832025453917849784775964608311379"
        },
        "neg_mu": {
            "c0": "814264396833942665903531553752517163857204609821495556934616064593387497987",
            "c1": "18008736309258122452427755394070359806936368847348640156095452637685946009270"
        }
    },
    {
        "lambda": {
            "c0": "9467352818619766623438814590760895485886832932332596575575214960345817516710",
            "c1": "4584874993852860710771313444477319954276940506086955146574565359027466130146"
        },
        "neg_mu": {
            "c0": "5654129892575944946690000888934348891080307733028900301840391685691529358356",
            "c1": "16233036145896569525486180974188009724711185398467310790001445624076382127411"
        }
    },
    {
        "lambda": {
            "c0": "6607452958440456885981748877681938430345900785722928893958992509249512698943",
            "c1": "2801366661542167076879019648716477008458415656080553930598738341213470021709"
        },
        "neg_mu": {
            "c0": "20152602455257424885705855540594687474352896500023277194652697233085988612702",
            "c1": "5047067997772839341060798895369969865071494197407643998682395775472163143236"
        }
    },
    {
        "lambda": {
            "c0": "12208520499242351969022251956361956202704607512219028399794739669734640871864",
            "c1": "7374019124529430658560073456170646957365530607088354509977304978906315518566"
        },
        "neg_mu": {
            "c0": "21089781100202322623793764397713628697432828784246141248094996360041604110331",
            "c1": "17528189601039012041588006220155360374406334568305836940619703484971862864495"
        }
    },
    {
        "lambda": {
            "c0": "10817978260075971163153029603136426185211517811244187553738672025607799639005",
            "c1": "16321622187595290074072020487424284383188793502751620091110661817438707666487"
        },
        "neg_mu": {
            "c0": "21439244283016676608324861890592606819171700780439376409220912790618219709100",
            "c1": "7429886405799165109635340226052960810301612425806339795255948228548720117114"
        }
    },
    {
        "lambda": {
            "c0": "3841043765901572350153399749155066915659509799826304224165697527334240505440",
            "c1": "20987949069830739078091248118659675419325800332202607532125390961834638863143"
        },
        "neg_mu": {
            "c0": "10621326540532477420373730380140297469121741990458460794622786360354226352442",
            "c1": "5945920045347084330898146244941761330986916116898667679771741549896323450037"
        }
    },
    {
        "lambda": {
            "c0": "13225866605458707318748368333290125661334503619940295168545975527521884234097",
            "c1": "3774468783740435729580689445091854010395830983055468411472567767466244351649"
        },
        "neg_mu": {
            "c0": "7870809433327521786171215210886578300105275024368366336835193248095980471043",
            "c1": "10562814594972331252497721259713246312713081275561986750368109834940368986542"
        }
    },
    {
        "lambda": {
            "c0": "11347297989450138019936535084420109646963416155383300361072337090833589122700",
            "c1": "20036388007042420037843065436480995038780884218570642588270202696786952036612"
        },
        "neg_mu": {
            "c0": "14829851031174969938683477251680533411140728727999368585593020806599037022127",
            "c1": "3180755637753343834597599043035290952162388916357881641863447311414844716904"
        }
    },
    {
        "lambda": {
            "c0": "15373944151157043980510126730481518924029915630923489173309088270220469374356",
            "c1": "8306597428890081681684635457580532926413821257483633876766565384805235938425"
        },
        "neg_mu": {
            "c0": "17652011036384149136559969585791201774116096925050936121122217856516469534470",
            "c1": "14429400983560902255069439545221741542012484071851573138119443826234333820727"
        }
    },
    {
        "lambda": {
            "c0": "18565773261145946558554579797933943647280685616331127542038035240204972889531",
            "c1": "19945462338969119738224929014220082458491865022003339109259547074336519706009"
        },
        "neg_mu": {
            "c0": "17202876709489003816438966092823149993355061110971733076837388178975675061543",
            "c1": "1827707550130567292619674424799209527730638026770607682353371933371424896649"
        }
    },
    {
        "lambda": {
            "c0": "17433382569005081224324378101580133262360833471391880501807318229428829892560",
            "c1": "8427822491703967118983309283728343715905727536089832755862197881224715781181"
        },
        "neg_mu": {
            "c0": "6173471785502118124181307330287807246726679438042165280456980585789204024261",
            "c1": "9115487602626298454909684608831879314662251126849935581628519764110399653742"
        }
    },
    {
        "lambda": {
            "c0": "20080082346264216463328580262369085100215456714234444465676399197126703002568",
            "c1": "3914203298322269045142504973210459908053585038100678362899264962712983834822"
        },
        "neg_mu": {
            "c0": "4836565830302726743825617174678612813412946168360212251833373381562334895992",
            "c1": "6540127829396182735905780776540077847286814503740931399470223558889379807318"
        }
    },
    {
        "lambda": {
            "c0": "7670996581118239624710483149038813502228955824788403481402627592103612366889",
            "c1": "18980148893960949348448436304204860282582244938748263896995751626836194755193"
        },
        "neg_mu": {
            "c0": "11160891947094503976396935083892652810330554397537039864076674697178398903810",
            "c1": "8932087540233051702344716353214580354819556708224293257744342595927104649379"
        }
    },
    {
        "lambda": {
            "c0": "481707942337318503074569847652659825547837105386078112682886871795268819940",
            "c1": "11608460942834147783105916951328693842187853737431505892082659493870985057811"
        },
        "neg_mu": {
            "c0": "9709078210642965619422714825761003836985439131762449854224392441007339412834",
            "c1": "11129005740706905660803848575047973153280590126228714832868068527425037373751"
        }
    },
    {
        "lambda": {
            "c0": "16317375969251829883513875153570074977146582395669699646638344926207519456982",
            "c1": "11612394812861904432811400210447347177627132677792511826575975068899959029202"
        },
        "neg_mu": {
            "c0": "3633887160270413594942060642216918996537999582294210057554627044590039786234",
            "c1": "8939668248755020860948171356447789359992139917425514662320694855157405768150"
        }
    },
    {
        "lambda": {
            "c0": "3002772733765390357764285414053965462184555838115412013850142407644423756687",
            "c1": "12266117136919116424403263859469023430433068902945047953959973131115472834174"
        },
        "neg_mu": {
            "c0": "19492892729379236004557729196741558779480783232265355978008529229208638077001",
            "c1": "9026667103760964167291393581811590447916219414798161581254060489069424386713"
        }
    },
    {
        "lambda": {
            "c0": "13971155985525101544231423604758960525362425239923441986640901045338636238283",
            "c1": "9626608937668140868224372429250821125303944461574122553307085961941368446169"
        },
        "neg_mu": {
            "c0": "10914160321677904051918987802671845728099932842880059488686382944858229492896",
            "c1": "8359557585977416078793909793984425896635087139789596461899708508514130896302"
        }
    },
    {
        "lambda": {
            "c0": "19055365100870189555946218015500463112978066041469384920581239784390782843175",
            "c1": "17872344435256972470907743567785490659366836340397253970732699676976922133440"
        },
        "neg_mu": {
            "c0": "6842872200246861427705093037496466614015446887756834045870833833876444837543",
            "c1": "15273790836304547702356985139791848656234288403812600849950908226829046944652"
        }
    },
    {
        "lambda": {
            "c0": "4139278189106208725768731607953202823046948457670851277908751510460822976607",
            "c1": "19049587303398826100431227614833150798044140081654954522237707137974228595698"
        },
        "neg_mu": {
            "c0": "1913181888602803253410490851322440164398255901127376824362120108174814218344",
            "c1": "17740518402110173452265054327145725313649280334580334996118883085307288091170"
        }
    },
    {
        "lambda": {
            "c0": "9079873601367894670784346802247480516530748875120780838663471836417558369864",
            "c1": "8037304936454076126696774682301265201508432620769148052656897785076188822493"
        },
        "neg_mu": {
            "c0": "9571531692086612395026521386471462664121950697416902123408435110246350832630",
            "c1": "9262658991286591312944640932012648892614883797518222287840538936149182139125"
        }
    },
    {
        "lambda": {
            "c0": "9430570754980454074675987929543652608755689634565726676259986955054628869532",
            "c1": "3489257266623909903298568339546272447941250408351892483204272602990221014800"
        },
        "neg_mu": {
            "c0": "6761100916752031499470061472959664103643695753371128647767956417871801525935",
            "c1": "11516568990599057505448657013624491615577778080330416531299339213631684799703"
        }
    },
    {
        "lambda": {
            "c0": "1730502933790775430421295106073334220194065151206295275045968200468882157559",
            "c1": "19059563847666594949637155570358699449417457340012637125735538220215962567189"
        },
        "neg_mu": {
            "c0": "5507629493376754776780948128794176380876913178566429119195698066509123857842",
            "c1": "11989866298421717405888814591756712355645135873368124241103659461001231130026"
        }
    },
    {
        "lambda": {
            "c0": "3084879969268092061711415170388308553195088381557191496127035250962895004528",
            "c1": "19654394961553887642689475326390450623668447406772329122084473761844003356736"
        },
        "neg_mu": {
            "c0": "14894594813989329665437337634052128835849772709222460160323937655662277269998",
            "c1": "16401863794856018538890651330710306550150048203763791766885991058365625250312"
        }
    },
    {
        "lambda": {
            "c0": "8025241402867424532472475301759168466914703806251501921855927573860925323121",
            "c1": "9356760442459449574412299740641562480147796827653128886199149500938344947348"
        },
        "neg_mu": {
            "c0": "9873979880229408105971223367529128014487901861772253050912642581888257648233",
            "c1": "17024384825828294129839942917357501284449447510471307237753297102647863989056"
        }
    },
    {
        "lambda": {
            "c0": "12234876797693951926523702504502267692113734561373608673154049991266914330286",
            "c1": "1552702206417263994583554201756263035082161998000955098816228300838914630430"
        },
        "neg_mu": {
            "c0": "3346681777791788671775024643719873028656163698396937227379634931654104469710",
            "c1": "3307435597320603699014389476882124244457440216712858513447652502717610656034"
        }
    },
    {
        "lambda": {
            "c0": "3678799182932096319580275373418426259675007842574581622280663565387720334285",
            "c1": "4875377642808320410317778303086009643869654182999172741733435657218200939013"
        },
        "neg_mu": {
            "c0": "13251168487096931816968492472936283913931508108412049848483510193471001761262",
            "c1": "917662416056698492181621755862599484479280610762074595968390001996439032523"
        }
    },
    {
        "lambda": {
            "c0": "52187723816013807842902457170185333736289877817724242193281989867155173727",
            "c1": "8736494156435081321471295807222247773324254198093409932665945984071431805141"
        },
        "neg_mu": {
            "c0": "14356526390532794258446485974519836534584040608882560489539714041127909540454",
            "c1": "3084665460333462449950843813057763514541448309651618491246156845704677873655"
        }
    },
    {
        "lambda": {
            "c0": "15243129872838352250984826460455760992768130628099338088331878232805586685443",
            "c1": "10243858221935651207503871277686649220761006983002369559377394069092812259153"
        },
        "neg_mu": {
            "c0": "7261679345817995562852487150967384958842183092678628282163736262062768155611",
            "c1": "10873982680084999058275751282912903205804225740649544751589590851049209842656"
        }
    },
    {
        "lambda": {
            "c0": "80998659444074765941278397556946432325412039891849196793427459170767808397",
            "c1": "7125673987500677866975459709966406865110484784087036544002204586382022174872"
        },
        "neg_mu": {
            "c0": "19570102319615677402725360509491711840963692790675938945216699779667124421296",
            "c1": "9915394677027341519848750152014156157551392944838305337983576064441409336258"
        }
    },
    {
        "lambda": {
            "c0": "15609567206428280226815524342709231731348207022813257251544080952739566151528",
            "c1": "20308750357925795579221999085675496652420147110567790191801256261098297787242"
        },
        "neg_mu": {
            "c0": "12436165565318198653214963374853098893871149559788950859928767616449216389345",
            "c1": "15351904610955361351732074553758170955405201862123487432975328915192072860986"
        }
    },
    {
        "lambda": {
            "c0": "5940765322562911209865378577710395632096850114548461831535557833822353626673",
            "c1": "4299213625001774729823821205760395769271458429941940831013310996106565757526"
        },
        "neg_mu": {
            "c0": "14731472980604603845700239947762408027657694149388214245121857757041952236903",
            "c1": "4956625446593675538818957635172501585266461946399156356402752025426906757185"
        }
    },
    {
        "lambda": {
            "c0": "6234065130645116484971249974023052105239553857148199863641510790705520622176",
            "c1": "5988674089523442572899782106245435043913148410293167834021594028472324366434"
        },
        "neg_mu": {
            "c0": "5210496002926471452043013551026735479230368782297879012877096615298240555834",
            "c1": "17994345540801158311078864707406514670799800840171595888368654285087107088098"
        }
    },
    {
        "lambda": {
            "c0": "7255835178368216332518265667565665100925047223965658030347470282844160399561",
            "c1": "10616221435980691724776854251856033981619281551023744998525401924027805359335"
        },
        "neg_mu": {
            "c0": "4770200410992146769475852516775361139844234572488330099462736062550552604829",
            "c1": "7530403448372346045695321765829491479483699869272077605645557759889158081085"
        }
    },
    {
        "lambda": {
            "c0": "10368318992497396710865911498902757675138924063828442887073232335014336813039",
            "c1": "20480659601955476022776119488664359613998780535670367375745895126818467747949"
        },
        "neg_mu": {
            "c0": "11904307076773678983926013243694306017809942930429096021607731892636261237434",
            "c1": "5418228693521695819333327920054742553191693728075186406978931357199320286728"
        }
    },
    {
        "lambda": {
            "c0": "8304593527676039593972583685802059002045152184940695065161746841010295568977",
            "c1": "20307939213593249725728526913428225138968092896156552538368133417080721438045"
        },
        "neg_mu": {
            "c0": "21116413106194933456702972814632992147195390921459561292248712868055344887668",
            "c1": "2722273224111047596007628929518646734380443821631939025258952090508660165266"
        }
    },
    {
        "lambda": {
            "c0": "3416835632863862499326889168984011837807746046412041038313876593742319583326",
            "c1": "20184450016385866922213374397547131673630410353283501124048014955900134826653"
        },
        "neg_mu": {
            "c0": "10863470541316497325728428920551887981270488659171371431262418928646119718147",
            "c1": "17241260064348476546268798180555052578472388987371855915353518730015387072298"
        }
    },
    {
        "lambda": {
            "c0": "12955723165254861424424099330000635832655621899128762288252126631645228215441",
            "c1": "21494720497325689034157694318348407651034811642459078759959614700152444613909"
        },
        "neg_mu": {
            "c0": "16189841300225557029339625228091337040532368631861952893841567332696428948407",
            "c1": "1478939903044857860077184972935680812866817631078410725667566430070755143644"
        }
    },
    {
        "lambda": {
            "c0": "10310456101599253588005243226953830655850583489372851184377093585865049325135",
            "c1": "8891666806601203779688651866675710069257778976161311770604234417139507527826"
        },
        "neg_mu": {
            "c0": "10044194885594442142147609155416421922257472356796305453772928783393388899067",
            "c1": "18263760812393990074188911070757643007564984011360754662297829292657271464150"
        }
    },
    {
        "lambda": {
            "c0": "18826359730099959620031842188955152819719844045070920036506034628780525411022",
            "c1": "3010665109925731329692043861704294290398674188890221644225075846649461395364"
        },
        "neg_mu": {
            "c0": "3126746139599510717075143025311775654763541372790089146406042067854741163507",
            "c1": "17167127260886017815263816291999617868265214449605859656444200044917253310911"
        }
    },
    {
        "lambda": {
            "c0": "5017800929907748246126905304598466374723421421719811699747375909287122047452",
            "c1": "15887132939588340562974952842144397927653366804876398977051724417369027636486"
        },
        "neg_mu": {
            "c0": "16637142689871529585590417483409806422524779986734732708338690138313396058389",
            "c1": "1309909770792043822424896387657498550838255076099809006357764402595094108197"
        }
    },
    {
        "lambda": {
            "c0": "3338303549527499717164440801213560560123383192024113774456430499560678002583",
            "c1": "1488423879969480388922389754402142766590813529204185090676741646295701538393"
        },
        "neg_mu": {
            "c0": "7342977470454632355392560878259850035965508595638789766324590700762099135681",
            "c1": "13133475924936788812547393936820540309170125548865828094250523111922518822075"
        }
    },
    {
        "lambda": {
            "c0": "17139252715652872654057137541342214567725132821604037331900355157789944444746",
            "c1": "20579119412254028702899437760572971494199555119765049846648104445733198581084"
        },
        "neg_mu": {
            "c0": "14774495602218432844736442669860287970046937120486943306048410603925270631316",
            "c1": "7758103039306620389373197481991170462191047006336390431484191868400773850577"
        }
    },
    {
        "lambda": {
            "c0": "1421026771513752576250029659760883468943042324967385906345993322633363268038",
            "c1": "7001140481024740517654840579155992933443118692825430430488703794795674149606"
        },
        "neg_mu": {
            "c0": "21078606515401393469046677323685463512748861024754049000789577483054033214476",
            "c1": "4564303136472462460176799031863979133770926707479849529175620334944346563602"
        }
    },
    {
        "lambda": {
            "c0": "18953695284545432260794000566100310335053783631815733458303623298861767875628",
            "c1": "8499361404440227169552142505183202532192631484345464630118653001192650143062"
        },
        "neg_mu": {
            "c0": "20835022106176713220060462057962830658550225802689628738113269878374295200567",
            "c1": "16905312434058784658661572959194517726558593812351378232506422776680415520438"
        }
    },
    {
        "lambda": {
            "c0": "21426744656142271080786442612376281093996361566897997980141211669320774810820",
            "c1": "15987931918627463733064093718851632263323830906494997551646405967827758981345"
        },
        "neg_mu": {
            "c0": "12129257873087250474839482759161564929842738953613926329615145813250653964667",
            "c1": "2327987762515344904483051890973168669029077281612367735475453475180745041660"
        }
    },
    {
        "lambda": {
            "c0": "7353273539733185998783247701355801943209019841806776289946507348763302971451",
            "c1": "17064406337389501210174783855137961532119778537929034334576823354097641859627"
        },
        "neg_mu": {
            "c0": "8951161728926966418343808151216149399722742275128903147410629653170029693896",
            "c1": "13484948769869276254835485852504298786011533962977012257456705990679664677094"
        }
    },
    {
        "lambda": {
            "c0": "14566477886420422528484028756057239254943308733628835776396492238471887460851",
            "c1": "9128935173746952848429169367389753927225598287643469408717457622423779384622"
        },
        "neg_mu": {
            "c0": "20830607516305538967216959956884521464552202438657960254614737787253888836936",
            "c1": "20774389545498811798669550099386805085473482447861939396885785535387647964418"
        }
    },
    {
        "lambda": {
            "c0": "10035472091217771390824526099601925088396693047948000654619708336881736565487",
            "c1": "7761089013574419099442076430232054566864246472001357877209892546669543583564"
        },
        "neg_mu": {
            "c0": "2282306012159225478902493575470220087798612468730866305787262202104599971831",
            "c1": "13044300168432142106289029979811044883881054650821554883477182383084183653659"
        }
    },
    {
        "lambda": {
            "c0": "18386781817146202620182244303721332284162755933404521529499557427240732828849",
            "c1": "19509741099455383385063667866285309076406036455090239999805916256613628282751"
        },
        "neg_mu": {
            "c0": "16467967700520294741044768013441902263537400229775268986132183487244466551340",
            "c1": "11776738036120863336997873291936165956620071094133807199549666674879793041690"
        }
    },
    {
        "lambda": {
            "c0": "4387362664429733977423168926404877876456186221425817077091451639439866513513",
            "c1": "4377003427728917465623582833972355624817881029815498872974175473247949460418"
        },
        "neg_mu": {
            "c0": "4164090707344648997064164347135239127292130609741064351207455566830570602722",
            "c1": "18282152380838772116184584779807177496223442591275221747427183629297681861454"
        }
    },
    {
        "lambda": {
            "c0": "7356647834734723598910640322896019350912577352762936353352476712259203313974",
            "c1": "8194950833596935083928738689260330138454210596664257085260702567544667606652"
        },
        "neg_mu": {
            "c0": "19882300238879412083813185345065778671818694192928769536446198022672502614800",
            "c1": "19023802829192861606681770049155217498069279515832660659542794970260956599076"
        }
    },
    {
        "lambda": {
            "c0": "21673814201888344983208903744116928412298086567934330829314779641938606983488",
            "c1": "12187760090398092256370812724279423615024789505036874505571298897415767375971"
        },
        "neg_mu": {
            "c0": "5707939202694442208311052687419434583655218004451905019053384532157090849511",
            "c1": "9249003779150082855802401674917195099999438620295626021241732108833595933661"
        }
    },
    {
        "lambda": {
            "c0": "14082356285758905325658479175945549060743096135400605880692293482989469656584",
            "c1": "17412297210261153049279440894189594048339792935510647225824438795329480829976"
        },
        "neg_mu": {
            "c0": "1436676498637654967294854037272027428354069617227014207131783637892060911873",
            "c1": "2305366134511694415797376996283850181652766442173047187160012616555129059726"
        }
    },
    {
        "lambda": {
            "c0": "17939616912652543591362974532483224290318951787568650570222532550772494392370",
            "c1": "19529996690420504118953104411684542521368854933805767534800978387424013017151"
        },
        "neg_mu": {
            "c0": "3214429786637011410044793447049402874657838824607091686668942744472659699178",
            "c1": "3311041522569135867590138245723395084506957431406246791002073444583824677944"
        }
    },
    {
        "lambda": {
            "c0": "13947589790153153967685830846381440095523637965096271108099690097625208452008",
            "c1": "5914097736633776770786647817752110452645382787927858131703148551347973401910"
        },
        "neg_mu": {
            "c0": "7686257707869567857469834549336963702481639214633150259937731475944847915123",
            "c1": "8581852611449322691153270314388156853032486316219977253503422966968101541654"
        }
    },
    {
        "lambda": {
            "c0": "14281635712390279807219467508783429414993239601093661782933172218129400664991",
            "c1": "12932173933833219522279358908146803384560765760149633920508595097566531331530"
        },
        "neg_mu": {
            "c0": "11022564885667925490414698424833447218714993895366895350576595161435910155603",
            "c1": "2937380761826300692577553924917170147052369549814500103731019151442626339958"
        }
    },
    {
        "lambda": {
            "c0": "9836994604858668631128919493759603011435388791863287319608040216064366115744",
            "c1": "20786294824937866537476760980021107886944484331539586214385546238987752336700"
        },
        "neg_mu": {
            "c0": "19040361699025595665325643767494987684082158366896439415230194791631253146950",
            "c1": "19593948793881594577280833499171904486133659865964978128524672716381353415110"
        }
    },
    {
        "lambda": {
            "c0": "3708929703823747371913817464882863528627984041302452155840141643970112421664",
            "c1": "19359455954084497999810923709736501925589049169316314452172573703087507884851"
        },
        "neg_mu": {
            "c0": "8903282188065858585304046818119801967188054603559753510921761091992618518040",
            "c1": "16652384672996749364443316526043389908671636144920776812545677186820218027869"
        }
    },
    {
        "lambda": {
            "c0": "8044234267018363838480121762109247910913978517751659590755848917641713237545",
            "c1": "9423232158789798412402501963035952707093858257890226807303496458670602604563"
        },
        "neg_mu": {
            "c0": "13954625899287556897421005173006945028098693650126220961689677234973368855328",
            "c1": "10602498179789298881640333177935239161533842213471826088025147658938138770733"
        }
    },
    {
        "lambda": {
            "c0": "14481999641797234152561940532232097772772209808791080831576844194098671249611",
            "c1": "13898657574557187935717050547183028009987933727874323765510824143940820351294"
        },
        "neg_mu": {
            "c0": "6656514955724239379038720674689523088845768850106038974710675406166322910",
            "c1": "15124997892066858386901097010147540296897247678373584984872299798397309349616"
        }
    },
    {
        "lambda": {
            "c0": "2516057668935943010032945055589201697459035155617992667281217354415686207345",
            "c1": "16271777566004303490564959222628346467304599082135514019564617212661375154452"
        },
        "neg_mu": {
            "c0": "15130750112907645494599377984115117159035751050040977084315605482681536587330",
            "c1": "4112821409985026926465852755077338777425800159968275868518690696940060997519"
        }
    },
    {
        "lambda": {
            "c0": "20710892772107505847318650515885362406591057148099731363021056740750263315672",
            "c1": "9104686472890964728168377178177030041661190671749622683233799805697053979963"
        },
        "neg_mu": {
            "c0": "12038222281185955050483388631945863715711114498195498301547718431783742484642",
            "c1": "9264166105136475526327132322149055656031511662283307277292723856236620490189"
        }
    },
    {
        "lambda": {
            "c0": "402164876557010775121917286779823824248020585941203941592802243486750618513",
            "c1": "7628948539345428708061597436499943644833434881443383781009950545537901602696"
        },
        "neg_mu": {
            "c0": "21310181591085388723115701669056667379511330213691931034851726064119888872673",
            "c1": "5075823038830179820764812274438824585993277163376381791462971634098010103671"
        }
    },
    {
        "lambda": {
            "c0": "8775606253056208637108943661081444589179665503875698940065070285026853074364",
            "c1": "15281680679295703607410002487993054622215885244244365611501462458576073431900"
        },
        "neg_mu": {
            "c0": "10163523267982706542267128230964678625528511744949894317202814240082601743946",
            "c1": "6356510014456263346824710768921779981830557122736686713952594920913429569627"
        }
    },
    {
        "lambda": {
            "c0": "14894488302909067106554094010922164586121237212498626943445057708122400016083",
            "c1": "13244059049125835195804547867354032041761943659419991368157982026934979015722"
        },
        "neg_mu": {
            "c0": "6162215014365963127944303642424328743998922537326512693704891583562046811368",
            "c1": "10154626677971349735949904871597330658975481223864906253916895014919837738925"
        }
    },
    {
        "lambda": {
            "c0": "19950264744776381034003866209756476421106086083395136687906444764438626363576",
            "c1": "4769229474604261010109082452258495569162716875756905580787826906270080915745"
        },
        "neg_mu": {
            "c0": "7459302385665395083210154080521520536970822621811543022810558924096495990803",
            "c1": "21518092698439432423716311366625905640550440032600495926825070561121714064966"
        }
    },
    {
        "lambda": {
            "c0": "20851051638583033197654555354968814458699447990252858339483039676174747916290",
            "c1": "18381412940759837971124113008342405051602785313976506237138317714959472142412"
        },
        "neg_mu": {
            "c0": "17820182080707051991327549024823189851054031788540897864701560845270403753109",
            "c1": "9899305209455152807161919079699365227282179194615715116357423849253490779682"
        }
    },
    {
        "lambda": {
            "c0": "16563918046683761063758890339976880406817033138281983503144228303039067951251",
            "c1": "12784888275650830629432806922969596840550402277030421472115601435544328377055"
        },
        "neg_mu": {
            "c0": "18167200785083515576687640058379703244722940349781476704929858352562239814160",
            "c1": "17137305555905969523835852662612004277081830974452307053507378102895278528589"
        }
    },
    {
        "lambda": {
            "c0": "11623452174678094322429742097045976699956059199177058865782973083979048708937",
            "c1": "1629490703313558582841043151136718527066154706926578759617803157503664762069"
        },
        "neg_mu": {
            "c0": "1047785956871651181652762185265609154515890741811384676308782178186674721333",
            "c1": "11832321406774014396058335342903409824167804020892883894340494373874448406"
        }
    },
    {
        "lambda": {
            "c0": "7796006651306711499973211751912205013135869808864906455687000217306772625779",
            "c1": "10390655351549656624082252070275829956373139970374397491354455252961276214215"
        },
        "neg_mu": {
            "c0": "20758819501863100067579713445623163018598253994701203661225784213541257554016",
            "c1": "13856843617321777013534357727779974444221810617686309708742406908090120962388"
        }
    },
    {
        "lambda": {
            "c0": "14514684344151654660824253582265358495206389952859538213387792769131470888269",
            "c1": "10667039755043069988416205126815525689402646555446499946757064208357009235907"
        },
        "neg_mu": {
            "c0": "5779253402567033185739372381451694349656589328372930738070702115143767419084",
            "c1": "14510717290459248510467845044717011062002712332273480525810490069657559246488"
        }
    },
    {
        "lambda": {
            "c0": "17524905452728902002931530389846927322753983033648130650904383053832500299903",
            "c1": "7759721023932563375595390495473606128489672390303055001118953767035252665254"
        },
        "neg_mu": {
            "c0": "14274248424128087078986321168245052972625654514554370562089216041782293981548",
            "c1": "1819524229057471418630268602559233583119735893806768677221723572182212858124"
        }
    },
    {
        "lambda": {
            "c0": "12526022898296400651795766806094385957250154948087538066400573970250310727599",
            "c1": "19721949927173216285937830292900680227211435498850903538587495844925581063472"
        },
        "neg_mu": {
            "c0": "4110752764440847029993710333296870396753666785458870337440969782289123199548",
            "c1": "2524539108828422865916215076272533083788815095038371749085255761852573579569"
        }
    },
    {
        "lambda": {
            "c0": "20104567537200129406375761077955221407411501954223062873514755051330266215887",
            "c1": "19936613403335477047005137977473534700837859710018446422525495772468316209541"
        },
        "neg_mu": {
            "c0": "11606810498377529077474160506241087507512991084990061027495602653306616416578",
            "c1": "3352534584315050939412504680522542162196297327743431591269455212982072101125"
        }
    },
    {
        "lambda": {
            "c0": "15791963443602895652091472564507695934870048386461417862904431549904453295916",
            "c1": "6914580857447184432985869088510180207489833304563801582067229326516479756849"
        },
        "neg_mu": {
            "c0": "9419615873784151968180451321627355717720222550586076973652377412738922144509",
            "c1": "9757224935408026300679308061023777371092034675697842738078668298357133523844"
        }
    }
]