checks-evidence.json

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

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

{
  "table": "T191",
  "digits": 100,
  "records": [
    {
      "params": {
        "x": "2"
      },
      "written": "1.045163780117492784844588889194613136522615578151201575832909144075013205210359530172717405626383356",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 729,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10"
      },
      "written": "6.165599504787297937522981752669522749130602806376581578932338490205589934760180157228276724309143254",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 728,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100"
      },
      "written": "30.12614158407962992590174133903218497959990703890315154216356044099095339144004461735322234139553627",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 727,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000"
      },
      "written": "177.6096579901522266876406239486993179785577025645480810681284511852751362573542630364773157199519343",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 727,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000"
      },
      "written": "1246.137215899388459692771107529059792486534653514072285774809081409016981733687861836397912132822135",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 727,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000"
      },
      "written": "9629.809001050798205034259560580094958897668987629031163363379794260332987106089243105737290935056553",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 726,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000"
      },
      "written": "78627.54915946218191986291074794726116132187438242176707475931789394167624357802172453432702851546268",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 726,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000"
      },
      "written": "664918.4050485689123292128866011957931533265951242896704016376596538895257268980267843693643510260594",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000000"
      },
      "written": "5762209.375448031467569073609368981565599778125345746898577936231379153622019481878609558922124405586",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000000"
      },
      "written": "50849234.95700179800400878908022360785563359242887901959079424663250024819164245918838010382482384246",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000000"
      },
      "written": "455055614.5866230756095294565839217624488629330581957006107933942661284107341951220768250897123004853",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000000000"
      },
      "written": "4118066400.621611515039435328363888982149828490104138254840340007343271232824015426400621634421194178",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000000000"
      },
      "written": "37607950280.80486548953492709097818869279517315682222599982647854380532130506337047267215579865356049",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000000000"
      },
      "written": "346065645810.0503352144904675396792666603457677866237607904466014788649036628244926752371229782648783",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 725,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000000000000"
      },
      "written": "3204942065691.953988072328915392097804375703608868849568620990123082154144406649958448052111992287977",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000000000000"
      },
      "written": "29844571475287.58106490589058598594308149535013999906466925702605488461494751932061564151921187834778",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000000000000"
      },
      "written": "279238344248556.7927813936332216188213887549024553079095023638798116214373662550455374357157306057292",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000000000000000"
      },
      "written": "2623557165610821.778069124873574285405756091484733160998097090634270440095820712006083867586053646908",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000000000000000"
      },
      "written": "24739954309690415.02218938383725843483282112195906457058271503009713781540303193599378308818585604821",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000000000000000"
      },
      "written": "234057667376222382.2232510309771484401121240823077407408753245166317451273058727287787502679313142346",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "100000000000000000000"
      },
      "written": "2220819602783663483.548305532067778823947751781788595977681676146360558159071139757660984123841602350",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 723,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "1000000000000000000000"
      },
      "written": "21127269486616126182.33305833593592352819698972996559598656203540556796488788914583864214152788382314",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "higher_precision_order_check": true,
      "independent_mpmath_precisions": [
        150,
        200
      ]
    },
    {
      "params": {
        "x": "10000000000000000000000"
      },
      "written": "201467286691248261498.1505286717817039976105789431935817938808923600260738959111839625517552880452760",
      "enclosure_contained_in_written_interval": true,
      "arb_relative_accuracy_bits": 724,
      "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": [
    {
      "x": "2"
    },
    {
      "x": "10"
    }
  ],
  "added": [
    {
      "x": "100"
    },
    {
      "x": "1000"
    },
    {
      "x": "10000"
    },
    {
      "x": "100000"
    },
    {
      "x": "1000000"
    },
    {
      "x": "10000000"
    },
    {
      "x": "100000000"
    },
    {
      "x": "1000000000"
    },
    {
      "x": "10000000000"
    },
    {
      "x": "100000000000"
    },
    {
      "x": "1000000000000"
    },
    {
      "x": "10000000000000"
    },
    {
      "x": "100000000000000"
    },
    {
      "x": "1000000000000000"
    },
    {
      "x": "10000000000000000"
    },
    {
      "x": "100000000000000000"
    },
    {
      "x": "1000000000000000000"
    },
    {
      "x": "10000000000000000000"
    },
    {
      "x": "100000000000000000000"
    },
    {
      "x": "1000000000000000000000"
    },
    {
      "x": "10000000000000000000000"
    }
  ]
}