{
  "Original": {
    "lower": "4193792898239493/4194304000000000",
    "published_lower": "6710000239829/6710886400000",
    "losses": {
      "repair": "1/1000000",
      "prefix": "201/62500000",
      "departure": "37/62500000"
    },
    "repair_exponent": "56",
    "prefix_polynomial_max": "16078/5",
    "headline": "4999/5000",
    "passes": true
  },
  "W": {
    "lower": "838695571135489/838860800000000",
    "published_lower": "838695571135489/838860800000000",
    "losses": {
      "repair": "1/1000000",
      "prefix": "201/5000000",
      "departure": "121/3125000"
    },
    "repair_exponent": "14",
    "prefix_polynomial_max": "16078/5",
    "headline": "4999/5000",
    "passes": true
  },
  "O": {
    "lower": "419359631961841/419430400000000",
    "published_lower": "419359631961841/419430400000000",
    "losses": {
      "repair": "1/1000000",
      "prefix": "201/25000000",
      "departure": "37/6250000"
    },
    "repair_exponent": "14",
    "prefix_polynomial_max": "16078/5",
    "headline": "4999/5000",
    "passes": true
  },
  "WO": {
    "lower": "419332385763057/419430400000000",
    "published_lower": "419332385763057/419430400000000",
    "losses": {
      "repair": "1/1000000",
      "prefix": "201/5000000",
      "departure": "121/3125000"
    },
    "repair_exponent": "14",
    "prefix_polynomial_max": "16078/5",
    "headline": "9997/10000",
    "passes": true
  },
  "F": {
    "lower": "176915425816575482750126908089960417712372422485900866047/178405961588244985132285746181186892047843328000000000000",
    "worst_state": [
      10,
      2
    ],
    "all_states": 216,
    "headline": "2479/2500",
    "coarse_full_inventory_charge": "164502886614775553389899438728393357874962316303/166153499473114484112975882535043072000000000000",
    "spent_fuel_gain": "90174812659582304847008503410909772232198735184867/57089907708238395242331438777979805455309864960000000",
    "deadline": {
      "erlang_upper": "492576260103852631532864791323839987307456158589467801149500950581706861856538428084094551792473289550702547440291063589502284128538837275175971558591841659170402268586076112828476549957952580394255647312531292879985689163228810871801866860806886037444812085535573798748516301461807198158079899140153194059224797607309680009582817153599153501437766221878800953105014781843594230480301873288843604406646264872628364321483792846007096120745213435232320159416607256545883597453894253703765571117401123046875/20201518836703809235236706543793061042352552075233471691574812851110496625187596475215316418439633635529919777215944412790131434071152347782444786030372886350726676158962648406480299186141211492323464667305122070958940017461744021326815797391955996046950864675299086125051895839575829147657460587241384244467022374646295907078921818554285395804102234931694733598434768004941306655679557084838184538397234290148547779461039124262953027798520516361700857126502962993212202497363578749818109971455786170541476320212141531",
      "one_minority_upper": "1993723875/779075830126952769981591459241874851237381579688455492143326179",
      "exponent": "144",
      "suppressed_rate_upper": "2009751029/625000",
      "used_allowance": "1/1000000000000"
    }
  }
}
