checks-evidence.json

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

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

{
  "tid": "T178",
  "entries": 4,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 486,
  "identity_checks": 4,
  "exact_rows": 0,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "r": "2",
        "x": "1/2"
      },
      "number": "1.180340599016096226045337940558488587233716634881447299515864399404304180720715794978458616195807954",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "r": "3",
        "x": "1/2"
      },
      "number": "1.159595266963928365769992051570020881945165263439782855263105059747973757205286258658085251051146071",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "r": "4",
        "x": "1/2"
      },
      "number": "1.133915559726082732440156510347438791344295356805403611236317061400497913023777214458207113170347034",
      "certified_accuracy_bits": 487,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "r": "6",
        "x": "1/2"
      },
      "number": "1.098430696839862068942935161608698822283938481692253723027033945469518521905843821564973446230505442",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    }
  ]
}