{
  "schema": "common-normal-domain-weight-checks/v1",
  "two_row_order_constant": 3,
  "positive_integral_at_x_s_t_one": "1/4",
  "three_denominator_integral_over_pi": "1/16",
  "explicit_example_sequence": "4^(-n)",
  "sample_count": 32,
  "rational_tail": "1/(3*4^24)",
  "cases": [
    {
      "m": 1,
      "epsilon": "1/4",
      "coefficient_lower": 0.35848109871488587,
      "coefficient_upper": 0.3584810987148879,
      "proved_bound": "2/3",
      "exact_rational_interval_checked": true
    },
    {
      "m": 2,
      "epsilon": "1/16",
      "coefficient_lower": 0.1769027580002665,
      "coefficient_upper": 0.17690275800026736,
      "proved_bound": "1/3",
      "exact_rational_interval_checked": true
    },
    {
      "m": 4,
      "epsilon": "1/256",
      "coefficient_lower": 0.0797103990398393,
      "coefficient_upper": 0.07971039903983966,
      "proved_bound": "1/6",
      "exact_rational_interval_checked": true
    },
    {
      "m": 8,
      "epsilon": "1/65536",
      "coefficient_lower": 0.037253267266073066,
      "coefficient_upper": 0.037253267266073226,
      "proved_bound": "1/12",
      "exact_rational_interval_checked": true
    },
    {
      "m": 16,
      "epsilon": "1/4294967296",
      "coefficient_lower": 0.01802582338066858,
      "coefficient_upper": 0.01802582338066866,
      "proved_bound": "1/24",
      "exact_rational_interval_checked": true
    },
    {
      "m": 32,
      "epsilon": "1/18446744073709551616",
      "coefficient_lower": 0.008869849600189173,
      "coefficient_upper": 0.008869849600189212,
      "proved_bound": "1/48",
      "exact_rational_interval_checked": true
    }
  ],
  "generic_sequence_selected_by_compact_derivative_bounds": true,
  "complete_normal_and_arrow_weight_bridge": true,
  "actual_normalized_generator_proved": false,
  "original_Bott_plus_one_comparison_proved": false,
  "canvas": [
    2450,
    1540
  ],
  "text_canvas_overflows": []
}