{
  "upper_panel": {
    "coordinates": "t=-u+iw",
    "original_support": "0<=u, u^2+w^2<=1",
    "b": [
      "4/3",
      "12/5",
      "24/7"
    ],
    "excluded_complex_point": "t=6i/5",
    "central_contact": "|w|=b/sqrt(1+b^2)",
    "tangent_line": "u=sqrt(1+b^2)-b|w|",
    "carrier_endpoint": "|w|=sqrt(1+b^-2)"
  },
  "lower_panel": {
    "coordinates": [
      "Re(x-x0)",
      "Re(t)"
    ],
    "imaginary_coordinates": 0,
    "e": "1/8",
    "r": "1/4",
    "apertures": [
      3,
      4
    ],
    "boundary": "Re(t)=a(r-|x-x0|)-e",
    "complex_covector_order": [
      "tau",
      "xi"
    ],
    "labelled_normal": [
      1,
      3
    ]
  },
  "proof_locators": [
    "CS.6--CS.9",
    "CS.19--CS.26",
    "CS.35--CS.38"
  ],
  "source": "https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/HolIII.pdf"
}