{
  "coordinate": "q=-p; time s unchanged",
  "translation": "theta_s f(q)=f(q+s)",
  "core_density": "exp(-Q)",
  "positive_coordinate": "exp(Q)",
  "phase_plot_s": "1/4",
  "phase_plot_segments": [
    [
      -0.75,
      -0.25,
      0
    ],
    [
      -0.25,
      0,
      -1
    ],
    [
      0,
      0.75,
      0
    ],
    [
      0.75,
      1,
      1
    ],
    [
      1,
      1.5,
      0
    ]
  ],
  "phase_values": "arguments divided by pi/3; exponentials are conjugate(zeta),1,zeta",
  "zeta": "exp(i*pi/3)",
  "proof_locators": [
    "TC6",
    "TC8",
    "TC34",
    "TC35",
    "TC36"
  ]
}