{
  "table": "T205",
  "records": [
    {
      "params": {
        "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": {
        "x": "1"
      },
      "retained": true,
      "written": "1.650425758797542876025337729561362443895679874874022877600257996316111304925645922533850168585456181",
      "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": false
    },
    {
      "params": {
        "x": "1/2"
      },
      "retained": false,
      "written": "0.6149520946965109808396811856236413930513456178954035723266386934995887895613341957110356633853898032",
      "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": false
    },
    {
      "params": {
        "x": "3/2"
      },
      "retained": false,
      "written": "4.584733257284426942221381032382701256662242548351999108876627023744176949019770931419772312767308061",
      "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": false
    },
    {
      "params": {
        "x": "2"
      },
      "retained": false,
      "written": "18.56480241457555259870429191324101719885800172608340681930081872293634170145762056806755792436841688",
      "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": false
    },
    {
      "params": {
        "x": "3"
      },
      "retained": false,
      "written": "1629.994622601565651061647952076274162778889910915259988647982150695656826775680269243153186081103257",
      "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": false
    },
    {
      "params": {
        "x": "sqrt(2)"
      },
      "retained": false,
      "written": "3.773122511599019383714739856974185368401989476096815855484903758532093273058506089477707365972639744",
      "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": "sqrt(3)"
      },
      "retained": false,
      "written": "8.251933542047841531422255028161484091020586274988208563272016193135659115516024901477803288079715145",
      "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": "sqrt(5)"
      },
      "retained": false,
      "written": "43.32762975244077541892526123203404372322315566654617955493739021107008035947417103155677002964261997",
      "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": "sqrt(6)"
      },
      "retained": false,
      "written": "104.2841083991565402061811020840201178586816507106366502774326662426268864283470175806033781995258789",
      "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": "sqrt(7)"
      },
      "retained": false,
      "written": "256.8335991871665741083832188157421225180397216315036045622962685903948554503119580813302083755013631",
      "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": "sqrt(8)"
      },
      "retained": false,
      "written": "643.1268695316344571381516049905378336909745563945409797530382705269721809739316011040909544356350207",
      "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
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 12,
    "new": 10
  },
  "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": "f4d1159244eb6b71c1c61d71a21a8705e38cb47bf3f7518712ec5e03cfd1dc27",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T205/coverage-checks.json",
    "sha256": "83368852970d6aa2624a24a2c59e4bb91ea48fb6b09e06edd8256e81e9be4749",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}