{
  "R": "1",
  "r_z": "32",
  "kappa": "1/8",
  "C": "2",
  "L": "1/2048",
  "a_0": "1/128",
  "a": "-1/128",
  "t": "-1/1024",
  "x": "1/20",
  "b": "1/16",
  "alpha": "1/8192",
  "mu": "1599/1638400",
  "delta_t": "1/32",
  "dimension": 1,
  "section": "Im s=Im x=0; real sections of complex spatial discs",
  "left_vertical_rescaling": 1000000,
  "right_vertical_rescaling": 1000,
  "proof_locators": "PB.1-PB.3; PB.2-PB.9",
  "exact_inequalities_checked": true,
  "complex_disc_radial_margin_checked_samples": 257,
  "all_sample_checks_use_exact_rational_arithmetic": true
}