{
  "status": "passed",
  "event_points": 38372,
  "intervals": 38371,
  "arithmetic_body_upper": "73794151590486879261/9223372036854775808",
  "arithmetic_tail_upper": "34253/319200",
  "arithmetic_total_upper": "745969417189431202995707/92003136067626388684800",
  "arithmetic_total_decimal": 8.10808684435616,
  "arithmetic_simplified_upper": "41/5",
  "rounding_bits": 64,
  "midpoint_trace_sha256": "89597b896a7893528a630e8577e95aed18418b31deb7602d56cca598246ebca6",
  "phase": {
    "V": "-1883/100",
    "curvature_upper_bounds": [
      "-16499366027610005633879984049269196409003812196888430638143071691162762704263/159508283977706745045159465693080493778654112938426649502329238272649578550",
      "-4368088576745296533041551276684341009617808962293635255857428870607048014059861767228283346115/99040154418895923352881464704884411532424431367591754151272378188300492684571357815488733232",
      "-37238904607040953633769516101983275637559072373331122221510221486141371102615822847388884226959255/2577017621617222553965638127293849954061453684719207777996753366818011374826315603261157754793768"
    ],
    "x0": "7573/10000",
    "phase_at_x0": [
      "-1883511260769825761233/100000000000000000000",
      "-117719453798114110077/6250000000000000000"
    ],
    "slope_at_x0": [
      "1378181608430383329/100000000000000000000",
      "137818160843038333/10000000000000000000"
    ],
    "tangent_upper": "-9416573/500000",
    "g_at_seventeen_twentieths": [
      "34919613124116482677/20000000000000000000",
      "87299032810291206693/50000000000000000000"
    ],
    "tail_slope_upper": "-383/64",
    "cleared_exponent": [
      "-186233833280656287/800000000000000000",
      "-11639614580041017937/50000000000000000000"
    ],
    "cleared_exponent_strict_upper": "-23/100"
  },
  "seconds": 1.7147653699794319,
  "script_sha256": "1f06b260b2cb06126941bf28233b05a76411f0aaa33f049a696844381507e486"
}