{
  "schema": "AN02-hyperbolic-first-support-exact-geometry/v1",
  "coordinates": [
    "z",
    "t"
  ],
  "normal": [
    "0",
    "1"
  ],
  "cone": "t >= abs(z)",
  "y": [
    "0",
    "2"
  ],
  "hypothetical_first_point": [
    "1/2",
    "1/2"
  ],
  "compact_slice_vertices": [
    [
      "-2",
      "0"
    ],
    [
      "2",
      "0"
    ],
    [
      "0",
      "2"
    ]
  ],
  "local_backward_slice_vertices": [
    [
      "0",
      "0"
    ],
    [
      "1",
      "0"
    ],
    [
      "1/2",
      "1/2"
    ]
  ],
  "cutoff_inner_radius": "1/10",
  "cutoff_outer_radius": "1/5",
  "local_neighborhood_radius": "1/4",
  "first_time": "1/2",
  "strict_past_annulus_angles_degrees": [
    "225",
    "315"
  ],
  "proof_locators": [
    "HS5",
    "HS7",
    "HS8",
    "HS9",
    "HS10",
    "HS11"
  ],
  "set_plot_only": true,
  "actual_solution_values_or_occupied_support_claimed": false,
  "human_comparison": "H\u00f6rmander II, printed p.210 / PDF p.216"
}