checks-evidence.json

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

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

{
  "table": "T434",
  "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": "1/2",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": null,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "3"
      },
      "written": "0.5643823935199817698057440404860588560251667114534184180402266698311312073232315718686211089988062292",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "u": "4"
      },
      "written": "0.5614582414068377374244183782971147076623276740309098614465484880816192055432876014378307007496579714",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "5"
      },
      "written": "0.5614544682684567287363246889425285326620983483162800302968678707644020228811670126648449201606215930",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "6"
      },
      "written": "0.5614596848016890453857407290415545292990093348345936324170409534788144194274186385747928001461618182",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "7"
      },
      "written": "0.5614594806894847631436195446529916782578631714436753446494409067676190754966361811635894294979436975",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 507,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": []
    },
    {
      "params": {
        "u": "8"
      },
      "written": "0.5614594835344085231709984685685153333556755808799845705042446865033247303354093400695417269392091758",
      "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": [
    {
      "u": "1"
    },
    {
      "u": "2"
    },
    {
      "u": "3"
    },
    {
      "u": "4"
    },
    {
      "u": "5"
    },
    {
      "u": "6"
    },
    {
      "u": "7"
    },
    {
      "u": "8"
    }
  ],
  "added": [],
  "independent_sage_check": {
    "table": "T434",
    "method": "archived independent Sage generator",
    "requested_digits": 120,
    "records": [
      {
        "argument": "1",
        "value": "1"
      },
      {
        "argument": "2",
        "value": "1/2"
      },
      {
        "argument": "3",
        "value": "0.56438239351998176980574404048605885602516671145341841804022666983113120732323157186862110899880622918066716034"
      },
      {
        "argument": "4",
        "value": "0.56145824140683773742441837829711470766232767403090986144654848808161920554328760143783070074965797138599625006"
      },
      {
        "argument": "5",
        "value": "0.56145446826845672873632468894252853266209834831628003029686787076440202288116701266484492016062159303768323777"
      },
      {
        "argument": "6",
        "value": "0.56145968480168904538574072904155452929900933483459363241704095347881441942741863857479280014616181820229536810"
      },
      {
        "argument": "7",
        "value": "0.56145948068948476314361954465299167825786317144367534464944090676761907549663618116358942949794369753616113821"
      },
      {
        "argument": "8",
        "value": "0.56145948353440852317099846856851533335567558087998457050424468650332473033540934006954172693920917577203985053"
      }
    ]
  },
  "independent_sage_source_sha256": "30df8f0266fba03c9b48facf2bb774dd01246befd5c103093cd3652b5f88b7f5"
}