{
  "schema": "AN02-original-figure-coordinates219/v1",
  "resonant_average": {
    "X": [
      -3,
      3
    ],
    "X_mu": [
      -2,
      2
    ],
    "kernel": "uniform probability on [-1,1]",
    "u": "pi*x*sin(pi*x)",
    "f": "cos(pi*x)",
    "proof_locator": "Learner Example2,equationsL9\u2013L11",
    "analytic_identity_not_inferred_from_samples": true
  },
  "convex_exhaustion": {
    "X": [
      -4,
      4
    ],
    "support_mu": [
      0,
      2
    ],
    "rows": [
      {
        "j": 1,
        "gap": "1/2",
        "Y_j": [
          -3.5,
          3.5
        ],
        "Z_j": [
          -1.5,
          3.5
        ],
        "closure_margin_into_next": 0.16666666666666669,
        "open_endpoints": true
      },
      {
        "j": 2,
        "gap": "1/3",
        "Y_j": [
          -3.6666666666666665,
          3.6666666666666665
        ],
        "Z_j": [
          -1.6666666666666667,
          3.6666666666666665
        ],
        "closure_margin_into_next": 0.08333333333333331,
        "open_endpoints": true
      },
      {
        "j": 3,
        "gap": "1/4",
        "Y_j": [
          -3.75,
          3.75
        ],
        "Z_j": [
          -1.75,
          3.75
        ],
        "closure_margin_into_next": 0.04999999999999999,
        "open_endpoints": true
      },
      {
        "j": 4,
        "gap": "1/5",
        "Y_j": [
          -3.8,
          3.8
        ],
        "Z_j": [
          -1.8,
          3.8
        ],
        "closure_margin_into_next": 0.033333333333333354,
        "open_endpoints": true
      }
    ],
    "union_Y_j": [
      -4,
      4
    ],
    "union_Z_j": [
      -2,
      4
    ],
    "endpoints_open": true,
    "proof_locator": "FormalSection5,equations5.1\u20135.6;LearnerSection4"
  }
}