checks-evidence.json

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

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

{
  "tid": "T351",
  "entries": 10,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 487,
  "identity_checks": 10,
  "exact_rows": 0,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "a": "1/2",
        "x": "1/2"
      },
      "number": "0.5624182315944071242794949573020430690267675647965080152711827351225288269777202721155730664137029081",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "1",
        "x": "1"
      },
      "number": "0.3678794411714423215955237701614608674458111310317678345078368016974614957448998033571472743459196437",
      "certified_accuracy_bits": 491,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "3/2",
        "x": "3/2"
      },
      "number": "0.3470687758966215683176335659423909812092738484707891795933076936000120771780433907417756010372449596",
      "certified_accuracy_bits": 487,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "2",
        "x": "2"
      },
      "number": "0.4060058497098380756819984849174532102228946377287276444044766179622201223044630698112943674719711463",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "5/2",
        "x": "5/2"
      },
      "number": "0.5528463292166205905792788376365536675643919962115273794539885042516431082102881299747776650263573805",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "3",
        "x": "3"
      },
      "number": "0.8463801622536870306488210660510502027388930672031946646496713693030313514133923526189221520227668569",
      "certified_accuracy_bits": 490,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "7/2",
        "x": "7/2"
      },
      "number": "1.425318290804476877962038789101062769479412509594861708922903545672153689080361298721525286804382750",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "4",
        "x": "4"
      },
      "number": "2.600820722200253601707959020800256394091513592593534457283189696373561286932205421606468734304091346",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "9/2",
        "x": "9/2"
      },
      "number": "5.086254600275426697913639521658010730996650663525051864372270593095170813752910875972462124348963572",
      "certified_accuracy_bits": 487,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "5",
        "x": "5"
      },
      "number": "10.57183884156509787462195997591987764644499890792012904014937903754044682698277371959369884656291927",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    }
  ]
}