{
  "table": "T200",
  "records": [
    {
      "params": {
        "branch": "0",
        "x": "0"
      },
      "retained": true,
      "written": "0",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": null,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "branch": "0",
        "x": "1"
      },
      "retained": true,
      "written": "0.5671432904097838729999686622103555497538157871865125081351310792230457930866845666932194469617522946",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "e"
      },
      "retained": true,
      "written": "1",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": null,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/e"
      },
      "retained": true,
      "written": "-1",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": null,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "branch": "0",
        "x": "-3*exp(-3)"
      },
      "retained": true,
      "written": "-0.1785606278779211065968086697055148046541182559268859077201423060587856954944826087543134346521603556",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-5*exp(-5)"
      },
      "retained": true,
      "written": "-0.03488576825572369630124086867710605594441501320274902718555385521953601204254702776172954933999039170",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "1/2"
      },
      "retained": false,
      "written": "0.3517337112491958260249093009299510651714642155171118040466438461099606107203387108968323038321915693",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "2"
      },
      "retained": false,
      "written": "0.8526055020137254913464724146953174668984533001514035087721073946525150656742630448965773783502494847",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "3"
      },
      "retained": false,
      "written": "1.049908894964039959988697070552897904589466943706341452932871583316649050444442957885678666822434674",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "4"
      },
      "retained": false,
      "written": "1.202167873197042939212074165495153447501512521829625981739203590700634132981772677227826104976568377",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "5"
      },
      "retained": false,
      "written": "1.326724665242200223635099297758079660128793554638047479789290393025342679920536226774469916608426789",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "6"
      },
      "retained": false,
      "written": "1.432404775898300311234078007212058694786434608804302025655948496343399593259831116857638422299445651",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "7"
      },
      "retained": false,
      "written": "1.524345204984144369122476060675779385408719418799609942927160045982360820247712017874947206364556560",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "8"
      },
      "retained": false,
      "written": "1.605811996320177596033746190198001992299603560529966120743330224549154103132734177725394347125840549",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/3"
      },
      "retained": false,
      "written": "-0.6190612867359451121523269940209222333014717772629693524598360744929373522550887346110469261882588407",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/4"
      },
      "retained": false,
      "written": "-0.3574029561813889030688111040559047533165905550760120436276204485896714025961457962896168513444411851",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/5"
      },
      "retained": false,
      "written": "-0.2591711018190737450566519502154067057135883397008937032218391275127128217957580326598838960236799743",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/6"
      },
      "retained": false,
      "written": "-0.2044814493399155336177577545103568904881569994079249050071973880762179473713908151298328671141408253",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/7"
      },
      "retained": false,
      "written": "-0.1691926038562251029660671049831814435964394192529518648529863026037438278908130553175907447244744749",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-1/8"
      },
      "retained": false,
      "written": "-0.1444213531375097291689673973929506964945240188378136452921781603535255447194649839438887511551181045",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-2*exp(-2)"
      },
      "retained": false,
      "written": "-0.4063757399599599076769581241248397582109975751811406350004954883039150151838120497672500723381559286",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-4*exp(-4)"
      },
      "retained": false,
      "written": "-0.07930960512711365643910864738646377947437262879201546959882499420949435163329424256634339810516341095",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-6*exp(-6)"
      },
      "retained": false,
      "written": "-0.01509877359740557476360693508389744385615494896221645326746163303613865451910837099612016904594982078",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-7*exp(-7)"
      },
      "retained": false,
      "written": "-0.006424313271845135863437353893289741731049823619995592650398476692350343175210188083335263051309738152",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-8*exp(-8)"
      },
      "retained": false,
      "written": "-0.002690932406490997127050829632963503405486452465341603069568204727042846197026901930002599529544357542",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-9*exp(-9)"
      },
      "retained": false,
      "written": "-0.001111923924471259608643527479682127563067093251106781615489422495008894491118989126159111410781614648",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-10*exp(-10)"
      },
      "retained": false,
      "written": "-0.0004542055534648269009335640043022358905214241658879230694768319567056556983048244878515492922120518054",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-11*exp(-11)"
      },
      "retained": false,
      "written": "-0.0001837524705611312071657186192425549984709494333021315594573699900529337164424119516528906514331608313",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-12*exp(-12)"
      },
      "retained": false,
      "written": "-0.00007373598503498141382737575627422032375420765934024858345170549963681131322747126380326314905200011589",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-7/2*exp(-7/2)"
      },
      "retained": false,
      "written": "-0.1190533345266324634703480294809152116003548988177328758963847209861624105568718469364355340087055385",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "0",
        "x": "-9/2*exp(-9/2)"
      },
      "retained": false,
      "written": "-0.05269539502410005022807518817354492840423662987864424611039652671621441575103413231924204044292165681",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/e"
      },
      "retained": true,
      "written": "-1",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": null,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/2)/2"
      },
      "retained": true,
      "written": "-1.756431208626169676982737616609216326916416831701323711125894727048300478541051903533664750947250849",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/3"
      },
      "retained": false,
      "written": "-1.512134551657842473896739678072038704603650385135359454259285473998977160511574827324265488152779835",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/4"
      },
      "retained": false,
      "written": "-2.153292364110349649169099150092981375536206485319477695884511507721362584650649378945727909538027439",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/5"
      },
      "retained": false,
      "written": "-2.542641357773526424293806156661848290161474907529431767116934699793352535483158781587362627961593449",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/6"
      },
      "retained": false,
      "written": "-2.833147892049342142611674642343132564014684277147565123233727179328355819234045938602374889059888660",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/7"
      },
      "retained": false,
      "written": "-3.066421345069269412410724506976364909123882310233083793276489033138648112911014247276124956339615294",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-1/8"
      },
      "retained": false,
      "written": "-3.261685684576488776905662364308739731721145393347809522040218079880635146768556728409460458942611242",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/3)/3"
      },
      "retained": false,
      "written": "-2.237147027773716818043473694161468460613698137895320779212723151615279208778585076269230554542403598",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/4)/4"
      },
      "retained": false,
      "written": "-2.586662982263053881182850266714011154679504739557109039685225120116767568104385781543593285556392922",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/5)/5"
      },
      "retained": false,
      "written": "-2.860399058463684990432673112693838761316192793557399779133621108141380344526679670369701126317582048",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/6)/6"
      },
      "retained": false,
      "written": "-3.084967142449719257970888386464166126636728540528251276611161874911544556431050402081615770545932062",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/7)/7"
      },
      "retained": false,
      "written": "-3.275122593397562963976279603726446189620357947110791848662996770640576271501084726443634642452761881",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/8)/8"
      },
      "retained": false,
      "written": "-3.439877361786054930901651570191749329550314788552505601434533572470055998782613615635980490671720637",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/9)/9"
      },
      "retained": false,
      "written": "-3.585130588077465616563182098514399770335244538133531270488022218468028335312049789365507729917542753",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/10)/10"
      },
      "retained": false,
      "written": "-3.714950427087530629681888723572661435176889879499709780542263575885132076037722882450886931283670500",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/11)/11"
      },
      "retained": false,
      "written": "-3.832258743265606790043834591534744870950376447346138788282036513799100792760871363195435273993105873",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "branch": "-1",
        "x": "-exp(-1/12)/12"
      },
      "retained": false,
      "written": "-3.939223641782293046285700070987597722905930280183991576987839220379300398980977307059847013533139044",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 910,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 49,
    "new": 41
  },
  "controls": [
    "integral exp(t), 0..1 = e-1, nonzero",
    "W_0(e)=1",
    "rho(2)=1-log(2)"
  ],
  "working_bits": 733,
  "second_working_bits": 912,
  "delay_degrees": [
    320,
    420
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "limitations": [],
  "baseline_revision": "eb4365b54aeeb95f88424a61a52fc9e3fd255a48b9cc97895420028d51ae3fd5",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T200/coverage-checks.json",
    "sha256": "8c219b5d971bccb4528156097d664bdf8999514a6c175a090b652ecc7c213e0a",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}