{
  "kind": "exact rational radius samples and signed cone/proper-image diagram",
  "proofs": [
    "GI.25--GI.28",
    "GI.31--GI.42"
  ],
  "target_radius": [
    1,
    3
  ],
  "N": 2,
  "radius_rows": [
    {
      "q": 2,
      "t_q_numerator": 2,
      "t_q_denominator": 3
    },
    {
      "q": 1,
      "t_q_numerator": 1,
      "t_q_denominator": 2
    },
    {
      "q": 0,
      "t_q_numerator": 5,
      "t_q_denominator": 12
    },
    {
      "q": -1,
      "t_q_numerator": 3,
      "t_q_denominator": 8
    },
    {
      "q": -2,
      "t_q_numerator": 17,
      "t_q_denominator": 48
    }
  ],
  "cone_differential": [
    "d_L a",
    "h a - d_E e"
  ],
  "new_differential_column": "a",
  "new_chain_map_column": "+e",
  "sample_radii_are_the_general_proof": false,
  "all_hypotheses_and_full_proofs_are_in_source": true,
  "diagram_is_a_metric_picture_of_a_fibre": false
}