{
  "proofs": [
    "TF.1\u2013TF.4",
    "TF.38\u2013TF.45"
  ],
  "finite_cover_degree": "n",
  "quotient": {
    "group": "(u,v)~(-u,-v)",
    "x": "u^2",
    "y": "v^2",
    "w": "uv",
    "equation": "w^2=xy",
    "basis_over_base": [
      "1",
      "w"
    ]
  },
  "lattice": {
    "basis": [
      [
        1,
        0
      ],
      [
        "1/2",
        "1/2"
      ]
    ],
    "primitive_rays": [
      [
        1,
        0
      ],
      [
        0,
        1
      ]
    ],
    "inserted_ray": [
      "1/2",
      "1/2"
    ],
    "old_multiplicity": 2,
    "new_multiplicities": [
      1,
      1
    ],
    "equal_axes": true,
    "covolume": "1/2"
  },
  "normalized_blowup_ideal": [
    "x",
    "y"
  ],
  "x_chart": {
    "coordinates": [
      "x",
      "s"
    ],
    "map": [
      "x",
      "x*s^2",
      "x*s"
    ],
    "boundary": "x^2*s^2",
    "jacobian": "2*x*s"
  },
  "y_chart": {
    "coordinates": [
      "y",
      "t"
    ],
    "map": [
      "y*t^2",
      "y",
      "y*t"
    ],
    "boundary": "y^2*t^2",
    "jacobian": "-2*y*t"
  },
  "overlap": {
    "t": "1/s",
    "y": "x*s^2",
    "domain": "s!=0"
  },
  "exceptional_fibre": "P^1= C_s union_(t=1/s) C_t",
  "real_slices": {
    "all_imaginary_coordinates": 0,
    "each_axis_bounds": [
      "-11/10",
      "11/10"
    ],
    "equal_axes": true
  }
}