{
  "schema": "minimal-normal-boundary-figure-checks/v1",
  "exact_rational_cases": [
    {
      "x": "1/4",
      "h": "9/256",
      "h_prime": "3/16",
      "B_square": "81/65860",
      "cutoff_epsilon": "1/260",
      "J_epsilon": "1053/4346",
      "resolvent_derivative_norm": "3072/16465"
    },
    {
      "x": "1/3",
      "h": "4/81",
      "h_prime": "4/27",
      "B_square": "16/6625",
      "cutoff_epsilon": "1/260",
      "J_epsilon": "832/2157",
      "resolvent_derivative_norm": "972/6625"
    },
    {
      "x": "1/2",
      "h": "1/16",
      "h_prime": "0",
      "B_square": "1/260",
      "cutoff_epsilon": "1/260",
      "J_epsilon": "1/2",
      "resolvent_derivative_norm": "0"
    },
    {
      "x": "2/3",
      "h": "4/81",
      "h_prime": "-4/27",
      "B_square": "16/6625",
      "cutoff_epsilon": "1/260",
      "J_epsilon": "832/2157",
      "resolvent_derivative_norm": "972/6625"
    },
    {
      "x": "3/4",
      "h": "9/256",
      "h_prime": "-3/16",
      "B_square": "81/65860",
      "cutoff_epsilon": "1/260",
      "J_epsilon": "1053/4346",
      "resolvent_derivative_norm": "3072/16465"
    }
  ],
  "exact_commutator_split": [
    "1/2",
    "1/4",
    "1/2"
  ],
  "commutator_bound": "5/4",
  "exact_integer_Pauli_products": true,
  "normal_minimal_domain": "H1_0(0,1;C2)",
  "normal_maximal_domain": "H1(0,1;C2)",
  "normal_self_adjoint": false,
  "sum_domain": "H1_0 intersect {h^-1 u in L2}",
  "sum_self_adjoint_and_compact_resolvent_proved_in_text": true,
  "rank_of_interval_average": "2n",
  "error_bound": "||u_prime||/n",
  "max_h_prime": "sqrt(3)/9",
  "physical_groupoid_realization_proved": false,
  "canvas": [
    2300,
    1560
  ],
  "text_canvas_overflows": []
}