{
  "schema": "AN02-original-support-distance-geometry225/v1",
  "asymmetric_interval": {
    "kernel_support": [
      "-1/2",
      "5/4"
    ],
    "kernel_coefficients": [
      1,
      -2
    ],
    "X1": [
      -3,
      4
    ],
    "Y": [
      -1.75,
      3.5
    ],
    "T": [
      -0.5,
      0.75
    ],
    "W": [
      [
        -1.75,
        -0.5
      ],
      [
        0,
        1.25
      ]
    ],
    "K1": [
      -2,
      1.5
    ],
    "K2": [
      -0.75,
      1
    ],
    "exact_margin": "5/4",
    "domain_endpoints_open": true,
    "compact_endpoints_closed": true,
    "vertical_rows_are_labels": true,
    "proof_locator": "LearnerExample1,equationsL7\u2013L11"
  },
  "cancellation": {
    "mu_atoms": [
      [
        0,
        1
      ],
      [
        1,
        -1
      ]
    ],
    "v_atoms": [
      [
        0,
        1
      ],
      [
        1,
        1
      ]
    ],
    "transpose_image_atoms": [
      [
        -1,
        -1
      ],
      [
        1,
        1
      ]
    ],
    "cancelled_zero_coefficient": true,
    "X1": [
      -2,
      3
    ],
    "Y": [
      -1,
      3
    ],
    "epsilon": "1/8",
    "T_epsilon": [
      [
        -0.125,
        0.125
      ],
      [
        0.875,
        1.125
      ]
    ],
    "W_epsilon": [
      [
        -1.125,
        -0.875
      ],
      [
        0.875,
        1.125
      ]
    ],
    "exact_margin": "7/8",
    "dashed_joins_are_hulls_not_supports": true,
    "proof_locator": "LearnerExample2,equationsL12,L13"
  }
}