checks-evidence.json

back to table · edit · history · where entries came from · files · download

5221 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.

{
  "table": "T423",
  "digits": 100,
  "records": [
    {
      "params": {
        "u": "1"
      },
      "written": "0",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": null,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "2"
      },
      "written": "1.256431208626169676982737616609216326916416831701323711125894727048300478541051903533664750947250849",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 417,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "3"
      },
      "written": "1.903813694440383484710140360828135127280364804561987445879389818281945875445251742935897221209070264",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 417,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "4"
      },
      "written": "2.336662982263053881182850266714011154679504739557109039685225120116767568104385781543593285556392922",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "5"
      },
      "written": "2.660399058463684990432673112693838761316192793557399779133621108141380344526679670369701126317582048",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "6"
      },
      "written": "2.918300475783052591304221719797499459970061873861584609944495208244877889764383735414949103879265396",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "7"
      },
      "written": "3.132265450540420106833422460869303332477500804253648991520139627783433414358227583586491785309904738",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "8"
      },
      "written": "3.314877361786054930901651570191749329550314788552505601434533572470055998782613615635980490671720637",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "9"
      },
      "written": "3.474019476966354505452070987403288659224133427022420159376911107356917224200938678254396618806431641",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "10"
      },
      "written": "3.614950427087530629681888723572661435176889879499709780542263575885132076037722882450886931283670500",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "11"
      },
      "written": "3.741349652356515880952925500625653961859467356437047879191127422890009883669962272286344364902196782",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "12"
      },
      "written": "3.855890308448959712952366737654264389572596946850658243654505887045967065647643973726513680199805710",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 418,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    }
  ],
  "working_bits": 733,
  "delay_degree": 320,
  "second_delay_degree": 420,
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "retained_without_text_changes": [
    {
      "u": "1"
    },
    {
      "u": "2"
    },
    {
      "u": "3"
    },
    {
      "u": "4"
    },
    {
      "u": "5"
    },
    {
      "u": "6"
    },
    {
      "u": "7"
    },
    {
      "u": "8"
    },
    {
      "u": "9"
    },
    {
      "u": "10"
    },
    {
      "u": "11"
    },
    {
      "u": "12"
    }
  ],
  "added": []
}