{
  "proof_locators": [
    "PG.1",
    "PG.2",
    "PG.3",
    "PG.4",
    "PG.5",
    "PG.6"
  ],
  "complex_coordinates": [
    "t",
    "x",
    "z"
  ],
  "complex_support_equations": [
    "t=0",
    "x*z=0"
  ],
  "exceptional_set": [
    "t=0",
    "x=0",
    "z=0"
  ],
  "displayed_real_slice": "t=0; x,z real",
  "contact_form": "dt+z dx",
  "illustrative_base_dimension": 2,
  "normalized_ambient_dimension": 3,
  "support_complex_dimension": 1,
  "exceptional_codimension": 3,
  "shifted_lower_bound": 1,
  "general_bound": "p+q-n >= c-n; 0<=p<=n; q>=c",
  "real_module_injection_proved": false,
  "full_I23_I24_proved": false
}