checks-evidence.json

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

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

{
  "table": "T433",
  "digits": 100,
  "records": [
    {
      "params": {
        "u": "1"
      },
      "written": "1",
      "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": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 505,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "3"
      },
      "written": "0.04860838829113156690718303934340742135432958047814054231680528505148823573593247200409129337116770797",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 501,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "4"
      },
      "written": "0.004910925647760832352739150923615186032484297417692945977961657528030631494153505349840165957891479305",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 498,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "5"
      },
      "written": "0.0003547247004560397298338945107706235609516436105726162701669036821477003206922126803906929382184528416",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 493,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "6"
      },
      "written": "0.00001964969635395528965175498612920452289459671980962327267045628854204220362614428655654864830520116536",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 489,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "7"
      },
      "written": "8.745669953293916695580283572769972173380471976458048319843283490701751507455205957369890872419066466e-7",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 484,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "8"
      },
      "written": "3.232069304226103772599785361728216157619475162802409072273440324202075270546185324928313771781708734e-8",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 480,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "9"
      },
      "written": "1.016248282737836546534853935695695783824439958658074404463809039602732886867963160647959275185158800e-9",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 475,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "10"
      },
      "written": "2.770171837725958988758121200634342326343006650115606506625469924608958391571159227442464413125831985e-11",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 468,
      "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": [
    {
      "u": "1"
    },
    {
      "u": "2"
    },
    {
      "u": "3"
    },
    {
      "u": "4"
    },
    {
      "u": "5"
    },
    {
      "u": "6"
    },
    {
      "u": "7"
    },
    {
      "u": "8"
    },
    {
      "u": "9"
    },
    {
      "u": "10"
    }
  ],
  "added": [],
  "independent_sage_check": {
    "table": "T433",
    "method": "archived independent Sage generator",
    "requested_digits": 120,
    "records": [
      {
        "argument": "1",
        "value": "1"
      },
      {
        "argument": "2",
        "value": "0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851898"
      },
      {
        "argument": "3",
        "value": "0.048608388291131566907183039343407421354329580478140542316805285051488235735932472004091293371167707968044942094"
      },
      {
        "argument": "4",
        "value": "0.0049109256477608323527391509236151860324842974176929459779616575280306314941535053498401659578914793049035455929"
      },
      {
        "argument": "5",
        "value": "0.00035472470045603972983389451077062356095164361057261627016690368214770032069221268039069293821845284162224372277"
      },
      {
        "argument": "6",
        "value": "0.000019649696353955289651754986129204522894596719809623272670456288542042203626144286556548648305201165361041086019"
      },
      {
        "argument": "7",
        "value": "8.7456699532939166955802835727699721733804719764580483198432834907017515074552059573698908724190664664083669402e-7"
      },
      {
        "argument": "8",
        "value": "3.2320693042261037725997853617282161576194751628024090722734403242020752705461853249283137717817087340532259817e-8"
      },
      {
        "argument": "9",
        "value": "1.0162482827378365465348539356956957838244399586580744044638090396027328868679631606479592751851587999699587844e-9"
      },
      {
        "argument": "10",
        "value": "2.7701718377259589887581212006343423263430066501156065066254699246089583915711592274424644131258319851656489160e-11"
      }
    ]
  },
  "independent_sage_source_sha256": "102df2e6768967684764791499a05a4b839a23b1f898e55a7d4a90015e2bbeb9"
}