{
  "n": 3,
  "clock_rescaling": "21029741660019542421459043262563749/423580989659882575434511876096000",
  "rates": [
    [
      "12462104042384558360547778786710512/7009913886673180807153014420854583",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "530830931364631802628048236035687971625501257007294840832000000/264409058941477647984676478056892431658546463547886156012531166441",
      "1414250805231288397279880527572287/7009913886673180807153014420854583",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "2/9",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "89710427400622774644140151890031267204709712434232828100608000000/44684993306252130159381770693105778220691362835458686294509410151889",
      "1414250805231288397279880527572287/7009913886673180807153014420854583",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "14/9",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "89710427400622774644140151890031267204709712434232828100608000000/44684993306252130159381770693105778220691362835458686294509410151889",
      "9899755636619018780959163693006009/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "60729047700678751519407802782636650/273386641580254051478967562413328737",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "46649422248323842814952878982816258946449050465801070612316160000/23226296004078446572347274541624641140809519663396745325548015160977",
      "11314006441850307178239044220578296/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "8/9",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "89710427400622774644140151890031267204709712434232828100608000000/44684993306252130159381770693105778220691362835458686294509410151889",
      "2828501610462576794559761055144574/11683189811121968011921690701424305",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "18637563545034833319118522548224000/21029741660019542421459043262563749",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "42358098965988257543451187609600/21029741660019542421459043262563749",
      "2828501610462576794559761055144574/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "2",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "89710427400622774644140151890031267204709712434232828100608000000/44684993306252130159381770693105778220691362835458686294509410151889",
      "2828501610462576794559761055144574/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "485978767447562816639142485996638864/273386641580254051478967562413328737",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "1166235556208096070373821974570406473661226261645026765307904000000/580849803629632244461251236729401049110975126791139147701410760307821",
      "1414250805231288397279880527572287/3894396603707322670640563567141435",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "162064444488029372744614756989679016/91128880526751350492989187471109579",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "2332471112416192140747643949140812947322452523290053530615808000000/1162263640746332810988713759483249692665868172361156700768151609594619",
      "9899755636619018780959163693006009/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "16/9",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "89710427400622774644140151890031267204709712434232828100608000000/44684993306252130159381770693105778220691362835458686294509410151889",
      "2828501610462576794559761055144574/11683189811121968011921690701424305",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "303856552806535185218089617411670810/273386641580254051478967562413328737",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "1166235556208096070373821974570406473661226261645026765307904000000/581101788622374292199427351857469789809158667818692308966749337370669",
      "2828501610462576794559761055144574/35049569433365904035765072104272915",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ],
    [
      "364527190995683835801652537468200172/273386641580254051478967562413328737",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "1166235556208096070373821974570406473661226261645026765307904000000/580925362457474941262816965834458236992618357873201229092286701521069",
      "1414250805231288397279880527572287/7009913886673180807153014420854583",
      "423580989659882575434511876096000/21029741660019542421459043262563749",
      "897104274006227746441401518900312672047097124342328281006080000000/44684993306252130159381770693105778220691362835458686294509410151889"
    ]
  ],
  "totals": [
    "10",
    "1",
    "264490005424"
  ],
  "Omega": "1292703175752948265595904073074675223330813788552900981831968894562772254294674528784639739378846349390788993018431357952429610218430",
  "protein_moieties": "341907069980739046984734491801259486979626777737329721469754289179658575487065668209805428612828054474399689702383086920012538078127482237167050",
  "Trec": "2543942722901437159391266442858665036284200361065290190702242831320987229341615713084816845899160985880680545855132509941861414121952227193241047981527/2647381185374266096465699225600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "T": "2543942722901437159391266442858665036284200361065290190702242831320987229341615713084816845899160985880680545855132509941861414121952227193241047981527/26473811853742660964656992256000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "measurement_error": "5907653441293492880954613553051470669064373245616308941426882063693700301203305608663999207946706047/1600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "labels": [
    {
      "index": 0,
      "pmax": "15241970395293870615277845770432177277659745740490701130827416741680219058973825115791729470891834849352716227643599779/6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "pmin": "28125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/4872114425772693766384328979943515557534017118171339059144670126848155834667027922387524378710711971669111411489672282188672950112572069238871208735977401313981093704791675866375212471492191812320498109458032784565858202885569906009921593",
      "qmin": "42358098965988257543451187609600/2336637962224393602384338140284861",
      "radius": "806623954918721701266892732800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/723690058764143537791252448923692632615445279061806453600371907903910967397731037986332270307713911525671415088367886096209219634519416839140569134450142159",
      "v_exit": "2614187429392178488849815596901174138199583235621906144000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/364522762731949238331217163040099925572875433045985157358107892669647261602943519517165460837969534102140857711286352865436944139642811263725731688902789854891169770041265423402405524631165577538960755506822057746513361293798847028841135890073698117151404038937526623965211991612611103621053890307280401275394471354317848400258841160636192362410695964082320489000118145189927606750544151701513192740241857630215560482981641356582096185554336358651275180713234211771538798228292000389149053303486731067428171690292220797228368664232360748161690471519",
      "lambda_": "132369059268713304823284961280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/35614966644744004870009937636661268530971667876488429682457626785520736391994912043031052437140927697662101568096152208746131850558035777288054536645719",
      "C": "86091643198003201973119268939837404018786098125060915081011130569990792524777035874955761063225224998878880572141080443084668813673930518271447934327029507606525649158360822528695975693567541680247191371587053863596786105060829886707259069856353152547927285168286119029246245385832195501099306248686086283088923017474057011760607962153117738748593396240358291719869885204058690074515536115519/1762381930734736580051906484081318174616622692950603435586814627263730922723183479382052439280040139081991443692752509089921375485127411328010638181214463669022542289430469546391406186191315131762837821691244545863945570750282057909012776476696598661155430894084190305802062500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "readout_interval": [
        "109413406546793932933801940290663797301009637095718821522122492176488394829228003/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "875307252374351463470415522325310378408077096765750572176979937411907159320842499/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "readout_instantaneous_variance_rate": [
        "86896224262911010452766852400213076862577259067740840937764212236203700933/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "8689622426291101045276685240021307686257725906774084093776421223620370107/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "retention_failure": "16474061049370381509442862971111708010274668487565455342196393582346291318361358442042054148904752780522898365158384503929669857030232631722936747499568794591990013460193236534258690433126182351323738839700090889718653726992047982173474356707724803443672552198355649852612046244660851012055710055008089783308266299585742096250309106057890201184662460409248512210201969034447677283214349975656163140949113230244054731762823122595313480967101679459917972922049579538609877665022102349888298133297393603232701842019905139111413373933091929336801139067528740298134797402478900582005327636989708614524085043892280041769345780226433277266922877528414504382613760382445813521119652921434427652227656285318779274753949620828050546133114021723230976811483153263484090225132654020997365999214875810499373316737786241631929306657565924078981847658319810994222761167828004267028680626979270496181571642850520561628381608856822180708095978763372977250199491029402043772391345190845700446379487009292099758606533632490317881954635157445926956911397992759225927127562036260611524627798076077463447803561027/67477754058221082662677966729673416063759850180278866007648048518087332334195840083731130045226114153853234955624043984317029543647580203111137108543216347017373325425490132888491888303981737829067104526180594886524197829029621404893040868304612086988213016333294848493100841637330821831146589909573991094572281531210470802700528654986329758673876481285077549546924500768765257538512644675621332874740586615945944226606016995784027997980518713751388160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure": "57456965155449154260054628107950871445224125773993185389506370582041518366107077191299553163798562921482279628987730556286528674408969769180406981240262493825813022752627943900881957900905512133329161605662000310076154838390361571953087285924975452941805261260112337351113268051949007284485140742739452603454396407731627688484290361695223527977932002777026839058318249592155475611881935825281947985447068953281491407667647918829657971107717776570866921252062405966934806323032366570134457643966227956248210529944363850579717241083486158111257666128419582279114512630134665986399915603176731575470034714432559345651749187233193931905126099007719566502754147663536049850910977189856102975694997860723734178450162949183631681311948622558799192459899644720816080721588657259424327232923172541834671743067075339050551236110875348576928119354912766323976246376240993718761936924864254337585078219223793523228672671202225109513981461231587337721267834799313084253968433296400809129539616090520819249454201108942995111726521162425780777444280443737180240329860519049296069284271621413932379422488608908471221567/11767186463835986792459187836508338459779549766371175015284606675168689371895200907458693157998415554173624957384215259541892707806846436089414255814595484622170292519791108553378189227117351044410418618544328070334158382573524938074260754098879060928469066743389866157418534046688550124014123519387205478266650657646915248796827681184837081241956696652671168657039010318213807466956027601077938908123009663774055564070524727222382114603187554713900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    },
    {
      "index": 2,
      "pmax": "143478313526418321608001317145933629874821757965185509370547436407838146402927143570095580241874699454100589484426521/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "pmin": "112500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/6464414556423366144979276484081718347263535451672917814136316274009275178921700681122402202034363005411757753758179280407382890039298157634527758952356041949927162944907351724869368400722303976500767110427679984130833848381792465356897072781",
      "qmin": "42358098965988257543451187609600/2336637962224393602384338140284861",
      "radius": "215099721311659120337838062080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/2270787534997744246721494460190507343935690190096611651811356551638503803665801674329262242929750746241907053230275968963412800374745794892343985768790047",
      "v_exit": "578348626354417759508502413536654821685636192374624174080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/3703733189152167975542648602493028346920542812432746032775819909114420677711211833177317481102801224251055636501566723477081867764016018373285179728287862898544070107285870513380270767530812859392377441294107000711129484407222654612906969677480110445506303909765451869193699459685734370465530080098613895228668737740306203204369852611797266701795636016916028676335612513735074813164623015152161605632313630943104623668376144805080516796038717443222756384616439830494865611559765778269842960848844509479593471441721730722463013375371529585378092581",
      "lambda_": "105895247414970643858627969024000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/335256874141762755797803278125555695531276319366569502018353258705838603426363536166026013742968342664274132975965950897452696648061238068934163198581",
      "C": "29663505160674328451840726916013465957488685348257227600248142855855007971276217117303662337078020876206923671264620153760447587690971341644603766603055029942757978162101311616772728200690147334834644277222863320214357881381912167015604517491891802051293933370004926150976337529194706361682558615082032083997985995649264761265902565302987715336403641666652911010662318157254362129210173235187/764922712992507196203084411493627679955131377148699407806777181972105435209715051815126926770850754809892119658312720959167263665419883388893506155040999856346589535343085740621270046089980525938731693442380445253448598415921032078564573123566232057793155770001818709115478515625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "readout_interval": [
        "83672809900605119456972419062106446017097816077043934938259239252809454275911591320635179306244446229/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "83672809900605119456972419062106446017097816077043934938259239252809454275912149354037223938605296307/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "readout_instantaneous_variance_rate": [
        "9701826352630442321422423618719357062304192616651921897656147254740105029066908307859289/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "3880730541052176928568969447487742824921677046660768759062458901896042011626825192916363/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "retention_failure": "1581991044263950201910923111309684323074967798929072433859422697169261262226637752567821377040107973159550604429936846585298412768131306941656493648310462936802474964732830273993137421806537987530945533992057072349347946972990165943326237693563661116882356396909340604410202156046009957360581763706444249220308983649805764202112693470039916259068366195347555709569808738766327288003219670521170335115254311586331328036296189154916297035198549509417935689437525163247933584572118503415473128638719651644626096576723807836927721743830553788355956243878445726246987079437258134133699992216588902192603239799966236582547406920789418864731478699834476192469816384973967965563212808024064122339526966135998863124310000994065376200850278599833779630393173044580513901387328470239944097049084015131239052761633931058809085331186275572794905864001774174555703644829938216324712113859302169203775840797645004409552231041052764822479557179532483572592266091271895436786577844818902323361423747724534853140681568026139048407950776286236781002718766268817165916404836596029/6479345382819582697376485145510478908728655024169438436948372285687398166520862559480355422724043883086044508770484333199166074149973407706144852672188126599747781590924978466659029055252018721583946936670290318321939434886246225435545762388645879409019082501139423037746308524846580971440687645638106140768257485850113794497993149312816300558534092853162453317262983612912987692312599625917000413212402007018129075257093538689824361946003168672972800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure": "2259817568917482623169942393379026281234736754805595042037678344165904756642567352018680660716376297472121518865334595880145402808477784580189395779863475892623204789366602549357766587312147709128834263931900217481311559882265307374299268643987756595132426918752236087346446034291493038178094034101328583223960897192773348321423326599163453638707374593919900241901042227278740385297066982491540518501810273730433984217440829816005579843071197245857973460808563626318896327773566916030700935636604054205699512569638426162781148080693417922258892675865137106392774792249095917220101056782879188450614213429807620120910091077609189097789327866346609695523707007624398661741021426514620093375903727603593003812287679325956125791932782731003375852869315851492471228799169997621269499144419134889040367619287544163776851659044333396730392484335977142707877811724299928693687132768882722683631981929446439773949607101665666654283153979204081056118193873252677708459476570595923764958448561449666547249272049050757897827695486997971909735674507325663671515932488428139527/462810384487113049812606081822177064909189644583531316924883734691957011894347325677168244480288848791860322055034595228511862439283814836153203762299151899981984399351784176189930646803715622970281924047877879880138531063303301816824697313474705672072791607224244502696164894631898640817191974688436152912018391846436699606999510665201164325609578060940175236947355972350927692308042830422642886658028714787009219661220967049273168710428797762355200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    },
    {
      "index": 4,
      "pmax": "1088719247067139588634615670948354996356712641011574267278491511650708210965465768132744301701382085409810237921737507/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "pmin": "300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/13266979538066497606763979500110825658839045242357762375592132028761912851076118382524041385972289319400163649294676199452168115527658033912256002294356354460548154757670144942971452954533949923169818020501321635610756641471339927288487391095158743",
      "qmin": "42358098965988257543451187609600/2336637962224393602384338140284861",
      "radius": "129059832786995472202702837248000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/51692483022466955402936398834815415718855165689628688943327460769481390144748747132540881334221223503988397722922956946719230361693597097966264393384692047",
      "v_exit": "713847447386024206021922978993813951337699528873821837721600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/5064409407806355304788452238167291032418208831176098351178569772534165720366543946026661513166136098775250696434190916479492930826601994803153222294343399723077647155279111336518935579075332007482301871454201773664628306270569333977877839783789725750228761145898941842873483842682077003502073518750760542778833519122512916097926039465999677134385952176805070934649521825524029610239021476623433999212151234508187195339175719433990201153428171343276008838068466726461513725676446893544309559501794624165782201454731295239402257176111260991379352403485761041",
      "lambda_": "21179049482994128771725593804800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/2543942722901437159391266442858665036284200361065290190702242831320987229341615713084816845899160985880680545855132509941861414121952227193241047981527",
      "C": "6683663800059565934678708965051408174186706385905815550391346156615293454596217012420656790717044964258984029011369228976914397615541916302385228251533093112146015707634307653109550852001411713448334094467099500756724669125832806873817953270471126601523148782111319597058057137967621616230439731534691962396774810739798478742394010899234864111056110260643233936979188620057809572907294535748651/4405954826836841450129766210203295436541556732376508588967036568159327306807958698455131098200100347704978609231881272724803438712818528320026595453036159172556355723576173865978515465478287829407094554228111364659863926875705144772531941191741496652888577235210475764505156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "readout_interval": [
        "29557862050203131230479930643806733286595190590278644301109218221056875120775041845871809368323725413/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "29557862050203131230479930643806733286595190590278644301109218221056875120775052670622845060751250741/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "readout_instantaneous_variance_rate": [
        "27953748415940373500118195540974318569256025914368823106805151194328166672184126530579573/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "6988437103985093375029548885243579642314006478592205776701287798582041668046062665332931/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "retention_failure": "48098143092699987721956854684911210970248021208502775690251528983692650487814794811683549496237174168866585876368818552021178658711963783292322204403280244532351204888202158335336037256457437588276039791546274123383008545428594969550535302039449970670181938232901988726638575604692229351242820432974564920509359032257526394892591448925227058514229015009529843503768732215649785544083264656288051047024918612379305025865295189094826279077839946588021635212279714175501125501214252652480067079420290940874844638845622048777408258593789350007882564173758347879195292597396370771809810381401103286441970167787969711676166889658431655654467221738098768815860042915660465088184392296252396902329407466351797819085792399958453536935282647505162683161499892505178406352765732396722963795214784080477558217732199034478792662693616237804331464220799676296693130897459235755964147950222753067279935140779629084021875345678790312195680860843710807207372681476291595399599499707665274280573597544700475699503016798988352070087900708196304545004601898394889229657655320992326852337/46064813437078925764388158620790385366193391056403705861221067788347618873477693497160451444207693929030475063039347359960425501796748085323869599432169026230526856823801264051877129082184866357976476689872619442533852384617554879073649232762615184717286752483529283237956841224417841036729405378269177920561344191973014734643560895137334448588033011223946273824033792524810415812957965431890829909156240463152431258696374269121896446621367441920947650560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure": "1533243856320403161281390958315932574402680904307692699555350952828406428286686127375741702016476875546611800657260351282719820018020841277777954478747279633860562614528333771366368892490103932398373054992654174987866558485162113242916663153372748043668473834373344203764410414975022308679261607952050836931832035420979236587006682652818032328733649604137303546178252409894592455953435748424095945107913282634661234164052628794843980987645819030532375229033314569334521384523070800397121274508985527876622048138066818926770756913281997650149768719301408609704710559350531044664386397246620962442397433187971424521847170903510201457434877213023876607501340815397548836675503453628795541144258741860684158562630055599210617201770370302598090980068497957598389720702548915537736312109080897529073606136911781655097060591178708518282297820195193849637169487051725479363318811054232308278318767674812952596415631567897015931717936356030505336940080948049540312592390494445640211330898353349309038290557319180778689331670113455729786355087436069502895363495451098854210194403/170610420137329354682919106002927353208123670579272984671189139956843032864732198137631301645213681218631389122367953185038612969617585501199517034933959356409358728977041718710656033637721727251764728481009701639014268091176129181754256417639315498952913898087145493473914226757103114950849649549145103409486459970270424943124299611619757216992714856384986199348273305647445984492436909007003073737615705419083078735912497293044060913412472007114620928000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    },
    {
      "index": 6,
      "pmax": "85976912202648433797344479231665275640644622833893446546446946661428598072606882860197510222971460138048191787717057/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "pmin": "900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/32559007926632802142731418080516289472500527970091372961865561756899984766437624377963958837450906420259703573485742348506561927199076712598996298870068568866224310498125354978617389576471471756427665498053792784490919755490595616167685979442922281",
      "qmin": "42358098965988257543451187609600/2336637962224393602384338140284861",
      "radius": "32264958196748868050675709312000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/4082191149216873849111483246026754258117777263937642851356650483935812582424293700353641249237105704783585542944382784562400045135784267258371201623122597",
      "v_exit": "936924774694156770403773909929380811130730631646891162009600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/542572573691009585917827108954589229059918504978562995087296187844698741698030072196133052169391648702532268265526212553590229368142101030881510076313390041232737387084000951619803353401249122051697632105744451982216903428787679421880990926888853013628631701362123630067901780805990779481978083975887869211011155414661423548904921022734009730415183102901792613835621662210141978698488671243391195173353228078689143202108113381754820408317489211314946136353998859971911210085071201908379622235490884439907266881176313175682783335838024403674240580941956929",
      "lambda_": "5294762370748532192931398451200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/200896916927542036401753167506675012575274809111286758823798594768084718181089676546147257978824506136744614970378930928117942145508308494494848574077",
      "C": "9715311036104411212094848133902351675336149796965603602845590114519679513193573269022338843229525473004000426170746624690180858460384371859847647197754579717941195694089534364687618093303424964703759662057604036855746656592324347121055707553568325495206978032368075216570947938496337878720146426859730353299628684853879686335301705987895400301991943379134228977609969315768791305429762615566799/20027067394712915682408028228196797438825257874438675404395620764360578667308903174796050446364092489568084587417642148749106539603720583272848161150164359875256162379891699390811433933992217406395884337400506202999381485798659748966054278144279530240402623796411253475023437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "readout_interval": [
        "8866378872874156027858636049214550988914890958973738310634025071187643855494589569821711067174489197/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "177327577457483120557172720984291019778297819179474766212680501423752877109891905579036752205792578637/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "readout_instantaneous_variance_rate": [
        "7836865542488289276677576995472029977181091355084263865410149343524113402477522717203969/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "31347462169953157106710307981888119908724365420337055461640597374096453609910244788799219/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
      ],
      "retention_failure": "1087063901137346061760824981154173584561039711966563458256981504280979055201046883603455160662337149100723165797157908451362704484063734039017028001217733929058453415603532725689820993341945495445923680341315352337789372311040325103806851169086664913298767819809368133622654994230269261229914070587799418823305857628855699176547243170843044979150881432029820540442479581370924291146492839403644265046110286493300000901617287325439111057147410311993440754089748560243645247032809796540999734195838602321726314974228873945070490148899113150221735712041355257040652273014708658566658809123676811894321071263462180565164624040237986148551583541768138012721353741644569996200180314038900040555810151832197195212528763712220119290784954564847680029467202152412872597738817639802153304205042323885611332156165115616943116644743273785078275123673014665093005335430560275634626128524706386740493891301466867600109651960704194389742256969458657467405104515561695423012798347601053127828372480684270943615484658825907379153365443292659880283273848843194841082331610754161994991/4101768496347767304325607746932658127077939332532555220003572013039772711766585665876736263264762434318351324303876757798375744308563898370934793029492662613810481654086781483588109356877044579026060085173528698665242961656074679700418223744975063089649854995565277086147785217574519427456400580663385076033701781001667696012189530180987209211112166026555595956176686071154251747252871752330848999712860624687080463164110666772217712767336822762635264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure": "2016755549963769150319078575649537961205345302516339905432179653861676679237232524150223716229147868747568124706183259595219522945737863462893916640040835255783480045123668818518105262488815062598543737990305292510419963565308180513233125595584309748300574105351274516769097455470252016139745953028874735822315350603810227526723588864904321655125823017196665458758522645582404173879440472196605175833500472268925793682982040468122095450055634857643605143726189208551431075844499147022824014073967551838626259681775269633459072011914587904227764038400110861943113431695566518025112426144881525718257455449106667483614239898243262553469514465432126244154825711989303097621515542681323283531481811546257445161525684626100739166353282677150408085338455193724584860590201513987205861960644939550491035959456837165745030993627366361844733139944674338232100553626496874976308173511196086869306525130345671751566016084980793328006237703278978442963485539351300913935879781196208100134406329423226026635476756104187881686289765107603270249407359095380039563343793199038658155759/410176849634776730432560774693265812707793933253255522000357201303977271176658566587673626326476243431835132430387675779837574430856389837093479302949266261381048165408678148358810935687704457902606008517352869866524296165607467970041822374497506308964985499556527708614778521757451942745640058066338507603370178100166769601218953018098720921111216602655559595617668607115425174725287175233084899971286062468708046316411066677221771276733682276263526400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  ],
  "evidence": "exact rational sufficient operating bound, algebraic equilibria enclosed by prior exact interval certificate"
}