{
  "proof_locator": "OA-FLOW.AL.4",
  "licence": "CC0-1.0 to the extent of rights held",
  "E": [
    [
      "-4",
      "-3"
    ],
    [
      "3",
      "4"
    ]
  ],
  "F": [
    [
      "0",
      "1/2"
    ]
  ],
  "E_plus_F": [
    [
      "-4",
      "-5/2"
    ],
    [
      "3",
      "9/2"
    ]
  ],
  "test_support": [
    "-1",
    "1"
  ],
  "epsilon": "1/10",
  "upward_gap": "9/5",
  "downward_gap": "13/10",
  "bound": "C*(1+v)^6*exp(-gamma*v)",
  "plot_normalization": "C=1 for comparison",
  "contours": "schematic horizontal comparison paths; vertical edges disappear in the proved R-to-infinity limit",
  "samples": [
    {
      "v": 0.0,
      "up": 1.0,
      "down": 1.0
    },
    {
      "v": 2.0,
      "up": 19.918993664076275,
      "down": 54.1454385182494
    },
    {
      "v": 5.0,
      "up": 5.7578078194681215,
      "down": 70.14445898756162
    },
    {
      "v": 10.0,
      "up": 0.02698083814652285,
      "down": 4.004311424560764
    },
    {
      "v": 20.0,
      "up": 1.9893647572093245e-08,
      "down": 0.00043818674778065155
    },
    {
      "v": 30.0,
      "up": 3.1352208614339905e-15,
      "down": 1.0249091462564691e-08
    }
  ],
  "samples_are_not_the_proof": true
}