{
  "schema": "AN02-original-support-geometry222/v1",
  "translation": {
    "a": "3/4",
    "X2": [
      [
        -3,
        -2
      ],
      [
        1,
        2
      ]
    ],
    "X1": [
      [
        -3.75,
        -2.75
      ],
      [
        0.25,
        1.25
      ]
    ],
    "K": [
      1.25,
      1.75
    ],
    "K_minus_a": [
      0.5,
      1
    ],
    "domain_endpoints_open": true,
    "compact_endpoints_closed": true,
    "vertical_rows_are_labels_not_a_second_spatial_coordinate": true,
    "proof_locator": "LearnerExample1,equationsL8,L9"
  },
  "escape": {
    "X1": [
      -2,
      2
    ],
    "X2": [
      -1,
      1
    ],
    "K1": [
      -1.25,
      1.25
    ],
    "rows": [
      {
        "j": 16,
        "support": [
          0.921875,
          0.953125
        ],
        "exact_left": "59/64",
        "exact_right": "61/64"
      },
      {
        "j": 8,
        "support": [
          0.84375,
          0.90625
        ],
        "exact_left": "27/32",
        "exact_right": "29/32"
      },
      {
        "j": 4,
        "support": [
          0.6875,
          0.8125
        ],
        "exact_left": "11/16",
        "exact_right": "13/16"
      },
      {
        "j": 2,
        "support": [
          0.375,
          0.625
        ],
        "exact_left": "3/8",
        "exact_right": "5/8"
      }
    ],
    "kernel": "delta0,so transpose support equals original support",
    "limit_endpoint": 1,
    "endpoint_excluded_from_X2": true,
    "proof_locator": "LearnerExample4,equationsL17\u2013L19;FormalTheorem5.1"
  }
}