{
  "status": "complete",
  "root_count": 2,
  "counts": {
    "split": 93,
    "excluded": 90,
    "covered": 4,
    "unresolved": 0,
    "max_depth": 24
  },
  "root_certificates": [
    {
      "K": [
        [
          "-48266878747956231859548503814469937449343315880770476022928838708491918516667506373537331076596481798920725308180642986810583726786094505135321/49135571016246480995785463521482881018124845228420103668487722938812180429410915189053191608084652554934953019318901540340378555127254312500000",
          "-801455798633403103829049502276263002647726965570215047257628699104155262360081573658586046001118478834617226280536021264752822785967897631/815884746576591941425834312362299509590560271316232811098077734316569211657778390088597552354990031518576308833525986641509034029812500000"
        ],
        [
          "4545128759223395176812414789925479446778053154465594817263613082809350700224565824039780252318848073899816788784317414245991819456129141297111137833864811/24276919407411955470095595732277536442345838745599252080678132329794991317512741665931691830715437458291271800554129777191673455347397754058215039000000000",
          "15094297304698769357984308345606621076034984533403174423417852841816091907519372115592075839399836579748138336746749177173442513630313080837068059251/80622521846047086962803051061743310637366248532245170911585510609881581268927181821184151566043862868762787794656836054414209663141359299297400000000"
        ]
      ],
      "K_display": [
        [
          -0.982320501210762,
          -0.9823149678876435
        ],
        [
          0.18722016096637564,
          0.1872218452000561
        ]
      ],
      "q": "34618366402330509644071025970007226505965877812277497366613039653561/12512685654333648415112045121972309428680546174537799913640747564812500",
      "q_display": 0.002766661559210574
    },
    {
      "K": [
        [
          "7175065209181224760541137704218435331795704200036989482658107347251895955261957/13563441933433930137600000000000000000000000000000000000000000000000000000000000",
          "28346507502263753218476887665153587631877261935587243516626786617231040779/53584391514931200000000000000000000000000000000000000000000000000000000000"
        ],
        [
          "150921192849932772756730183084666421316408532333312641881919095866819814851/177843714048000000000000000000000000000000000000000000000000000000000000000",
          "2067907851563132929440721790182463274317869849517928833259079084517358283983913/2436781635864576000000000000000000000000000000000000000000000000000000000000000"
        ]
      ],
      "K_display": [
        [
          0.5290003263474491,
          0.5290068003173097
        ],
        [
          0.8486169649448456,
          0.8486225524386941
        ]
      ],
      "q": "2254874281835688438465795921581733584688700759655731717/696597089694105600000000000000000000000000000000000000000",
      "q_display": 0.0032369849303072224
    }
  ],
  "assertions": 46491,
  "arithmetic": "Python standard-library Fraction; exp Taylor degree 18 with rational tail",
  "oettli_prager_grid_members": 809,
  "scalar_interval_newton": [
    [
      "11/8",
      "23/16"
    ],
    [
      "181/128",
      "3983/2816"
    ],
    [
      "126864143/89706496",
      "126896003/89729024"
    ],
    [
      "2042623766955706775161907/1444353117027190394945536",
      "2042623776564489345678527/1444353123821625708314624"
    ]
  ],
  "kantorovich_majorants": [
    {
      "t": "1/12",
      "x": "17/12"
    },
    {
      "t": "35/408",
      "x": "577/408"
    },
    {
      "t": "40391/470832",
      "x": "665857/470832"
    },
    {
      "t": "53789260175/627013566048",
      "x": "886731088897/627013566048"
    },
    {
      "t": "95393218491883573553951/1111984844349868137938112",
      "x": "1572584048032918633353217/1111984844349868137938112"
    }
  ],
  "rejected_mutations": 8,
  "limited_run": {
    "split": 5,
    "excluded": 0,
    "covered": 0,
    "unresolved": 6,
    "max_depth": 5
  }
}