{
  "table": "T191",
  "records": [
    {
      "params": {
        "x": "2"
      },
      "retained": true,
      "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": {
        "x": "10"
      },
      "retained": true,
      "written": "6.165599504787297937522981752669522749130602806376581578932338490205589934760180157228276724309143254",
      "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": {
        "x": "100"
      },
      "retained": true,
      "written": "30.12614158407962992590174133903218497959990703890315154216356044099095339144004461735322234139553627",
      "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": {
        "x": "1000"
      },
      "retained": true,
      "written": "177.6096579901522266876406239486993179785577025645480810681284511852751362573542630364773157199519343",
      "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": {
        "x": "10000"
      },
      "retained": true,
      "written": "1246.137215899388459692771107529059792486534653514072285774809081409016981733687861836397912132822135",
      "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": {
        "x": "100000"
      },
      "retained": true,
      "written": "9629.809001050798205034259560580094958897668987629031163363379794260332987106089243105737290935056553",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 905,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1000000"
      },
      "retained": true,
      "written": "78627.54915946218191986291074794726116132187438242176707475931789394167624357802172453432702851546268",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 905,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "10000000"
      },
      "retained": true,
      "written": "664918.4050485689123292128866011957931533265951242896704016376596538895257268980267843693643510260594",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "100000000"
      },
      "retained": true,
      "written": "5762209.375448031467569073609368981565599778125345746898577936231379153622019481878609558922124405586",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1000000000"
      },
      "retained": true,
      "written": "50849234.95700179800400878908022360785563359242887901959079424663250024819164245918838010382482384246",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "10000000000"
      },
      "retained": true,
      "written": "455055614.5866230756095294565839217624488629330581957006107933942661284107341951220768250897123004853",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "100000000000"
      },
      "retained": true,
      "written": "4118066400.621611515039435328363888982149828490104138254840340007343271232824015426400621634421194178",
      "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": {
        "x": "1000000000000"
      },
      "retained": true,
      "written": "37607950280.80486548953492709097818869279517315682222599982647854380532130506337047267215579865356049",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "10000000000000"
      },
      "retained": true,
      "written": "346065645810.0503352144904675396792666603457677866237607904466014788649036628244926752371229782648783",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 904,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "100000000000000"
      },
      "retained": true,
      "written": "3204942065691.953988072328915392097804375703608868849568620990123082154144406649958448052111992287977",
      "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": {
        "x": "1000000000000000"
      },
      "retained": true,
      "written": "29844571475287.58106490589058598594308149535013999906466925702605488461494751932061564151921187834778",
      "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": {
        "x": "10000000000000000"
      },
      "retained": true,
      "written": "279238344248556.7927813936332216188213887549024553079095023638798116214373662550455374357157306057292",
      "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": {
        "x": "100000000000000000"
      },
      "retained": true,
      "written": "2623557165610821.778069124873574285405756091484733160998097090634270440095820712006083867586053646908",
      "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": {
        "x": "1000000000000000000"
      },
      "retained": true,
      "written": "24739954309690415.02218938383725843483282112195906457058271503009713781540303193599378308818585604821",
      "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": {
        "x": "10000000000000000000"
      },
      "retained": true,
      "written": "234057667376222382.2232510309771484401121240823077407408753245166317451273058727287787502679313142346",
      "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": {
        "x": "100000000000000000000"
      },
      "retained": true,
      "written": "2220819602783663483.548305532067778823947751781788595977681676146360558159071139757660984123841602350",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 902,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1000000000000000000000"
      },
      "retained": true,
      "written": "21127269486616126182.33305833593592352819698972996559598656203540556796488788914583864214152788382314",
      "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": {
        "x": "10000000000000000000000"
      },
      "retained": true,
      "written": "201467286691248261498.1505286717817039976105789431935817938808923600260738959111839625517552880452760",
      "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": {
        "x": "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": {
        "x": "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": {
        "x": "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": {
        "x": "11"
      },
      "retained": false,
      "written": "6.591009215721214087782454444587523253210901960225267317131158051648235128544200027474424576960244917",
      "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": {
        "x": "13"
      },
      "retained": false,
      "written": "7.396547948188126599235034804933501798495305794791972618374405168216896334745751219251436437199606983",
      "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": {
        "x": "17"
      },
      "retained": false,
      "written": "8.876464600018383278257414602263823491591318320619044136398149327861307200465228798123964702539690378",
      "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": {
        "x": "19"
      },
      "retained": false,
      "written": "9.568625832887769196695123543746984835891510919840938530378155368833341761846179513199042868305026966",
      "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": {
        "x": "23"
      },
      "retained": false,
      "written": "10.88354705428284581621873343958236761167006069765757525357048878522907689079539630871534751961141106",
      "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": {
        "x": "e"
      },
      "retained": false,
      "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": {
        "x": "exp(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": {
        "x": "exp(3)"
      },
      "retained": false,
      "written": "9.933832570625416558008336019216765262990653022987582119693034065242496228332697443187187398902087851",
      "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": {
        "x": "exp(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": {
        "x": "exp(-1)"
      },
      "retained": false,
      "written": "-0.2193839343955202736771637754601216490310472934069082075779786130735686985591415447222102510351372500",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 905,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "exp(-2)"
      },
      "retained": false,
      "written": "-0.04890051070806111956723983522804952231449218496302311632732287371169292871415219127926896100745164177",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 902,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 37,
    "new": 14
  },
  "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": "4662bdca35fd07ea6d4aad67a83a39e0cf710e7b97bbe84ffcce17baffcdfbb7",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T191/coverage-checks.json",
    "sha256": "bcf02a2b8916f559817ad69a136722035b62fc5964a06ff7db46adf1af656d4d",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}