checks-evidence.json

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

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

{
  "table": "T422",
  "digits": 100,
  "records": [
    {
      "params": {
        "s": "1"
      },
      "written": "3.562144835980395970473008206214359098339290428606860410715331753025682153627176587415148432976836561",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 731,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "s": "2"
      },
      "written": "1.781072417990197985236504103107179549169645214303430205357665876512841076813588293707574216488418280",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 731,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "s": "3"
      },
      "written": "1.187381611993465323491002735404786366113096809535620136905110584341894051209058862471716144325612187",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 731,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "s": "5"
      },
      "written": "1.001740410233906606991474539965273713399186684278221039455252367542175224469344275472319557164798962",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "s": "7"
      },
      "written": "1.000004994522598344765396414866596003357933575845658272394226961334011903575671961139562583970127255",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "s": "9"
      },
      "written": "1.000000006400114006046968733723925275130075753569090788163467947102711857740561311833631549252893010",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    }
  ],
  "working_bits": 733,
  "delay_degree": 320,
  "second_delay_degree": 420,
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "retained_without_text_changes": [
    {
      "s": "1"
    },
    {
      "s": "2"
    },
    {
      "s": "3"
    },
    {
      "s": "5"
    },
    {
      "s": "7"
    },
    {
      "s": "9"
    }
  ],
  "added": [],
  "independent_sage_check": {
    "table": "T422",
    "method": "archived independent Sage generator",
    "requested_digits": 120,
    "records": [
      {
        "argument": "1",
        "value": "3.5621448359803959704730082062143590983392904286068604107153317530256821536271765874151484329768365606696444905"
      },
      {
        "argument": "2",
        "value": "1.7810724179901979852365041031071795491696452143034302053576658765128410768135882937075742164884182803348222452"
      },
      {
        "argument": "3",
        "value": "1.1873816119934653234910027354047863661130968095356201369051105843418940512090588624717161443256121868898814968"
      },
      {
        "argument": "5",
        "value": "1.0017404102339066069914745399652737133991866842782210394552523675421752244693442754723195571647989623529858971"
      },
      {
        "argument": "7",
        "value": "1.0000049945225983447653964148665960033579335758456582723942269613340119035756719611395625839701272549881212415"
      },
      {
        "argument": "9",
        "value": "1.0000000064001140060469687337239252751300757535690907881634679471027118577405613118336315492528930098506329896"
      }
    ]
  },
  "independent_sage_source_sha256": "b639c8dc125ee287de4af90ff556116f3c36f5a557bdfda97cfb33940e712a00"
}