checks-evidence.json

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

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

{
  "tid": "T352",
  "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": "1.210035619311108903018672526039102113770781891325879112942625054730382457613311909259377590324841757",
      "certified_accuracy_bits": 489,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "1",
        "x": "1"
      },
      "number": "0.6321205588285576784044762298385391325541888689682321654921631983025385042551001966428527256540803563",
      "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.5391581495561364453314501757281816101895008795904043845135962013264435651174726999456997273320273731",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "2",
        "x": "2"
      },
      "number": "0.5939941502901619243180015150825467897771053622712723555955233820377798776955369301887056325280288537",
      "certified_accuracy_bits": 489,
      "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.7764940589625164298943467748693052195337700958802629667063673381380403552329860060564353275275511186",
      "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": "1.153619837746312969351178933948949797261106932796805335350328630696968648586607647381077847977233143",
      "certified_accuracy_bits": 488,
      "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.898032679643365673222025242163584448265992720634614156477986060302054969527824041356507194580388498",
      "certified_accuracy_bits": 487,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "a": "4",
        "x": "4"
      },
      "number": "3.399179277799746398292040979199743605908486407406465542716810303626438713067794578393531265695908654",
      "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": "6.545473796292022231230584587768254531112267642278113664530843027814559491375737814300651560497735795",
      "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": "13.42816115843490212537804002408012235355500109207987095985062096245955317301722628040630115343708073",
      "certified_accuracy_bits": 488,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    }
  ]
}