{
  "schema": "exact-negative-output-boundary-figure/v1",
  "proof_locators": "Proposition 6.8h, (QB.1)\u2013(QB.15), Figure 6.8e",
  "checked_texts": 58,
  "outside_figure": [],
  "support_samples": [
    {
      "epsilon": 0.2,
      "outer_interval": [
        0.2,
        0.4
      ],
      "actual_bump_support_inside": [
        0.25,
        0.35000000000000003
      ]
    },
    {
      "epsilon": 0.08,
      "outer_interval": [
        0.08,
        0.16
      ],
      "actual_bump_support_inside": [
        0.1,
        0.14
      ]
    },
    {
      "epsilon": 0.03,
      "outer_interval": [
        0.03,
        0.06
      ],
      "actual_bump_support_inside": [
        0.0375,
        0.0525
      ]
    }
  ],
  "coordinate_profiles_not_scaled_output_amplitudes": true,
  "all_epsilon_proof_not_replaced_by_samples": true,
  "exact_bound_formulas": {
    "local_upper": "sqrt(2epsilon)",
    "global_lower": "1/2",
    "ratio_lower": "1/(2sqrt(2epsilon))"
  },
  "font_notice_sha256": "90ACE1BAE0C8D0B74C5F93E5DF3772D362C00CEA1991B1F0E16556EBD614894C",
  "original_expression_terms": "CC0-1.0"
}