{
  "center": [
    [
      "6647988627/4000000000"
    ],
    [
      "3726108332407/1000000000000"
    ],
    [
      "355329044307/500000000000"
    ],
    [
      "1421316177/500000000000"
    ],
    [
      "211598876179/1000000000000"
    ],
    [
      "60540518353/200000000000"
    ],
    [
      "9081077753/125000000000"
    ],
    [
      "3684650797503/500000000000"
    ]
  ],
  "Q": [
    [
      "647669/625000000",
      "3049505809/5000000000",
      "-865746029/5000000000",
      "-4825381259/10000000000",
      "913153099/1250000000",
      "-79086591/312500000",
      "-4518144247/10000000000",
      "199977819/1000000000"
    ],
    [
      "1769066903/2500000000",
      "830822993/10000000000",
      "-1926892821/10000000000",
      "-7164383789/10000000000",
      "105510733/156250000",
      "3727765341/10000000000",
      "1110359471/2000000000",
      "-292825319/1250000000"
    ],
    [
      "-464741/10000000000",
      "-259963/2000000000",
      "132120533/2500000000",
      "2626076631/10000000000",
      "65186899/5000000000",
      "3870771/2500000000",
      "5432691/2500000000",
      "-281749/312500000"
    ],
    [
      "-706585657/1000000000",
      "-5273/10000000000",
      "2122663/10000000000",
      "10547557/10000000000",
      "104639/2000000000",
      "61951/10000000000",
      "86929/10000000000",
      "-1127/312500000"
    ],
    [
      "7881/10000000000",
      "7537306277/10000000000",
      "12891021/10000000000",
      "330613383/10000000000",
      "-526791887/10000000000",
      "1188889/400000000",
      "34332467/1000000000",
      "-92588533/5000000000"
    ],
    [
      "0",
      "-644629/250000000",
      "832966953/1250000000",
      "347054043/1250000000",
      "-95799587/10000000000",
      "249382073/10000000000",
      "-184091863/10000000000",
      "-44935039/10000000000"
    ],
    [
      "0",
      "363/10000000000",
      "-320303/10000000000",
      "-837/62500000",
      "729/1250000000",
      "-165661/10000000000",
      "134073/2500000000",
      "755959149/1000000000"
    ],
    [
      "-17/5000000000",
      "-71943839/312500000",
      "-6971670007/10000000000",
      "-3266960227/10000000000",
      "855117163/10000000000",
      "-4461940429/5000000000",
      "6972208009/10000000000",
      "-5773152171/10000000000"
    ]
  ],
  "radii": [
    [
      "1/1000000"
    ],
    [
      "3/50"
    ],
    [
      "1/5000"
    ],
    [
      "3/25000"
    ],
    [
      "1/400"
    ],
    [
      "9/200"
    ],
    [
      "13/500"
    ],
    [
      "1/5000"
    ]
  ],
  "M": [
    [
      "647669/625000000000000",
      "9148517427/250000000000",
      "-865746029/25000000000000",
      "-14476143777/250000000000000",
      "913153099/500000000000",
      "-711779319/62500000000",
      "-58735875211/5000000000000",
      "199977819/5000000000000"
    ],
    [
      "1769066903/2500000000000000",
      "2492468979/500000000000",
      "-1926892821/50000000000000",
      "-21493151367/250000000000000",
      "105510733/62500000000",
      "33549888069/2000000000000",
      "14434673123/1000000000000",
      "-292825319/6250000000000"
    ],
    [
      "-464741/10000000000000000",
      "-779889/100000000000",
      "132120533/12500000000000",
      "7878229893/250000000000000",
      "65186899/2000000000000",
      "34836939/500000000000",
      "70624983/1250000000000",
      "-281749/1562500000000"
    ],
    [
      "-706585657/1000000000000000",
      "-15819/500000000000",
      "2122663/50000000000000",
      "31642671/250000000000000",
      "104639/800000000000",
      "557559/2000000000000",
      "1130077/5000000000000",
      "-1127/1562500000000"
    ],
    [
      "7881/10000000000000000",
      "22611918831/500000000000",
      "12891021/50000000000000",
      "991840149/250000000000000",
      "-526791887/4000000000000",
      "10700001/80000000000",
      "446322071/500000000000",
      "-92588533/25000000000000"
    ],
    [
      "0",
      "-1933887/12500000000",
      "832966953/6250000000000",
      "1041162129/31250000000000",
      "-95799587/4000000000000",
      "2244438657/2000000000000",
      "-2393194219/5000000000000",
      "-44935039/50000000000000"
    ],
    [
      "0",
      "1089/500000000000",
      "-320303/50000000000000",
      "-2511/1562500000000",
      "729/500000000000",
      "-1490949/2000000000000",
      "1742949/1250000000000",
      "755959149/5000000000000"
    ],
    [
      "-17/5000000000000000",
      "-215831517/15625000000",
      "-6971670007/50000000000000",
      "-9800880681/250000000000000",
      "855117163/4000000000000",
      "-40157463861/1000000000000",
      "90638704117/5000000000000",
      "-5773152171/50000000000000"
    ]
  ],
  "inverse": [
    [
      "-561707574827396929009072111554699414350567842475356568393240000000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-13816256425610568980002514943248435201739771688293690870785440000000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403",
      "18554016196736990237423940128787595322280255995062843172891677361590000000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-659954444833757925719898219699166699579687258953795189458267439664340000000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "1700557006221316708949906421801763153892314487071196902640000000000000000/27430246616444732222301026486264055386292799310455802328010240192298874486777",
      "-61736011010482521597008348539450030180953343455866906825870000000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-10369495450740735622681798093431515438207156901402109425910000000000000000/362688816372991459383758016873935843440982568660471164114802064764840673769607",
      "-71738185563954905635310356094344587276964192753249768213150000000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "13606770486480147043376344318313231669941406662479988879534246705916000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "75378601622114925459760025274812855745272261443952269019727451775500000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-643447200794505124326281524222050570167887171337466160828495793399500000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "229358437791367541429649986371874219200624859658205237442068110549500000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627",
      "1719285304093342657032622011346330766870964692991491843457441870680500000000000/82290739849334196666903079458792166158878397931367406984030720576896623460331",
      "1044997607822434717924215001774117517420367890610056521659098019209000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "901875495269246210323634652990827920732980586337596506456749951500000000000/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "-2488042409196011873224707772770055707659374626783965360574638905469000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389"
    ],
    [
      "394918360991964153417933962373251282111987638911768874236670667936875000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "17872625259801718644344354590642206030959565641632452011652523600925000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403",
      "-26479123388872526326608899241116832355661521723236041193911888002487450000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "54028412881115233334507513878929606572394109528204102115154016678750000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-300614775675428539704103137184138671820692018517944827929138422550000000000000/27430246616444732222301026486264055386292799310455802328010240192298874486777",
      "27609239385769960077552547843147797757290446168170894733107061474138200000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "81304266534883675096791843074360677318990796410264027317408811743725000000000000/362688816372991459383758016873935843440982568660471164114802064764840673769607",
      "770268679446674677497051544285128649781225889442729582878391035817400000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "-2718574215788526849373131339482299364022396241633729306308948137291500000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-164146781167188913489519701115576158206899572530865717651554321293250000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "325010339485081082979069829246523377647653946883859807957437526869889750000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-496788966787833438026031201661445738576314989802004145076121337447250000000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627",
      "19044351019838452613063733706203370725171071614955978018107986093250000000000000/82290739849334196666903079458792166158878397931367406984030720576896623460331",
      "-28414925152019891036084888438163158852198928486945416164278813614191750000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-83969407933126019556436379114810312462487678783172908632224245155000000000000000/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "-891603985955629431891439452206697040648178629496173813085679686120750000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389"
    ],
    [
      "957602961799856351238668949545506308134275656446052055363158558028948000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "35997511586956996585394538204539338727834458455028933768849392009920000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403",
      "3751036929943417641234875770612386526477204819684127937007069379863744000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "108316905013455992511443489567350499097646030274352074685572957387236000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-7060365162137233201621296593091745159654161427438505969398432802248000000000000/27430246616444732222301026486264055386292799310455802328010240192298874486777",
      "228121067348378086574560406780979981225524432565973613842366124553592000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "850803911187701987938866107729292194272567541037700683902043398084000000000000/362688816372991459383758016873935843440982568660471164114802064764840673769607",
      "54299535221654041237298848244864309647626548480114294772687356105624000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "-296180965427567509897554870542755245472606647151698235456672541096075000000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "17741765965856487728410345003011648196591868248536002160961858234829000000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627",
      "396540171171805144129956907249722470365851754582228994168823326857096000000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "53237949124308764913852864645093327523914440612510483731943600249200000000000000/4196827732316044030012057052398400474102798294499737756185566749421727796476881",
      "355649187500037704723754055212520578590371084834043599808184844052000000000000/246872219548002590000709238376376498476635193794102220952092161730689870380993",
      "-530175189597458877029507832250862786793333174056474497273702190389796000000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "-21576999670969379137202554094030056170853277347642089014715100160149000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-505913963162132491076138669240205175390093296851801214403825199707000000000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167"
    ],
    [
      "-20304728519823458961280569321990757608519583981336674809675600381975000000000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "1014646286750263136126299354206322028461785493328630968350243010355000000000000/39621467334864613209990371591270302224645154559547270029348124722209485369789",
      "1643593172423242527628683087948996169459523720945491385475700324105000000000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
      "3043972009201415282126448680992712934776208134665740524582533925275000000000000/118864402004593839629971114773810906673935463678641810088044374166628456109367",
      "206292702113599169609313024906764016362861197073417206030990646815000000000000/9143415538814910740767008828754685128764266436818600776003413397432958162259",
      "15028704557955720741637698724096901700750235480283023359614330530585000000000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "2682277974007409724082132820834307448627737745690720420028494753250000000000000/92450090448017430823310867046297371857505360638943630068478957685155465862841",
      "1167569308974128761597522668556185231865454785004431413284082182255000000000000/64003908771704375185369061801282795901349865057730205432023893782030707135813"
    ],
    [
      "81452994677795871848688639002690783995520778305847512904582538325000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-27162267933005829066716643820568708228227808141175089836283867375000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403",
      "-80340661074529534732738393886470329751195006977198361584872326450000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-81482228418934651374030845031253642872921592680130940559261709300000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-5398162383306107873340453974876137341334729906946365631746199450000000000000/27430246616444732222301026486264055386292799310455802328010240192298874486777",
      "33247645648386589901787547194965332987216809785552425624695571400000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "342679922111613594970688528731927017202036168402940231215067852130625000000000000/51812688053284494197679716696276549062997509808638737730686009252120096252801",
      "-113908514693050399223696962370966249374135663360065278724914092850000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209"
    ]
  ],
  "jacobian": [
    [
      "-50582565577885038312380514774212381/5432494467392959321533750000000000",
      "-6647988627/1250000000",
      "0",
      "0",
      "-6647988627/200000000",
      "0",
      "0",
      "0"
    ],
    [
      "-1946108332407/312500000000",
      "-134381088717/25000000000",
      "0",
      "182051049035239/50000000000",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "355329044307/6250000000000",
      "-23084683793927/1562500000000",
      "-2269670955693/12500000000000",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "-57/6250000000000",
      "22756558793927/1562500000000",
      "-45513117587854057/12500000000000",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-136598876179/50000000000",
      "0",
      "0",
      "0",
      "-243577382422563/5000000000000",
      "0",
      "0",
      "6161423600241/10000000000000"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "-192509/12500",
      "-397/1000",
      "-2/5"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0",
      "9/12500",
      "-3/1000",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "77377666747563/5000000000000",
      "15",
      "0",
      "-6161423600241/10000000000000"
    ]
  ],
  "left_jacobian": [
    [
      "7872972096969692142482361863649843156988159453249001662824905660553846147204297727137316821967904000/14186195915987354850362377574581492268577253860725169150170329755707985256720373842826807904825898101",
      "352135848346147923077356364870932611974284340505984006113929529290249396051188800/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "-357439520755874300268292824816519995866254950028714849592150048222894674094047174400/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "16820482754861826213390406703295677187277387114725589908389962840257170506486739977583200/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "40754345110171150214756234772465978581270341013303269883767894227119846000/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "-125360958300486004487011905948335376566090698047829019575017270400000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "24789172748331560935824722918684312898670070588317018964369960000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "193581779014492707204573776244061447353625216080473751315934708862618171000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "-15113218597374966652202050404754341213391571910582855454127922394304823116854512518424505873966788141286/212792938739810322755435663618722384028658807910877537252554946335619778850805607642402118572388471515",
      "-674262093464424733194139232490143444277342089561384465589193439173492375757795696/81604983683923078361345553796635564774221077948606011925830464572089151598161575",
      "1450148475197351147678727441008366856600547175399234001656213571383945018734816/431772400444037451647330972468971242191645915071989481089050077101000802106675",
      "-2051613107452360451544446102097993333383278807461230862368701842857958017503476544/244814951051769235084036661389906694322663233845818035777491393716267454794484725",
      "-553319184862733495099111561563521552385822065473183827145289336200029993019986799/518126880532844941976797166962765490629975098086387377306860092521200962528010",
      "-53414345852530095562684990156520971367211901232321390615239925788687744760000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-414888400943878852663592093839955406769745843048023554204336245874663500000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "2543492107043064590215904319859398757731246090396970713355609984892504078940128177/195851960841415388067229329111925355458130587076654428621993114973013963835587780"
    ],
    [
      "-26757731593391402925526904837616408649659517309986836798524894053209540465812947145811597415969456340/14761910422463428564372921513612374889258328679214536056368709423213304117294873925938405728226741",
      "-1874400820458313653483198913703021547770236822527213593997018271108822794288070648/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "2099026271669504758772476970469779245664929660879810961835876923950172356654978624/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "-5666258425770157769582521355992693728065132089790423673618524521599755489980349972/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "2835773686370607767657922257528630118643026586942477021260317460542902611173390/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "-413647608149867873356894674243503100272750704709071179679983701439628560166000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-10963063251347116010015974873492683447931919880266922337781073443149945975000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-11540332274498695236257407927260035757443319596816956907061785770378004037051230485/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "176396990126617191423466131341436678985838708677319881719867538958406689856129258640970148779907409583800/42558587747962064551087132723744476805731761582175507450510989267123955770161121528480423714477694303",
      "17155015320760695929047616525388049928532714708174741295167044367113736163016822320/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-25674149817857811239865203020051207349423279969044093284455940584802304102999668160/51812688053284494197679716696276549062997509808638737730686009252120096252801",
      "51919531318335022781438470598978314645163623084051453003475414046671488966849133480/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-179024319345112987153791504859527621069459017904255037219531652565425350110414500/51812688053284494197679716696276549062997509808638737730686009252120096252801",
      "424235702176117928142274945576551004217689645564868887472798878299435313660000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "11282992459366091143853724492186873942759461776644475885751759059453309750000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "13311674779437938588635920940924645521952614191599434354601761145015420897052341750/9792598042070769403361466455596267772906529353832721431099655748650698191779389"
    ],
    [
      "-246172099680505172401088613122534933482143239033551038674945195322234691758459495222926880763913448694832/70930979579936774251811887872907461342886269303625845750851648778539926283601869214134039524129490505",
      "-74525447758708009206636331913187207746464594050974219778658720910903387259802589008/27201661227974359453781851265545188258073692649535337308610154857363050532720525",
      "-5869804131714884928604142811156542781519637084056208507192902388912030827291925696/431772400444037451647330972468971242191645915071989481089050077101000802106675",
      "-224247879796257142697789452284158940092280388149449661498226114940167043269944579512/81604983683923078361345553796635564774221077948606011925830464572089151598161575",
      "262951946624417337320284151716263720295086678152929040184743665056672734634597712/86354480088807490329466194493794248438329183014397896217810015420200160421335",
      "-2698730142799358250602199380394631285931741525668060808283662794909415801920000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-90587035442908168323774830876957743435778559052299542613884706619524292000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-3211886435505712011430024540870932822008286668462450492421483443052584691783362888/16320996736784615672269110759327112954844215589721202385166092914417830319632315"
    ],
    [
      "6995087940355319716266244028491443779046468584681945209198006494621025614607805336370786082151982908284/638378816219430968266306990856167152085976423732632611757664839006859336552416822927206355717165414545",
      "-3374517199094996741803528807218693528867434133741497062326263354704399034488022104/244814951051769235084036661389906694322663233845818035777491393716267454794484725",
      "-57008831990080067414036912975728221997988092128621937629033732860884495383314048/3885951603996337064825978752220741179724813235647905329801450693909007218960075",
      "-10125961120867138379693167062625767010901271028421738668778240014062813122290481156/734444853155307705252109984169720082967989701537454107332474181148802364383454175",
      "-1216896731079978483552275323774509602142376364774566887438968693228289007961396/777190320799267412965195750444148235944962647129581065960290138781801443792015",
      "576230379547521628926992751148900592208435498340796982858857448125901287600000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "211062129261307347417419078364131337873566308588806711821057077289073035000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "2749308160541748756794963315232620247600696877820216375454801234682020435154377154/146888970631061541050421996833944016593597940307490821466494836229760472876690835"
    ],
    [
      "22074560184466676214450210294950522637366219512154231668158214332775039244975418910862843025716629096/3616089155055600255974723695481556852774594121361317626514005624003996241909114901112715740445817163",
      "-8883585892024679704880339486791551862313445962961525957075251357010239751148112/1386751356720261462349663005694460577862580409584154451027184365277331987942615",
      "-424201994412792742109807201503539360350714419851993463705836410706203840335232/66035778891441022016650619318783837041075257599245450048913541203682475616315",
      "-26651035096302016836813331904956990411542016398916275238815353950541208045754168/4160254070160784387048989017083381733587741228752463353081553095831995963827845",
      "-74540156655345172923921735312986333333160508679015066869089532530882437173170/13207155778288204403330123863756767408215051519849090009782708240736495123263",
      "-3759474448573151013625566905038509434747375749448162056161802303264961200000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "-6038817214806621196980383979628996276310792404806009725107658578979995000000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "-3796921464403674378042675656651150183654029336279390471835562265927059954170515/832050814032156877409797803416676346717548245750492670616310619166399192765569"
    ],
    [
      "-81874956383984287049386930063076568463678126723541435967596859666874424227242636433754526819020/155892262813047855498487665654741673281068723744232628023849777535252585238685426844250636316768111",
      "81657123508388297329720696419168522548061240283942881654764993900385676864/155438064159853482593039150088829647188992529425916213192058027756360288758403",
      "9093570960541729145407677254598031134751222059003294876683835404714478176/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "244934512027149125435662145037412519422218479425934392743826217025077671296/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "10035768476161170760556590307139647082596512524766435815347236480912530640/17270896017761498065893238898758849687665836602879579243562003084040032084267",
      "-99506402520215777650283218053172185730245950479434966833291314958000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-9265557212335976540399599931998430701650901620364250555779836149372675000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "342182129521032264170134943299132498515477217702271047810876371189203723020/466314192479560447779117450266488941566977588277748639576174083269080866275209"
    ]
  ],
  "field_center": [
    [
      "-3404500851112877362857/190306672985000000000000000000000"
    ],
    [
      "-10438248761787/6250000000000000000000"
    ],
    [
      "4050034476411/781250000000000000000000"
    ],
    [
      "1297123851253839/781250000000000000000000"
    ],
    [
      "-92524292826777/5000000000000000000000000"
    ],
    [
      "17503/2500000000000000"
    ],
    [
      "-3/2500000000000000"
    ],
    [
      "-6806112998223/5000000000000000000000000"
    ]
  ],
  "physical_width": [
    [
      "77110688835673/1250000000000000"
    ],
    [
      "95136992457973/2500000000000000"
    ],
    [
      "2088291319461/10000000000000000"
    ],
    [
      "1543562531/1000000000000000"
    ],
    [
      "463898585113741/10000000000000000"
    ],
    [
      "973504815219/500000000000000"
    ],
    [
      "766716563/5000000000000"
    ],
    [
      "363031505147187/5000000000000000"
    ]
  ],
  "transformed_reaction": [
    [
      "54720582120028112095823413820192346098990263208779833384449408000000000000000/192011726315113125556107185403848387704049595173190616296071681346092121407439",
      "7186825821741204812880664947205791980747648370277682739581600000000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-3637831474535719584530754100410160386180463583271866015200599023538800000000000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
      "6599544033849886488881912796916218698343816537344801245771948273080200000000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-27410446930429159400034922028875440259014961671472219962731000000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ],
    [
      "-2859241622690740795864716206886456779405576311115856287802074954014400000000000/576035178945339376668321556211545163112148785519571848888215044038276364222317",
      "-4364034433471758464605167273370531858551724102569350365019396586337910000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "1763887266928688560261828571627584395742949952113649272880762797840000000000/192011726315113125556107185403848387704049595173190616296071681346092121407439",
      "-32226329250227650503699105474356519648080753263484303828857552230000000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627",
      "-20708299359630378806010672712298341696530417309277149473201022151644850000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209"
    ],
    [
      "-144987010154880046108078194593268255766990779743256539572964454316480000000000000/192011726315113125556107185403848387704049595173190616296071681346092121407439",
      "-7182904053731763143862913780966775603306505774162668794262063913068500000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "21064566493364967027412119088838697726798651364653701889190561662148000000000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
      "-4105371017100774014744501070029884795154126033067460801964458759750000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "80604183775205067372183981761004115172788823964636501740195850810085000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ],
    [
      "1160594187350492994381749658900592693904430543958947647433710848837600000000000000/576035178945339376668321556211545163112148785519571848888215044038276364222317",
      "9045928888555019768370940568881964954540774389079358443081955843895000000000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
      "-257637539021643856506080037378943919857010315147038303508212059789820000000000000/192011726315113125556107185403848387704049595173190616296071681346092121407439",
      "43486232862666975574720983147172639556162722094069921214583735675000000000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627",
      "-315788175731640529284602376324489815694353615167593519724053003121750000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209"
    ],
    [
      "-322550720964885323206014917993568455796479865223841819201693325221132800000000000/192011726315113125556107185403848387704049595173190616296071681346092121407439",
      "-2348390150110512004914693099351772682708608931617396900094901091228720000000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "-2347308701842529955807663798934065123759751064912677187614163669139680000000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
      "-3243702525850027552598749537324829141426549092652733790247813574760000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "89448298951598479223023314282278198364647175834529650513110085957313600000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ],
    [
      "-14380446090431761392764682262680351370507780906834411279722631874886400000000000/1728105536836018130004964668634635489336446356558715546664645132114829092666951",
      "5077174242301260460708562759449305932407049761128940941589970893077740000000000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "-18725119452269639006264199791426806038000525721298516113896568715840000000000/576035178945339376668321556211545163112148785519571848888215044038276364222317",
      "-126512267393017286218296360583829341388358669024772490580255447130000000000000/4196827732316044030012057052398400474102798294499737756185566749421727796476881",
      "-54823621647463697793826540181049512424234745594705240278099919614918800000000000/1398942577438681343337352350799466824700932764833245918728522249807242598825627"
    ],
    [
      "-3209099206182614071589494772294415965369316411406641682174409073536000000000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "30641852549718690536661681109504642389984300953114181217109030436200000000000000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "-785429027896611790503191685172795460538019061749391188084889819200000000000/277350271344052292469932601138892115572516081916830890205436873055466397588523",
      "-331489506258737475506183737468493908516546798476195318048942100000000000000/118864402004593839629971114773810906673935463678641810088044374166628456109367",
      "-27647960582106542566766850579116288267457359450948902893285234545000000000000/3047805179604970246922336276251561709588088812272866925334471132477652720753"
    ],
    [
      "6364069877009948510360933461711188548262798621695360803588480000000000000/27430246616444732222301026486264055386292799310455802328010240192298874486777",
      "206315316768159239961981571404071016143392602244814056702057046500000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-895346936788326777484275407673186762138498590535356058344614000000000000/9143415538814910740767008828754685128764266436818600776003413397432958162259",
      "-45753800828358261190864304524818117618317433943289495898928250000000000000/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "-15497827923792595763836471358650340200011678459383944089660091540000000000000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ]
  ],
  "source_remainder_bound": "7268461705907130029311336444409600/464892853932156821905587547712575428729",
  "linear": [
    [
      "-14674041658677544764930896780557652421261157703569750076500992275387849878804225445287359608122459555169166642965711/4030169294314589446125675447324287576300356210433286690389298226053404902477378932621252245689175596875000000000",
      "51942740165818024964913053938336793903356134254741961263746184838401647748525633796870591575999710411850983/5910914964994731187650990656075621778573855775302153812570970731544993856966822434511169960344124208750000000",
      "8973923830712046961696884995305598437200790361156924684626534406822801482107554850970125992138242790467879/709309795799367742518118878729074613428862693036258457508516487785399262836018692141340395241294905050000000000",
      "177792714274721449667338270046360162424305205023383444189575413881109115478145893599758485330017100663874227/5910914964994731187650990656075621778573855775302153812570970731544993856966822434511169960344124208750000000000",
      "-1275490251640009752773464034700996558340344450485657107823241724139032849547787887520115404124968290950817/8106397666278488485921358614046567010615573634700096657240188431833134432411642195901033088471941772000000000",
      "745766730923017144213636992957571058423636521910268355293259459531734278876396095308371945804868236824513/187648094126816863100031449399226088208693834136576311510189547033174408157676902682894284455369022500000000",
      "-10347688997162976200222940907538327513760585484377224257360272898152816748222640740852891716270483837373651/27281145992283374712235341489579792824187026655240709904173711068669202416769949697743861355434419425000000000",
      "-11970466532931615914322753723470097529593830555441693390828024802912668430830269820329635388299217846938721/1182182992998946237530198131215124355714771155060430762514194146308998771393364486902233992068824841750000000000"
    ],
    [
      "494150530707635556330220000630897380136116833079919750613015192165582039180826611221663062999423509755217/483620315317750733535081053678914509156042745251994402846715787126408588297285471914550269482701071625000000000000000",
      "-18127945308439898317189720726712781710584295573011428557743373482811599799066747214705549890111622830073191713840913/354654897899683871259059439364537306714431346518129228754258243892699631418009346070670197620647452525000000000000",
      "254898031195578805706921801141099146066839819000993908457594754330609154200342443667502623117557054957673/42558587747962064551087132723744476805731761582175507450510989267123955770161121528480423714477694303000000000000000",
      "-46117563189918394072535722990809602564073256205547895307868285793288912916844400750805493391408970156147/354654897899683871259059439364537306714431346518129228754258243892699631418009346070670197620647452525000000000000000",
      "-47322760242720200036030659490177049492109750320763858806710957999868783299753005884935703079865428917503/486383859976709309155281516842794020636934418082005799434411305909988065944698531754061985308316506320000000000000",
      "1015392063941895544943506579038463846940897973369731795341895755908425612338319276528470354063470942217/703680352975563236625117935247097830782601878012161168163210801374404030591288385060853566707633834375000000000",
      "1152129091528911710149052709608169651958627288181045307363548669728367536549426302380213383735862632407131/1636868759537002482734120489374787569451221599314442594250422664120152145006196981864631681326065165500000000000000",
      "314054912596306096318893709375312779361034026963796485905341751744462621097666629970985571229139539461581/70930979579936774251811887872907461342886269303625845750851648778539926283601869214134039524129490505000000000000000"
    ],
    [
      "244578287722228042918972186957257091645601129793446816451868826641794751313797472017694146312975543759/1677489820734480518678741081092315328324810077183470006405535161728784558783508400674818832753038750000000000000",
      "154480758720350255161297252994341805892855288083989631824530354085369016934290644824488922402290384699/1230159201871952380364410126134364574104860723267878004697392451934442009774572827161533810685561750000000000",
      "-2211661412668218848296518664050985584952805036986444352347006007761856664292744786198697964624466702582810951333/147619104224634285643729215136123748892583286792145360563687094232133041172948739259384057282267410000000000000",
      "-484372635733674914243851751175679856040096649857048302947065830046456965252764725750186540085516069/1230159201871952380364410126134364574104860723267878004697392451934442009774572827161533810685561750000000000000",
      "-10694465324814033954197198662627181678353114711871158410157176586010850921774193914670932854629138981/1687075476852963264499762458698557130200951849053089835013566791224377613405128448678674940368770400000000000",
      "-12003287252334943332061142569657689269291933246333056537731522204173589208707030010614779763683238361/39052673075300075567124130988392526162059070579932635069758490537601333643637232608302660656684500000000000",
      "270467492991997084192737840557836864835849562942187695588027493162576953652364994846775456089965369797/5677657854793626370912662120620144188176280261236360021680272855082040045113413048437848357010285000000000000",
      "190275764318128023851806149918502532002088079267629328982518160502595310367668306964372142595772737387/246031840374390476072882025226872914820972144653575600939478490386888401954914565432306762137112350000000000000"
    ],
    [
      "-342138977258995670566717568736603849683382949810210755307526496375509599839341942513104277279459354275531/483620315317750733535081053678914509156042745251994402846715787126408588297285471914550269482701071625000000000000",
      "159516833571567305956152702336542439598470631689408792002035412378770440201801129021458116309438879523179/354654897899683871259059439364537306714431346518129228754258243892699631418009346070670197620647452525000000000",
      "590678827102025779513365985372320509427765105400860774720998015602187755804200674452665915485020788103/42558587747962064551087132723744476805731761582175507450510989267123955770161121528480423714477694303000000000000",
      "-5295008480250768849997519572261701811336560172499441762289589262808161808642182971298882297633363673797984478113049/354654897899683871259059439364537306714431346518129228754258243892699631418009346070670197620647452525000000000000",
      "6360004877546241712390176955219480117909709131736034009478542309841240041428691081713106401897169153223/486383859976709309155281516842794020636934418082005799434411305909988065944698531754061985308316506320000000000",
      "4974552730743787939089135346634175025664278221134742510098849940148413569013928078706768298317156666689/11258885647609011786001886963953565292521630048194578690611372821990464489460614160973657067322141350000000000",
      "495268814268537353264856477090968483984610156953472657652022007369864535248900015043651744577347491213737/1636868759537002482734120489374787569451221599314442594250422664120152145006196981864631681326065165500000000000",
      "-78965956627617518617548801446547682249580035895457291315215874433034096371500311578020996731537679935713/70930979579936774251811887872907461342886269303625845750851648778539926283601869214134039524129490505000000000000"
    ],
    [
      "-943467970950885561678728138311987678069323225242944036679465563381190283866765945330475262861747683148003/20150846471572947230628377236621437881501781052166433451946491130267024512386894663106261228445877984375000000000000",
      "199860680597236337178509626215289306442930774671435429863250255477474966771589659348881095405567777631341/7388643706243413984563738320094527223217319719127692265713713414431242321208528043138962450430155260937500000000",
      "2174939148134763171118043084930505678451748795224491740118540003059511740219709275140923059765907642409/44331862237460483907382429920567163339303918314766153594282280486587453927251168258833774702580931565625000000000",
      "39895438918695717578338186976387309886617911444873772688484615736516835300872190746538849627262707525401/1847160926560853496140934580023631805804329929781923066428428353607810580302132010784740612607538815234375000000000",
      "-1198759281702729675062687775931930471041325574041116737003436058146802806913165178017585565911475190537688009081/101329970828481106074016982675582087632694670433751208215502355397914180405145527448762913605899272150000000000",
      "133857194656907421331681046546645229758833768059155241302895712210779569176361007753809194597862647507/469120235317042157750078623498065220521734585341440778775473867582936020394192256707235711138422556250000000000",
      "54386389364208959873686318413683311059388330081367071564308859992419732762547563938742679302525475165101/4262679061294277298786772107746842628779222914881360922527142354479562877620304640272478336786628035156250000000",
      "-4988555512876204339565848129869516954584425813445425494413593353976844053847521455457648164829021023241/738864370624341398456373832009452722321731971912769226571371341443124232120852804313896245043015526093750000000000"
    ],
    [
      "282347196700752175854423433714329457461205669992973396127018627710309389980148636875759243852915176350043/90678809122078262537827697564796470466758014734748950533759210086201610305741025983978175528006450929687500000000000",
      "14753095961327854326847620998435452264887628629787055170162800080115838821888916856370630841351839749777/16624448339047681465268411220212686252238969368037307597855855182470295222719188097062665513467849337109375000000",
      "16335663582608838510598335213227115418105321562931639426995050187375814603136221615651258736672990594531/15959470405485774206657674771404178802149410593315815293941620975171483413810420573180158892929135363625000000000000",
      "435241937739382556343405394255635522880773906804236408891364577289532084142564621927802559947532985536229/132995586712381451722147289761701490017911754944298460782846841459762361781753504776501324107742794696875000000000000",
      "-1756589360587543760273534543056887879729676196200647541832906534576950833846644285757316171277388479149/36478789498253198186646113763209551547770081356150434957580847943249104945852389881554648898123737974000000000000",
      "-9177690806777861752146814075249118445261031147102183739676462825400465564325032469196682315826636189423642888953/8444164235706758839501415222965173969391222536145934017958529616492848367095460620730242800491606012500000000000",
      "-3844706686964829975137817758956435482282960158875447430444808662399502028373041819250491008402478553257/613825784826375931025295183515545338544208099742915972843908499045057054377323868199236880497274437062500000000000",
      "-2656217352022372283677449835493721128334249092888005546536030475580180683285190416028140742918015823007/26599117342476290344429457952340298003582350988859692156569368291952472356350700955300264821548558939375000000000000"
    ],
    [
      "-4470300674896458257101588282633801951629330711673912504825934070917859288625187788167330242796442188949/2054596110827045599985638463341793666349201205318930469610230468184088773811997102904952125253305206250000000000000",
      "-1208033519939900829580782200490804791397077886053678579650353486753030957203016416040859186454164937249/1506703814606500106656134873117315355322747550567215677714169010001665100795464542130298225185757151250000000000",
      "724028550725652007462548304727068149916411350120145663452069371034487746993097011907479863146278232861/180804457752780012798736184774077842638729706068065881325700281200199812095455745055635787022290858150000000000000",
      "13644635599285764750072896053446858682554849500326124123763880622048612108763630093951104003204383119169/1506703814606500106656134873117315355322747550567215677714169010001665100795464542130298225185757151250000000000000",
      "106802085239251226074603756219443990572918044896439167166906054328600669714060081249668872908558310229/2066336660031771574842699254560889630156910926492181500865146070859426423948065657778694708826181236000000000000",
      "-588189018342114739065927858585946466148932960650541773256567261639194912948152332290509593746933777/23915933565182541375494204335195481830519802389955804408161412857169287314213722890957114685488208750000000000",
      "-1739567869626434987916023987984936732410268115861081490063856225749799358640273730128766074537900734626135571337/6954017605876154338412930183618378563028065618002533897142318507699992772902144040601376423934263775000000000000",
      "-33955690853856260447601665463314528714534849192219817165155295051738684627678415153482296561799862567/301340762921300021331226974623463071064549510113443135542833802000333020159092908426059645037151430250000000000000"
    ],
    [
      "611402092026629519433362506443196491946794802545862568443674255546603107797285627520832723449583131/17715029865119074488464507460766099236485082243662798639073838356278702868032434868664845035996376250000000000000",
      "-1534273055065537835203168537032629141658774464779464438625573749882184006477155564299263054377707929061/3247755475271830322885159701140451526688931744671513083830203698651095525805946392588554923266002312500000000",
      "82149317743202706058003950628255504922386264335298903229016114228074876357848514671251320433511864627/389730657032619638746219164136854183202671809360581570059624443838131463096713567110626590791920277500000000000",
      "431518220438724144737172046040389247094223986782673044954348765115379948446930189273241130488960048283/1623877737635915161442579850570225763344465872335756541915101849325547762902973196294277461633001156250000000000",
      "43385391830050664072079666861793262568566642646019105793668625888984154473911814277390906740934036007/31178452562609571099697533130948334656213744748846525604769955507050517047737085368850127263353622200000000000",
      "19628462987001456763220554714196268726355763044665479884527510589637204082458926626709473429134200931/1443446877898591254615626533840200678528414108742894703924534977178264678135976174483802188118223250000000000",
      "-345659789105508280576029148544092627597947158863451607975175759632505792438039015340966486058371819/7494820327550377668196522387247195830820611718472722501146623919964066598013722444435126745998466875000000000",
      "-1951433207153620627431462881194870478678709609827781431654390322058558352704222235991259305734654227803048163/649551095054366064577031940228090305337786348934302616766040739730219105161189278517710984653200462500000000000"
    ]
  ],
  "residual": [
    [
      "-104261488417636207267462691070604770714905591296119953602510655755977641748937251256350002242661/44371351268236028216020337059885856053452788683598739851925795131060566089878357087764432500000000"
    ],
    [
      "-1087497436036025655700045919532026078989827623924406188940847450729753929053038567080500898359/2662281076094161692961220223593151363207167321015924391115547707863633965392701425265865950000000000000"
    ],
    [
      "4355938676656219498510517116597188215321950881363163734104297563088228270067184559440544477/286266782375716311071098948773457135828727668926443482915650291168132684450828110243641500000000000"
    ],
    [
      "401570450391695959920800944411779170852042294569034011978930307018232088426891080544692963847/2662281076094161692961220223593151363207167321015924391115547707863633965392701425265865950000000000"
    ],
    [
      "133773565671668521257291608715439817674229043020917910711373011300456501050341120768726403789/27732094542647517635012710662428660033407992927249212407453621956912853806173973179852770312500000000"
    ],
    [
      "1474768453879727253814819824098733594121469699824853557260028158450763668397271323213627963/998355403535310634860457583847431761202687745380971646668330390448862737022263034474699731250000000000"
    ],
    [
      "36650817000649184575536661961521644385945458425590876853481761395731776841604924671147973/11310344440922909153103223172127767229311495154642816040686967386348771748400365532175247500000000000"
    ],
    [
      "-490830740940663618787728058193152575220150221937128972679453925071987970082549985785643/85329521669684669646192955884395877025870747468459115099857298328962627095919917476470062500000000"
    ]
  ],
  "nonlinear_bound": [
    [
      "973759842136704214867335702231221953723259627510481256797091672235990287119237971756139994162380081377412518506237201008823742360670787/379375737599060923744115620126772803236444634057853477637191265894377086129126061647169878992690181411763848338388881750000000000000000"
    ],
    [
      "32699916721267913747382764111683379868515292281578120049273628216416680176796416807349820147383759149145554013504872314055492399032359718447/22762544255943655424646937207606368194186678043471208658231475953662625167747563698830192739561410884705830900303332905000000000000000000000"
    ],
    [
      "775616908652345860509725138188199670272692758781789892060779298409984891750062545194819755573679489511563373058664874649349880844817439/78954367866609973724061523439494860194889622072394064024389441393210631868704695452064490945408986766235972599040350000000000000000000"
    ],
    [
      "220340613652262942388441922428405792829765168374954465028256956189377950914624972912243638398897139293489537755729444741712185918531730971/22762544255943655424646937207606368194186678043471208658231475953662625167747563698830192739561410884705830900303332905000000000000000000"
    ],
    [
      "3768047882828776645447654773743833057277150140308214498492532181649377250209715636472059150544437964736127060482872737051675668725426440129/474219671998826154680144525158466004045555792572316847046489082367971357661407577058962348740862726764704810422986102187500000000000000000"
    ],
    [
      "5516477473467088326846426195703428101890172162513608573548940587550230468912322089041699228564204455829708135562734569572636165653161916929/8535954095978870784242601452852388072820004266301703246836803482623484437905336387061322277335529081764686587613749839375000000000000000000"
    ],
    [
      "14058625458610032759714023990616195688370702728201139711665367701155703873089062652010245518632933846603106440116675699261727148656225339/96703619387995921738696138463687185138701573387295984495754636404449061170169388263004086802058281536331961341157950250000000000000000000"
    ],
    [
      "669217456650321282891595203768759459529761450676156987031761036484804176968555948349000366826380809281779281495960953255240244810247/416896414944022993125401780359090992567521575887751074326583808675139655086951716095791075816143056496443789382844925000000000000000000"
    ]
  ],
  "decay": "1/2000",
  "decay_slack": [
    "1380344643417691226129954512831192671288962347044988480474240807104034224758499168250865189201643469781269012594722206509380984413930789213/379375737599060923744115620126772803236444634057853477637191265894377086129126061647169878992690181411763848338388881750000000000000000",
    "161540108689508469532374501432792268755941791418019469402045367753166983679888630044303187847310960527242875257749879414742091040526706203079/3251792036563379346378133886800909742026668291924458379747353707666089309678223385547170391365915840672261557186190415000000000000000000000",
    "58179289176302910649122350122315804401478062853353710052929079143934848771374257304699054881393813804253033619100210057904805415423223/11279195409515710532008789062784980027841374581770580574912777341887233124100670778866355849344140966605138942720050000000000000000000",
    "39831151033643778858359504272389619795937682796387970272997018487965233963839821888759380496059806502266005365028671128592979336802096343/7587514751981218474882312402535456064728892681157069552743825317887541722582521232943397579853803628235276966767777635000000000000000000",
    "167441282154616287045431911453748579097003291839385192478742686839998099256030850129670347665042676639813650837307922252874317936438267261/43110879272620559516376775014406000367777799324756077004226280215270123423764325187178395340078429705882255492998736562500000000000000000",
    "3756708798163953971894488901449022478695498368638498931116151942902723171332990505702076987336167970551188879260846030446143103024890103071/8535954095978870784242601452852388072820004266301703246836803482623484437905336387061322277335529081764686587613749839375000000000000000000",
    "373470971871501534770394977393853999080460676480808792014913773567687183973196072905986674945910151687556379023246139659106234274420543/3581615532888737842173931054210636486618576792122073499842764311275891154450718083814966177854010427271554123746590750000000000000000000",
    "124868126245151571046095617472317990347301086197125280975354870584022582959841293497371904867685845652297014179092027660201437883251/138965471648007664375133926786363664189173858629250358108861269558379885028983905365263691938714352165481263127614975000000000000000000"
  ],
  "physical_margins": [
    [
      "2000385757101827/1250000000000000"
    ],
    [
      "35345392865226827/1250000000000000"
    ],
    [
      "4770133838559527/2500000000000000"
    ],
    [
      "7104492594820539/10000000000000000"
    ],
    [
      "2841088791469/1000000000000000"
    ],
    [
      "1820144156898991463/5000000000000000"
    ],
    [
      "492862889063375229/10000000000000000"
    ],
    [
      "902090176676259/10000000000000000"
    ],
    [
      "2470112653096259/10000000000000000"
    ],
    [
      "150377791067281/500000000000000"
    ],
    [
      "362476393557/5000000000000"
    ],
    [
      "36483476469882813/5000000000000000"
    ],
    [
      "56402280325081203/5000000000000000"
    ]
  ],
  "inner_services": [
    [
      "20700285518927599809/2000000000000000000"
    ],
    [
      "8337350693558592205304429473872093/2000000000000000000000000000000000"
    ]
  ],
  "preparation_center": [
    [
      "42312305371/25000000000"
    ],
    [
      "932565611843/250000000000"
    ],
    [
      "710651589539/1000000000000"
    ],
    [
      "2842605989/1000000000000"
    ],
    [
      "62321351891/250000000000"
    ],
    [
      "60514733193/200000000000"
    ],
    [
      "72648623839/1000000000000"
    ],
    [
      "3678895290383/500000000000"
    ]
  ],
  "preparation_halfwidth": "1/100000000",
  "preparation_modal_radius": [
    [
      "15460784737217669740991659077621113879403392637574566127689455670619400000000/1088066449118974378151274050621807530322947705981413492344406194294522021308821"
    ],
    [
      "132691050276154284933111171243849366870103248912003811161234662379805000/576035178945339376668321556211545163112148785519571848888215044038276364222317"
    ],
    [
      "189248617976080323440150438318243874051065568609430520905216796902425250000/1088066449118974378151274050621807530322947705981413492344406194294522021308821"
    ],
    [
      "1223273501512099471942813107781680821084534309416418846297237756560915000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "73530672622286150650431777939979980361999756143868615494436612465211480000/3264199347356923134453822151865422590968843117944240477033218582883566063926463"
    ],
    [
      "27105682688633405179236952962790040372076488453730623623164373806093050000/29377794126212308210084399366788803318719588061498164293298967245952094575338167"
    ],
    [
      "1574070590805146512475830507399610631942955009864275780896765458290350000/832050814032156877409797803416676346717548245750492670616310619166399192765569"
    ],
    [
      "10282276622044500910347748795412880338722646264368041629800858441355750000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ]
  ],
  "preparation_services": [
    [
      "129377077736739/12500000000000"
    ],
    [
      "4938922851423795755550687/1250000000000000000000000"
    ]
  ],
  "status": "EXACT_RATIONAL_INEQUALITIES_CHECKED_NOT_LEAN",
  "deadline_seconds": 2000,
  "interpretation": "At maximal modal radius a in [1/2,1], upper signed derivative <= -a/2000; constant residual counted twice."
}