{
  "model": "L-infinity((0,1]), Lebesgue trace; a_j=indicator(3^-j,3^-(j-1)]",
  "proof": "OA-FLOW-HA.md, HADT15-HADT16",
  "general_bound": "||B_n(x)||_2 <= ||x|| sqrt(||h|| tau(h_n))",
  "example_rate_is_not_a_general_rate": true,
  "rows": [
    {
      "n": 0,
      "residual_trace": "1",
      "hilbert_error": "3^(-0/2)",
      "map_norm": 1,
      "trace_log3": 0,
      "hilbert_error_log3": 0.0
    },
    {
      "n": 1,
      "residual_trace": "1/3",
      "hilbert_error": "3^(-1/2)",
      "map_norm": 1,
      "trace_log3": -1,
      "hilbert_error_log3": -0.5
    },
    {
      "n": 2,
      "residual_trace": "1/9",
      "hilbert_error": "3^(-2/2)",
      "map_norm": 1,
      "trace_log3": -2,
      "hilbert_error_log3": -1.0
    },
    {
      "n": 3,
      "residual_trace": "1/27",
      "hilbert_error": "3^(-3/2)",
      "map_norm": 1,
      "trace_log3": -3,
      "hilbert_error_log3": -1.5
    },
    {
      "n": 4,
      "residual_trace": "1/81",
      "hilbert_error": "3^(-4/2)",
      "map_norm": 1,
      "trace_log3": -4,
      "hilbert_error_log3": -2.0
    },
    {
      "n": 5,
      "residual_trace": "1/243",
      "hilbert_error": "3^(-5/2)",
      "map_norm": 1,
      "trace_log3": -5,
      "hilbert_error_log3": -2.5
    },
    {
      "n": 6,
      "residual_trace": "1/729",
      "hilbert_error": "3^(-6/2)",
      "map_norm": 1,
      "trace_log3": -6,
      "hilbert_error_log3": -3.0
    },
    {
      "n": 7,
      "residual_trace": "1/2187",
      "hilbert_error": "3^(-7/2)",
      "map_norm": 1,
      "trace_log3": -7,
      "hilbert_error_log3": -3.5
    },
    {
      "n": 8,
      "residual_trace": "1/6561",
      "hilbert_error": "3^(-8/2)",
      "map_norm": 1,
      "trace_log3": -8,
      "hilbert_error_log3": -4.0
    }
  ]
}