{
  "cases": [
    {
      "horizon": "251/250",
      "consumption_upper": "2008/125",
      "linear_sufficient_initial_stock": "1927680",
      "linear_conversion": "16064000"
    },
    {
      "horizon": "251/250",
      "consumption_upper": "2008/125",
      "linear_sufficient_initial_stock": "1927680",
      "linear_conversion": "16064000",
      "saturating_stock": "200",
      "affinity": "1/100",
      "source_fall_upper": "753/1437078125",
      "saturating_passes": true
    },
    {
      "horizon": "251/250",
      "consumption_upper": "2008/125",
      "linear_sufficient_initial_stock": "1927680",
      "linear_conversion": "16064000",
      "saturating_stock": "1500",
      "affinity": "1",
      "source_fall_upper": "502/580053125",
      "saturating_passes": true
    }
  ],
  "storage_identity": "d(Q+W)/dt = -HG-HT",
  "scope": "Fixed-band theorems apply to all of R. The 120/60 moving tubes apply to the different independent 0.1% preparation box. A saturating law is a different model, not an improved bound for the same linear law."
}