{
  "configured_certificate": {
    "status": "CONDITIONAL_BOUND",
    "all_windows": false,
    "V": 20000000000000000000000,
    "n": 4,
    "eta": "1/100000",
    "h": 6667,
    "A": "204331487680624996001/104140625000000000000",
    "q": "13472079262555347307745789/28922165437011718750000000",
    "b": "250000000000000001333/833125000000000000000000",
    "z": "48",
    "quota_99": "505043636952451892623/4998750000000000000000",
    "quota_198": null,
    "error_upper": "1875827461904719400541065756970400252136320200104506073373579665348058627897565190770654921165778673765302612017376012589203961114167472126394160643053069300271451101060929999404453601951163129263485062879014645343412439253021777164867280881796693190006023118161751572490662559980156325463228809766648681402358284419140583647520099992954891218117863082712095032171402203711382096382349534972690495372168019646297751162564020391419957484046556143707413536400378319796232105950759290711310835331690141905347395282443360157835012232566143726223605084167148256250401873402611929265384807310451862600182700475530467497569079876387574617425788053562217395228421519565699975329127049969240941173933292735781070973285067837463294782535585878436553746336736323554425937823322279288111426399872308270225723175467167894045202903367312996038683911313852515788818191058867195566195476726280573768728889175756189934072324854264445589137902255950537973172006036195645578441185852295336231627809340552329991946498200190845900940008792656735499112184019258111587707450832276044374539702591528249956708637037081396565221560163338447777086968816774451581533830798013924224016759337280623095173460287257367533699320024975373413711261586217578125/65456568968210079397281728262345133874599301001465192798325936405095706528257159759532996112724282482497009239858357239448493645170810239841768445842700751561761015785164694886331095845641091394056791073184734557178234113021244864462691366081492821606877103662103523065628064849274395849236719641812781004639227502570319592291459985050904985552659155656246351383007449192507857722827509367656856170714813270434804082709035140553831665940505227416536675565954233881261144983769850971677354388774437820399106492054945640383643814770081078662891175869576256986866974232202993764684757273549205244794809638068040215720215724006886166727410025741684951832142314334669879537613479848156558063698881031390627111304870137789174071230894991485944589637683214310948641064308274826080850363385970185339032566283448381373574583984365660796516415894299388575747298171417155702052923277180714481824645803612361676130801307065936165103438615202064569096858296822030814609379563288242577164827236279569064311402651649871156096092836771957747950120694472755225494258871788271617675495113139032177439402784885535400945285419144871084298720914583866756277605190359111386553179922861492261782936242055373746193592278237276417025397362216792081572607033344",
    "success_lower": "65456568966334251935377008861804068117628900749328872598221430331722126862909101131635430921953627561331230566093054627431117632581606278727600973716306590918707946484893243785270165846236637792105627943921249494299219467677832425209669588916625540725080410472097499947466313276783733289256563316349552194872578821167961307872319401403384885559704264438128488300295354160336455519116127271274506635742122775062636063062737389391267645549085269932490119422246820344860766663973618865726595098063126985067416350149598245101200454612246066430325032143352651902699825975952591891282145344283820437484357775467857515244685256509317086851022451124259163778580096939441458018047779872827431013729640090216693818569089066815889003393431696703409003759246660564611904740753848888257528084097858758939160258013222658198107416090320457893149102898260704664433445655628337510994056081614519005098365229843632786955045117131863840249174169612926666840907758848858808573183917709801391312531900047941254970850321657924657895901990871017739157463958973643041475000760200564166843219068764492474847874534928826763908204022579649524135382466806779787460830738777577555755165998637475502445655618960200285906334910703577097000421988803080819986389455219/65456568968210079397281728262345133874599301001465192798325936405095706528257159759532996112724282482497009239858357239448493645170810239841768445842700751561761015785164694886331095845641091394056791073184734557178234113021244864462691366081492821606877103662103523065628064849274395849236719641812781004639227502570319592291459985050904985552659155656246351383007449192507857722827509367656856170714813270434804082709035140553831665940505227416536675565954233881261144983769850971677354388774437820399106492054945640383643814770081078662891175869576256986866974232202993764684757273549205244794809638068040215720215724006886166727410025741684951832142314334669879537613479848156558063698881031390627111304870137789174071230894991485944589637683214310948641064308274826080850363385970185339032566283448381373574583984365660796516415894299388575747298171417155702052923277180714481824645803612361676130801307065936165103438615202064569096858296822030814609379563288242577164827236279569064311402651649871156096092836771957747950120694472755225494258871788271617675495113139032177439402784885535400945285419144871084298720914583866756277605190359111386553179922861492261782936242055373746193592278237276417025397362216792081572607033344",
    "error_groups": {
      "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
      "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
      "floor": "235546875/6277101735386680763835789423207666416102355444464034512896",
      "reward": "181375126732800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/6329043439873897068476303105075986682847279652480061363630783116927440732532904571215182477648297634865942649780918190736139151234377217270576009610811352618441619827119906627906816538346433666031393839384035487717424408014644848651364167111",
      "export": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
      "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
    },
    "reward_exponent": "533093353335000000000000000000000/21341995329637670135481176294963",
    "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
  },
  "paper_mission_rows": [
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 20000000000000000000000,
      "n": 200000000000000,
      "eta": "1/100000",
      "h": 6667,
      "A": "204331487680624996001/104140625000000000000",
      "q": "13472079262555347307745789/28922165437011718750000000",
      "b": "250000000000000001333/833125000000000000000000",
      "z": "48",
      "quota_99": "505043636952451892623/4998750000000000000000",
      "quota_198": null,
      "error_upper": "12550303395582859305260811737840388091835270479360780112096325122839194527876103627215865111866625884927892966253445456143828323774445949012572106450568709362290042210297767799482152447975945301234881394360602990648592274128605382410610657507410301521550904161576721855739908115152939424082364028966013576099170309120607445075553291994354328505773610757352633848436424829087059766212288017285695251988523192723411805628235929640947117172932075631952228398288592568803046469872426836939306365950766903279423396866107417586626597981090048281249713694838020875073664678734959357360067150464597722117592235322160451575763563341589438298863502496613856705066269373529427183283497109610459181926970281834650632101665454088858146339515017627754915330899936188780423244458420234266739322084756741933611240306622114378471051240399508020164734424424103444961585638085374862243267063958545543196061335308444778702499046210402015007499442177745005744978455133897499697724895857194402821665495687655033441035284703042508480444008960574728287798497706400974761171314378404704524227187709387657059518512827326025424649037982667285172569363155285189977836115920809997113014985777107650474881471583011513878025029690065762316707061939207243766351352288109868580980859375/437939957948359409702912165904075603816724496898444307337559171352346411141158867326605969896373041580269805216394258310533103687014020160667534160737230832764172392954479018014401712291996404197075292187202615701397378593959522273741221249672395022800973168931921124387210090659972064475866908780404956182115533688258633347005326129716524410398418189806276053242887905605411913405633310680041241963014924227333931096088310886288983944308730525607045960571308279621800347355324283448720880452178716153770117222478615011615491756865201590333903685710370318981647936621846648536842307586722247378709117280548937978962716561198755124794361586568767467860572822137745406309240494644033180825643966178320130983860159004625584147020053075236014593158201947813595371525578622092945479868222675645009686589882577564447240662798768319077677394286778044809384646830132115007836066935664075847128637211314802364054278313369053198191929826533283694462540068485998632245301529785498805667115217334231356957064846623386540652411301172856187385762861105480769101690762982398811854889937805022681335397588113983432273720547884023240398084208108637043362450153114568327387101107192159174493401720027120846727593193468851967150936488695329022107211685496465064960652678307514417152",
      "success_lower": "437939957935809106307329306598814792078884108806609036858198391240250086018319672798729866269157176468403179331466365344279658230870191836893088211724658726313603683592188975804103944492514251749099346885967734307036775603310929999612615867261784365293562867410370220225633368804232156360713969356322592153149520112159463037884718684640971118404063861300502442485535271756975488576546250913828953945729228975345407903364899080660748014667783408434113884939356051223511754786521236978848453615239409787819350319199191614749384339278574992352813637429120605286809915746772983858107348229362180228244519558431345743640556109622991561452772148269903965363958965432679136935711067460749683716033506996393160702025508372523918692931194928896499575530447032482695435336798198848487059633955936322924929847948966324140618548420297267837277886266613310384960543385170529369750692073420808783170091668118741028745833534666554151981527811525784252284795062741020177111404030087773909809920814512565861269409813182351255949368792692412178425188132817682271395289788221227497476485233280795493626009931054464919446394522459374202415416922936067680207164963136732211466291110079144188716294069552239375144581679590826937460870726378621960168004441730113712672542809726533557777/437939957948359409702912165904075603816724496898444307337559171352346411141158867326605969896373041580269805216394258310533103687014020160667534160737230832764172392954479018014401712291996404197075292187202615701397378593959522273741221249672395022800973168931921124387210090659972064475866908780404956182115533688258633347005326129716524410398418189806276053242887905605411913405633310680041241963014924227333931096088310886288983944308730525607045960571308279621800347355324283448720880452178716153770117222478615011615491756865201590333903685710370318981647936621846648536842307586722247378709117280548937978962716561198755124794361586568767467860572822137745406309240494644033180825643966178320130983860159004625584147020053075236014593158201947813595371525578622092945479868222675645009686589882577564447240662798768319077677394286778044809384646830132115007836066935664075847128637211314802364054278313369053198191929826533283694462540068485998632245301529785498805667115217334231356957064846623386540652411301172856187385762861105480769101690762982398811854889937805022681335397588113983432273720547884023240398084208108637043362450153114568327387101107192159174493401720027120846727593193468851967150936488695329022107211685496465064960652678307514417152",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "235546875/6277101735386680763835789423207666416102355444464034512896",
        "reward": "181375126732800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/6329043439873897068476303105075986682847279652480061363630783116927440732532904571215182477648297634865942649780918190736139151234377217270576009610811352618441619827119906627906816538346433666031393839384035487717424408014644848651364167111",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "533093353335000000000000000000000/21341995329637670135481176294963",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 20000000000000000000000,
      "n": 200000000000000,
      "eta": "1/10000",
      "h": 6667,
      "A": "192268879086874996001/104140625000000000000",
      "q": "13472079262555347307745789/28922165437011718750000000",
      "b": "250000000000000001333/833125000000000000000000",
      "z": "37",
      "quota_99": "6516915904600624604099/64983750000000000000000",
      "quota_198": null,
      "error_upper": "754862292965843090381941776005672043191331764863419871738604101322148670416028612256222829095186551737059121683207590054798892070789263564432643958204863589527732418423257124435334746123754014725353497724377675249053021802561904166976927664310346648415925967218005076008562228919415994199046103128232050316439337279012531724461477005921756736676837373026127868030125713535988966443148967212005505751545610242865093865426635382820707530130229871447601167089582346214331023773233693599631568819412664939958922756557699823798603012307388554824741914105779395240769509914758930584837049736566400810858166267049872428587054615337153418253249472910924054579419527627388302856396706105759645741095009120337557139302941216150928034742118431160973531313886312559564829126755010530578914241235457644859069812388642188414614081253916386437999851136447379173493259199277029802382345296258499113587648380478851793115930972999033933922323768609672337394732320680448735575233060500100748824372300205078027278187673977581333954496165564543176457368191020580103582558284587514570464816961132160445649886824594094113447457593683133393372355301738398850600266697025084919444711372896685961702347067406554598336539452389603632923617797399444447473635019790182724551700209515234375/1038988162950873708201674624618465415675603976940979064660405662013025063671779820375351389751566974444340289669505372160503002505659713103672607358127274909728759489725406429604344658029942124113600523341144838502969974415662682537802158333804220365280385460833421355044163479502733286370139701806492190436295905169558542599858236316356359078476706934028970243689587441124993567484563585050349091272129586256967062502059522059880627671827497395662355167185610789991414804528330617019373534496352702751670238785359387923901384662765084680183213909073048513826296059281245924033897223924349824623282503058150087819128889635309099669193638334283813774982753726861258344301724612163003328782670873569018849959567401536081641938085753269265656897470807541266317312972507343138370843402030958358696857248712888961860788744972718969538366266367961480317045450572294369197991477850103927574635583568939288148100333138566220008764805947006900206457887325871459299914117994161447132180170518310656111262633861439913447165048793167200464454739763648825095897378774211531781901181765085219508702200474583289492968056152298373937388222390985001043754938717927981815499979018670143329213565006702631338608875000233395576276039905298854537101756602740031839444553264338184110604288",
      "success_lower": "1038987408088580742358584242676689410003560785609214201240533923408923741523109404346739133528737879257788552610383688952912947706767642314409042925483316704865169961992988006347220222695196000359585797987647114125294725362640879975897991356876556054933737044907454137039087470940504366954145502760389062204245588730221263587326511854879353156719970257191597217561719410999280031495597141901381879266623834711356819636965656633245244851119967265432483719584443700409068590197306843785679934864783883339005298826436631366201560864162072372794659084331134408046900818511736009274966639087300088056881692199983820769256461048254484332040220081034340864058699147441730716913421755766297223023025132474009729622010262233140425787157718527147225736497276227380004753407678216383360312823116717123239212389643076573218600330358637715621979828368110343869666277079035169920961675467758631316136469981290907669248540022635247009730872024683131596785549931139138619465382418928386632079421693938355906184606583252239469583714838671034899911563306280634075317275191653247194386611300268258376541754824696464898873942704840780254254829018629699305356088117661284790415059573958770432527603304355563932054276663693943186672406981681057137657309129105012049261828712637974595369913/1038988162950873708201674624618465415675603976940979064660405662013025063671779820375351389751566974444340289669505372160503002505659713103672607358127274909728759489725406429604344658029942124113600523341144838502969974415662682537802158333804220365280385460833421355044163479502733286370139701806492190436295905169558542599858236316356359078476706934028970243689587441124993567484563585050349091272129586256967062502059522059880627671827497395662355167185610789991414804528330617019373534496352702751670238785359387923901384662765084680183213909073048513826296059281245924033897223924349824623282503058150087819128889635309099669193638334283813774982753726861258344301724612163003328782670873569018849959567401536081641938085753269265656897470807541266317312972507343138370843402030958358696857248712888961860788744972718969538366266367961480317045450572294369197991477850103927574635583568939288148100333138566220008764805947006900206457887325871459299914117994161447132180170518310656111262633861439913447165048793167200464454739763648825095897378774211531781901181765085219508702200474583289492968056152298373937388222390985001043754938717927981815499979018670143329213565006702631338608875000233395576276039905298854537101756602740031839444553264338184110604288",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "235546875/6277101735386680763835789423207666416102355444464034512896",
        "reward": "519333491750154220339200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/714807661715818517373054313461033985959271460681837896819317279631645082642605387326246432601482183475177065936850963037067425152010486443191910243886034191",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "15204266681575312500000000000000000/1024391336267358166502966150449631",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 50000000000000000000000,
      "n": 500000000000000,
      "eta": "1/100000",
      "h": 16667,
      "A": "455058669942187496667/216992187500000000000",
      "q": "231563907756409373534321/1243209271240234375000000",
      "b": "625000000000000003333/5207812500000000000000000",
      "z": "40",
      "quota_99": "1665215529479687470003/12309375000000000000000",
      "quota_198": null,
      "error_upper": "79052228580154978970890359315822255368096324155966429081241795022543185491363884778561239958825337233177405646579158429483207241316651175033871820012167865023988063866775812017863741978274394101022392276679215545055831818510824842708946951733075880727996574682837703612317008270743244026783901067266550353185142022853585606638801208312668777611247722431555443695656877108590734963013693248900425916213265486149240456961720469995525173563810937610521982903778224397143517580352749793779726889300411150959785703423576326611986760236484282194934064203525450483363900559244515508094720585851310960291478113397696448491414136738998031556300548256572251301874500711250000016756369673492532646272081572381571186547876047661233831251989213024302639315147735765127550764015184787893591395011317980461293712429558954081697325742781527770481767453651338549185840242968050500097662124973996776388202036691664301352165532459825803782469493335797374905504364969919272993807649922669738636850872892589381434707594898653046490153563917341704976314948755453976690676104939708481071779941559269513815451687908566113324042558348484378731825516235606160769754196870236698542341548804518727376250732834671545155729833593539765373737305225628148874133884058827835272373016721825287809606097864892239341748108392987350295703450531135945083086328125/271898787855554230133784569313265963671941316727499725002028476574631639525741584226196239174704468260066573066890905214201364812941659633060701956879223512057570693297384816357595490038911080685393870843645498444324008822454420090986290987060616353941516686760441296568817571575996842656494828738689061220888314891187634066984373197689173305142822390791873732321092128976838772329876843039596038265485381577488083983097504962804084173986035589580774717755534888216404287201911759534774081929247191800692809793554088415882934306225011372933564836012342417294969989302001626832223559197191633053357082215028305444020424858121161600183880518385025255420571733525092404378670834057532969242451439809344499936191785366823212216094210264610556983106432684032613017542768859793444710414884584410679457188986267979644165450430749812505026717075734581064768953671678160008055960938512185863589269978693738244627685062375157414515230094235856389869657112518508086498434294926184586601907513294728847895394025552355532358444245698437944066722451314396429403135970745022771582621920260691090880790882794938990690513501364493514911407904948339831879152619372792241335483831081257191070082917675817957243235213042988517048757382995377801158745079346066166626734227527641470179293174411415688204610985738649500256036398614945769530545329730454622190574764032",
      "success_lower": "271898787855554230054732340733110984701050957411677469633932152418665210444499789203653053683340583481505333108065567981023959166362501203577494715562572337023698873285216951333607426172135268667530128865371104343301616545775204545930459168549791511232569735027365415840820996893159139044177820467945817194104413823921083713799231174835587698504021182479204954709844406545283328634219965931005303302471688328587658066884239476654843717024315119585249544191723950605882304298133535137630564348894442006913082904253677264923148602801435046321578075775858135100035925098476176348859658637947117545262361629176994483728946744723465151692466381646027223864271185268520153076796333346282969225695070135851967289919703794441641029546334216949323151854443471008310378227621124028317159650869399622785865793974949999182871738001190858423329391332953053294287186218026821458870120695544135363491607853719741468239483025683493113163064561776030586087187619182710711592929929956265313608099863372059109258543152659766150923736650799784897576568887397054724426821021989568794891945815320982609809010941235669476875061813455927401587365346599855453147327103137186080565729634211020492527741368871299229866984480208316971893027549401838035785007774120438017752600343468813634906920157689590400395004887873757260914288290221958419234841879199318677107488435907/271898787855554230133784569313265963671941316727499725002028476574631639525741584226196239174704468260066573066890905214201364812941659633060701956879223512057570693297384816357595490038911080685393870843645498444324008822454420090986290987060616353941516686760441296568817571575996842656494828738689061220888314891187634066984373197689173305142822390791873732321092128976838772329876843039596038265485381577488083983097504962804084173986035589580774717755534888216404287201911759534774081929247191800692809793554088415882934306225011372933564836012342417294969989302001626832223559197191633053357082215028305444020424858121161600183880518385025255420571733525092404378670834057532969242451439809344499936191785366823212216094210264610556983106432684032613017542768859793444710414884584410679457188986267979644165450430749812505026717075734581064768953671678160008055960938512185863589269978693738244627685062375157414515230094235856389869657112518508086498434294926184586601907513294728847895394025552355532358444245698437944066722451314396429403135970745022771582621920260691090880790882794938990690513501364493514911407904948339831879152619372792241335483831081257191070082917675817957243235213042988517048757382995377801158745079346066166626734227527641470179293174411415688204610985738649500256036398614945769530545329730454622190574764032",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "587109375/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
        "reward": "364161678589880466461181640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/1252527863798755392363643355600724071944477035923993904139922151036993574500617723771954889615087515149007208157861188231056536344354705318954706924865072335287723137883463533194420275945431207100622902167792280129199884600173530409894322736130850065860472155560929577212629064778792254411974403321420910751121257685283613197825696255413188292411788021478220746209869279559809518351886382842585420193",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "5207916656250000000000000000000/120053146655922619240247557511",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 50000000000000000000000,
      "n": 500000000000000,
      "eta": "1/5000",
      "h": 16667,
      "A": "401997570332812496667/216992187500000000000",
      "q": "231563907756409373534321/1243209271240234375000000",
      "b": "625000000000000003333/5207812500000000000000000",
      "z": "37",
      "quota_99": "1246845320495312470003/12309375000000000000000",
      "quota_198": null,
      "error_upper": "608638013142162741412665804662930469550656398508828982931099675359386219283555504973823384299024677919198111019417304297123476169844739960417276200026734680112045358524889260147584613966960697787323082548379128690823478714203821296262642489225370509156534987102597169266505256308980256315727357665396866488486368220642057673063494205178838399666745355120919087885455660879627948846987670971943616661682409281414308512930434050617473067322103410990478105971340040649987165539821370976168938757567719819342179649206006911248564098898225748528259362552047727288756797785809559225796085133833884160454743669198705404190934202110579344016730300624537994968133906301084167805491151447314177990708562318811897581975325699493429350834348350374551062865690797793001609427754732856195796903513433184913956381972981387888688396737432476846430227476784478291190493334665675508226929437126433702169155988126227203091706938585114467206513918032285236214948816759354636386275190245772072941251634648394086001013961583818470371400301148409506399946645695721990707737972950930675412919023892677077408565291406129130939463163668698511315000242845118695593422609369192904066506840626322318521737469458180841553060743802195617624417578058337751474758258353273902361880433192248560203243262442424485319090079549911569029910962407604978374059286274356460276953125/3978559562382596807040092851687777737336283497523994251992604833693335192375055330725738462538130123888706513473157471655238285669675964136690893822443511400710636827780439094486742192117392856989843074303700146103088922234353330579704507555110805905443057714231819813991992217733849789392059413485256213720980872631294958939553983669305136400203064110566045291543091643740916723884248070671343369391787928829671191655576058552430637280808647934237676800012340542556631509166576268405739306927615593069982146179606415704193386754552104510316033969071579967851321686616157797645479621499111963299155266187452954209032417253499574802242142388906053877325990777118588750665037202896947785821598977206574602833778806237662066819718621252056490086733399687931372376304084806927978450128338064426064342626946130958151090466195840893110080241436435526705946225999481671060150108451078663738954713545091214178493315576749197873508551557153914340566757919611048934112077042888740930948697767867169755165216632189958096508878525507808791404119794101352991635875952440475667726624275399500657307296982127215673581004060389700237767673430195703624786219331113908560701834905366787631478422771965373120997582366061315014657654703719530869576765990091795669108436130911238704540293982729370155092665363719288046625177546307086084688563506021197438413009785490951045644288",
      "success_lower": "3978559562382596198402079709525036324670478834593524701336206324864352261275379971339519178982625150065322214448479552457127266252371667013214723977703550983434436801045758982441383667228132709405229107343002358780006373855224639756225793351289509642800568488861310657457005115136680522886803104504999897993623207234428470453185763027247463336708858931727645624797736522821828838428587191043394522404116956886054529973166777138122124350374597316764609477908929552078525537826535618418573767106244616901043388611886596362013737548545193261751935070845831439591959134568430508888681835689552737503070132353568793754288748054794170611307940278326709860595690152580593782531130901812779980330447529892396612125216487425764484844392921758627139252385049313380309510613287013926369022373605208230267439113512946044194708493214453004421683504003958680275718749215003379869656773785403155512025276418657512009337327450521994781801612972039447134052839887325812719163260283534104544673507522095096813913581983795872095494916941689338420003818645691846591689230256718484959988651324468825244388273089450138265015712654260569298304509761497192309785976485995212967279225536173883564971582145643054599260112907880473461596910901523913245159187931754044194350177777637336342659860790480809951849402921294802727535097996395517054777601098416219064353723511134490768691163/3978559562382596807040092851687777737336283497523994251992604833693335192375055330725738462538130123888706513473157471655238285669675964136690893822443511400710636827780439094486742192117392856989843074303700146103088922234353330579704507555110805905443057714231819813991992217733849789392059413485256213720980872631294958939553983669305136400203064110566045291543091643740916723884248070671343369391787928829671191655576058552430637280808647934237676800012340542556631509166576268405739306927615593069982146179606415704193386754552104510316033969071579967851321686616157797645479621499111963299155266187452954209032417253499574802242142388906053877325990777118588750665037202896947785821598977206574602833778806237662066819718621252056490086733399687931372376304084806927978450128338064426064342626946130958151090466195840893110080241436435526705946225999481671060150108451078663738954713545091214178493315576749197873508551557153914340566757919611048934112077042888740930948697767867169755165216632189958096508878525507808791404119794101352991635875952440475667726624275399500657307296982127215673581004060389700237767673430195703624786219331113908560701834905366787631478422771965373120997582366061315014657654703719530869576765990091795669108436130911238704540293982729370155092665363719288046625177546307086084688563506021197438413009785490951045644288",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "587109375/12786682062094304179739022253232809188346257992355721833919106906625522642205759980012773798148063113870651109873281527379754908382364816614564560896",
        "reward": "28466380800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/186079720774539845863119691107766405246597262757852391892511149665284423785093473282842641255052614523806312298587834243058986816913082949958631261880027471557232451319523122831946688856667141086357361236609312897779876409114875496313765381352180124097858720229232037172757570646862645349843632965317496187852636370659192798652530362983959633830254826911293913",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "178240947560156250000000000000000/4802094615611904769609735647107",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 100000000000000000000000,
      "n": 1000000000000000,
      "eta": "1/100000",
      "h": 33334,
      "A": "6972791597778124975001/3255078125000000000000",
      "q": "1315578666428024013246527789/14127660680700683593750000000",
      "b": "1562500000000000008333/26040625000000000000000000",
      "z": "40",
      "quota_99": "289280743180034372525099/2031168750000000000000000",
      "quota_198": null,
      "error_upper": "1044545339082863134711093315688213675304046673908824540879751190336239734617471926785995186519118328623858906838916175089748711013232258642550214916668771337706734584353048114635316846050007593021659592809396050903273518954285205837368261120419647841475945112507822235033045385045196256948640013064484063082356327698650864602087051085550075448912133297959819165681023546951923606669610331543768385288330995751575994332599496808492947071521716707255124120793866688597005731767604997321961939402395336989905489211865557321583085282227592819199183903031405135296472195486997875859271223085342424605916371262066890909752037980089743821923700607039791694730350384240760935013262134469837547373629516652196136639253228982410087958505140654741288531802866475350680843081874260271195380694082743068010841183762175303521392352504413217774534976062171158709956144720716255130429406749211231391207640484726086183938471938998683814187936536138253587069691127377819137600163665771832750203754149332894126084345932387751017839902228595103051268084703281291411371746157989842466821046300609184710863445993377374062612204115371991401434840299142148769223107811846469359272362637188333666283329871705883729384539492338443969223236294716807370728638549003533345127154206505554336537209121326252378003686971993064204463426815022227050726013592907945059417330049974239327376741724612962431405976321739747885531324167276980316079061563301136958292114285357428640965739608950600444651518359375/25103221026518549166889019211757832274366575752156795918310780413305358017983145220738662971769463334705899318951357745598340711853706327174711741718313458903097698028091828207538114060894338037717491672832278570480791955292967091350141221241260438043687582291710231265653951196753817968721883285431269310778219053333247060081557972449920750696337740510484593504461686193525849041157793586085529591919798194094600196438796462575830631064107841156624366710168621383366857568153598202319489725065388978085674314037505674288312126982579903579812206134836320679240788249230689317754801161126077576201200026560795576733688115681022133393385841797761665479724920999322453383196216323369355121654677614096103147812602246692146816769199959963326006012678991945151461462523713701533143454412310863603507475889073530185521197066624329812600707805688902116134739861912294663319616353399135457424517593283943368400036228955203641958699885539829232215053542600478084218104032998034550566898451137853371492767151447817690820434638639000952968552278676321870866875987555973914390393146333870804905573535357043902171497065706211900702193494152328723699950732260043884157782598101312398950308681769168782985328433466515822112971941383861852005170215797673987176300541715086376422086875334280049743475878871324175071554994553648136628711957785542641390952449025643803942959224528375888139417027525672890595792538454336929020158379134534801193178205906558230693297945500814157066255160339163101167503406405721093093456644931584",
      "success_lower": "25103221026518549166889019211757832273322030413073932783599687097617144342679098546829838430889712144369659584333885818812345525334587998550852834879397283813348987014859569564987899144225566700010757088479230455845475109242959498328481628431864387140414063337425025428285690076334170127245938172923447075745173668288050803132917959385436687613981412811833728902374635107975773592245660288125710426238774647142676589769186131032062245775776845405048372377569124574873910496631881495064365604271522289488668582269900676966350187580184566589906716922970763357657702967003096498555617258094672440904727831073797700874416892595679708787469470535694774569972883019232709561272515716329563426924327229855342212799340112222309269395570443311129869373425762962741373504018573046791854922609444388252826632807199269914325816372541586744589866621926726812613347509407881445545081377336964298714561448563227113269606822205992410567492245055103146031115070661479400403916096461896296979828760010475552355166987782045858070230884489668058842467932743934119849036085327378811339125061630589513494201789199054059704676019405602715991330048158951349637338528144671892756347757802170250181085573957322313626056070829327488446688611512155968275785676305335543207077305420369569051358236785276516398348724664818620735017785432321884250708270813549577186489022210621576892233210935467943079999697475698651268415796729723966588752402812795053307646881739281250377218883937513020107963046053805672526537666796770492648805126572209/25103221026518549166889019211757832274366575752156795918310780413305358017983145220738662971769463334705899318951357745598340711853706327174711741718313458903097698028091828207538114060894338037717491672832278570480791955292967091350141221241260438043687582291710231265653951196753817968721883285431269310778219053333247060081557972449920750696337740510484593504461686193525849041157793586085529591919798194094600196438796462575830631064107841156624366710168621383366857568153598202319489725065388978085674314037505674288312126982579903579812206134836320679240788249230689317754801161126077576201200026560795576733688115681022133393385841797761665479724920999322453383196216323369355121654677614096103147812602246692146816769199959963326006012678991945151461462523713701533143454412310863603507475889073530185521197066624329812600707805688902116134739861912294663319616353399135457424517593283943368400036228955203641958699885539829232215053542600478084218104032998034550566898451137853371492767151447817690820434638639000952968552278676321870866875987555973914390393146333870804905573535357043902171497065706211900702193494152328723699950732260043884157782598101312398950308681769168782985328433466515822112971941383861852005170215797673987176300541715086376422086875334280049743475878871324175071554994553648136628711957785542641390952449025643803942959224528375888139417027525672890595792538454336929020158379134534801193178205906558230693297945500814157066255160339163101167503406405721093093456644931584",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "1173046875/41855804968213567224547853478906320725054875457247406540771499545716837934567817284890561672488119458109166910841919797858872862722356017328064756151166307827869405370407152286801072676024887272960758524035337792904616958075776435777990406039363527010043736240963055342423554029893064011082834640896",
        "reward": "89824059705016120856583064502309809995495015755295753479003906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/2158712637840678237051917951285850377780523107080340656844392056330099512392525015675248549572935676387262901188476712133350602983723262483097778630136355036265543129160229673560172225512147259984042649468397125110515007106026566219181535631502880704523327474979338016009552256903531442274329362446447386691843406533793710109207012343842659022597950875114282966086103684757978884210487672807458546354086701931388430919955234189601513313593970713361153257400449814194018774423251029291639054873734717194993933639295018857438444668769739549158223894563991101165972029353147579299615760484727489085189043317479721661415023506703203982493102061214379506038855324262697891249611458419560707916482673139888836022548552515200516252928665533106104303291393057048046666725769830273126514464345971851063",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "72333622685187500000000000000000000/833622979564941848126719119764721",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": false,
      "V": 1000000000000000000000000,
      "n": 10000000000000000,
      "eta": "1/2000",
      "h": 333334,
      "A": "505206001954343749750001/325519531250000000000000",
      "q": "1315536901013992660113715277789/141284236201533569335937500000000",
      "b": "15625000000000000083333/2604156250000000000000000000",
      "z": "8",
      "quota_99": "6776004314493343741750033/67708062500000000000000000",
      "quota_198": null,
      "error_upper": "85852527288630149765308140806197652919051442029453000001539874376192951560156370710748549299755120534294229964620838486278311303529024079533439076320451961500542828578629406400424288022895318284019295586378329658660490579658013363747319213691967313060323849597770889513936405600522444231139916319565456411005773084462120461438672741713416051497976822232319437456227425157884278475398120829045644347238124926050202720169282018308511179882539338825911313071631626462901216021420896792549709925684175670470843516031152287128068399419589366590124754358393540108691809003314768320810573164027054164178488757842730406734532644572636031544594721386603929487008973196241412279732975326857064480995815570184693471955774223216458540182043851846963247515762010845256611414658132623891690818693502142700326068243644581872094613586632193597382228116643910805921054464974952145578500927311654457738416997324954609041853537318340305129851233557700374863785172968729976319136091899248501975326583309600033604632994640919040971584553072740137188499559931452856663605053269980341971958726466805871985865673470623805662792088916797174963425843277681953017807187822987690532071403635707829548144692158318811671403934793278262797906232950190981460806848331384885787337071811475754894079162128964406767552602412286748135903697981651472276434728761311543318780881000514637385123546198460899279513341039052062485745324398544650396270496058002533838025821170355925210725505581824028502507248678094964701476277982680241166788833746024457820865598997201615137854908591020449110703411862484802714183727599662207506530099937345501484991949678803449786923289121507076708552619895899960874463319402157088876729854752277684324644744655404966730445040051626884022597803230048349756822231853956433848045018705975957211379357390225601195037309428913449319819792654348091085684358372380251453878439169755068279467803073578346317766759693723621670253890386728793214028410155489903691882931352961472718928712243082834197761033443399686072249325605824686555532903241409834453330166677121987458619963679816088434636024789215780066077247487234543778351354669535309027216908494788389245407981219054629071510688517393205647739898496487854747391486110270140014766126908216412530070251342452321078463963933216168482919470998935699354696088482598277254599057323320940982703462633795724370417206416898909822373228007403351574989614265826265004916403164372657000351057999658049986102936381184559765918407346548890275485544637485301930720617474283814061124642784747327970209234221583549439139114235926890832339816733308158302078674483026132380296418622858335848440556755218572816753067623078178579867164044357488223988139992355482638832720405183943054337376472163702583774229430176406182877948817449037596803846490763084737891341795535203525726718599905648394441486718018367191895006201282039296526061047290171802715813509520464504924924027974817760854440175429569563914633926102539083802159861125174632760529419704787985983931135750703597766291869836050078744428913146723906535645152324539243316233255496049207906602652698742795617910490869919442515905251152825815866215219646491231010285425872784085224599186760134703828596366713686814677298579636201179164868558641879067658862903333983973057931173006992850513881835629126457906401269524207900510226654780969162611054634467858934952407497497074477123968820690735767043986190854099230947596512582978740013525193868827576949823125306784596537762813023792986328214903861676066763290312378262584117699342690492042550209770559392244149634029478839054106792801320139358440861422215169072972326245406945928504037477535328336186024045067762794220591107461073013656659626962023081085005198920529584108390698273702420981008681758703695641402380756134203567758302644489475508231255453048888522329532939523023276595732154433433354454796542583702339437009778941305244914276827576811735358482538909280735476401490551503124811192860678590328085309628503156828505796545196768821904128822992382672514058142556353859530032497460275895486274985383753431634000146925284682861786701768377387425489341225492090139992529311414911578047749554283953567709296819830843178544487323234024581280884270766055972034162152734375/50593972271130822782918262326521228457509842404437252095324895609132583084183404715026696902572132542756156580584046710254679506069525438486191274421763433644007844457388973777107910605422075499966648326138237737281922253909901400378472689859824995389291976067936623366306421059618226778133708178189820212688881876508427123043738108149304960628975428749852484864811147972825210520035351541149394391143915379467888976918564819684300439205387874362160903944310271962929422734792186236482680419764646437382232891275545717064234061689385417435749020609484312306661197196997716415391543074609767974140351958514144253305653312491138147390763588215271520376750641835000718652739195605123919049615449381350608288355124022226839621514807881148930521425965822667940554679644958797268392398012035258224882515823776178293267503329176339256369875604153836110792779181434768371540702951163720655936459282954093584730033019602744850569714447719427546145546103627876342021909751100525392454925072214176234570994388704239592870649624951735508925825543023708356331066819289889886434512182009317321795402820684548082210034052615094049239932562025728889777244079047369671585637107677818249847035558005991418640996360218709884341800616340454107184928967458876069076994881360140665273819633382283799609220138614922587626045186352419058711014372159304151925274563630139375407798527630377860127739715324032134722683631994160642105576947634382154348789686874881860480919034398347401358041556374999096905240347648514202138949559373165923549032869872302890788688413224322405794181938313303924321693420579214062047536467789657047817663226242027305743776494742455713914131210530370623393780146047863926636838270726207771561596158012802274156657292061069351519548913977846916479308717987366450881333844003145023796189563803318057996259582429904068688037133823992818080089760310176331393816183999117804251905839988766931120448192420144757028465301087063647297398651772493119014313415153666677910698292205033305410291187091656793652242312272520050284179782694914421947297489488884769406954567915826740630954330813590134291002639417247051718153714187315731481447279742367043762002298490764804125645788753296010404573845531085106082498378740978279380989976433897452090218807409434356814628341392100454228149419330548837917222816537033909239701404353389191969324512381862053366010404075150768077113233671827358677357560473256551695269378295830066186645947732149609211777456032498422223442714727550041680232046356572313255279585952137312316283533534828765192994657188680866256436492662043044039443957513916605292711054616462482643021972697292280978748716220100790734083503197123014336758473747581379809400879283011877087049100644363059071836797004390730215909526084849512865566279474877175580942299285714270516765680698493328872987728661204931797349794950665880642031576102795769535357257723789204554078058482402384163147874605743016972630329168558867354951979498157783913151916211322501157721383033016140253059187180056227381784052428584465725120027344071627249145346156675683051105784273831415664168624109518254713367810317607723212498595754764519948781087915708694670550370179079031597398001472149752749038062342294975985091720207240710534422008426221520578274468923288816720813277948847042126633733365198521734298951785747013221169631830550799353841138396831482337809016729246869240142491440577988849589236616928716102530071218610259486729679069007759999292329600587074056764525282883326913784479516801362639701560943172155833102447519512737916669868949891355509388254497362238819785443111556881265553760409330097330412936536913194463127218945115776228952650004083162675517516648551147659681735540948917410603563558964537332858311336944629537912969554840868422958875077041610803601460337856675931475618049505278104829704619502952145489460152156823457770592236750484843409141747528362725727095349543235251439828928725096031203219539774810775831874009776201644775666659189012928609752182165000302216554992493177703975155638946948143678422381335168230905302328244140203393097640688269187535472691786502036375610219850415225219581603461013261541316550587287303618786412545283184397090864366097358408341839524114145860470991107828349885660219050033152",
      "success_lower": "50593972271130736930390973696371463149369036206784333043882866156132581544309028522075136746201421794206856825463512416024714885231039160174887745397683900204931524005427473234279331976015675075678625430819953717986335875580242739887893031846461248070078284100623563042456823288728712841728107655745589072772562311052016117270653646028843521956233715333800986887988915653387754292610193656870918993023086333823541738793638769481580269923369565850981021404971446051616351103165723335266658998867853887672307207099875246220718030537098289367349601020117722181906838803457607723582539759841447163567187931459980074816895469760731412858119015579239975782029255231071231643765999363711639316640122524286127292539553837533367665740584664690390339382113975704693038917634113540656977739879411366534063822321633477967199259684594467161756288971960238728564662537523962450486237976211575077435531971299635846313035694648135808716177129379122416294312545927501478236736782370549073318833172965674259244411079104205988237654984032694537341272470283571167831506887837033222829458912028975349836676353878676096344360581991288386447843645228553926351400801365416653778449284690127717775631922298161870496304201899898212937865823062191309278696017267894608270146549975254877936747821906528905530058009650515820073442774065670922807316390507831875490545802318596056626917527115740475004193516863132855209342592942098156360252549089731758078293628872348022455097864042422190632535974550970594397991669553549500662671576692924756760199123847845069923089416022707267939273347292854813618281558094411347863808868127449541287563288896525820751826815939005926990842089023293914841160250147903052173518868569118894831741405735117949511912636656102621074508862350962893881505487939016694059101990046711175751170857827360846616902192204302873650727704910543498260297105962085245709457811618866350373466670233698651652645118841798439261705607363441977043508265043699904985903259663762986027766939243560586481578944008822595891208868872833978034854176870227866414394248079050316076787890793839282010990650997501699654977850201466985640906226952771953130092610207058016545093803702375558717664569698666938893885328137879458342599882253123531989503866163757437324091899193021826744376998939779375764185486114380354997751817601334554543612921755111937370267189060921070662547770279426397659906816772917536304129553069904976705655112469565061270242783359492608860719456374448436120506333542990275761824699807682037769734948466835381595666059251014704068351872441352896047202271078493604900329721587025772952894321308304180564347489671159900682330093361764942293526747978550197583690850669402799942236834925523653098909108288880420239116391820447675878533053921146929091336849298470992702993481836676673712919189935408590981645933126001406070631195045017486200544858084428577640351056441749908028017011192230581447334365085278512047706301193741106500511804068588219998517990108783417355561521907841507492529767475268241397852916677880867958828157508021548504716433009951776515460631949292172347935368613469046806765157618864927594588104884845077432875836762882878804335150532587800587112575599365667524438875582160272156495353493553895857123428790020341413405910281409749061950374614863069068702560358205671220417116156620555314768362306342898843614483615862319726754382261387934287734993943503511725620415926192949058543880364511028539133166486029019985767135731759497106941399976098730376021666493008376311486657081496089069812135141250153798970526259399312959178483937969994670151413632717827158760959089190738889551514321744121490800973538169847724915172468754826489493471580788353439090628079875903753943936596941456247853112416415045429522271281138447441950193318337915162199079581722472363717315405015802596598449166454063623159927212633800181174860082317051488954345204944660386290085570601930006525552101148284295844737000865530040355472519224698519964473798510422600524442553661843473710758447296408882071026815954565471164364238778814371375269830783864307906822655304515755901472544861217353513823518082037837794092262235521171401324021275872392040738662990999230829381567546266515229797352200880121279190106837062293913626056897298777/50593972271130822782918262326521228457509842404437252095324895609132583084183404715026696902572132542756156580584046710254679506069525438486191274421763433644007844457388973777107910605422075499966648326138237737281922253909901400378472689859824995389291976067936623366306421059618226778133708178189820212688881876508427123043738108149304960628975428749852484864811147972825210520035351541149394391143915379467888976918564819684300439205387874362160903944310271962929422734792186236482680419764646437382232891275545717064234061689385417435749020609484312306661197196997716415391543074609767974140351958514144253305653312491138147390763588215271520376750641835000718652739195605123919049615449381350608288355124022226839621514807881148930521425965822667940554679644958797268392398012035258224882515823776178293267503329176339256369875604153836110792779181434768371540702951163720655936459282954093584730033019602744850569714447719427546145546103627876342021909751100525392454925072214176234570994388704239592870649624951735508925825543023708356331066819289889886434512182009317321795402820684548082210034052615094049239932562025728889777244079047369671585637107677818249847035558005991418640996360218709884341800616340454107184928967458876069076994881360140665273819633382283799609220138614922587626045186352419058711014372159304151925274563630139375407798527630377860127739715324032134722683631994160642105576947634382154348789686874881860480919034398347401358041556374999096905240347648514202138949559373165923549032869872302890788688413224322405794181938313303924321693420579214062047536467789657047817663226242027305743776494742455713914131210530370623393780146047863926636838270726207771561596158012802274156657292061069351519548913977846916479308717987366450881333844003145023796189563803318057996259582429904068688037133823992818080089760310176331393816183999117804251905839988766931120448192420144757028465301087063647297398651772493119014313415153666677910698292205033305410291187091656793652242312272520050284179782694914421947297489488884769406954567915826740630954330813590134291002639417247051718153714187315731481447279742367043762002298490764804125645788753296010404573845531085106082498378740978279380989976433897452090218807409434356814628341392100454228149419330548837917222816537033909239701404353389191969324512381862053366010404075150768077113233671827358677357560473256551695269378295830066186645947732149609211777456032498422223442714727550041680232046356572313255279585952137312316283533534828765192994657188680866256436492662043044039443957513916605292711054616462482643021972697292280978748716220100790734083503197123014336758473747581379809400879283011877087049100644363059071836797004390730215909526084849512865566279474877175580942299285714270516765680698493328872987728661204931797349794950665880642031576102795769535357257723789204554078058482402384163147874605743016972630329168558867354951979498157783913151916211322501157721383033016140253059187180056227381784052428584465725120027344071627249145346156675683051105784273831415664168624109518254713367810317607723212498595754764519948781087915708694670550370179079031597398001472149752749038062342294975985091720207240710534422008426221520578274468923288816720813277948847042126633733365198521734298951785747013221169631830550799353841138396831482337809016729246869240142491440577988849589236616928716102530071218610259486729679069007759999292329600587074056764525282883326913784479516801362639701560943172155833102447519512737916669868949891355509388254497362238819785443111556881265553760409330097330412936536913194463127218945115776228952650004083162675517516648551147659681735540948917410603563558964537332858311336944629537912969554840868422958875077041610803601460337856675931475618049505278104829704619502952145489460152156823457770592236750484843409141747528362725727095349543235251439828928725096031203219539774810775831874009776201644775666659189012928609752182165000302216554992493177703975155638946948143678422381335168230905302328244140203393097640688269187535472691786502036375610219850415225219581603461013261541316550587287303618786412545283184397090864366097358408341839524114145860470991107828349885660219050033152",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "11719921875/77932153003154624409521178229827542336855344995554392767656599603630620430554479030937350328266385148044262224309410641685767544333647582490600726297251265460373945495288259870176744340883046466877148777024192623212924251799289471427769823695662597219103476151710973648209504913478990501208882431862939015879785533765134535338905748542911926651830227194118420998553284229831565471610267715201724516343579615074099468357073597502094796176033677450521070455177990818478918526094667849220062243424419762881926873694435961611648560187477336639091321272202196406395714396434577737634627271307228741912505526695006311463234918973028827223122178909480303654978297355711010772798146495032514801838712397667446847779016145474225094514342541304927420524774705620317378344325410966531219764108579102074190860319173206279710673125629955048001938499380128297115377886529246540063730902694318414856694610167701722490611190453165647835318617468925636199283261960627464860103212015268245705369556319753718404125215110356446898466874383835539293894992400174953409790606416204450085869950798723290534222057082163198070467982082801302709588369924074882568185579069456925042903481696888952646581126991629988038775129771872655769088518782690772804795481573340516693974893534312938649959897698678153997083171776613750771891321413928505765227205200228258343593214000508313224243294830660502697347842112822718062351506914540652516916340140113434842205482050676392903158875413723831655284466466952130446866075224434728555516839637975042005761038049903414009173041009143581788889244682116697537106558658484780083454816936785993405435149308530647841150157308453839261738566124017049025697791019925206983642146382533982581384164682840015465308538340413199910717264448156763513608528133130761649108820356988559485355100886005610236630765318037709826905178183221026972626800893086255998372297383210889358813415404449044567092278909550341899072826440034505935405157723801719118969714543962306252648544038428731939088776947797816552700824088744363479527726954089022969446374710755395634460757923057653939253730526080735897257800336881391849126538685052561724248581022959808810094631794918399165891483189772076113790993056132608260793238888547725323735157667098662983520958326606237544065596365163621880072826799877154843205213290226060771554481973618630652043312086976360222687699688759240219875660295855942845071849967798510679103558477623491857185902310930291618817719967409906371571288820195309479616142023527780713455372262249055371125780622016736778319848003750907204539741295383149832091673765853993475753335451654244361095847510242261576449331298287373095872415247148551162768166283426396505924716870699977069184912852148110083262388843780190041301521708792657539786347059038352794559859583277493992515767272514468404494686675784151772157016722279210838020783079565608861641554500854020000315401638872335734990720501166087740272284718856541881151125514041993788016074533196056467982096980272606020765871916743716842506930878096080896",
        "reward": "2099249152000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/1237113882849534860220251004831625805180410364634881575222369627657693994507023033630483255560867901348747695375145079593201942344434196533112890836367379872477033818796311529376206787257904691766498661464194625173276451643588631169382778957234920239717497437170848739167153355379009714139043485586315224423553736108253846188119639",
        "export": "14202335098240061615945864792841211230041864813661221911229356690758518846906532928642263868823647499084472656250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/501410301557264665180237626383260326870693764205702764954089032170341913697711487719478935742606727702254879272125018782159204598418645899891744836320891762379093125898236411859114630855021676029343613392271495838310339532255215148314903783293228718883208718110294520503519803709997095278593534870648652611958078976047966441571897116989588642141073855579536036337198246925028804155890554483933706979559670433393082696301018690873426231622989413946090142543406297000228676522337604902769676816038937033588655201903002750679954892627866645330460935632937467977884918350436074554854410107852569211912762784731052215553238071035705744120199274382415694316766228087533900352366668323298484376205746006434337912507334765196460883237215028755098907351082942416086479008402732752166598648263489846565989844234281372931693613890854504684845091494606013137708078348107243419922275899104277830377787121176808323004763063476833693686747288532708185621876457440650689619563870286790585356521417513809607112444249508023210657312655999700207748775867",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "144675057870370375000000000000000000000/4167693240230615205573969133523206321",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    }
  ],
  "all_window_rows": [
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": true,
      "V": 100000000000000000000000,
      "n": 100000000000000,
      "eta": "1/100000",
      "h": 33334,
      "A": "6972791597778124975001/3255078125000000000000",
      "q": "1315578666428024013246527789/14127660680700683593750000000",
      "b": "1562500000000000008333/26040625000000000000000000",
      "z": "26",
      "quota_99": "250219805680034372525099/2031168750000000000000000",
      "quota_198": "470263086930034372525099/1015584375000000000000000",
      "error_upper": "218717962353208912100074185183558369463523001149352169465572601254054576177877432467675546955963370194608518461996697599607230071925079971409859725688112749715049740560141215227429686081189445650289969887597260291932899920119783272648250515636100547668083865788989671187366355259203767472039405352610829828636733986942223928749823264971556379335814378547510508156263442847778513700236984467470634746082933211904722906241102177583505955891247613518483923253110461186468308839520442215803601071074187430675497430006309482613313752028507055041499566845543704857319598396713336624272177919222708872929895151342495821524141255883413823101105563799637191289837876538903446877999871952068266690404628448860275145470364869635861802441223703175393669681514523072745030480009207029102507819161035244670765425871655629922567622814199030161404682955237377877244890305523507947301840243336144009499459577234476994003725088327158078390233506136926282688387372622012137186518144917512500992799802918961600765358394301820058859952950633260001972713497045141699911922993988601768681561091392531725022730111285095404116567825399389542373143002613626415557892982996739377963971879508769307546141479403930940806678969773103127191677853507932583714159792738283727880169499796496684033733676920692696303991464342412928302360013260521608811789884271175828567043417962737767085991159078309533006625439874141598103932340068363391994882425477434340248770007929835999053266113509512414598754296875/9969147124696051019802159608646825113885950390597306159420769647302379090090642158915763630246898606290303113522929760947374097122338965721537347981587150294827154757170387642690639009488120472038244582177612219075042882913530486953435800829997725136915765573783211392188401544728640776662399268312394159632141559710532413074698794627890943614282803196524444970757259264492263472591990544369033465207909936824641168331954416265691785246547698674710305737674662414806567816712764406661239919443342908622204606772328259788764041118164498935157681707683950754601756457149323304363330588295307890552571287004709879515366357189929163740343939955057902653720834708924860788786041348431070557542599726218972161254694103257183140054798788923423278412955003945375454748220741085762375529852412181744476847945259876477895779907082972150159570901789044013451380874529571470040540246473796737461803823591566810456262013929841005673335247043308220498433059511822158991088096102405335561556995809035339560378087206184577852146355222459678307760120850237965903564112461824778145884670445425491727812592084147204982600438245746399797856395156451475893489892788493642336940233723120810201843821172831547316305503731266324224821743920588409577000627931316682577054139664772716982979319543929077753606333545743062571957967685082190653566653721244423974001385545815186711311680306494415466016223038221779932152935788626663745943321423857371047086703933931761418954810889884683263712278346886807552",
      "success_lower": "9969146905978088666593247508572639930327580927074305010068600181729777836036065981038331162571351650326932918914411298950676497515108893796457376571727424606714405042120647082549423782058434390848798931887642331477782590980630566833652528181747209500815217905699345603198730357362285517458631796272988807021311731073798426132474865878067678642726423860710066423246751108228820624813476844132048997737275190741707956427231510024589607663041742783462692219190739161696106630244455567140797703639741837548017176096830829782454558504850746906650626666184383909058051599829724907649993964023129971329862414074814728172870535665787907856930116853952338854083643419086984249882594470431198605474333035814343712394418957786818270418936986482199575237561334263860931675475710605753168500749904362583441603274494450606240149984515349335960540740384361058214002997284681164517032299171956494125659814092107233221785019926115917346177168653074714361506776823434786369075958915887190644044494816235536641416486440826183550326296362506727674500118877524468858422412549901784157282901763864400335280867061417093697505034129178574398466852783308473279863477230600659340200855759148930693074513626690067912374562924587354451718616728910556069068044217156889838770411784603217186482635510195400832913637241751598229545039382722177393045044909454539702825556978771768748573913220503256387706690031596340058011337684694323677579929428974945569652363685161753489118811836618569754199863748132510677/9969147124696051019802159608646825113885950390597306159420769647302379090090642158915763630246898606290303113522929760947374097122338965721537347981587150294827154757170387642690639009488120472038244582177612219075042882913530486953435800829997725136915765573783211392188401544728640776662399268312394159632141559710532413074698794627890943614282803196524444970757259264492263472591990544369033465207909936824641168331954416265691785246547698674710305737674662414806567816712764406661239919443342908622204606772328259788764041118164498935157681707683950754601756457149323304363330588295307890552571287004709879515366357189929163740343939955057902653720834708924860788786041348431070557542599726218972161254694103257183140054798788923423278412955003945375454748220741085762375529852412181744476847945259876477895779907082972150159570901789044013451380874529571470040540246473796737461803823591566810456262013929841005673335247043308220498433059511822158991088096102405335561556995809035339560378087206184577852146355222459678307760120850237965903564112461824778145884670445425491727812592084147204982600438245746399797856395156451475893489892788493642336940233723120810201843821172831547316305503731266324224821743920588409577000627931316682577054139664772716982979319543929077753606333545743062571957967685082190653566653721244423974001385545815186711311680306494415466016223038221779932152935788626663745943321423857371047086703933931761418954810889884683263712278346886807552",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "1173046875/41855804968213567224547853478906320725054875457247406540771499545716837934567817284890561672488119458109166910841919797858872862722356017328064756151166307827869405370407152286801072676024887272960758524035337792904616958075776435777990406039363527010043736240963055342423554029893064011082834640896",
        "reward": "32200737335699046400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/1467707016696094344369048432224299778399423766403307708337664235680631840291655798141252217627953852947224788411693958868325951523449245833294332849828608976142079869947020561498378155761137",
        "export": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "611219111689834375000000000000000000/33342966096661736425058348748922173",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    },
    {
      "status": "CONDITIONAL_BOUND",
      "all_windows": true,
      "V": 1000000000000000000000000,
      "n": 1000000000000000,
      "eta": "1/100000",
      "h": 333334,
      "A": "710488383946531249750001/325519531250000000000000",
      "q": "1315536901013992660113715277789/141284236201533569335937500000000",
      "b": "15625000000000000083333/2604156250000000000000000000",
      "z": "14",
      "quota_99": "34140578135706593725250099/203124187500000000000000000",
      "quota_198": "52239464073206593725250099/101562093750000000000000000",
      "error_upper": "1797366334991968881605739128943466883004379218968929878361830255867011377028196673682808515437566365572086018210714813562418731109015586507094961196733137019671460137081620468318942174928800662165366520094248503781760539766483571054634908639004361451356491307595450300924492341181652749317923001216177463271083762936546508879882872479306826081999163838239867340253110959956797800195351437001453433308056757811118458515605764434098026194007155166938875295853401991282121992955986088379618067981979975653318604265259679974605225147542599054895001190494610366366281011667501961221326971581617886902195282411413159889094966998642805857653309770225640613433167768948332038842532117990097514527137466601650666988897423516906696327859470812365171149161656589874059125785951497122931805074160142015705061275407410962634807021051175077099258464937458690575499758237649519728261347345171120653457071905540803939586630458323691651771743924620728253114473686212121494070533382153093625178288529306969239417922339139788056442487882518800393320612163935963964970656186120775718967856699668214686709797419712609124875257170701817119516956917633278127336099393492385606254365331693473406697289682444403471600432505562920360252966687872227629520415563101700621922871450612888140946422702085851675695638168221857257774607628047977478581444268728472671834165623211926178080555565568513437091501278833195390202452452306528749984284977601550521755284691286953482558630587868829060920442940378101642661255565663063405274103861729453143200440296737025728820745289759041215948633205705673855432367137055641663624441852187320983261185913327751800094781941996165670663613391882120076006333997327412155333033647811958184568962009335379950276564805492432776659524467452525794892607641179346215701444763438379983683912283640777300624299363131410137966428119482610294675802949938128390928823328925396482056034155723779341473099645873813516046962573497295704185568065307068521642029288865862058469809315563865584897311206078000444386411750782026277597764750702463976841661409359818480448131191004341703504634959413430507447744427510355410811611871390219064690587876102565171441526480601232279878242970173998983447444866428238060142547060446264321177420725825427833124418674600942402179848954061993924524516763585527452647524440013543382314194854011559692717029163726217488657569079124027524659755776319826193380457258264405830956240920809251547045119091050053667805704356502063738853023742688218367613252857691457644681755760036657732504175636211722760815817257341302146387500051635520197039897518940721869368638632274027433481592837240171359644562068309208974374793719985169322291608308732200579921028012348285457925855242465955821964208313517023089794644098656198167889625392015224425668265061433982711627036993547027849039138828601298856314588753272533049391806406757192806825590890127953229004238459719731191718952156149181307630782431389293777420156724051049796992781575294799879503926726625110782214577115491381601029112884750912144775807868437050186717949291586457571494189812691344574373169266582362444159500714026828326426784125481221703953841265032374457320492032509934744277315613499402874671272170198039233096568518502231805000355438307181260411588981465985386973522752629309054029098258757894855258828767016156147236535224154544886751707394469027915760544779015060028759190885503739275417040099593996281529324986943610556343126944082865342410341529383084233500362721567666540220447506851570122733651442609297892082960726528460339095903000131981473420487356858325535220334911178682758095499982760865504706920026656137004138506021487959845544983756933235117416054098199578338931362217103411079194677019949730749325179999699513421806424129015238634419846759254826601612780529062296084930218957198191449754299333435957913031804968272231206236198389897576836483960140076355180156482904362995020579401718080296586554996846049973607919345502676875177396827893299082266459206701724861639388767541344025553742386744368852462871846291342360014134384416501128453380758451667083045230788628642907054512425168915418948577300449111230541706202572294261263367167505616833483555982945956359984765625/107717634053313594303484517646550311572569151515292022026310068201571313590149061724867523686158410667314932828415433674656632576540516536344025712012535918327829029309228420196942200723358954578755001982225093502761736576132880247036332204802114425824333081451176139527393249022573768754971318911551307529949643097450558443877642228730328735256402900046276822348441556048897708775508967746055777295119486378765925935949191081859006032557197775021499102303903890743953443996600811171701231449549923982375797554184853123568730344353588085429053933137414056088057862902015075424010173109770111135552886568568971760870019604899156674754254752306259906948519631940332150957954267215985649843305531307926641535695883137231064824387967131327231826041136121329245680975410656014351629376127954763745002372466271071666296401927974756162685436151383225204168588597126140342471969369803013709024647517265541810171332458170154417405087365876480138108213544358325299233460157846868011748984971222846462263532261912287518312802199463504758974239250760182191738049142782570959578858315812015285850592180602014441101712141569554132156693278076230434660732976273214440437600581469729495835219906746640733519028967277879619577531239333470043900440323979822902675830781895189975758433683221016665277755776693013656964056021442991412413239880340221696624910559709700580081179658979217279304450482319618050857628560712147161948675593406977771684777327328064839829880499700758359299086233699504927777286616238074962868960644570711894708055893639094697590185004892662698941278908959175543529444008101337428359654393688270956261912532506479413138183337978973500568195359695838329803867243880248224932410917403734685628916814180881172431883896054058339799202350275375192301058100000657232617028604349204636619754828548022009047080211760507723070241239232758713386218625392573945321011837338006956883365803724299666537359357447378209418221929115186698276973112842410723136169061143006608682002186893311782101061998439237464362093005041453124677067861708469845497968832816863303984808551260630976527397883731489780221464651420093619454382529874747704733120877626593203320441860217002750009691219482413337015133574328776188768310446098189749800673305426641435735807487314175531550700933244748942554437147565244220510129785123678780600022207317893801592403548701862892430968513963591750398588610918148396317048160013798143028726137279605466454497913838467103151176105284913712127095493874115890849398858233044243077715677798457141625671553676085365963519786055979612223242916873970875463664778117957107778590619978723945712925215738480470756504562416462174108241581473348739818315400255128968474814058722751225619387884941658310815462565877281192876404133390209182819384321806395732014588236419902182788498621116267433339657527832815290428140717685735367585700285198477218350480973331655479649980725611355842060700206924113456032951926192983188578439389062893528597175492379889099454226157394150091563788900143986272483061127603361141950987021032613805178654832334686017496348923566503981910566522077171083991486673194433642638458721401328546397388223133987407058641140288729945754441065128842044885669393066267923367272150617398106205636056733939118848978265890422323084493547355724314801778540084133690078181976469834060124552681818402020502456327951972413282651299104835919527231949856611446200217167537592796931863431877489911514747891477112986064691924670308356647228956753236151412451213898887962783091158847838923075494853884349396208541542810341262818918528012338627766314704139419754404111573764906549971640499322162856012748216573195485167289457058601961078504734388506319839019684551603625224649762232547311942272606011654626546927566632828230785757963089909718243574451751435474677466125643216896834292526166022240019440406289273440319271112410440068249422263671819631443275826808816924227780034592821009028603969065801110149965470385907579134921346601811047001568942845197633291748781535730693109352271816554048492768721849045221325307465904036411677963862226416118549687078065731665713845603252587685353637427602046565051895175031513335032511630490228471174717604299291890440535731139671912340418199552",
      "success_lower": "107717634053313594303482720280215319603687545776163078559427063822352344660270699894611656674781382470641250019899996108291060490522305821530463293281426902741321934348031687059922529263221872958286683040050164702099571209612785998532550444262347942253278446542537135165941892531266173304670394419210125877200325174449342266414371144967392188747523017173797515522359556885059468908168714635095820497319291027328924482515883025101194914098682169257065004277709883588786505121304957769709949327556967996287417936116871143593077025749322825749079327912266513489002967900824580813643806828758443633591665241597390142983117409616745261594365657339261264142661978630561925317340834048216701511266688775808651438181355999764463173720978233903714919344808261858433315804261494357761755317002168812247879440661196911524280696866699348751722801344362174029091489338661202883781393870044776059504919255918196639050679001098248876601147779246021814416561772614400678505207043373181799627490900689464309169907083623758211343562781541165619186182808272299672937655822170407023614893345155829165074873212745314772887025431772134419547568402819059732843613459316296807159473245370336003449613652381309040045622269988197175174059638900964480980080071013135030448201261479626874057811760349566052389614830270311571112380325804823190555982105732593648647431978265431851608507824813594067378272401764052482344191469210868328753285390954525465156027343043087238279358744416067072345603675068917058948225695795134584767317983315146231644650619535232968137041804452365961915550088213885784488228059468131722685798961321133900620248908064627225817200076793060172816395264913896333638196580266856342812334911069737358216761481147233360473699327092049004419252073710569699868281440476189780091233711741563457273539127103258570667096527848224082292940614933395581976080658964454462710717161535057018754974874900970741140877301413222485638880456015540824463457065879837225840464875574941301613480544864022916239003528629921900496508107730247046676623475296719063471691235052112601520831709599221616708917435600298775879761146785134206023875082130320194377710066014721813101377169629126647444519777955932735782853696085806014769326998653323321562613162879580989471486309893449706122867808826074341612034967716290158516205260606915195072569559793453788049021234507008880871275796934428024181099953349069272289523500258021823202532756822347202048666957597546293899629060165822662073427688169759388785660005209301554859348064545599450168026871920325329305787281880343400500482101056713534161518390617905472258393580081205004991055847099848196729071080823624933936881936911280430609341025461408983305491767114442493418807963913645962530004640022038726920582169181895665796294527162297075816420346794510167564072952851205999356945900795821743400291678546906766286843970609723945817431581525248722457173900020465714107471202685653736301760207240827039397131758280462139303398072223165048404429164612574796763909396217259647372278913026245650569385991919729054266510056526817580446162205617212395452995027887358392646912300025167060276014561900614519569061796349861925836937186447464913379983744636809534950925115750654423964397479345227908166402960165420616617173265534984015903233135766742848816391566561381060769127947371575302229697422989635004346309091416748258737764547397441450499316189311832431140188408346707293192588014837390317518466362152126042454135581543364273781886546411706768328217713536166395116550938400332071505372120232906786910649459849614734358579432109338495784841283652062896078576353429995371288882403822180095147243509653168829030285318552580473118659189404749386603902268497505425646310830870330208531193411334634676816178241452828531272336156665780703004940031904676219850864512862687834538207595947065041827990651989940004361358080605471796018216027473429733866439342848676847872599878109916646033583389664083029853378915389061529161313427256308370126391546017304334209482322329028968247712883049012704467214979462300852472844594057745069317949727841999617421233697307279998630800372463959042446582915176877649632946597731064223801969924287656176913454237131786273607052175156725955980433433927/107717634053313594303484517646550311572569151515292022026310068201571313590149061724867523686158410667314932828415433674656632576540516536344025712012535918327829029309228420196942200723358954578755001982225093502761736576132880247036332204802114425824333081451176139527393249022573768754971318911551307529949643097450558443877642228730328735256402900046276822348441556048897708775508967746055777295119486378765925935949191081859006032557197775021499102303903890743953443996600811171701231449549923982375797554184853123568730344353588085429053933137414056088057862902015075424010173109770111135552886568568971760870019604899156674754254752306259906948519631940332150957954267215985649843305531307926641535695883137231064824387967131327231826041136121329245680975410656014351629376127954763745002372466271071666296401927974756162685436151383225204168588597126140342471969369803013709024647517265541810171332458170154417405087365876480138108213544358325299233460157846868011748984971222846462263532261912287518312802199463504758974239250760182191738049142782570959578858315812015285850592180602014441101712141569554132156693278076230434660732976273214440437600581469729495835219906746640733519028967277879619577531239333470043900440323979822902675830781895189975758433683221016665277755776693013656964056021442991412413239880340221696624910559709700580081179658979217279304450482319618050857628560712147161948675593406977771684777327328064839829880499700758359299086233699504927777286616238074962868960644570711894708055893639094697590185004892662698941278908959175543529444008101337428359654393688270956261912532506479413138183337978973500568195359695838329803867243880248224932410917403734685628916814180881172431883896054058339799202350275375192301058100000657232617028604349204636619754828548022009047080211760507723070241239232758713386218625392573945321011837338006956883365803724299666537359357447378209418221929115186698276973112842410723136169061143006608682002186893311782101061998439237464362093005041453124677067861708469845497968832816863303984808551260630976527397883731489780221464651420093619454382529874747704733120877626593203320441860217002750009691219482413337015133574328776188768310446098189749800673305426641435735807487314175531550700933244748942554437147565244220510129785123678780600022207317893801592403548701862892430968513963591750398588610918148396317048160013798143028726137279605466454497913838467103151176105284913712127095493874115890849398858233044243077715677798457141625671553676085365963519786055979612223242916873970875463664778117957107778590619978723945712925215738480470756504562416462174108241581473348739818315400255128968474814058722751225619387884941658310815462565877281192876404133390209182819384321806395732014588236419902182788498621116267433339657527832815290428140717685735367585700285198477218350480973331655479649980725611355842060700206924113456032951926192983188578439389062893528597175492379889099454226157394150091563788900143986272483061127603361141950987021032613805178654832334686017496348923566503981910566522077171083991486673194433642638458721401328546397388223133987407058641140288729945754441065128842044885669393066267923367272150617398106205636056733939118848978265890422323084493547355724314801778540084133690078181976469834060124552681818402020502456327951972413282651299104835919527231949856611446200217167537592796931863431877489911514747891477112986064691924670308356647228956753236151412451213898887962783091158847838923075494853884349396208541542810341262818918528012338627766314704139419754404111573764906549971640499322162856012748216573195485167289457058601961078504734388506319839019684551603625224649762232547311942272606011654626546927566632828230785757963089909718243574451751435474677466125643216896834292526166022240019440406289273440319271112410440068249422263671819631443275826808816924227780034592821009028603969065801110149965470385907579134921346601811047001568942845197633291748781535730693109352271816554048492768721849045221325307465904036411677963862226416118549687078065731665713845603252587685353637427602046565051895175031513335032511630490228471174717604299291890440535731139671912340418199552",
      "error_groups": {
        "mass": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "food": "2159042138773611156346587965700099892779000091109070346255925867542147950790606764492876875868072056640136823486537415899248774736707986673413250944264518693671561777591705322265625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "floor": "11719921875/77932153003154624409521178229827542336855344995554392767656599603630620430554479030937350328266385148044262224309410641685767544333647582490600726297251265460373945495288259870176744340883046466877148777024192623212924251799289471427769823695662597219103476151710973648209504913478990501208882431862939015879785533765134535338905748542911926651830227194118420998553284229831565471610267715201724516343579615074099468357073597502094796176033677450521070455177990818478918526094667849220062243424419762881926873694435961611648560187477336639091321272202196406395714396434577737634627271307228741912505526695006311463234918973028827223122178909480303654978297355711010772798146495032514801838712397667446847779016145474225094514342541304927420524774705620317378344325410966531219764108579102074190860319173206279710673125629955048001938499380128297115377886529246540063730902694318414856694610167701722490611190453165647835318617468925636199283261960627464860103212015268245705369556319753718404125215110356446898466874383835539293894992400174953409790606416204450085869950798723290534222057082163198070467982082801302709588369924074882568185579069456925042903481696888952646581126991629988038775129771872655769088518782690772804795481573340516693974893534312938649959897698678153997083171776613750771891321413928505765227205200228258343593214000508313224243294830660502697347842112822718062351506914540652516916340140113434842205482050676392903158875413723831655284466466952130446866075224434728555516839637975042005761038049903414009173041009143581788889244682116697537106558658484780083454816936785993405435149308530647841150157308453839261738566124017049025697791019925206983642146382533982581384164682840015465308538340413199910717264448156763513608528133130761649108820356988559485355100886005610236630765318037709826905178183221026972626800893086255998372297383210889358813415404449044567092278909550341899072826440034505935405157723801719118969714543962306252648544038428731939088776947797816552700824088744363479527726954089022969446374710755395634460757923057653939253730526080735897257800336881391849126538685052561724248581022959808810094631794918399165891483189772076113790993056132608260793238888547725323735157667098662983520958326606237544065596365163621880072826799877154843205213290226060771554481973618630652043312086976360222687699688759240219875660295855942845071849967798510679103558477623491857185902310930291618817719967409906371571288820195309479616142023527780713455372262249055371125780622016736778319848003750907204539741295383149832091673765853993475753335451654244361095847510242261576449331298287373095872415247148551162768166283426396505924716870699977069184912852148110083262388843780190041301521708792657539786347059038352794559859583277493992515767272514468404494686675784151772157016722279210838020783079565608861641554500854020000315401638872335734990720501166087740272284718856541881151125514041993788016074533196056467982096980272606020765871916743716842506930878096080896",
        "reward": "190925598144531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/11442327205062801432285581830806843738389889284896633523458167566573211854276971055665803156611745813959419991008281592767654235442026388488376810990732092180173746718192352697287454415196268169031721385129206795286680354919836949187094219766434959309270300843734443832129957077797483980762023586315410448892005951287632469286086683774863670407418229112009955100209143880939991376022371025947073483282319419746619917178284486515264656618283614174530349410348816981244926052945454184241662255104121691",
        "export": "1079521069386805578173293982850049946389500045554535173127962933771073975395303382246438437934036028320068411743268707949624387368353993336706625472132259346835780888795852661132812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249",
        "feed": "539760534693402789086646991425024973194750022777267586563981466885536987697651691123219218967018014160034205871634353974812193684176996668353312736066129673417890444397926330566406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/155054282349630815507317388851094512416198427131805747614314021426314822803048758813941726923115731152500395557178811109523675692147978631598155649580294398051196071863040270864875038651647115027921984359952803326881159866459661846267080681489117936255032409586019643695800208130493478653571657913579397673122269827007913948144448670151547306120506599334638801245331446737173083352509489309678699837006637197461036489662959933736728107937598688265295836260825132111307648605460314438919060582552926071423066065664128300530858187270206027721459679517123161453403290528296465016892082112686187647816985595083717204531802830535718557024564387322214152630349878278275710035911837954752424543922332482879840074901689915575752177180171732339990312444347888173541454110942318527157725873531556111193644958631046207805425247400242276985459561978457105537600941713253195864734481095480167952980721597564598945102184631533938520703262272577353758701608512254013530320623137699740998040512045453307769344356827470530574021079172558709176005129414090940427815490696904544042789089042070541312180088400017411349888746197565291693414064540721730651260085656475249"
      },
      "reward_exponent": "1772269458912037093750000000000000000000/33341473584026635186258033934697996247",
      "scope": "Conditional on every channel lying in U(eta), food-only preparation and the exact mission protocol"
    }
  ],
  "source_alpha2_n4": {
    "mean_degree": [
      2.5239961939204556,
      2.5239961939204556
    ],
    "witness_mass": [
      0.0018736514906878717,
      0.0018736514906878717
    ],
    "exact_lower": "37473/20000000",
    "screening_1600_above_95_percent": true,
    "scope": "Independent redraws of chemistry, marks and trajectory; six silent food rows required"
  },
  "generator_panel": [
    {
      "mass": 10.0,
      "nonfood": 1.3334e-18,
      "K": 6667,
      "drift": 2.9994450037401204,
      "variance": 0.0007499220303901448,
      "full_variance": 26996850466.796444,
      "omitted_log_variance": 26996850466.795696,
      "copy_loss": 6668.200220008,
      "max_jump": 0.00015000375037502344,
      "mass_drift": -1.3334e-18,
      "output_rate": 1.3334e-18,
      "state": "floor",
      "drift_lower": 1.9620727999339826,
      "variance_upper": 0.46580465393905524,
      "jump_upper": 0.0003000750187546887
    },
    {
      "mass": 10.3,
      "nonfood": 0.3,
      "K": 6667,
      "drift": -1.8009150142612307,
      "variance": 0.0014699940362406625,
      "full_variance": 719847033293492.9,
      "omitted_log_variance": 719847033293492.9,
      "copy_loss": 38669.80022000801,
      "max_jump": 0.00015000375037502344,
      "mass_drift": -0.3,
      "output_rate": 0.3,
      "state": "trimer_background",
      "drift_lower": -185.237927200066,
      "variance_upper": 0.46580465393905524,
      "jump_upper": 0.0003000750187546887
    },
    {
      "mass": 9.004,
      "nonfood": 3.0,
      "K": 6667,
      "drift": 220.4061397936543,
      "variance": 0.007350753674005459,
      "full_variance": 7198218372.535376,
      "omitted_log_variance": 7198218372.528025,
      "copy_loss": 326683.8006000279,
      "max_jump": 0.00015000375037502344,
      "mass_drift": 0.9960000000000004,
      "output_rate": 3.0,
      "state": "depleted_foods",
      "drift_lower": -1870.037927200066,
      "variance_upper": 0.46580465393905524,
      "jump_upper": 0.0003000750187546887
    },
    {
      "mass": 10.04,
      "nonfood": 0.04,
      "K": 200000000000000000000,
      "drift": 2.6398199759999987,
      "variance": 2.6800900119999988e-20,
      "full_variance": 2.6830904119999987e-20,
      "omitted_log_variance": 3.0003999999999995e-23,
      "copy_loss": 2.720360048e+20,
      "max_jump": 5e-21,
      "mass_drift": -0.04,
      "output_rate": 0.04,
      "state": "large_selected",
      "drift_lower": -22.997927200066016,
      "variance_upper": 0.46580465393905524,
      "jump_upper": 0.0003000750187546887
    }
  ],
  "deterministic": {
    "window_outputs": [
      106.94271940745111,
      109.37811105858508
    ],
    "stock": [
      0.0003804134090103008,
      0.27500269383800663,
      0.27500269383800674
    ],
    "max_mass": 10.000000000000004,
    "food_arrivals": 1193.999999999999,
    "nonfood_ledger_residual": 8.526512829121202e-14,
    "interpretation": "Deterministic density illustration of one specified chemistry; not finite-count startup evidence"
  },
  "readout": {
    "gamma": "19/20",
    "lower": "101/800",
    "informative": true
  },
  "selective_readout": {
    "gamma": "0",
    "lower": "-1/500",
    "informative": false
  },
  "units": {
    "reference_molar": 0.001,
    "residence_seconds": 3600.0,
    "litres": 33.21078134347694,
    "mission_hours": 199.0,
    "selected_forward_M_minus2_s_minus1": 1111.111111111111,
    "selected_reverse_M_minus1_s_minus1": 1.1111111111111112
  },
  "evidence": "Exact scalar enclosures + literal generator diagnostics + numerical ODE. Stochastic theorems imported from manuscript; Lean not rerun."
}