checks-evidence.json

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

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

{
  "table": "T208",
  "digits": 100,
  "entries": 21,
  "live": false,
  "records": [
    {
      "argument": "0",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": null
    },
    {
      "argument": "1",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1070
    },
    {
      "argument": "sqrt(3)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1068
    },
    {
      "argument": "sqrt(5)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1068
    },
    {
      "argument": "sqrt(7)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "3",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1070
    },
    {
      "argument": "sqrt(11)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(13)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1068
    },
    {
      "argument": "sqrt(15)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(17)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(19)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "sqrt(21)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(23)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "5",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1070
    },
    {
      "argument": "sqrt(27)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "sqrt(29)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(31)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "sqrt(33)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(35)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    },
    {
      "argument": "sqrt(37)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1067
    },
    {
      "argument": "sqrt(39)",
      "certified_interval_contained": true,
      "mpmath_decimal_precisions": [
        150,
        200
      ],
      "arb_accuracy_bits": 1066
    }
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  }
}