{
 "certificates": [
  {
   "y": "2274691481464049/5000000000000000",
   "e1": "1003883019401/1000000000000",
   "e2": "779999999921/1000000000000",
   "Z": [
    [
     "122011476004000000000000000/233266568833673109847731143",
     "246832256427000000000000000/316965519189303131112380779"
    ],
    [
     "35644889599500000000000000/67465305976253401936394017",
     "331684198469000000000000000/434921571459507407928128497"
    ],
    [
     "24969920698600000000000000/47248557146275097036342849",
     "11002078212000000000000000/14434101665556575399198333"
    ],
    [
     "388959812954000000000000000/735067751773492489747548153",
     "169725013463750000000000000/223208497108678927078402869"
    ],
    [
     "32187178257250000000000000/60810916094918847578983899",
     "109211505331500000000000000/143697082892630148012217093"
    ],
    [
     "160835171975500000000000000/300838765496915822608534473",
     "398058974669000000000000000/532909162455708550839937491"
    ],
    [
     "225431097557500000000000000/420924165626907162508934331",
     "723974180070000000000000000/972180236723781004137663179"
    ],
    [
     "202972431103500000000000000/349351222644064528380877321",
     "445335344340000000000000000/697420760521257226520139409"
    ],
    [
     "17700562023500000000000000/28347049084450981029936627",
     "21198207168720000000000000/37196437723280319030862273"
    ],
    [
     "445337386930000000000000000/711946271859804660860628069",
     "391603038166000000000000000/689233238550075986904861381"
    ],
    [
     "514684986374000000000000000/816049360367394247905739551",
     "438520516757000000000000000/782921723572707044713176349"
    ],
    [
     "12262910804400000000000000/19409116301059068960583697",
     "312071396520000000000000000/558856535205113787617364739"
    ],
    [
     "440149380067000000000000000/656366666805362676946233129",
     "1900362940125000000000000/3806898150619306378001849"
    ],
    [
     "240296104199500000000000000/354751755271524469717544693",
     "39352368604200000000000000/80497360904950183411339087"
    ],
    [
     "545486999844000000000000000/805101054052489089485645867",
     "327057182135000000000000000/669365494520062781175805413"
    ],
    [
     "330959979937500000000000000/487857203280213791809896671",
     "767657765500000000000000/1574914992842506925785007"
    ],
    [
     "453340716956000000000000000/668063847756192947153852177",
     "16909129091000000000000000/34707664974672055937377879"
    ],
    [
     "658437190836000000000000000/960642344506934804897355397",
     "308081329896000000000000000/643421762432657180328537503"
    ],
    [
     "46085924487000000000000000/67120153462287917532946531",
     "8025993257750000000000000/16813073027318675884026971"
    ],
    [
     "558355180330000000000000000/749601361174039114273738751",
     "9877815926050000000000000/24131995390586776328704607"
    ],
    [
     "424665056141000000000000000/530471344153952335107955793",
     "169021743321000000000000000/462667925210732744806374743"
    ],
    [
     "310897441566500000000000000/387676802220231932097297741",
     "254107281467000000000000000/697688989261230403377910669"
    ],
    [
     "114258126344500000000000000/141304707234869387970392751",
     "354861657397000000000000000/988353037368163707900262533"
    ],
    [
     "652856475354000000000000000/805980457570401148254442349",
     "135759707471000000000000000/379264209763073199755690199"
    ],
    [
     "685459791110000000000000000/797302287319268973957812601",
     "312028374193000000000000000/975109510029488073877789873"
    ],
    [
     "713089316438000000000000000/821138387746885340078712171",
     "2722207554540000000000000/8686735500131317763164499"
    ],
    [
     "50000000000000000/38999999996099961",
     "0"
    ]
   ]
  },
  {
   "y": "602793242587973/1250000000000000",
   "e1": "260280393933/250000000000",
   "e2": "779999999921/1000000000000",
   "Z": [
    [
     "465155055805000000000000000/868722838610126847407461303",
     "128270723961750000000000000/172240157713775811986742269"
    ],
    [
     "256327562635000000000000000/474935497063505975353402889",
     "713255868557000000000000000/970360737791962955850362111"
    ],
    [
     "702216890400000000000000/1182521262881746691178737",
     "91196600301250000000000000/148116927188188159162772797"
    ],
    [
     "75655174382000000000000000/121260224524873856286075463",
     "2464176221860000000000000/4323794520567616224105479"
    ],
    [
     "608768326083000000000000000/968027307094196301253592809",
     "118721987234000000000000000/211059757861893813151942117"
    ],
    [
     "101386304516750000000000000/147692142184230638087957801",
     "100267138789500000000000000/210034234887996366474865091"
    ],
    [
     "131007840572400000000000000/189335134812066297181765169",
     "12387654064950000000000000/26290662470370907462037527"
    ],
    [
     "1174304205300000000000000/1542456432560038528557853",
     "274082893150000000000000000/694436553981555650158345949"
    ],
    [
     "155957135089200000000000000/194975293473502275675406507",
     "229553862299000000000000000/628351255078164246134644859"
    ],
    [
     "50000000000000000/38999999996099961",
     "0"
    ]
   ]
  },
  {
   "y": "1/50",
   "e1": "963015339293/1000000000000",
   "e2": "129999999987/250000000000",
   "Z": [
    [
     "14117395550000000000/655592414904440758503",
     "215945307276800000000/208278058009172194197"
    ],
    [
     "9198828385000000000/426626299750973733657",
     "71697059267500000000/69159712023084028797"
    ],
    [
     "214463198410000000000/9946430597615356940139",
     "8419793127080000000000/8121818989677818100951"
    ],
    [
     "190196319640000000000/8820971914827902808429",
     "3727548541615000000000/3595631690470436830917"
    ],
    [
     "82817097905000000000/3840755345645924465397",
     "7828754609950000000000/7551711015014828898423"
    ],
    [
     "143938722560000000000/6675291995502470800383",
     "3452771178910000000000/3330586010290274732271"
    ],
    [
     "83409730435000000000/3863928447423607155219",
     "8436296670880000000000/8138146671976185332721"
    ],
    [
     "214984929950000000000/9956614161334338583767",
     "185433689044375000000/178882154118778451253"
    ],
    [
     "200517666530000000000/9016356696868364330223",
     "407550892640800000000/393662930070633706989"
    ],
    [
     "3379266788200000000/150955251854904474813",
     "2177877092350000000000/2104281961446238470501"
    ],
    [
     "19615892836000000000/491150548020884945193",
     "482619242950000000000/483360523310552836553"
    ],
    [
     "294461934700000000000/7101446755979855324331",
     "7987241344700000000000/8012758221368724177783"
    ],
    [
     "3259254910000000000/78599232987343328733",
     "32088779988000000000/32191352722336420283"
    ],
    [
     "413843259770000000000/9980030155231996984377",
     "544046426492000000000/545785705468754762781"
    ],
    [
     "2175803782000000000/52412566788395106957",
     "109001088965000000000/109354798600527934773"
    ],
    [
     "13328585870000000000/320989685948810122311",
     "1731810736085000000000/1737449317096255068273"
    ],
    [
     "204089870095000000000/4772030771132796922839",
     "7543555631390000000000/7577956513632204348561"
    ],
    [
     "1328566113500000000/30861161108732065707",
     "817637765410000000000/821608355707839164421"
    ],
    [
     "766838879450000000000/9984217200711578279829",
     "844328456215000000000/879450317035388301621"
    ],
    [
     "474826632380000000000/5954647913434535208597",
     "8474275990360000000000/8841402750805859724831"
    ],
    [
     "466980435440000000/5856012687192176509",
     "1502226655672000000000/1567309710313269028953"
    ],
    [
     "273137129005000000000/3425153591867484640779",
     "9388936781750000000/9795710669020428933"
    ],
    [
     "178783602980000000000/2239477638966052236081",
     "1809139208482000000000/1887610278841238972097"
    ],
    [
     "413959211680000000000/5184034682851596531663",
     "8507410751980000000000/8876514321702348567741"
    ],
    [
     "170533486925000000000/2073455896182654410361",
     "768986296255000000000/803392829222994050403"
    ],
    [
     "191481085825000000000/2312907774038709222573",
     "8378844335780000000000/8756314790034368520909"
    ],
    [
     "421750137170000000000/2855409976104459002361",
     "463910288000000000/502536055404291849"
    ],
    [
     "250000000000/129999999987",
     "0"
    ]
   ]
  }
 ],
 "lambda": [
  "20874647890139383/27988626836321740",
  "2400441832917297/27988626836321740",
  "235676855663253/1399431341816087"
 ]
}