{
  "proofs": [
    "FB.8",
    "FB.24\u201330",
    "FB.44\u201350"
  ],
  "target_real_slice": {
    "equation": "t^2=x^3",
    "added_boundary": "x=0",
    "imaginary_coordinates": 0,
    "equal_axes": true,
    "x_bounds": [
      "-3/20",
      "28/25"
    ],
    "t_bounds": [
      "-28/25",
      "28/25"
    ]
  },
  "source_chart": {
    "x": "u^2",
    "t": "u^3*(1+v)",
    "jacobian": "2*u^4",
    "cusp_pullback": "u^6*v*(v+2)",
    "complete_cover_locator": "QG.F complementary charts"
  },
  "coherent_image": "im(H^0(g_+M0)->QT)",
  "source_module": "E_Sigma(*D0)",
  "target_localization": "S",
  "ramification_degree": 3,
  "top_form_unit": "3*w^2*f(w^3)*dw",
  "trace_exponent": "k=3*l+2",
  "unnormalized_unit_trace": 3,
  "normalized_unit_trace": 1,
  "map_panels_have_metric_scale": false
}