{
  "E": "1/64",
  "D": "2",
  "L": "4",
  "a": "3/32",
  "tail_proof": "IK.6-IK.7",
  "cone": "w real <= 0, |zeta| <= 2(-w)",
  "endpoint_time_span": 1,
  "cone_A": 2,
  "proper_endpoints": [
    [
      "0",
      "0"
    ],
    [
      "-1",
      "0"
    ]
  ],
  "proper_fiber": "t=-sigma, |x| <= min(2sigma,2(1-sigma)), 0<=sigma<=1",
  "proper_geometry": [
    {
      "sigma": "0",
      "spatial_radius": "0"
    },
    {
      "sigma": "1/40",
      "spatial_radius": "1/20"
    },
    {
      "sigma": "1/20",
      "spatial_radius": "1/10"
    },
    {
      "sigma": "3/40",
      "spatial_radius": "3/20"
    },
    {
      "sigma": "1/10",
      "spatial_radius": "1/5"
    },
    {
      "sigma": "1/8",
      "spatial_radius": "1/4"
    },
    {
      "sigma": "3/20",
      "spatial_radius": "3/10"
    },
    {
      "sigma": "7/40",
      "spatial_radius": "7/20"
    },
    {
      "sigma": "1/5",
      "spatial_radius": "2/5"
    },
    {
      "sigma": "9/40",
      "spatial_radius": "9/20"
    },
    {
      "sigma": "1/4",
      "spatial_radius": "1/2"
    },
    {
      "sigma": "11/40",
      "spatial_radius": "11/20"
    },
    {
      "sigma": "3/10",
      "spatial_radius": "3/5"
    },
    {
      "sigma": "13/40",
      "spatial_radius": "13/20"
    },
    {
      "sigma": "7/20",
      "spatial_radius": "7/10"
    },
    {
      "sigma": "3/8",
      "spatial_radius": "3/4"
    },
    {
      "sigma": "2/5",
      "spatial_radius": "4/5"
    },
    {
      "sigma": "17/40",
      "spatial_radius": "17/20"
    },
    {
      "sigma": "9/20",
      "spatial_radius": "9/10"
    },
    {
      "sigma": "19/40",
      "spatial_radius": "19/20"
    },
    {
      "sigma": "1/2",
      "spatial_radius": "1"
    },
    {
      "sigma": "21/40",
      "spatial_radius": "19/20"
    },
    {
      "sigma": "11/20",
      "spatial_radius": "9/10"
    },
    {
      "sigma": "23/40",
      "spatial_radius": "17/20"
    },
    {
      "sigma": "3/5",
      "spatial_radius": "4/5"
    },
    {
      "sigma": "5/8",
      "spatial_radius": "3/4"
    },
    {
      "sigma": "13/20",
      "spatial_radius": "7/10"
    },
    {
      "sigma": "27/40",
      "spatial_radius": "13/20"
    },
    {
      "sigma": "7/10",
      "spatial_radius": "3/5"
    },
    {
      "sigma": "29/40",
      "spatial_radius": "11/20"
    },
    {
      "sigma": "3/4",
      "spatial_radius": "1/2"
    },
    {
      "sigma": "31/40",
      "spatial_radius": "9/20"
    },
    {
      "sigma": "4/5",
      "spatial_radius": "2/5"
    },
    {
      "sigma": "33/40",
      "spatial_radius": "7/20"
    },
    {
      "sigma": "17/20",
      "spatial_radius": "3/10"
    },
    {
      "sigma": "7/8",
      "spatial_radius": "1/4"
    },
    {
      "sigma": "9/10",
      "spatial_radius": "1/5"
    },
    {
      "sigma": "37/40",
      "spatial_radius": "3/20"
    },
    {
      "sigma": "19/20",
      "spatial_radius": "1/10"
    },
    {
      "sigma": "39/40",
      "spatial_radius": "1/20"
    },
    {
      "sigma": "1",
      "spatial_radius": "0"
    }
  ],
  "tails": [
    {
      "R": 3,
      "positive_ell0_tail": "27/29696",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "864/707281"
    },
    {
      "R": 4,
      "positive_ell0_tail": "81/950272",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "9214965/23176183808"
    },
    {
      "R": 5,
      "positive_ell0_tail": "243/30408704",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "16429959/185409470464"
    },
    {
      "R": 6,
      "positive_ell0_tail": "729/973078528",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "192170961/11866206109696"
    },
    {
      "R": 7,
      "positive_ell0_tail": "2187/31138512896",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "496696131/189859297755136"
    },
    {
      "R": 8,
      "positive_ell0_tail": "6561/996432412672",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "9438280623/24301990112657408"
    },
    {
      "R": 9,
      "positive_ell0_tail": "19683/31885837205504",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "5269828005/97207960450629632"
    },
    {
      "R": 10,
      "positive_ell0_tail": "59049/1020346790576128",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "44919341937/6221309468840296448"
    },
    {
      "R": 11,
      "positive_ell0_tail": "177147/32651097298436096",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "92245934457/99540951501444743168"
    },
    {
      "R": 12,
      "positive_ell0_tail": "531441/1044835113549955072",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "2941662515337/25482483584369854251008"
    },
    {
      "R": 13,
      "positive_ell0_tail": "1594323/33434723633598562304",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "2860003417041/203859868674958834008064"
    },
    {
      "R": 14,
      "positive_ell0_tail": "4782969/1069911156275153993728",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "21788504386515/13047031595197365376516096"
    },
    {
      "R": 15,
      "positive_ell0_tail": "14348907/34237157000804927799296",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "40771888330941/208752505523157846024257536"
    },
    {
      "R": 16,
      "positive_ell0_tail": "43046721/1095589024025757689577472",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "601138978560963/26720320706964204291104964608"
    },
    {
      "R": 17,
      "positive_ell0_tail": "129140163/35058848768824246066479104",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "136663481475891/53440641413928408582209929216"
    },
    {
      "R": 18,
      "positive_ell0_tail": "387420489/1121883160602375874127331328",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "982700206178769/3420201050491418149261435469824"
    },
    {
      "R": 19,
      "positive_ell0_tail": "1162261467/35900261139276027972074602496",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "1748430603959445/54723216807862690388182967517184"
    },
    {
      "R": 20,
      "positive_ell0_tail": "3486784401/1148808356456832895106387279872",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "98634425617886877/28018287005625697478749679368798208"
    },
    {
      "R": 21,
      "positive_ell0_tail": "10460353203/36761867406618652643404392955904",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "86226542934845931/224146296045005579829997434950385664"
    },
    {
      "R": 22,
      "positive_ell0_tail": "31381059609/1176379757011796884588940574588928",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "598556713772395989/14345362946880357109119835836824682496"
    },
    {
      "R": 23,
      "positive_ell0_tail": "94143178827/37644152224377500306846098386845696",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "1031744940152781159/229525807150085713745917373389194919936"
    },
    {
      "R": 24,
      "positive_ell0_tail": "282429536481/1204612871180080009819075148379062272",
      "negative_ell_minus3_tail_divided_by_6E_minus3": "14140110112719333975/29379303315210971359477423793816949751808"
    }
  ],
  "scope": "Exact one-spatial-coordinate real slices; complex discs and other coordinates are retained in the proof; finite display windows do not truncate any theorem."
}