{
  "preset": "Fixed paper witnesses, independent of exploration inputs",
  "rows": [
    {
      "capacity": 5,
      "time": "5",
      "blank": {
        "lower_fraction": "15169845763610206563330707297379939842964332489/1119213810000000000000000000000000000000000000000",
        "upper_fraction": "50566152545367355211102357734886583974158193/3730712700000000000000000000000000000000000000",
        "approximate_lower": 0.01355401946265317,
        "approximate_upper": 0.01355401946265317,
        "width": 2.0627010802594658e-29
      },
      "miss": {
        "lower_fraction": "327596528328392130769354885293194849801631964900660201845577131730239336303994113561184721/4733574907668750000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "1747181484418091364103226236330694748297776506019626347283232849849442043701853085087867869/25245732840900000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.06920700204778865,
        "approximate_upper": 0.06920700204778865,
        "width": 7.18670583629957e-27
      },
      "feasible": false,
      "separating": true
    },
    {
      "capacity": 6,
      "time": "4",
      "blank": {
        "lower_fraction": "2003391845289418520880272996348457837019997731861/186162563730000000000000000000000000000000000000000",
        "upper_fraction": "66779728176313950696009099977503502235589200601/6205418791000000000000000000000000000000000000000",
        "approximate_lower": 0.01076151834799089,
        "approximate_upper": 0.01076151834799089,
        "width": 1.5989504927343204e-29
      },
      "miss": {
        "lower_fraction": "5428175823689715045966362938339316970311709666458380876125049374807006796241545896508242167/94012094683650000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "278367990958446925434172486721831590777217395338116678023405678548839541991433552991993107/4821133060700000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.05773912220502571,
        "approximate_upper": 0.05773912220502571,
        "width": 5.879417971802436e-27
      },
      "feasible": false,
      "separating": true
    },
    {
      "capacity": 7,
      "time": "3.67",
      "blank": {
        "lower_fraction": "71537837234789369536681861250692823669551696463281/6969460979641875000000000000000000000000000000000000",
        "upper_fraction": "1144605395756629912586909789612558951820199904267429/111511375674270000000000000000000000000000000000000000",
        "approximate_lower": 0.010264472022119756,
        "approximate_upper": 0.010264472022119756,
        "width": 8.610308782445417e-29
      },
      "miss": {
        "lower_fraction": "19128343994506561429143609496711879104009128504825806137621030254315442574599154399162062647/371704585580900000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "956417199725328071457180637872646652531203728905881812641119972288140843983926686827762311/18585229279045000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.051461146126601534,
        "approximate_upper": 0.051461146126601534,
        "width": 8.772399320419273e-27
      },
      "feasible": false,
      "separating": true
    },
    {
      "capacity": 8,
      "time": "3.45",
      "blank": {
        "lower_fraction": "761534883229566096365111287022259835470506427515225041/77946451596314730000000000000000000000000000000000000000",
        "upper_fraction": "14644901600568578776252140138473663905860445348415339/1498970223006052500000000000000000000000000000000000000",
        "approximate_lower": 0.009769974997368208,
        "approximate_upper": 0.009769974997368208,
        "width": 2.2883746980301284e-30
      },
      "miss": {
        "lower_fraction": "327072188548762150083116279127855787657101603828295996622989939296590365142798325113816728699/6643163488322278125000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "38376470123054758943085647290258324602990418202519261641530078412663143392090237462847028768217/779464515963147300000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.049234403025562715,
        "approximate_upper": 0.049234403025562715,
        "width": 4.968269668311176e-27
      },
      "feasible": true,
      "separating": false
    },
    {
      "capacity": 8,
      "time": "3.4",
      "blank": {
        "lower_fraction": "16682682226856995210483493239752510674661599083671803/1771510263552607500000000000000000000000000000000000000",
        "upper_fraction": "81559779775745309917919300298366940237791581837129469/8660716844034970000000000000000000000000000000000000000",
        "approximate_lower": 0.009417208903662431,
        "approximate_upper": 0.009417208903662431,
        "width": 1.747250704372705e-30
      },
      "miss": {
        "lower_fraction": "4742873505827890158184928514890451902015131676750379139895054351287471304637460739325922787659/93535741915577676000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "823415539206230930240439060910173138214573621614514316652221636502801898548274021565748176977/16238844082565568750000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.05070653643939291,
        "approximate_upper": 0.05070653643939291,
        "width": 5.088452132059633e-27
      },
      "feasible": false,
      "separating": false
    },
    {
      "capacity": 8,
      "time": "3.5",
      "blank": {
        "lower_fraction": "1973499277110196285138872009695664580073835350638169/194866128990786825000000000000000000000000000000000000",
        "upper_fraction": "157879942168815702811109760822158976161815196743568837/15589290319262946000000000000000000000000000000000000000",
        "approximate_lower": 0.01012746179816351,
        "approximate_upper": 0.01012746179816351,
        "width": 2.9831896644097612e-30
      },
      "miss": {
        "lower_fraction": "111842036608319865944767078817087074739420449678391368693628236810856085845479014692997089336039/2338393547889441900000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "9320169717359988828730590848713744702440368045116711820587491187189313803037765681748952814893/194866128990786825000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.04782857731935878,
        "approximate_upper": 0.04782857731935878,
        "width": 4.861233846607976e-27
      },
      "feasible": false,
      "separating": false
    },
    {
      "capacity": 9,
      "time": "3.3",
      "blank": {
        "lower_fraction": "174053858081043344395516942372797404962100349411247911/18502440530438345000000000000000000000000000000000000000",
        "upper_fraction": "369864448422217106840473502611505603026265504153841659/39317686127181483125000000000000000000000000000000000000",
        "approximate_lower": 0.00940707566629967,
        "approximate_upper": 0.00940707566629967,
        "width": 1.7628483338922998e-30
      },
      "miss": {
        "lower_fraction": "113413250636684626237803806707007299789392656032438409094043047697715640218862385666507110020729/2359061167630888987500000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "8895156912681147155906181819736475648358594699653778591323255392337250604685832324036082695231/185024405304383450000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.048075587099159885,
        "approximate_upper": 0.048075587099159885,
        "width": 4.872545452592389e-27
      },
      "feasible": true,
      "separating": false
    },
    {
      "capacity": 10,
      "time": "3.15",
      "blank": {
        "lower_fraction": "25129859390224071442288317932531334062088785796796201179/2841937674640092730000000000000000000000000000000000000000",
        "upper_fraction": "25129859390224071442288317936463053129856263094712678497/2841937674640092730000000000000000000000000000000000000000",
        "approximate_lower": 0.008842508973532136,
        "approximate_upper": 0.008842508973532136,
        "width": 1.3834642127630037e-30
      },
      "miss": {
        "lower_fraction": "180045598769943241874926967273978910702226384735028641075917234354565672006215484860309716652317/3706875227791425300000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "60015199589981080624975661849757725172467429109105525706829062481051114477425284279970205734661/1235625075930475100000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.04857072000160505,
        "approximate_upper": 0.04857072000160505,
        "width": 4.930107743524911e-27
      },
      "feasible": true,
      "separating": false
    },
    {
      "capacity": 10,
      "time": "3.3",
      "blank": {
        "lower_fraction": "5638216623902542020057965910450109587965546185487119681/568387534928018546000000000000000000000000000000000000000",
        "upper_fraction": "1761942694969544381268114347558438230567398543762953613/177621104665005795625000000000000000000000000000000000000",
        "approximate_lower": 0.00991966972783204,
        "approximate_upper": 0.00991966972783204,
        "width": 3.0558248432912798e-30
      },
      "miss": {
        "lower_fraction": "41183448748610801023428260672854611678743767906385093526445123438855845380102320048195429490363/926718806947856325000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper_fraction": "54911264998147734697904353348887852155632129973961526726954763901666421241231963364838426140911/1235625075930475100000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "approximate_lower": 0.044440070105243985,
        "approximate_upper": 0.044440070105243985,
        "width": 4.681907008802199e-27
      },
      "feasible": true,
      "separating": false
    }
  ],
  "robust_blank": {
    "lower_fraction": "13827847873039619893487264119679623532474877781326538651/1420968837320046365000000000000000000000000000000000000000",
    "upper_fraction": "1382784787303961989348726412348167413852565319138228323/142096883732004636500000000000000000000000000000000000000",
    "approximate_lower": 0.009731281580473646,
    "approximate_upper": 0.009731281580473646,
    "width": 2.6756748678749774e-30
  },
  "robust_miss": {
    "lower_fraction": "28883110692096808486376410190737067011854838212414995589835427814173851452354996425533204793399787517/581470623967282400000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "upper_fraction": "564664814030492605908658873074476043816998872638980666103848243575232254973363618302936653229620659928213/11367750698560370920000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "approximate_lower": 0.049672519129224275,
    "approximate_upper": 0.049672519129224275,
    "width": 4.736694867046505e-27
  }
}