{
  "table": "T188",
  "records": [
    {
      "params": {
        "normalisation": "Ei",
        "x": "1"
      },
      "retained": true,
      "written": "1.895117816355936755466520934331634269017060581732707591646228431882513834533804153548900710126138957",
      "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": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "1/3"
      },
      "retained": false,
      "written": "-0.1580921089711557103135773062301122859227892527545194175342259120266969176086114508383033262467941875",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "1/2"
      },
      "retained": false,
      "written": "0.4542199048631735799205238126628023652814055543526420451628177866881528969266622561361796585714373140",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "2"
      },
      "retained": false,
      "written": "4.954234356001890163379505130227035275518053562420042054527095254570707913298407190883096971852850163",
      "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": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "3"
      },
      "retained": false,
      "written": "9.933832570625416558008336019216765262990653022987582119693034065242496228332697443187187398902087851",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "4"
      },
      "retained": false,
      "written": "19.63087447005622002264572027972383885313207975115315216815404620859056206761114761767084729515828299",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "5"
      },
      "retained": false,
      "written": "40.18527535580317745509142179379586709541908739919593043418287525164264481392822057865779970191749916",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "6"
      },
      "retained": false,
      "written": "85.98976214243920480358340030799069003929678516476342843823240236713215826636768251657012220573383910",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "8"
      },
      "retained": false,
      "written": "440.3798995348382689974245966593933924469328441823334772514628449299946652759842114114326427664576163",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "log(2)"
      },
      "retained": false,
      "written": "1.045163780117492784844588889194613136522615578151201575832909144075013205210359530172717405626383356",
      "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": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "log(3)"
      },
      "retained": false,
      "written": "2.163588594667191972876922367347721366542116212453868873985823001863092853305919390199866424856772226",
      "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": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "log(5)"
      },
      "retained": false,
      "written": "3.634588310032651864392342706860811271370411550229815556665838870218151370805808813685376286938805576",
      "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": false
    },
    {
      "params": {
        "normalisation": "Ei",
        "x": "log(7)"
      },
      "retained": false,
      "written": "4.757051765997606069292390575450131824861568757165315950696408010698927727109200529964652542349845415",
      "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": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "1"
      },
      "retained": true,
      "written": "0.2193839343955202736771637754601216490310472934069082075779786130735686985591415447222102510351372500",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "1/3"
      },
      "retained": false,
      "written": "0.8288877453485866361202069811634756826450010649093967332272735913382854921305272444761315598181019478",
      "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": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "1/2"
      },
      "retained": false,
      "written": "0.5597735947761608117467959393150852352268468903163535152482932191073398988302742688603417524733251125",
      "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": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "2"
      },
      "retained": false,
      "written": "0.04890051070806111956723983522804952231449218496302311632732287371169292871415219127926896100745164177",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 903,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "3"
      },
      "retained": false,
      "written": "0.01304838109419703741250074582864502294847763408022360117699903114085916543429526306181307900231552789",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 900,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "4"
      },
      "retained": false,
      "written": "0.003779352409848906478874860132466414851716547042489580360734020313584606172362404699077971896569385492",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 897,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "5"
      },
      "retained": false,
      "written": "0.001148295591275325797330561969819722076266095470697866764845494043583439236859430913119905624993329877",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 896,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "6"
      },
      "retained": false,
      "written": "0.0003600824521626586592953941157717971888273892837201121793388199201625965852366091758674599327787750408",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 894,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "8"
      },
      "retained": false,
      "written": "0.00003766562284392490177255799595075272089048784609372541214111741941813534667453112306971822882358190202",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 891,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 22,
    "new": 20
  },
  "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": "d776864a38997013d272882a8ca14c5c962169b593fbe5d8a9bba3cfe73bc7f2",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T188/coverage-checks.json",
    "sha256": "8be116f2ae385047130b691137de5725ba498746b9f6f5e281c839e0861477a9",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}