{
  "tid": "T425",
  "working_bits": 640,
  "mpmath_digits": [
    150,
    200
  ],
  "checked": 45,
  "reference_branches": [],
  "failures": [],
  "records": [
    {
      "parameters": [
        "1/12"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0316040101936473"
    },
    {
      "parameters": [
        "1/11"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.398889392547833"
    },
    {
      "parameters": [
        "1/10"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.330769797138746"
    },
    {
      "parameters": [
        "1/9"
      ],
      "accuracy_bits": 631,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0893864809872534"
    },
    {
      "parameters": [
        "1/8"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.445773807980767"
    },
    {
      "parameters": [
        "1/7"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.464988730088346"
    },
    {
      "parameters": [
        "1/6"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0204108880389198"
    },
    {
      "parameters": [
        "2/11"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.219580521665348"
    },
    {
      "parameters": [
        "1/5"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.444860131339359"
    },
    {
      "parameters": [
        "2/9"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.107280761010279"
    },
    {
      "parameters": [
        "1/4"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.273766920497814"
    },
    {
      "parameters": [
        "3/11"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.317283280446296"
    },
    {
      "parameters": [
        "2/7"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.346512789010952"
    },
    {
      "parameters": [
        "3/10"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.247496638047144"
    },
    {
      "parameters": [
        "1/3"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.11423406040497"
    },
    {
      "parameters": [
        "4/11"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.283178609764788"
    },
    {
      "parameters": [
        "3/8"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0899581299319296"
    },
    {
      "parameters": [
        "2/5"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.131445080818578"
    },
    {
      "parameters": [
        "5/12"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.174146582064828"
    },
    {
      "parameters": [
        "3/7"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0354933384544014"
    },
    {
      "parameters": [
        "4/9"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.171000097238676"
    },
    {
      "parameters": [
        "5/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.375319980034584"
    },
    {
      "parameters": [
        "1/2"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.298319303540234"
    },
    {
      "parameters": [
        "6/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0210991415801989"
    },
    {
      "parameters": [
        "5/9"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0728854225627772"
    },
    {
      "parameters": [
        "4/7"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0840891322532501"
    },
    {
      "parameters": [
        "7/12"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.394442106172905"
    },
    {
      "parameters": [
        "3/5"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.321779263337159"
    },
    {
      "parameters": [
        "5/8"
      ],
      "accuracy_bits": 632,
      "independent_ball": false,
      "mpmath_error_ulps": "0.118390981096988"
    },
    {
      "parameters": [
        "7/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.298898077708845"
    },
    {
      "parameters": [
        "2/3"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.411563987317024"
    },
    {
      "parameters": [
        "7/10"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.00702998606518796"
    },
    {
      "parameters": [
        "5/7"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0649366743329764"
    },
    {
      "parameters": [
        "8/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.061661185159907"
    },
    {
      "parameters": [
        "3/4"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.107687411864044"
    },
    {
      "parameters": [
        "7/9"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.0209255695541303"
    },
    {
      "parameters": [
        "4/5"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.264558149711371"
    },
    {
      "parameters": [
        "9/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.376837406942171"
    },
    {
      "parameters": [
        "5/6"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.116023912800382"
    },
    {
      "parameters": [
        "6/7"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.00920953772770331"
    },
    {
      "parameters": [
        "7/8"
      ],
      "accuracy_bits": 634,
      "independent_ball": false,
      "mpmath_error_ulps": "0.103788378031583"
    },
    {
      "parameters": [
        "8/9"
      ],
      "accuracy_bits": 634,
      "independent_ball": false,
      "mpmath_error_ulps": "0.176265680720128"
    },
    {
      "parameters": [
        "9/10"
      ],
      "accuracy_bits": 634,
      "independent_ball": false,
      "mpmath_error_ulps": "0.229307207333297"
    },
    {
      "parameters": [
        "10/11"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.315762012268435"
    },
    {
      "parameters": [
        "11/12"
      ],
      "accuracy_bits": 633,
      "independent_ball": false,
      "mpmath_error_ulps": "0.306689409596141"
    }
  ]
}