{
  "system_size": 13129186434179569558855563663226176097336823072539446250457375787482239817884065464904689654991838882,
  "required_size": "34422684519403733696192453297487981660355309335377579063692178887047600204427775382689960285163621926049640025072533231333081738122940886547116317098614725007981280998529473828310091031732369554080040814918234847198968247334666951577304814731580787002718803925062867288085966697342372379697544671765099930409514210912338250753524985267805973854315941732713375718185908325020843917352534705047675532081322865428053227832122650769862123618148950712333627131760321102788451091013662962456457367406691160209547551757255403794809371089458941630124744732683388182908144766696064334516601045949574704908051216846062383148233713554149448172364505527741494172646163053248076215302335651251609047352579488545921179440530488451928886233786975480097210375994394806989362731889795501605010943731547227335463527092406020532421161118031090000921936258280109353262287454786129032237441168613710621784580394461122193688581889956539271770212759212031789618237541221605481844748332383357763633119158615553854672774032657696057238622210984966733757623099565206688648680466520958057668211901072281441311814409296349922194908409701306784986680125462920983397050671998983135980959601061735239933950220904771462064342522793537337154412723535030242711913792448117515809229269695949469293196264351485382456533193496901777103123501566285295692260700072907779525330853821227866284665904872951777670055020565808428945384203746144147711023625038185276889021879903922930553831035402793703707436730407/2621844444968061319999809240609085279563946451539616472796116641167499443199278678767333080266337773827785608561994283441556818751742174992680034221815117281619189559203556912748747661373244621054475655406202286306539115658944221300816098827477297606518907557094950234845858607148614653064075070270556253037502970161083930472398546539732310277281439566916813363820192665891109268029842072434136431136429999556446796932682589026631768208784384355430599860889582586794894277818893203290823940867158526793123139305622663148957585940404463033866851359375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "sufficient_size_passes": true,
  "recovery_time": "16746283710413889185781252303385709357791830605914134820171155418858158000639541546172358959946903263944171231817/562556250000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "storage_horizon": "16746283710413889185781252303385709357791830605914134820171155418858158000639541546172358959946903263944171231817/5625562500000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "rows": [
    {
      "label": 0,
      "required_size": "13466656898732762813441305492922689400817034448602828431921489046560932076604081516690176830273728269591046278885373091328421620194333979813248351183874666888332312958984792963800238106169619562611079421528411568658699827452830077725268634494826920009828102659359861959231967591182882919513142297704313054529217247773151391830250700265443430773511036555102253927049775424384530189487405243598428392050112635468627970135731043880639755128980576598922041185392864548770859581194139544542779006566108346241515160313698044782723618160888423877783011875711602910096251593964860692193471550514407104289283834500004207581037852185822650415951253324806119580315468411330831748027581361486618785927903018892414138763964888374747466812939075937843744549970041247081397798134985576505373754171552187050003363350210543131154996885219638818355929714146308499079233192051579154799494821600198206766481109037550014437585829933485005131594542179987873543212147992868105201166236770482228086332891252537172746664517922559553508190514982850899465170818995564758256702165820526872299545165301316821921461493516350706382970400945301354864591697776947412826931731255051588071/970626270123326103082533000408202962431656950882514099981270076603103015872340652868885199847135057784270372886810550777415834079838667635469692604250575495325583441210624672113230332790232963209567532813166423951048896199657070951150900951699675243177622707951973366015876084486042220114640304412299920281429812216618843361836327400187755960608473086930920777505948247662628625944830861612762770082173719927698866829870291397569519088334276357977757607892907247852448134367857706524890411035817247329102143600718208205940485126926261920647342094502526872404087176016674125442387167193245506328621277317767297524847230789703220161317394609375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "retention_failure_upper": "3111214174404660036802759794698381319777780995824500452283732504369391300410066591337810127225931294824941982593336749274773253693881421855323378579913747811275959294733037170884866529502553594684745962448446206945761925707603712178364635656522404582036624717785192182725264603283533096184896885707660034380469652201684933353046817668209131705075125357560002922188261902628746753414476687718703762972787579305448694751745490676009522509427089935424931174163780732147307699842815046859645702316400468566614220661378544306358398048607433656665815790853302476462564026492515985550343674055036541086520485500352444963484828129751123519669710376034079417721039642632612195958724279852134147417053618631090025005801296248014737121634624743190840911637157825937843744549970041247081397798134985576505373754171552187050003363350210543131154996885219638818355929714146308499079233192051579154799494821600198206766481109037550014437585829933485005131594542179987873543212147992868105201166236770482228086332891252537172746664517922559553508190514982850899465170818995564758256702165820526872299545165301316821921461493516350706382970400945301354864591697776947412826931731255051588071/12743533258361487510688944692427360489325935371598142516768421764795549581222482338984956703331644265710599396405506134037226321571823815737323343707010719053671264024777369616369804150962457811848993686905964901921385866387764431297355513155868977169659314517157336116082427906556613567388323504605090412384077864566704620742728091322105775363051006596278515676834819547437647869900500632757531577480397512957338691009312268454055504032937406019765417652366541437126187657860801258745343355843405123674404625018111737692638752310451141066273145539348127959387263035870430751294453442400549602895163449138536603071264949433348584702315202657682459718881642042604773688845962491661530380980330648656295551876601418666485034937838222765326718750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure_upper": "121531803687682032687082026215941638984866451602978489687830784939352534472177652375804356866567203573913710817092112519593449376378757412926503910537932598406047191809908533994282732724942121124931450745927785602673108376103332127922598969971048222110358065812439307684527384113783977177922681184173268520191171713169742297667822176835585719977855500446547986304160481787228977718942600825205599631705986264259686287920987245152776811744238540815437515279142551750483087406933850032597889052038976808192659806914463936854211769632499757773010348260738812479560183488138082093721038171363050876758048414124870627112687823354620358676825245761426030072051392215709547603148998358391400959744623253522373425048104539030882127959192459098123068924867735155506259956710825721038949461817312393300025332083111470635752096373775035354118956401236991558329904056963587122418920662401588216769480560765331700143649663350353408345673259340526974597803054913552210241954500992123274255361786239189686626852387535069501361121740429854814248300323374301972288811128752158064402324331595567073065656460319747795731293537809751498633380332945962761289524539865393078382309990967419420317901096781895661/24889713395237280294314345102397188455714717522652622103063323759366307775825160818329993561194617706466014446104504168041457659319968390111959655677755310651701687548393300031972273732348550413767565794738212699065206770288602404877647486632556596034490848666322922101723492004993385873805319344931817211687652079231844962388140803363487842505958997258356475931318006928589155995899415298354553862266401392494802130877563024324327156314330871132354331352278401244387085269259377458486998741881650632176571533238499487680935063106349884895064737381539312420678248116934435061121979379688573443154616111598704302873564354362008954496709380190786054138440707114462448611027270491526426525352208298156827249758987145832978583862965278838528747558593750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "composite_failure_upper": "112628767759987761978342821217971681376926240168091983348364916140290381161333683748465152048813195617050905231107434561359877217563653631939702016175486881818133759759429829848779556633165751204369016066932839453322197385040596317979671137676693330591040025123003981612014710098916264568763290303681413967202582967895991335501316630709449850255366597229066519868984493217829433999739850490649773096877503976249462285841121056160068764691494550613913798745526201229442451684191834219766667753200085148598259670471066995765726404078716815210667051833406150819859778333964057703441353186012174864137386352486978372623119265927220231069002779205311201619406705885018859927961943263440071020669511123046091023951950746483041404589483747175346584360466954134414043265917904640644002927530269008829777043421648529127170462659151293310831415273193677109794356118434712384118433177166649565142275661155136440658641171020690532407433070754294627094837334954763900315506255268024576145924813808810268957266995995849173015571553015377152141435135016661829613264819512805628261954503983393900805928075437534801543785430087621907419933426310952385700127489430815250483660716685813718403223538090817/21967972987852851098247436100968392282184216701370363727328617616386855936297582363927620089315637869784655292236985143902433944677818526135886721692634872596382778065660458986736340452205251909768372281322341305441488764597177762469238734891929917064863944100902843867364070613409872792414227135862151113581334580081063514905684733771833929837563104376307569224464260307669157984024197085926349392997706436447309912513294814055010729315384705324231536939345455643766182938446052478805824132287423329370319093767431145349457248990600074929448135376468943001481242821654399877424518428674822103402132490378379790709235970310687515001508720380217170466408391098378154113881086047243094903223484817437623344888779475580740144627506865700378417968750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "certificate_informative": true
    },
    {
      "label": 2,
      "required_size": "43254089876310070920350497932421317918432299963869331673505463013545414302826850421271932945832696142590470917293698820265199545209815119627939297273552847813051273091226119752478125236396399734945296031323564636376947993622996463326696657311071121851598121049497870634245508162498099200375287696312626416774009964105020277443950896294045580707083267527793944088087149514802038076953007065662701119611581761165657380230505501666385531988933609476785719412289850158484731455513300100622596573430473179829018638311271109919387949731230201285160535988306344772193311683869461893488157511992248426382535580980703826632646644934207638553527461259179173705841832501898841403071446352743226356123039081244382818020101643273356465462480382536971516228400424064269310226257863204183615398295480229531986965216110672418271931803039700229403308054630208709993963259202067302360319636505670097545119341180165882227121091515235007123379778726129675901669962504302268162004728235145464852494283109637741877529400028325831347514115196990803198438412265956173784834436703461295051207749378590844466942927499650707143490682891115544601095598887505426233402764584283194126327139331510197930151482899102237533187726416787953490927996131217362074257845511555480089871669410361195738419417510070086894137387714411322976925776746827071090593476483031475913197813089056967640789607185907462468287365134579809267877615540826074655149391130913667612451584408141771211557267140835657443446165509/179109812202473781414352517361629038349566936870669476743242271365095653530522715460662855273783142216826659033296987846054742405274957508437317426601234076294045966558839306683300172050995199806996456981953127095028816559130291252161684923598003257348688519628137523234354040696275964033490499848980924173029614065286079651970849096906022593523191702827054660476293158573470133058005113635016100294391636845109829055743951522714304513769889833617002476525679283799577240995804978240918589813102032001708054696564664590941074401130934409673062145996093750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "retention_failure_upper": "574156075524732047900485651845811880118071411141282507130800419821225419788513669303735787638889860955390764748294034521913389817992786262776397171531435846126350800144005715628591570497658380758266022552831975634275206490648286920446408976744548057357014680311230197896078075606373724491293434503067498572734276718859798288497466329701378314617741484634091408147264139751987137226398596716753830001903815132583546215905950373233735616688018455041261405480733645545232107366983552282291174420237754769628126684927025428547403358780732897032641770520655210736515466629118554767571427816408777587562246233083484004456852079276398994848876877155815177022216584020001898841403071446352743226356123039081244382818020101643273356465462480382536971516228400424064269310226257863204183615398295480229531986965216110672418271931803039700229403308054630208709993963259202067302360319636505670097545119341180165882227121091515235007123379778726129675901669962504302268162004728235145464852494283109637741877529400028325831347514115196990803198438412265956173784834436703461295051207749378590844466942927499650707143490682891115544601095598887505426233402764584283194126327139331510197930151482899102237533187726416787953490927996131217362074257845511555480089871669410361195738419417510070086894137387714411322976925776746827071090593476483031475913197813089056967640789607185907462468287365134579809267877615540826074655149391130913667612451584408141771211557267140835657443446165509/2351566116597169102149899474320914263245426601334041140425223841211235837436767610688776256331546739749880521840135130411389438437161273129602126775231128753268890619375265749028204922357440447932543292443855470877240645806713503432634705019237322695619227984650980147304217928082273183302013170546160377636116491095636759626629211663585625165975692907997444563776209111459726684931365452634882733264012097744168470767721348578230555570815096919784589802542372272927021558315122847671052500269729072318252227241118573188863934344523782827341236674497195640388580447508212471012056840842841232749100497704970253519381378796058479768413484440348901367187500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure_upper": "28705657305780972499889670316822682043743668146368194565148235308947267721709698223591452895570767506008584433291676140773972679795301689229819406455279056227448059580229946355395721043577316029879399724450771086202649485978944307703907216584431672310307591237247039399980308303430500216367509366317718360674466780037454403593005183438686020004507975980214029276468573797767691189451769567612302148434820034913883326931360814058506176714597859677153261825693279432699962713702922118441221818633507973872343035281520446428251742669046516346257594317952474846920696695510563831697628400519288079869213967889306807597019952980218151662770589809586024834479554349616967465192663819146416410886833729445325998717063140232737831780622069126004859908514093730296108703263423043655562489059499514563937314135566980731195175681722641321673160267362516296566504068068193072375707102152262168286441620993738252807789006552213325361130201357881643280983941603738579110852076650955669307766021098448181767704112277088581595629403093739039045952148822204470039685797169775519055483984874726006131673858288807824362500137862475572887327729584122297339636529962734932837122225530034120646816226656173303118307676091137597850005556361497273584228044935658991218356401183010542363110899207153859078718458104469464537560017150354788567301775582501122361791643525602777986008775397111698047456798173057631128188526461920228764618427296163436488267888674584382580200784411776939951595076286462454013/5878915291492922755374748685802285658113566503335102851063059603028089593591919026721940640828866849374701304600337826028473596092903182824005316938077821883172226548438164372570512305893601119831358231109638677193101614516783758581586762548093306739048069961627450368260544820205682958255032926365400944090291227739091899066573029158964062914939232269993611409440522778649316712328413631587206833160030244360421176919303371445576388927037742299461474506355930682317553895787807119177631250674322680795630568102796432972159835861309457068353091686242989100971451118770531177530142102107103081872751244262425633798453446990146199421033711100872253417968750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "composite_failure_upper": "30141047494592802619640884446437211744038846674221400832975236358500331271180982396850792364667992158397061345162411227078756154340283654886760399384107645842763936580589960644467199969821461981775064780832851025288337502205565025005023239026293042453700127938025114894720503492446434527595742952575387107106302471834603899314248849262939465791052329691799257796836734147147659032517766059404186723439579572745342192471125689991590515756317905814756415339395113546563042982120380999146949754684102360796413351993838009999620251065998348588839198744254112873761985362083360218616556970060310023838119583472015517608162083178409149149892782002475562777035095809666972212296171497762298268952724037043029109674108190486846015171785725326961202337304664731356269376538988688313572948097995253264511144102980021007876221361552148920923733775632652872088279052976341077543963002951353432461685483792091203222494574354942113448648009807328458605173695778644839866522481662776257171428152334155955862058806100588652410207771879027031522960144918235134930120259255867277708721612894099452608785025646126573489267996589182800676189232323119516103202113469646393545107541347882449422311052034880550873901509060453639819889283681487601627633230580272770107056625862184068266100245255697634253935693447938750565867459464796655634979502066192329940481426520135500628427877371129662816112968891470467577711696155959080829805065169641263772436919803545402934628813304944792040738684901876226513/5878915291492922755374748685802285658113566503335102851063059603028089593591919026721940640828866849374701304600337826028473596092903182824005316938077821883172226548438164372570512305893601119831358231109638677193101614516783758581586762548093306739048069961627450368260544820205682958255032926365400944090291227739091899066573029158964062914939232269993611409440522778649316712328413631587206833160030244360421176919303371445576388927037742299461474506355930682317553895787807119177631250674322680795630568102796432972159835861309457068353091686242989100971451118770531177530142102107103081872751244262425633798453446990146199421033711100872253417968750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "certificate_informative": true
    },
    {
      "label": 4,
      "required_size": "34422684519403733696192453297487981660355309335377579063692178887047600204427775382689960285163621926049640025072533231333081738122940886547116317098614725007981280998529473828310091031732369554080040814918234847198968247334666951577304814731580787002718803925062867288085966697342372379697544671765099930409514210912338250753524985267805973854315941732713375718185908325020843917352534705047675532081322865428053227832122650769862123618148950712333627131760321102788451091013662962456457367406691160209547551757255403794809371089458941630124744732683388182908144766696064334516601045949574704908051216846062383148233713554149448172364505527741494172646163053248076215302335651251609047352579488545921179440530488451928886233786975480097210375994394806989362731889795501605010943731547227335463527092406020532421161118031090000921936258280109353262287454786129032237441168613710621784580394461122193688581889956539271770212759212031789618237541221605481844748332383357763633119158615553854672774032657696057238622210984966733757623099565206688648680466520958057668211901072281441311814409296349922194908409701306784986680125462920983397050671998983135980959601061735239933950220904771462064342522793537337154412723535030242711913792448117515809229269695949469293196264351485382456533193496901777103123501566285295692260700072907779525330853821227866284665904872951777670055020565808428945384203746144147711023625038185276889021879903922930553831035402793703707436730407/2621844444968061319999809240609085279563946451539616472796116641167499443199278678767333080266337773827785608561994283441556818751742174992680034221815117281619189559203556912748747661373244621054475655406202286306539115658944221300816098827477297606518907557094950234845858607148614653064075070270556253037502970161083930472398546539732310277281439566916813363820192665891109268029842072434136431136429999556446796932682589026631768208784384355430599860889582586794894277818893203290823940867158526793123139305622663148957585940404463033866851359375000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "retention_failure_upper": "44927654160335048911094935382903015126039913014386850018188083088417107102751681444301886641719903032603823159820082377702099994299286916945744238929930945736723006304185545269428217461788957081410275624032145124467186710304624772069073454106169508278672885705649512036822208087770995240959181280084854201980629057471500349532023078959986824058289828342981565278523120667978563277610426074460435862481235931302349057360154168590258843023722736000727544805829130510454098971057430147923065840474882886584258658529287093821424867265506502956446469891019368472590448751247260200380494534324696635745051501765175857076156285067321874534432497285761580461098311490748076215302335651251609047352579488545921179440530488451928886233786975480097210375994394806989362731889795501605010943731547227335463527092406020532421161118031090000921936258280109353262287454786129032237441168613710621784580394461122193688581889956539271770212759212031789618237541221605481844748332383357763633119158615553854672774032657696057238622210984966733757623099565206688648680466520958057668211901072281441311814409296349922194908409701306784986680125462920983397050671998983135980959601061735239933950220904771462064342522793537337154412723535030242711913792448117515809229269695949469293196264351485382456533193496901777103123501566285295692260700072907779525330853821227866284665904872951777670055020565808428945384203746144147711023625038185276889021879903922930553831035402793703707436730407/43028355649254667120240566621859977075444136669221973829615223608809500255534719228362450356454527412445934119925961303527498777298313340512779967821071240104926106851967268622819845857511782511944641778130576495690622824324947232734284346878315402346307918973282896890823644735195639239727663547677713496355286411506327956596728191763172762435477039555658504439141221756754818499616323049114666313318043917821115717746817096992344962685230224541261486792985843333798493716659270391671228305687313311230816693338241802349017072337090811192613786248544175266538717120721698266578507728384499428708353167028688789208770852917954258379030494240850273437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure_upper": "1432176905196916511701914544905237093449314112854342221061699858214608618574787440538659345903759268932290059346566957052292868296657805022071352382748955384688068435687324553931827020718217801329760390973365741894426208771207399523803505507647347640159367036101131126528169766540514176048448653083518696571937425308013100747909426104694302407230068567756234846818659098394486357411764186759814007731760917100488257960516368721693804008416962307119073558027061612631917450732501610024939984282074667330997041022056866748146970360036576285514720161649575508044314304978424916123511233826754655010808549780750257422625519928874945171724406475991539225461917723011713448090744377373780571899699010282372502409370079280586648838441952534121846997143893501332797891905906114530495207930899397319373807014755714390116002061242590710017516788907322077711983461640936451612511382203660501813907027494761321680083055909174246163634042425028604002746513283210504155050218315283797509029264013695523238782706620496225087533822008714367941394838891738927084324928863898203095696026120373347384924473776630648521703259784324828914746922383795498684543962767980679583638232420172969558745054197190657779222507933077209405933841747165574611526362056514232800375356124223039916570729022678222266674130676441133764959346529759420618152953301385247810981286222603329459408652192586083775731045390750360149962299871176738806509448875725520260891415718174535680522789672653080370441297877733/159364280182424693037928024525407322501644950626748051220797124477072223168647108253194260579461212638688644888614671494546291767771530890788073954892856444833059655007286180084517947620414009303498673252335468502557862312314619380497349432882649638319658959160307025521569054574798663850843198324732272208723283005578992431839734043567306527538803850206142609033856376876869698146727122404128393753029792288226354510173396655527203565500852683486153654788836456791846273024663964413597141872915975226780802567919414082774137304952188189602273282402015463950143396743413697283624102697720368254475382100106254774847299455251682438440853682373519531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "composite_failure_upper": "43161541856350250707061186250731703035735472348505924970484704480636143411794429038973991003573490564432213918339316078182117443439689427290500938227214889960250148393976317483102151305570776344044558118684089543596226307853062264349601994117095337112170198545295491619942804505370982277404031761263490227640373389063503755146756812722744847401040834163716497391956107723448987977878675649961021795005668354843417870669957372344758592529630255892287740547313576592107181066883286485465686159663504306595345973448464111582110686447538210004542091353640475564455531109542198755372852766754845348866335994256774536118504666586355707090002224580347717133581609670391070719980331754217236346027131226478649682997045189421032407261311415969299589960484564016684479354648444642483871708507438450356639142107644890586374171765353058170565146926325707033549782209783897096761551436360204611153947781804667904731100698543358573595140421396975487035979612768844160370830727750998309107102044231334512914410482019167683087275415333784607793422960033471700141641125977347289350613895357308523524142232898662502305478855146901059196834916908770562822392061935376662356328235450843702079511485414624906245441966472438387675654999526973538782403154770696037191057542323617024676729310047460539445854847613600789364214706460132886259355809144692468849027813392412682032500199687119439711743727606840566943520516896386362546857482148407574732970412381104756429498424701912540372658715739491/4302835564925466712024056662185997707544413666922197382961522360880950025553471922836245035645452741244593411992596130352749877729831334051277996782107124010492610685196726862281984585751178251194464177813057649569062282432494723273428434687831540234630791897328289689082364473519563923972766354767771349635528641150632795659672819176317276243547703955565850443914122175675481849961632304911466631331804391782111571774681709699234496268523022454126148679298584333379849371665927039167122830568731331123081669333824180234901707233709081119261378624854417526653871712072169826657850772838449942870835316702868878920877085291795425837903049424085027343750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "certificate_informative": true
    },
    {
      "label": 6,
      "required_size": "110629281841272773174760038014304287769807213904653245105092522463186863741239907140117262746981199275410524187722191533880596901242320144607383693426179035485710860939588694453115707860479222208092315296297170895964757363047463690860222324072142117273616035071205073109710056642776602145626244137643636265402518044368966387002202232762559653115121682615660166830962781006301814778228331990161911527068246322694057372507743370973050939461050154298005665333115063398424959675404394152570766310556839644535987874489810551163167392829065639727779122107283595371117963953292282642479252224412962784143107403650935727734312726548431980641970242050033609734477866653803882687178277126372189961034383255527546335410839956099001688450612039919175174017577242663082219059089651341531980136962893566141811012803231987621955554096893592860507858968990764445241439339168027444507569277360802739519959712277354020367005316618920424631700062745020952814909310164881181016012482932202702575158447532383585780668365678832913430907670112865150985649695328624754373113134884897214955201635949791547717427332462102507722579054555202094816447186470092414527843050974642159523328038451710395384345129673314830764628865276365241463002476093838188906457748406899661493272254537267976003562124895436959576277066620570538473740684321528768175410237317092734896466569494064139818107311294140694396538613650307889972309694592059614396146107010035981975813995099344026165978620412321617959145255741971/356934268498127159900964129290840817762418452561086400999471324911417003405842394386641879739229152377545070472548726706152537206301533724250994757920374877448156994446028787626685943998832807321772675859755261749652602379311713295903181771067453882075593850594609561674559958893994569105257744715050975042234315244702020237579010048725933329827918752921843403490372763920819331043666618771974019090355569246545974829944411872437493196740448365219512357299324362063661349703067144012364645415083462805994486786656550676219473333470904620947219863281250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "retention_failure_upper": "1254734886299138786678990760188218823636447218549227309456131593899469793261665319790921123362021715830816608170128534207734070346190897712774781120599232778219958171456586574178852249747830339046038680645336904063790530557795345130557796909423388988912179397313314897229498722927082062283032211380389150990969481531010383085650509466564434427805346957001304574392441353011597982727107590045016997016167689140686672469620086895966753052939383205509224421914866583045178689185121612371706342585310394002177791582334846098616340243685730734673709584896350755633547110785600743281121117294970796835697593879990026947607068039864240792352345582032419245110454429153803882687178277126372189961034383255527546335410839956099001688450612039919175174017577242663082219059089651341531980136962893566141811012803231987621955554096893592860507858968990764445241439339168027444507569277360802739519959712277354020367005316618920424631700062745020952814909310164881181016012482932202702575158447532383585780668365678832913430907670112865150985649695328624754373113134884897214955201635949791547717427332462102507722579054555202094816447186470092414527843050974642159523328038451710395384345129673314830764628865276365241463002476093838188906457748406899661493272254537267976003562124895436959576277066620570538473740684321528768175410237317092734896466569494064139818107311294140694396538613650307889972309694592059614396146107010035981975813995099344026165978620412321617959145255741971/4686256555859419191313329038024353938909757459024175367581856036603014879315662490217692613079205955810943319991936379592103827230509373719213659861700828130239476983877623315356616875570590174568228312469666747055414367005687322377001265501598707186231555531743681839594654377100515164722814841826285628315922282441283242797663466429652479077131162723883599493371816230933693103918609440992686430163351317782497751437772159078374203856807252177761152026958854224473103276071801725825579320421390558648900827987333265602368195997108900228898531175584019088434909785425135454775877079329004888275167176607084917636598805763341552892765697392567851562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "recovery_failure_upper": "3843882093610313334723194269726236914263346770947330752660656966278851610071737306870244085247262047109022331308305187539839834152563706282994567301024021743110389143097466826543679873413818322185985486610634871051068766444109266675737150630632047054265061650872926856632764738913083933938483302878376534403421617584259827318942423091931930750090148428010008631285054036797280671481591031299441466198285393373732964835615586300932512972624513559094593531264623075294888625620877021664079564740017729364779415276057867401465006786714609521099688711103771533066529206346190261303098288357065662972256206566717069347887582135001020875731999999557767265710708348525772991584227275144926933437278907526558980184299146604447374688579735209351859934948202809212916202515134231793646436115987844185848750037202059642680217048945811355698335415467490921912233132220489280363287223261855367111496985540060067904427042260024907506825936112233728796252984394744933027696695326113819146460926946342397868127355829776387763214791079591896412126733034687286926416427203043512806384598858501641306787206845453449646350821924111560391263420905723801574293535401165893858320521441485289163072472816192250502515934671757947713083658657430858863726478762759114309909334970257463532338282767635228013521677003840716025162642583306579191953851283434359812811144526010572199174821411260861485597105720322527958116495283709656694570447830852917729154606979743784785812971948857152695137238047401734517/781042759309903198552221506337392323151626243170695894596976006100502479885943748369615435513200992635157219998656063265350637871751562286535609976950138021706579497312937219226102812595098362428038052078277791175902394500947887062833544250266451197705259255290613639932442396183419194120469140304380938052653713740213873799610577738275413179521860453980599915561969371822282183986434906832114405027225219630416291906295359846395700642801208696293525337826475704078850546011966954304263220070231759774816804664555544267061365999518150038149755195930669848072484964237522575795979513221500814712527862767847486272766467627223592148794282898761308593750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "composite_failure_upper": "12159013723980509397509078189272820154608263922116605912710036695786289726846044580506192817422796999242475298009979829723386537630786567705371092463371681618441146515020693766720465745115370136080975800154573065185101564611225472592490350346607835657251274651275438018513043578202792832956966014325324178705749593518284673499652524009078009464173118762530678181051382786897641005808326888920832897102940024691542230741656802350780915444343232280038392804751302517407255221455191871178091865512708385095427141619341025253703190481986693930635920925759489977016361174431371155549855423718682387334617416640146221517466280424935183023372172789689511419687352260154220916096270963997966895292353914207440713720602859791391624909964511648015167391853397048970289717074947521051705298416444979340617155618007794921851628923885880863525260175886968147959320116331051854812115454424246502704250936476318880723464629438384182732793658368073696865166407839317239673598092219807558790670360062793385397272401672168579746359827073832121811873023951726173156435838176572987026631397393479819694220334202591400192913755299612282221198486310406450930144527728985002654723228343681722686909591013413408922930118447912025759982477210339495685632665162480792760474641038041024585016629365353402520353169544832433344724798092080501959949258968961625805881666862778748667433517889429654803989586467792737819335640698424999890909416546063771178451727936781026370521905156777618894391286770076189051/2343128277929709595656664519012176969454878729512087683790928018301507439657831245108846306539602977905471659995968189796051913615254686859606829930850414065119738491938811657678308437785295087284114156234833373527707183502843661188500632750799353593115777765871840919797327188550257582361407420913142814157961141220641621398831733214826239538565581361941799746685908115466846551959304720496343215081675658891248875718886079539187101928403626088880576013479427112236551638035900862912789660210695279324450413993666632801184097998554450114449265587792009544217454892712567727387938539664502444137583588303542458818299402881670776446382848696283925781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "certificate_informative": true
    }
  ],
  "scope": "Local recovery then continuous retention; sufficient bounds, not estimates of minimum resources. Clock scaling preserves the matched budget. No writing protocol or reversible-source finite-count contract is asserted."
}