{
  "regions": {
    "R": {
      "face_budgets": [
        "-1242214253269126368473677138199237809945707480417141137494642329460399033327028792333502934946454075605680246302308385828498573786850423213/379375737599060923744115620126772803236444634057853477637191265894377086129126061647169878992690181411763848338388881750000000000000000",
        "-937652460347661482196052534123014141556077820161901148329173670340090427378088096998569764993172851736010267120128227667390227088464724487553/22762544255943655424646937207606368194186678043471208658231475953662625167747563698830192739561410884705830900303332905000000000000000000000",
        "-4765552504235584115656219240981856989397831025836381619862416106422933349537118149880484360175794125095088026122567347819771466904051/7177669806055452156732865767226805472262692915672187638580858308473693806245881404733135540491726069657815690821850000000000000000000",
        "-17551199963703661575255384920481692382731054356705694558184052666114094426863120139807889442987085676397797253564780748547982977419627029/22762544255943655424646937207606368194186678043471208658231475953662625167747563698830192739561410884705830900303332905000000000000000000",
        "-53016494606266171740940707096224181169958038765721471289203875124803149140576439819145198258212828242989748931610821605155186891966253957/158073223999608718226714841719488668015185264190772282348829694122657119220469192352987449580287575588234936807662034062500000000000000000",
        "-977740499592899389395711441292716020710290073837103137412651764040828393567662160620392385553260939443223087767547488360490597796314961071/8535954095978870784242601452852388072820004266301703246836803482623484437905336387061322277335529081764686587613749839375000000000000000000",
        "-2874859987267837922091025947013477059131224049921817826088150500004163839619310797948344161686493829155964533743475311999277710196056661/96703619387995921738696138463687185138701573387295984495754636404449061170169388263004086802058281536331961341157950250000000000000000000",
        "-207345183522410279507593610980895072329056847595702017759277292718826806195027142912981635197821468877280985592614877686930393683753/416896414944022993125401780359090992567521575887751074326583808675139655086951716095791075816143056496443789382844925000000000000000000"
      ],
      "source_perturbation": [
        "73021984727561600771179374502110923865573819521796353891121200000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "1768880163242419115638924761380720117092382866122398554339452071769080000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
        "51339386928955339944331415108522666674558393058529953650767186831793750000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "353414648052508490418507074132698917322911511412384809820163257847895000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
        "124488385033981325661026963440915820057455835337986767197210612543763240000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "38503525505583776286682133170558181911438864129720770609367430342489750000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
        "203047285198234589612805693219907576085195839813366748096756003819750000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
        "10588889308113463340329523070349801919417701179760176677595729982250000000/466314192479560447779117450266488941566977588277748639576174083269080866275209"
      ],
      "face_velocity": [
        "0",
        "-67/2",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "service_lower": [
        "103501336737810244401/10000000000000000000",
        "195801434052400786938626402516229447/50000000000000000000000000000000000"
      ],
      "projection_halfwidths": [
        "601069891201287/12500000000000000",
        "682662027498917/25000000000000000",
        "14722545291709/100000000000000000",
        "12260503951/10000000000000000",
        "3853289520482749/100000000000000000",
        "6918190049733/5000000000000000",
        "6708788167/62500000000000",
        "2633769090519943/50000000000000000"
      ]
    },
    "S": {
      "face_budgets": [
        "-1242214699998486260003368935904263540108615890119118049821753384290985977293754149327683082135632511511740248312435514494526094630506823213/379375737599060923744115620126772803236444634057853477637191265894377086129126061647169878992690181411763848338388881750000000000000000",
        "-111677789208059329024186717706486006323515411556696890841213705992295105070931187911274175678314684784646500018044253732540924515930203441079/3251792036563379346378133886800909742026668291924458379747353707666089309678223385547170391365915840672261557186190415000000000000000000000",
        "-440513267858745951992660791301212389334858149487084741937597880683384135524661985463883640553246793438128747117271192953925546261719/663482082912688854824046415457940001637727916574740033818398667169837242594157104639197402902596527447361114277650000000000000000000",
        "-192870344347421553615022981026380061199560404710929718760015818491008973668489566214937242001097266565577188369039357171433939222778319/250137848966413795875241068215454595540512945532650644595950285205083793052171029657474645489685833897866273629706955000000000000000000",
        "-5890721686580897302791863923093924504743263367252940296119967559651676992446686953405023730575577634622836208716017073829518338905983773/17563691555512079802968315746609852001687251576752475816536632680295235468941021372554161064476397287581659645295781562500000000000000000",
        "-977740500607961913118233031073541780485453621465539474646007125306663672438852501289160306226655150818280448177179745253615593583127761071/8535954095978870784242601452852388072820004266301703246836803482623484437905336387061322277335529081764686587613749839375000000000000000000",
        "-92737419279272034450538095416863669240624682803053024247738652941914631182834667492817977671341881173047495069965109173136470180814731/3119471593161158765764391563344747907700050754428902725669504400143518102263528653645293122647041339881676172295417750000000000000000000",
        "-207371574306477512601511052300228029438827314879566724235065563890094382888886713439272837178905877888022068733922193058137471283753/416896414944022993125401780359090992567521575887751074326583808675139655086951716095791075816143056496443789382844925000000000000000000"
      ],
      "source_perturbation": [
        "73021984727561600771179374502110923865573819521796353891121200000000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "1768880163242419115638924761380720117092382866122398554339452071769080000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
        "51339386928955339944331415108522666674558393058529953650767186831793750000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "353414648052508490418507074132698917322911511412384809820163257847895000000000/9792598042070769403361466455596267772906529353832721431099655748650698191779389",
        "124488385033981325661026963440915820057455835337986767197210612543763240000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
        "38503525505583776286682133170558181911438864129720770609367430342489750000000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
        "203047285198234589612805693219907576085195839813366748096756003819750000000/64003908771704375185369061801282795901349865057730205432023893782030707135813",
        "10588889308113463340329523070349801919417701179760176677595729982250000000/466314192479560447779117450266488941566977588277748639576174083269080866275209"
      ],
      "face_velocity": [
        "0",
        "-67/2",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "service_lower": [
        "103501338941320823601/10000000000000000000",
        "200507710804603156268027815310338647/50000000000000000000000000000000000"
      ],
      "projection_halfwidths": [
        "539774824440387/12500000000000000",
        "665962485339617/25000000000000000",
        "14618040165709/100000000000000000",
        "12218109031/10000000000000000",
        "3247290095811949/100000000000000000",
        "6814533706533/5000000000000000",
        "5367015941/50000000000000",
        "2541220536030343/50000000000000000"
      ]
    }
  },
  "physical_unit_box_margins": [
    "2000385757101827/1250000000000000",
    "35345392865226827/1250000000000000",
    "4770133838559527/2500000000000000",
    "7104492594820539/10000000000000000",
    "2841088791469/1000000000000000",
    "1820144147826515453/5000000000000000",
    "492862889063375229/10000000000000000",
    "902090176676259/10000000000000000",
    "2470112653096259/10000000000000000",
    "150377791067281/500000000000000",
    "362476393557/5000000000000",
    "36483476469882813/5000000000000000",
    "56383202686162623/5000000000000000"
  ],
  "storage_range_S": "2430664273305669/25000000000000000",
  "deadline": "1/250",
  "shortfall_bound": "9/25000",
  "narrow_preparation": {
    "contained": true,
    "used": [
      "773039236860883487049582953881055693970169631878728306384472783530970000000000/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "960071900680593243209029238136366323456934986190844281861474530196698587537195/1152070357890678753336643112423090326224297571039143697776430088076552728444634",
      "9462430898804016172007521915912193702553278430471526045260839845121262500000/1088066449118974378151274050621807530322947705981413492344406194294522021308821",
      "61163675075604973597140655389084041054226715470820942314861887828045750000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "3676533631114307532521588896998999018099987807193430774721830623260574000000/3264199347356923134453822151865422590968843117944240477033218582883566063926463",
      "1355284134431670258961847648139502018603824422686531181158218690304652500000/29377794126212308210084399366788803318719588061498164293298967245952094575338167",
      "78703529540257325623791525369980531597147750493213789044838272914517500000/832050814032156877409797803416676346717548245750492670616310619166399192765569",
      "514113831102225045517387439770644016936132313218402081490042922067787500000/155438064159853482593039150088829647188992529425916213192058027756360288758403"
    ],
    "slack": [
      "2062205673461934532865636916785710833204833035045438367254927913340998191779389/10880664491189743781512740506218075303229477059814134923444061942945220213088210",
      "188694450058209268432779406122752153532297013950390521017040814786596996407439/288017589472669688334160778105772581556074392759785924444107522019138182111158500",
      "7521840834844780485338843135193530775235101157565179185958234961610441524161747/10880664491189743781512740506218075303229477059814134923444061942945220213088210",
      "22237758680742412205205348509167117726239634670901473916083911201904504947485241/32641993473569231344538221518654225909688431179442404770332185828835660639264630",
      "22812630095187318865851539174087968146600901947537749031485311773952356707485241/32641993473569231344538221518654225909688431179442404770332185828835660639264630",
      "205631006042141840768001177091040228210851078186260284741281188534761615502367169/293777941262123082100843993667888033187195880614981642932989672459520945753381670",
      "5823568662929695568612346708663034621706866242748516556423725951435649174358983/8320508140321568774097978034166763467175482457504926706163106191663991927655690",
      "1082925310807952127696100176224101090153586382849229471529505765073844146308821/1554380641598534825930391500888296471889925294259162131920580277563602887584030"
    ]
  },
  "independent_point_one_percent_box": {
    "contained": false,
    "used": [
      "3759779737420612934291867578337356879215657294498961798241252133126433399608830/466314192479560447779117450266488941566977588277748639576174083269080866275209",
      "16519040365308370359170686295767530479316695130276383796391731371968726525007556637/19585196084141538806722932911192535545813058707665442862199311497301396383558778000",
      "199830546350194034439246495314604170428575393712141732450503549952484768416189129/18652567699182417911164698010659557662679103531109945583046963330763234651008360",
      "150980790375560137628299119539695450494438980965799032743080462981644732102797355/5595770309754725373349409403197867298803731059332983674914088999228970395302508",
      "194675112709508917554193230906710677158000076626027383016290947462130393294912438/81604983683923078361345553796635564774221077948606011925830464572089151598161575",
      "289592369067402792131123165572439603781628195209840055560403662440719247764689703/1398942577438681343337352350799466824700932764833245918728522249807242598825627000",
      "50350718477194470364711843450506339190469495182779175607889668083963757127708689/166410162806431375481959560683335269343509649150098534123262123833279838553113800",
      "9017089034530243747097508297824659358703240899409072910671401447620792268509513/18652567699182417911164698010659557662679103531109945583046963330763234651008360"
    ],
    "slack": [
      "-33400969641890085312906618730975168318053774650489880226226954581842606199611419/4663141924795604477791174502664889415669775882777486395761740832690808662752090",
      "-36997366226865398872752049566591166821720833616680889863501116643872388223907157/3917039216828307761344586582238507109162611741533088572439862299460279276711755600",
      "-186773748960766341901431206707142480064700021240364770542370675620950504160483277/18652567699182417911164698010659557662679103531109945583046963330763234651008360",
      "-735318755793659149334772664787284716926381846121329720853203003410922264130427997/27978851548773626866747047015989336494018655296664918374570444996144851976512540",
      "-275103248261525525402502686498131563632090644124006349336419244523335974352398671/163209967367846156722691107593271129548442155897212023851660929144178303196323150",
      "689667435139674148205023479987187173509024740173432087549561912424350571413249197/1398942577438681343337352350799466824700932764833245918728522249807242598825627000",
      "66136395487307492472659849027828349349987259222289798278393818599332129859470971/166410162806431375481959560683335269343509649150098534123262123833279838553113800",
      "4039708354897448790717780309637031005172131572367888997461472883913471987196339/18652567699182417911164698010659557662679103531109945583046963330763234651008360"
    ]
  },
  "largest_uniform_halfwidth_around_p": "9792598042070769403361466455596267772906529353832721431099655748650698191779389/15460784737217669740991659077621113879403392637574566127689455670619400000000000000000",
  "scope": "Fresh rational field/Jacobian/remainder and face checks. Affine moving-box and continuation theorems supply existence, capture and indefinite service for maintained supply. No attraction or contraction is asserted; Lean is not rerun."
}