checks-evidence.json

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

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

{
  "tid": "T353",
  "entries": 10,
  "python_flint": "0.6.0",
  "mpmath": "1.3.0",
  "working_bits": 493,
  "minimum_certified_accuracy_bits": 485,
  "identity_checks": 10,
  "exact_rows": 5,
  "nonzero_control_passed": true,
  "records": [
    {
      "parameters": {
        "x": "1/2",
        "a": "1/2",
        "b": "1/2"
      },
      "number": "1.570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058534",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "1",
        "b": "1"
      },
      "number": "1/2",
      "exact": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3/2",
        "b": "3/2"
      },
      "number": "0.1963495408493620774039152114549689302623230874609441138109340370192385253928880624142521765838823167",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "2",
        "b": "2"
      },
      "number": "1/12",
      "exact": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5/2",
        "b": "5/2"
      },
      "number": "0.03681553890925538951323410214780667442418557889892702133955013194110722351116651170267228310947793439",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "3",
        "b": "3"
      },
      "number": "1/60",
      "exact": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "7/2",
        "b": "7/2"
      },
      "number": "0.007669903939428206148590437947459723838371995603943129445739610821064004898159689938056725647807902998",
      "certified_accuracy_bits": 485,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "4",
        "b": "4"
      },
      "number": "1/280",
      "exact": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "9/2",
        "b": "9/2"
      },
      "number": "0.001677791486749920095004158301006814589643874038362559566255539867107751071472432173949908735457978781",
      "certified_accuracy_bits": 486,
      "decimal_contains_enclosure": true,
      "shifted_decimal_rejected": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    },
    {
      "parameters": {
        "x": "1/2",
        "a": "5",
        "b": "5"
      },
      "number": "1/1260",
      "exact": true,
      "independent_identity": true,
      "mpmath_150_200_pass": true
    }
  ]
}