checks-evidence.json

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

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

{
  "table": "T188",
  "digits": 100,
  "records": [
    {
      "params": {
        "normalisation": "Ei",
        "x": "1"
      },
      "written": "1.895117816355936755466520934331634269017060581732707591646228431882513834533804153548900710126138957",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 729,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "normalisation": "E1",
        "x": "1"
      },
      "written": "0.2193839343955202736771637754601216490310472934069082075779786130735686985591415447222102510351372500",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 727,
      "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": [
    {
      "normalisation": "Ei",
      "x": "1"
    },
    {
      "normalisation": "E1",
      "x": "1"
    }
  ],
  "added": []
}