numerical-evidence.json

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

192082 bytes, as of the version from 2026-10-30 10:45 (current). Recorded here, not run.

{
  "table": "T623",
  "mode": "local",
  "skill_manifest": "agents/runs/20261030T101710Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "controls": {
    "2,1,1": "0",
    "3,1,1": "1/3",
    "3,2,1": "-1/3",
    "5,1,2": "7/5"
  },
  "entries": 550,
  "presentations": 87,
  "measurement": {
    "entries": 550,
    "longest": 7,
    "longest_at": [
      17,
      16,
      5
    ],
    "block_kb": 24.5224609375
  },
  "lattice_checks": 550,
  "eta_convolution_checks": 550,
  "ball_checks": 550,
  "ball_precision_bits": 512,
  "max_ball_radius": "[4.7517966976672505723447270492555085879307276812323053774206450206545953653890952138227313708087893340714613262237928806438013798972822902121539076733135302846e-151 +/- 3.05e-309]",
  "minimum_nonzero_relative_bits": 498,
  "full_domain_labels": 1744,
  "full_domain_identities": "conjugation, orientation, exchange, homogeneous, eta difference, lattice counts, reconstruction from selected rows, full character sum",
  "zero_entries": 8,
  "unique_values": 371,
  "enclosures": [
    {
      "p": 2,
      "q": 1,
      "u": 1,
      "rational": "0",
      "ball": "[+/- 8.27e-309]",
      "radius": "8.0038353e-309",
      "relative_accuracy_bits": null
    },
    {
      "p": 3,
      "q": 1,
      "u": 1,
      "rational": "1/3",
      "ball": "[0.33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.47e-153]",
      "radius": "1.3060660e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 3,
      "q": 2,
      "u": 1,
      "rational": "-1/3",
      "ball": "[-0.33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.98e-153]",
      "radius": "1.7365623e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 4,
      "q": 1,
      "u": 1,
      "rational": "1/2",
      "ball": "[0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.38e-153]",
      "radius": "1.1481646e-153",
      "relative_accuracy_bits": 506
    },
    {
      "p": 4,
      "q": 1,
      "u": 2,
      "rational": "1",
      "ball": "[1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.28e-153]",
      "radius": "1.7506572e-153",
      "relative_accuracy_bits": 506
    },
    {
      "p": 4,
      "q": 3,
      "u": 1,
      "rational": "-1/2",
      "ball": "[-0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.77e-153]",
      "radius": "1.6947645e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 4,
      "q": 3,
      "u": 2,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.11e-153]",
      "radius": "2.8065654e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 5,
      "q": 1,
      "u": 1,
      "rational": "3/5",
      "ball": "[0.60000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.06e-153]",
      "radius": "2.6381281e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 5,
      "q": 1,
      "u": 2,
      "rational": "7/5",
      "ball": "[1.40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.09e-153]",
      "radius": "5.0114723e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 5,
      "q": 2,
      "u": 1,
      "rational": "-1/5",
      "ball": "[-0.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.26e-153]",
      "radius": "2.2252583e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 5,
      "q": 2,
      "u": 2,
      "rational": "1/5",
      "ball": "[0.20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.87e-153]",
      "radius": "2.5375173e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 5,
      "q": 4,
      "u": 1,
      "rational": "-3/5",
      "ball": "[-0.60000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.46e-153]",
      "radius": "4.2791668e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 5,
      "q": 4,
      "u": 2,
      "rational": "-7/5",
      "ball": "[-1.40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 9.23e-153]",
      "radius": "8.8034908e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 6,
      "q": 1,
      "u": 1,
      "rational": "2/3",
      "ball": "[0.66666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 6.52e-153]",
      "radius": "2.9099108e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 6,
      "q": 1,
      "u": 2,
      "rational": "5/3",
      "ball": "[1.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.12e-152]",
      "radius": "7.1457405e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 6,
      "q": 1,
      "u": 3,
      "rational": "2",
      "ball": "[2.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.73e-153]",
      "radius": "6.1234289e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 6,
      "q": 5,
      "u": 1,
      "rational": "-2/3",
      "ball": "[-0.66666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 8.73e-153]",
      "radius": "5.6419276e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 6,
      "q": 5,
      "u": 2,
      "rational": "-5/3",
      "ball": "[-1.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.61e-152]",
      "radius": "1.3728877e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 6,
      "q": 5,
      "u": 3,
      "rational": "-2",
      "ball": "[-2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.62e-152]",
      "radius": "1.4633655e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 7,
      "q": 1,
      "u": 1,
      "rational": "5/7",
      "ball": "[0.71428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 7.13e-153]",
      "radius": "3.5000966e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 7,
      "q": 1,
      "u": 2,
      "rational": "13/7",
      "ball": "[1.8571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571429 +/- 5.30e-152]",
      "radius": "8.2326741e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 7,
      "q": 1,
      "u": 3,
      "rational": "17/7",
      "ball": "[2.4285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 3.61e-152]",
      "radius": "1.0612673e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 7,
      "q": 2,
      "u": 1,
      "rational": "-1/7",
      "ball": "[-0.14285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 5.74e-153]",
      "radius": "2.7510337e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 7,
      "q": 2,
      "u": 2,
      "rational": "3/7",
      "ball": "[0.42857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 6.21e-153]",
      "radius": "4.0519010e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 7,
      "q": 2,
      "u": 3,
      "rational": "5/7",
      "ball": "[0.71428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 8.44e-153]",
      "radius": "5.5514525e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 7,
      "q": 3,
      "u": 1,
      "rational": "-3/7",
      "ball": "[-0.42857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 6.27e-153]",
      "radius": "4.7122694e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 7,
      "q": 3,
      "u": 2,
      "rational": "-5/7",
      "ball": "[-0.7142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857 +/- 2.08e-152]",
      "radius": "7.1569682e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 7,
      "q": 3,
      "u": 3,
      "rational": "1/7",
      "ball": "[0.14285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 7.25e-153]",
      "radius": "4.7820149e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 7,
      "q": 6,
      "u": 1,
      "rational": "-5/7",
      "ball": "[-0.7142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857 +/- 2.24e-152]",
      "radius": "7.6878109e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 7,
      "q": 6,
      "u": 2,
      "rational": "-13/7",
      "ball": "[-1.8571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571429 +/- 6.16e-152]",
      "radius": "1.9596200e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 7,
      "q": 6,
      "u": 3,
      "rational": "-17/7",
      "ball": "[-2.4285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 5.54e-152]",
      "radius": "2.5964916e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 8,
      "q": 1,
      "u": 1,
      "rational": "3/4",
      "ball": "[0.75000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.99e-153]",
      "radius": "2.5378936e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 8,
      "q": 1,
      "u": 2,
      "rational": "2",
      "ball": "[2.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.63e-153]",
      "radius": "6.2859275e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 8,
      "q": 1,
      "u": 3,
      "rational": "11/4",
      "ball": "[2.7500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.03e-152]",
      "radius": "9.3561369e-153",
      "relative_accuracy_bits": 506
    },
    {
      "p": 8,
      "q": 1,
      "u": 4,
      "rational": "3",
      "ball": "[3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.02e-152]",
      "radius": "8.0347160e-153",
      "relative_accuracy_bits": 506
    },
    {
      "p": 8,
      "q": 3,
      "u": 1,
      "rational": "1/4",
      "ball": "[0.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.22e-153]",
      "radius": "2.8980620e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 8,
      "q": 3,
      "u": 2,
      "rational": "0",
      "ball": "[+/- 4.25e-153]",
      "radius": "3.8218916e-153",
      "relative_accuracy_bits": null
    },
    {
      "p": 8,
      "q": 3,
      "u": 3,
      "rational": "1/4",
      "ball": "[0.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.23e-153]",
      "radius": "3.7024912e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 8,
      "q": 3,
      "u": 4,
      "rational": "1",
      "ball": "[1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.51e-153]",
      "radius": "4.1620845e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 8,
      "q": 5,
      "u": 1,
      "rational": "-1/4",
      "ball": "[-0.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.23e-153]",
      "radius": "3.8900682e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 8,
      "q": 5,
      "u": 2,
      "rational": "0",
      "ball": "[+/- 5.43e-153]",
      "radius": "4.8275810e-153",
      "relative_accuracy_bits": null
    },
    {
      "p": 8,
      "q": 5,
      "u": 3,
      "rational": "-1/4",
      "ball": "[-0.25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.87e-153]",
      "radius": "4.3009765e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 8,
      "q": 5,
      "u": 4,
      "rational": "-1",
      "ball": "[-1.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.35e-153]",
      "radius": "5.3410116e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 8,
      "q": 7,
      "u": 1,
      "rational": "-3/4",
      "ball": "[-0.75000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.60e-153]",
      "radius": "5.7733267e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 8,
      "q": 7,
      "u": 2,
      "rational": "-2",
      "ball": "[-2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.74e-152]",
      "radius": "1.5225655e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 8,
      "q": 7,
      "u": 3,
      "rational": "-11/4",
      "ball": "[-2.7500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.60e-152]",
      "radius": "2.2054540e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 8,
      "q": 7,
      "u": 4,
      "rational": "-3",
      "ball": "[-3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.48e-152]",
      "radius": "2.1799183e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 1,
      "u": 1,
      "rational": "7/9",
      "ball": "[0.77777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777778 +/- 6.67e-153]",
      "radius": "3.9901948e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 9,
      "q": 1,
      "u": 2,
      "rational": "19/9",
      "ball": "[2.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 2.07e-152]",
      "radius": "1.1046665e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 9,
      "q": 1,
      "u": 3,
      "rational": "3",
      "ball": "[3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.76e-152]",
      "radius": "1.6103075e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 9,
      "q": 1,
      "u": 4,
      "rational": "31/9",
      "ball": "[3.4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444 +/- 5.75e-152]",
      "radius": "1.5514601e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 9,
      "q": 2,
      "u": 1,
      "rational": "-1/9",
      "ball": "[-0.11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 4.26e-153]",
      "radius": "3.1687568e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 9,
      "q": 2,
      "u": 2,
      "rational": "5/9",
      "ball": "[0.5555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 5.01e-152]",
      "radius": "5.1671285e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 2,
      "u": 3,
      "rational": "1",
      "ball": "[1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.78e-153]",
      "radius": "8.1817063e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 2,
      "u": 4,
      "rational": "11/9",
      "ball": "[1.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 2.97e-152]",
      "radius": "8.5396474e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 9,
      "q": 4,
      "u": 1,
      "rational": "-5/9",
      "ball": "[-0.5555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 5.18e-152]",
      "radius": "6.9127419e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 4,
      "u": 2,
      "rational": "-11/9",
      "ball": "[-1.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 3.47e-152]",
      "radius": "1.3065023e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 4,
      "u": 3,
      "rational": "-1",
      "ball": "[-1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.35e-152]",
      "radius": "1.2651283e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 9,
      "q": 4,
      "u": 4,
      "rational": "1/9",
      "ball": "[0.11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 7.28e-153]",
      "radius": "6.5657547e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 9,
      "q": 8,
      "u": 1,
      "rational": "-7/9",
      "ball": "[-0.7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777778 +/- 3.20e-152]",
      "radius": "9.8987974e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 9,
      "q": 8,
      "u": 2,
      "rational": "-19/9",
      "ball": "[-2.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 3.88e-152]",
      "radius": "2.6801221e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 9,
      "q": 8,
      "u": 3,
      "rational": "-3",
      "ball": "[-3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.24e-152]",
      "radius": "3.9622789e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 9,
      "q": 8,
      "u": 4,
      "rational": "-31/9",
      "ball": "[-3.4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444 +/- 9.13e-152]",
      "radius": "4.3672309e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 1,
      "u": 1,
      "rational": "4/5",
      "ball": "[0.80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.99e-153]",
      "radius": "4.3258644e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 10,
      "q": 1,
      "u": 2,
      "rational": "11/5",
      "ball": "[2.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.42e-152]",
      "radius": "1.2073129e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 10,
      "q": 1,
      "u": 3,
      "rational": "16/5",
      "ball": "[3.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.11e-152]",
      "radius": "1.8681599e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 10,
      "q": 1,
      "u": 4,
      "rational": "19/5",
      "ball": "[3.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.44e-152]",
      "radius": "2.0459241e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 10,
      "q": 1,
      "u": 5,
      "rational": "4",
      "ball": "[4.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.19e-152]",
      "radius": "1.6500364e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 10,
      "q": 3,
      "u": 1,
      "rational": "-2/5",
      "ball": "[-0.40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.71e-153]",
      "radius": "6.2886538e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 3,
      "u": 2,
      "rational": "-3/5",
      "ball": "[-0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.05e-152]",
      "radius": "9.7825731e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 3,
      "u": 3,
      "rational": "2/5",
      "ball": "[0.40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.12e-153]",
      "radius": "7.3377298e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 3,
      "u": 4,
      "rational": "3/5",
      "ball": "[0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.27e-152]",
      "radius": "1.0468883e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 3,
      "u": 5,
      "rational": "0",
      "ball": "[+/- 1.31e-152]",
      "radius": "1.0680346e-152",
      "relative_accuracy_bits": null
    },
    {
      "p": 10,
      "q": 9,
      "u": 1,
      "rational": "-4/5",
      "ball": "[-0.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.49e-152]",
      "radius": "1.1985041e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 9,
      "u": 2,
      "rational": "-11/5",
      "ball": "[-2.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.30e-152]",
      "radius": "3.3671485e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 10,
      "q": 9,
      "u": 3,
      "rational": "-16/5",
      "ball": "[-3.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.14e-152]",
      "radius": "5.4261043e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 9,
      "u": 4,
      "rational": "-19/5",
      "ball": "[-3.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.73e-152]",
      "radius": "6.6443080e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 10,
      "q": 9,
      "u": 5,
      "rational": "-4",
      "ball": "[-4.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.76e-152]",
      "radius": "6.5485847e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 1,
      "u": 1,
      "rational": "9/11",
      "ball": "[0.81818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818182 +/- 6.85e-153]",
      "radius": "4.4844391e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 11,
      "q": 1,
      "u": 2,
      "rational": "25/11",
      "ball": "[2.2727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727273 +/- 4.18e-152]",
      "radius": "1.2859985e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 11,
      "q": 1,
      "u": 3,
      "rational": "37/11",
      "ball": "[3.3636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636364 +/- 5.80e-152]",
      "radius": "2.0854444e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 1,
      "u": 4,
      "rational": "45/11",
      "ball": "[4.0909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909091 +/- 3.78e-152]",
      "radius": "2.4709609e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 11,
      "q": 1,
      "u": 5,
      "rational": "49/11",
      "ball": "[4.4545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454 +/- 7.30e-152]",
      "radius": "2.3003571e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 11,
      "q": 2,
      "u": 1,
      "rational": "-1/11",
      "ball": "[-0.09090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909 +/- 4.45e-153]",
      "radius": "3.5139175e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 11,
      "q": 2,
      "u": 2,
      "rational": "7/11",
      "ball": "[0.6363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636 +/- 4.19e-152]",
      "radius": "6.0707679e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 2,
      "u": 3,
      "rational": "13/11",
      "ball": "[1.1818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818182 +/- 2.88e-152]",
      "radius": "1.0541405e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 2,
      "u": 4,
      "rational": "17/11",
      "ball": "[1.5454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545 +/- 5.60e-152]",
      "radius": "1.2131889e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 2,
      "u": 5,
      "rational": "19/11",
      "ball": "[1.7272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727 +/- 3.74e-152]",
      "radius": "1.2489984e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 3,
      "u": 1,
      "rational": "3/11",
      "ball": "[0.27272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727 +/- 8.20e-153]",
      "radius": "6.0733931e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 3,
      "u": 2,
      "rational": "1/11",
      "ball": "[0.09090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909 +/- 8.45e-153]",
      "radius": "8.2226973e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 11,
      "q": 3,
      "u": 3,
      "rational": "5/11",
      "ball": "[0.4545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545455 +/- 5.42e-152]",
      "radius": "8.0127329e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 3,
      "u": 4,
      "rational": "15/11",
      "ball": "[1.3636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636364 +/- 5.06e-152]",
      "radius": "1.1817335e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 11,
      "q": 3,
      "u": 5,
      "rational": "9/11",
      "ball": "[0.8181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818 +/- 2.76e-152]",
      "radius": "1.1701396e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 5,
      "u": 1,
      "rational": "-7/11",
      "ball": "[-0.6363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636 +/- 4.67e-152]",
      "radius": "9.6239137e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 5,
      "u": 2,
      "rational": "-17/11",
      "ball": "[-1.5454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545 +/- 6.93e-152]",
      "radius": "2.1876001e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 5,
      "u": 3,
      "rational": "-19/11",
      "ball": "[-1.7272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727 +/- 5.35e-152]",
      "radius": "2.3961072e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 5,
      "u": 4,
      "rational": "-13/11",
      "ball": "[-1.1818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818182 +/- 3.65e-152]",
      "radius": "1.9832377e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 5,
      "u": 5,
      "rational": "1/11",
      "ball": "[0.0909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909091 +/- 1.91e-152]",
      "radius": "9.3120456e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 11,
      "q": 7,
      "u": 1,
      "rational": "-5/11",
      "ball": "[-0.4545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545455 +/- 5.52e-152]",
      "radius": "1.1113879e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 11,
      "q": 7,
      "u": 2,
      "rational": "-9/11",
      "ball": "[-0.8181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818 +/- 3.96e-152]",
      "radius": "1.9010245e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 7,
      "u": 3,
      "rational": "-1/11",
      "ball": "[-0.0909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909091 +/- 2.11e-152]",
      "radius": "1.3908750e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 11,
      "q": 7,
      "u": 4,
      "rational": "-3/11",
      "ball": "[-0.2727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727273 +/- 3.72e-152]",
      "radius": "1.1510822e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 11,
      "q": 7,
      "u": 5,
      "rational": "-15/11",
      "ball": "[-1.3636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636364 +/- 5.49e-152]",
      "radius": "2.0290316e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 10,
      "u": 1,
      "rational": "-9/11",
      "ball": "[-0.8181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818181818 +/- 3.34e-152]",
      "radius": "1.3448126e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 10,
      "u": 2,
      "rational": "-25/11",
      "ball": "[-2.2727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727272727273 +/- 5.96e-152]",
      "radius": "3.8411240e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 10,
      "u": 3,
      "rational": "-37/11",
      "ball": "[-3.3636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636363636364 +/- 8.58e-152]",
      "radius": "6.2427072e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 10,
      "u": 4,
      "rational": "-45/11",
      "ball": "[-4.0909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909091 +/- 8.34e-152]",
      "radius": "7.7225171e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 11,
      "q": 10,
      "u": 5,
      "rational": "-49/11",
      "ball": "[-4.454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545454545 +/- 5.54e-151]",
      "radius": "8.2876358e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 1,
      "u": 1,
      "rational": "5/6",
      "ball": "[0.83333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 7.37e-153]",
      "radius": "4.6507191e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 1,
      "u": 2,
      "rational": "7/3",
      "ball": "[2.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.50e-152]",
      "radius": "1.3199661e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 1,
      "u": 3,
      "rational": "7/2",
      "ball": "[3.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.36e-152]",
      "radius": "1.9037388e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 1,
      "u": 4,
      "rational": "13/3",
      "ball": "[4.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 5.61e-152]",
      "radius": "2.6734111e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 1,
      "u": 5,
      "rational": "29/6",
      "ball": "[4.8333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 5.58e-152]",
      "radius": "2.8777190e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 1,
      "u": 6,
      "rational": "5",
      "ball": "[5.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.11e-152]",
      "radius": "2.2692692e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 12,
      "q": 5,
      "u": 1,
      "rational": "1/6",
      "ball": "[0.1666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.19e-152]",
      "radius": "7.5098251e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 5,
      "u": 2,
      "rational": "-1/3",
      "ball": "[-0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.50e-152]",
      "radius": "1.0404888e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 5,
      "u": 3,
      "rational": "-1/2",
      "ball": "[-0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.42e-152]",
      "radius": "1.2400649e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 5,
      "u": 4,
      "rational": "-1/3",
      "ball": "[-0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.91e-152]",
      "radius": "1.4185758e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 5,
      "u": 5,
      "rational": "1/6",
      "ball": "[0.1666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.40e-152]",
      "radius": "9.7828233e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 12,
      "q": 5,
      "u": 6,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.15e-152]",
      "radius": "9.1022256e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 12,
      "q": 7,
      "u": 1,
      "rational": "-1/6",
      "ball": "[-0.1666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.19e-152]",
      "radius": "9.7496567e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 12,
      "q": 7,
      "u": 2,
      "rational": "1/3",
      "ball": "[0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.35e-152]",
      "radius": "1.3301722e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 7,
      "u": 3,
      "rational": "1/2",
      "ball": "[0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.98e-152]",
      "radius": "1.5930130e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 7,
      "u": 4,
      "rational": "1/3",
      "ball": "[0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.75e-152]",
      "radius": "1.7658976e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 12,
      "q": 7,
      "u": 5,
      "rational": "-1/6",
      "ball": "[-0.1666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.24e-152]",
      "radius": "1.1894571e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 12,
      "q": 7,
      "u": 6,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.38e-152]",
      "radius": "1.2295163e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 12,
      "q": 11,
      "u": 1,
      "rational": "-5/6",
      "ball": "[-0.8333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.88e-152]",
      "radius": "1.3679192e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 11,
      "u": 2,
      "rational": "-7/3",
      "ball": "[-2.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 8.00e-152]",
      "radius": "4.0103029e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 11,
      "u": 3,
      "rational": "-7/2",
      "ball": "[-3.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.44e-152]",
      "radius": "6.4786165e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 11,
      "u": 4,
      "rational": "-13/3",
      "ball": "[-4.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.38e-151]",
      "radius": "8.7704575e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 11,
      "u": 5,
      "rational": "-29/6",
      "ball": "[-4.833333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.49e-151]",
      "radius": "9.8956540e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 12,
      "q": 11,
      "u": 6,
      "rational": "-5",
      "ball": "[-5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.12e-151]",
      "radius": "9.5173888e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 1,
      "u": 1,
      "rational": "11/13",
      "ball": "[0.84615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615385 +/- 9.28e-153]",
      "radius": "4.7830901e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 1,
      "u": 2,
      "rational": "31/13",
      "ball": "[2.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 3.09e-152]",
      "radius": "1.3787163e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 1,
      "u": 3,
      "rational": "47/13",
      "ball": "[3.6153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846 +/- 3.46e-152]",
      "radius": "2.3486869e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 1,
      "u": 4,
      "rational": "59/13",
      "ball": "[4.5384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615 +/- 6.37e-152]",
      "radius": "2.9487813e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 1,
      "u": 5,
      "rational": "67/13",
      "ball": "[5.1538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461 +/- 8.38e-152]",
      "radius": "3.5863565e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 1,
      "u": 6,
      "rational": "71/13",
      "ball": "[5.4615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615385 +/- 7.94e-152]",
      "radius": "3.2628493e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 2,
      "u": 1,
      "rational": "-1/13",
      "ball": "[-0.07692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692308 +/- 6.75e-153]",
      "radius": "3.7053214e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 13,
      "q": 2,
      "u": 2,
      "rational": "9/13",
      "ball": "[0.69230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769 +/- 8.24e-153]",
      "radius": "6.6854427e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 2,
      "u": 3,
      "rational": "17/13",
      "ball": "[1.3076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923 +/- 1.81e-152]",
      "radius": "1.2175062e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 2,
      "u": 4,
      "rational": "23/13",
      "ball": "[1.7692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692308 +/- 4.77e-152]",
      "radius": "1.4724429e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 2,
      "u": 5,
      "rational": "27/13",
      "ball": "[2.0769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769231 +/- 4.29e-152]",
      "radius": "1.7070602e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 2,
      "u": 6,
      "rational": "29/13",
      "ball": "[2.2307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692 +/- 4.29e-152]",
      "radius": "1.5577815e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 13,
      "q": 3,
      "u": 1,
      "rational": "-5/13",
      "ball": "[-0.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 2.19e-152]",
      "radius": "7.6423075e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 3,
      "u": 2,
      "rational": "-7/13",
      "ball": "[-0.5384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615 +/- 5.15e-152]",
      "radius": "1.1531524e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 3,
      "u": 3,
      "rational": "7/13",
      "ball": "[0.5384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615 +/- 4.69e-152]",
      "radius": "9.0082759e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 3,
      "u": 4,
      "rational": "11/13",
      "ball": "[0.8461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538 +/- 5.88e-152]",
      "radius": "1.4324289e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 3,
      "u": 5,
      "rational": "5/13",
      "ball": "[0.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 3.54e-152]",
      "radius": "1.7311616e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 13,
      "q": 3,
      "u": 6,
      "rational": "15/13",
      "ball": "[1.1538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538462 +/- 6.31e-152]",
      "radius": "1.5279177e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 4,
      "u": 1,
      "rational": "-7/13",
      "ball": "[-0.5384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615 +/- 4.94e-152]",
      "radius": "9.2214640e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 4,
      "u": 2,
      "rational": "-15/13",
      "ball": "[-1.1538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538462 +/- 6.06e-152]",
      "radius": "1.7892313e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 4,
      "u": 3,
      "rational": "-11/13",
      "ball": "[-0.8461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538 +/- 6.53e-152]",
      "radius": "1.6781307e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 4,
      "u": 4,
      "rational": "5/13",
      "ball": "[0.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 2.55e-152]",
      "radius": "9.6259826e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 13,
      "q": 4,
      "u": 5,
      "rational": "7/13",
      "ball": "[0.5384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615 +/- 5.03e-152]",
      "radius": "1.3936301e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 4,
      "u": 6,
      "rational": "-5/13",
      "ball": "[-0.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 3.18e-152]",
      "radius": "2.1205065e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 13,
      "q": 5,
      "u": 1,
      "rational": "-3/13",
      "ball": "[-0.2307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692 +/- 4.11e-152]",
      "radius": "9.0098735e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 13,
      "q": 5,
      "u": 2,
      "rational": "1/13",
      "ball": "[0.0769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769231 +/- 3.71e-152]",
      "radius": "1.2098540e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 13,
      "q": 5,
      "u": 3,
      "rational": "-1/13",
      "ball": "[-0.0769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769231 +/- 3.37e-152]",
      "radius": "1.2445866e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 13,
      "q": 5,
      "u": 4,
      "rational": "-9/13",
      "ball": "[-0.6923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923077 +/- 2.08e-152]",
      "radius": "1.4793989e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 5,
      "u": 5,
      "rational": "3/13",
      "ball": "[0.2307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692 +/- 4.12e-152]",
      "radius": "1.1125176e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 13,
      "q": 5,
      "u": 6,
      "rational": "9/13",
      "ball": "[0.6923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923077 +/- 2.59e-152]",
      "radius": "1.5501635e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 6,
      "u": 1,
      "rational": "-9/13",
      "ball": "[-0.6923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923077 +/- 1.73e-152]",
      "radius": "1.1564753e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 6,
      "u": 2,
      "rational": "-23/13",
      "ball": "[-1.7692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692308 +/- 5.32e-152]",
      "radius": "2.7715071e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 6,
      "u": 3,
      "rational": "-29/13",
      "ball": "[-2.2307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692307692 +/- 7.06e-152]",
      "radius": "3.3406909e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 6,
      "u": 4,
      "rational": "-27/13",
      "ball": "[-2.0769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769231 +/- 5.23e-152]",
      "radius": "3.4218261e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 13,
      "q": 6,
      "u": 5,
      "rational": "-17/13",
      "ball": "[-1.3076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923 +/- 3.69e-152]",
      "radius": "2.6665998e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 6,
      "u": 6,
      "rational": "1/13",
      "ball": "[0.0769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769230769231 +/- 3.50e-152]",
      "radius": "1.1742400e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 13,
      "q": 12,
      "u": 1,
      "rational": "-11/13",
      "ball": "[-0.8461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538 +/- 6.52e-152]",
      "radius": "1.6981591e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 12,
      "u": 2,
      "rational": "-31/13",
      "ball": "[-2.3846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846154 +/- 6.06e-152]",
      "radius": "5.0948055e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 12,
      "u": 3,
      "rational": "-47/13",
      "ball": "[-3.615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615384615385 +/- 4.64e-151]",
      "radius": "8.6362501e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 13,
      "q": 12,
      "u": 4,
      "rational": "-59/13",
      "ball": "[-4.538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538462 +/- 5.68e-151]",
      "radius": "1.1644460e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 12,
      "u": 5,
      "rational": "-67/13",
      "ball": "[-5.153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846153846 +/- 3.04e-151]",
      "radius": "1.3987619e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 13,
      "q": 12,
      "u": 6,
      "rational": "-71/13",
      "ball": "[-5.461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538461538 +/- 6.18e-151]",
      "radius": "1.4706339e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 1,
      "u": 1,
      "rational": "6/7",
      "ball": "[0.85714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 8.90e-153]",
      "radius": "5.2578609e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 1,
      "u": 2,
      "rational": "17/7",
      "ball": "[2.4285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 4.11e-152]",
      "radius": "1.5032920e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 14,
      "q": 1,
      "u": 3,
      "rational": "26/7",
      "ball": "[3.7142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857 +/- 3.46e-152]",
      "radius": "2.5502047e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 1,
      "u": 4,
      "rational": "33/7",
      "ball": "[4.7142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857 +/- 4.16e-152]",
      "radius": "3.3786576e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 14,
      "q": 1,
      "u": 5,
      "rational": "38/7",
      "ball": "[5.4285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 6.04e-152]",
      "radius": "3.9361805e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 1,
      "u": 6,
      "rational": "41/7",
      "ball": "[5.8571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428 +/- 8.78e-152]",
      "radius": "4.1012222e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 1,
      "u": 7,
      "rational": "6",
      "ball": "[6.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.18e-152]",
      "radius": "3.0425224e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 14,
      "q": 3,
      "u": 1,
      "rational": "2/7",
      "ball": "[0.2857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 2.25e-152]",
      "radius": "7.4394922e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 3,
      "u": 2,
      "rational": "1/7",
      "ball": "[0.1428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 5.29e-152]",
      "radius": "1.0382539e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 14,
      "q": 3,
      "u": 3,
      "rational": "4/7",
      "ball": "[0.5714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 3.94e-152]",
      "radius": "9.7807470e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 3,
      "u": 4,
      "rational": "11/7",
      "ball": "[1.5714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 4.73e-152]",
      "radius": "1.6390963e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 3,
      "u": 5,
      "rational": "8/7",
      "ball": "[1.1428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 5.85e-152]",
      "radius": "1.7604970e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 3,
      "u": 6,
      "rational": "9/7",
      "ball": "[1.2857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 3.45e-152]",
      "radius": "1.7657783e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 3,
      "u": 7,
      "rational": "2",
      "ball": "[2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.00e-152]",
      "radius": "1.5806703e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 14,
      "q": 9,
      "u": 1,
      "rational": "-4/7",
      "ball": "[-0.5714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 4.43e-152]",
      "radius": "1.7123017e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 9,
      "u": 2,
      "rational": "-9/7",
      "ball": "[-1.2857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 4.64e-152]",
      "radius": "3.5396116e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 9,
      "u": 3,
      "rational": "-8/7",
      "ball": "[-1.1428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 8.09e-152]",
      "radius": "3.4638511e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 9,
      "u": 4,
      "rational": "-1/7",
      "ball": "[-0.1428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 6.71e-152]",
      "radius": "2.0753765e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 14,
      "q": 9,
      "u": 5,
      "rational": "-2/7",
      "ball": "[-0.2857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 2.74e-152]",
      "radius": "1.6443090e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 14,
      "q": 9,
      "u": 6,
      "rational": "-11/7",
      "ball": "[-1.5714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 5.95e-152]",
      "radius": "3.5219168e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 9,
      "u": 7,
      "rational": "-2",
      "ball": "[-2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.23e-152]",
      "radius": "3.8327317e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 13,
      "u": 1,
      "rational": "-6/7",
      "ball": "[-0.8571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571429 +/- 6.05e-152]",
      "radius": "1.9118186e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 14,
      "q": 13,
      "u": 2,
      "rational": "-17/7",
      "ball": "[-2.4285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714 +/- 8.96e-152]",
      "radius": "5.7859151e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 13,
      "u": 3,
      "rational": "-26/7",
      "ball": "[-3.714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 3.81e-151]",
      "radius": "9.8158434e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 14,
      "q": 13,
      "u": 4,
      "rational": "-33/7",
      "ball": "[-4.714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286 +/- 4.16e-151]",
      "radius": "1.3264499e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 14,
      "q": 13,
      "u": 5,
      "rational": "-38/7",
      "ball": "[-5.428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571428571 +/- 5.91e-151]",
      "radius": "1.5931725e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 14,
      "q": 13,
      "u": 6,
      "rational": "-41/7",
      "ball": "[-5.857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857142857143 +/- 3.17e-151]",
      "radius": "1.7412980e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 14,
      "q": 13,
      "u": 7,
      "rational": "-6",
      "ball": "[-6.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.69e-151]",
      "radius": "1.6757547e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 1,
      "u": 1,
      "rational": "13/15",
      "ball": "[0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 3.94e-152]",
      "radius": "5.3256027e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 1,
      "u": 2,
      "rational": "37/15",
      "ball": "[2.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.19e-152]",
      "radius": "1.5881737e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 15,
      "q": 1,
      "u": 3,
      "rational": "19/5",
      "ball": "[3.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.20e-152]",
      "radius": "2.7373002e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 1,
      "u": 4,
      "rational": "73/15",
      "ball": "[4.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 7.81e-152]",
      "radius": "3.5902204e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 15,
      "q": 1,
      "u": 5,
      "rational": "17/3",
      "ball": "[5.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 8.79e-152]",
      "radius": "4.2968970e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 1,
      "u": 6,
      "rational": "31/5",
      "ball": "[6.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.86e-152]",
      "radius": "4.7534860e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 1,
      "u": 7,
      "rational": "97/15",
      "ball": "[6.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 8.95e-152]",
      "radius": "4.0681160e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 1,
      "rational": "-1/15",
      "ball": "[-0.06666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 7.28e-153]",
      "radius": "4.0090539e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 2,
      "u": 2,
      "rational": "11/15",
      "ball": "[0.7333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 3.99e-152]",
      "radius": "7.4321214e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 3,
      "rational": "7/5",
      "ball": "[1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.60e-152]",
      "radius": "1.3967037e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 4,
      "rational": "29/15",
      "ball": "[1.9333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.75e-152]",
      "radius": "1.6979933e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 5,
      "rational": "7/3",
      "ball": "[2.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.96e-152]",
      "radius": "2.2033802e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 6,
      "rational": "13/5",
      "ball": "[2.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.86e-152]",
      "radius": "2.3332469e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 2,
      "u": 7,
      "rational": "41/15",
      "ball": "[2.7333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 4.73e-152]",
      "radius": "2.1349881e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 15,
      "q": 4,
      "u": 1,
      "rational": "7/15",
      "ball": "[0.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.63e-152]",
      "radius": "1.0622351e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 4,
      "u": 2,
      "rational": "13/15",
      "ball": "[0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.64e-152]",
      "radius": "1.8436178e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 4,
      "u": 3,
      "rational": "1/5",
      "ball": "[0.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.67e-152]",
      "radius": "1.4038667e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 15,
      "q": 4,
      "u": 4,
      "rational": "7/15",
      "ball": "[0.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.54e-152]",
      "radius": "1.0808789e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 4,
      "u": 5,
      "rational": "5/3",
      "ball": "[1.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 6.01e-152]",
      "radius": "2.1479563e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 4,
      "u": 6,
      "rational": "9/5",
      "ball": "[1.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.16e-152]",
      "radius": "2.4955886e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 4,
      "u": 7,
      "rational": "13/15",
      "ball": "[0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.53e-152]",
      "radius": "1.7273058e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 1,
      "rational": "-11/15",
      "ball": "[-0.7333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 5.12e-152]",
      "radius": "1.5159196e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 2,
      "rational": "-29/15",
      "ball": "[-1.9333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 7.98e-152]",
      "radius": "3.8720608e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 7,
      "u": 3,
      "rational": "-13/5",
      "ball": "[-2.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.34e-152]",
      "radius": "5.3591853e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 4,
      "rational": "-41/15",
      "ball": "[-2.733333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 3.99e-151]",
      "radius": "5.5215068e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 5,
      "rational": "-7/3",
      "ball": "[-2.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 9.17e-152]",
      "radius": "5.2418824e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 6,
      "rational": "-7/5",
      "ball": "[-1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.97e-152]",
      "radius": "3.7034918e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 7,
      "u": 7,
      "rational": "1/15",
      "ball": "[0.0666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.80e-152]",
      "radius": "1.4987317e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 15,
      "q": 11,
      "u": 1,
      "rational": "-7/15",
      "ball": "[-0.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.68e-152]",
      "radius": "2.3546087e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 15,
      "q": 11,
      "u": 2,
      "rational": "-13/15",
      "ball": "[-0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 7.42e-152]",
      "radius": "4.1886711e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 15,
      "q": 11,
      "u": 3,
      "rational": "-1/5",
      "ball": "[-0.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.17e-152]",
      "radius": "2.8436639e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 15,
      "q": 11,
      "u": 4,
      "rational": "-7/15",
      "ball": "[-0.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.93e-152]",
      "radius": "2.0042527e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 15,
      "q": 11,
      "u": 5,
      "rational": "-5/3",
      "ball": "[-1.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 7.51e-152]",
      "radius": "4.3495025e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 11,
      "u": 6,
      "rational": "-9/5",
      "ball": "[-1.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.31e-152]",
      "radius": "5.1295270e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 11,
      "u": 7,
      "rational": "-13/15",
      "ball": "[-0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 6.28e-152]",
      "radius": "3.2915206e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 14,
      "u": 1,
      "rational": "-13/15",
      "ball": "[-0.8666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.18e-152]",
      "radius": "2.0384391e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 14,
      "u": 2,
      "rational": "-37/15",
      "ball": "[-2.4666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 9.05e-152]",
      "radius": "6.1680629e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 14,
      "u": 3,
      "rational": "-19/5",
      "ball": "[-3.800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.12e-151]",
      "radius": "1.0502212e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 14,
      "u": 4,
      "rational": "-73/15",
      "ball": "[-4.866666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.73e-151]",
      "radius": "1.4332335e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 15,
      "q": 14,
      "u": 5,
      "rational": "-17/3",
      "ball": "[-5.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.11e-151]",
      "radius": "1.7567619e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 14,
      "u": 6,
      "rational": "-31/5",
      "ball": "[-6.200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.00e-151]",
      "radius": "1.9774197e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 15,
      "q": 14,
      "u": 7,
      "rational": "-97/15",
      "ball": "[-6.466666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 5.41e-151]",
      "radius": "1.9963976e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 1,
      "u": 1,
      "rational": "7/8",
      "ball": "[0.87500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.68e-153]",
      "radius": "3.9262761e-153",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 2,
      "rational": "5/2",
      "ball": "[2.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.40e-152]",
      "radius": "1.1819264e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 3,
      "rational": "31/8",
      "ball": "[3.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.45e-152]",
      "radius": "2.0229106e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 1,
      "u": 4,
      "rational": "5",
      "ball": "[5.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.19e-152]",
      "radius": "2.5881855e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 5,
      "rational": "47/8",
      "ball": "[5.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.89e-152]",
      "radius": "2.9907858e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 6,
      "rational": "13/2",
      "ball": "[6.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.73e-152]",
      "radius": "3.6473719e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 7,
      "rational": "55/8",
      "ball": "[6.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.49e-152]",
      "radius": "3.4668864e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 1,
      "u": 8,
      "rational": "7",
      "ball": "[7.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.77e-152]",
      "radius": "2.7525104e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 16,
      "q": 3,
      "u": 1,
      "rational": "-3/8",
      "ball": "[-0.37500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.04e-153]",
      "radius": "5.6609252e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 3,
      "u": 2,
      "rational": "-1/2",
      "ball": "[-0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.89e-153]",
      "radius": "8.4753510e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 3,
      "u": 3,
      "rational": "5/8",
      "ball": "[0.62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.15e-153]",
      "radius": "7.1766832e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 3,
      "u": 4,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.27e-152]",
      "radius": "1.1711847e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 3,
      "u": 5,
      "rational": "5/8",
      "ball": "[0.6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.61e-152]",
      "radius": "1.4469710e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 3,
      "u": 6,
      "rational": "3/2",
      "ball": "[1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.65e-152]",
      "radius": "1.4236514e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 3,
      "u": 7,
      "rational": "13/8",
      "ball": "[1.6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.63e-152]",
      "radius": "1.4951334e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 3,
      "u": 8,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.45e-152]",
      "radius": "1.3215485e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 5,
      "u": 1,
      "rational": "-5/8",
      "ball": "[-0.62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.54e-153]",
      "radius": "8.0851995e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 5,
      "u": 2,
      "rational": "-3/2",
      "ball": "[-1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.90e-152]",
      "radius": "1.7478775e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 5,
      "u": 3,
      "rational": "-13/8",
      "ball": "[-1.6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.13e-152]",
      "radius": "1.9480062e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 5,
      "u": 4,
      "rational": "-1",
      "ball": "[-1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.76e-152]",
      "radius": "1.5548967e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 5,
      "u": 5,
      "rational": "3/8",
      "ball": "[0.37500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.53e-153]",
      "radius": "7.8543717e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 5,
      "u": 6,
      "rational": "1/2",
      "ball": "[0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.23e-152]",
      "radius": "1.1724581e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 5,
      "u": 7,
      "rational": "-5/8",
      "ball": "[-0.6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.18e-152]",
      "radius": "2.1373973e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 5,
      "u": 8,
      "rational": "-1",
      "ball": "[-1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.08e-152]",
      "radius": "1.9426587e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 7,
      "u": 1,
      "rational": "1/8",
      "ball": "[0.12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.21e-153]",
      "radius": "7.1984492e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 16,
      "q": 7,
      "u": 2,
      "rational": "-1/2",
      "ball": "[-0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.28e-152]",
      "radius": "1.1299470e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 7,
      "u": 3,
      "rational": "-7/8",
      "ball": "[-0.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.89e-152]",
      "radius": "1.6144118e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 7,
      "u": 4,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.87e-152]",
      "radius": "1.6579926e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 7,
      "u": 5,
      "rational": "-7/8",
      "ball": "[-0.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.83e-152]",
      "radius": "1.6484939e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 7,
      "u": 6,
      "rational": "-1/2",
      "ball": "[-0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.66e-152]",
      "radius": "1.6202449e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 7,
      "u": 7,
      "rational": "1/8",
      "ball": "[0.1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.10e-152]",
      "radius": "1.0481854e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 16,
      "q": 7,
      "u": 8,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.14e-152]",
      "radius": "9.2238484e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 9,
      "u": 1,
      "rational": "-1/8",
      "ball": "[-0.12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.32e-153]",
      "radius": "8.0014407e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 9,
      "u": 2,
      "rational": "1/2",
      "ball": "[0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.52e-152]",
      "radius": "1.2316705e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 9,
      "u": 3,
      "rational": "7/8",
      "ball": "[0.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.08e-152]",
      "radius": "1.7026670e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 9,
      "u": 4,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.30e-152]",
      "radius": "1.7874063e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 9,
      "u": 5,
      "rational": "7/8",
      "ball": "[0.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.21e-152]",
      "radius": "1.7587168e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 9,
      "u": 6,
      "rational": "1/2",
      "ball": "[0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.15e-152]",
      "radius": "1.7080322e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 16,
      "q": 9,
      "u": 7,
      "rational": "-1/8",
      "ball": "[-0.1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.39e-152]",
      "radius": "1.1132881e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 16,
      "q": 9,
      "u": 8,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.06e-152]",
      "radius": "1.0222903e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 16,
      "q": 15,
      "u": 1,
      "rational": "-7/8",
      "ball": "[-0.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.54e-152]",
      "radius": "1.4091495e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 2,
      "rational": "-5/2",
      "ball": "[-2.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.80e-152]",
      "radius": "4.3198965e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 3,
      "rational": "-31/8",
      "ball": "[-3.8750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.34e-152]",
      "radius": "7.3796017e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 4,
      "rational": "-5",
      "ball": "[-5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.16e-151]",
      "radius": "1.0084307e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 5,
      "rational": "-47/8",
      "ball": "[-5.875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.42e-151]",
      "radius": "1.2471093e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 6,
      "rational": "-13/2",
      "ball": "[-6.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.65e-151]",
      "radius": "1.4440989e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 7,
      "rational": "-55/8",
      "ball": "[-6.875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.76e-151]",
      "radius": "1.5177006e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 16,
      "q": 15,
      "u": 8,
      "rational": "-7",
      "ball": "[-7.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.73e-151]",
      "radius": "1.4713921e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 1,
      "u": 1,
      "rational": "15/17",
      "ball": "[0.88235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294 +/- 6.17e-153]",
      "radius": "5.7215980e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 2,
      "rational": "43/17",
      "ball": "[2.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 5.49e-152]",
      "radius": "1.7225792e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 17,
      "q": 1,
      "u": 3,
      "rational": "67/17",
      "ball": "[3.9411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411765 +/- 6.41e-152]",
      "radius": "3.1010914e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 4,
      "rational": "87/17",
      "ball": "[5.1176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176471 +/- 8.70e-152]",
      "radius": "3.8771917e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 5,
      "rational": "103/17",
      "ball": "[6.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 6.88e-152]",
      "radius": "4.8246054e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 6,
      "rational": "115/17",
      "ball": "[6.7647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647059 +/- 8.31e-152]",
      "radius": "5.7373745e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 7,
      "rational": "123/17",
      "ball": "[7.2352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941 +/- 6.42e-152]",
      "radius": "5.6956823e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 1,
      "u": 8,
      "rational": "127/17",
      "ball": "[7.4705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882 +/- 7.11e-152]",
      "radius": "4.9499821e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 1,
      "rational": "-1/17",
      "ball": "[-0.05882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882353 +/- 4.73e-153]",
      "radius": "4.2265723e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 2,
      "u": 2,
      "rational": "13/17",
      "ball": "[0.7647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647059 +/- 2.66e-152]",
      "radius": "8.0163863e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 3,
      "rational": "25/17",
      "ball": "[1.4705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882 +/- 4.95e-152]",
      "radius": "1.5503647e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 4,
      "rational": "35/17",
      "ball": "[2.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 4.59e-152]",
      "radius": "1.9306660e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 5,
      "rational": "43/17",
      "ball": "[2.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 6.47e-152]",
      "radius": "2.4881519e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 6,
      "rational": "49/17",
      "ball": "[2.8823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529 +/- 6.58e-152]",
      "radius": "2.8330332e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 7,
      "rational": "53/17",
      "ball": "[3.1176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176471 +/- 7.48e-152]",
      "radius": "2.8356499e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 2,
      "u": 8,
      "rational": "55/17",
      "ball": "[3.2352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941 +/- 3.62e-152]",
      "radius": "2.4793132e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 3,
      "u": 1,
      "rational": "5/17",
      "ball": "[0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176 +/- 5.51e-152]",
      "radius": "8.8427509e-153",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 3,
      "u": 2,
      "rational": "3/17",
      "ball": "[0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 2.48e-152]",
      "radius": "1.1969928e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 3,
      "u": 3,
      "rational": "11/17",
      "ball": "[0.6470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588 +/- 3.40e-152]",
      "radius": "1.1210799e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 3,
      "u": 4,
      "rational": "29/17",
      "ball": "[1.7058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058824 +/- 6.99e-152]",
      "radius": "1.9899482e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 3,
      "u": 5,
      "rational": "23/17",
      "ball": "[1.3529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529412 +/- 4.95e-152]",
      "radius": "2.2450716e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 3,
      "u": 6,
      "rational": "27/17",
      "ball": "[1.5882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882353 +/- 3.18e-152]",
      "radius": "2.3154426e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 3,
      "u": 7,
      "rational": "41/17",
      "ball": "[2.4117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 2.69e-152]",
      "radius": "2.6142992e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 17,
      "q": 3,
      "u": 8,
      "rational": "31/17",
      "ball": "[1.8235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294 +/- 3.00e-152]",
      "radius": "2.3880234e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 4,
      "u": 1,
      "rational": "-9/17",
      "ball": "[-0.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 4.56e-152]",
      "radius": "1.1559913e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 4,
      "u": 2,
      "rational": "-19/17",
      "ball": "[-1.1176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176471 +/- 6.08e-152]",
      "radius": "2.2359865e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 4,
      "u": 3,
      "rational": "-13/17",
      "ball": "[-0.7647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647059 +/- 3.65e-152]",
      "radius": "1.9972933e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 4,
      "u": 4,
      "rational": "9/17",
      "ball": "[0.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 4.82e-152]",
      "radius": "1.1748351e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 4,
      "u": 5,
      "rational": "13/17",
      "ball": "[0.7647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647059 +/- 4.06e-152]",
      "radius": "1.9315958e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 4,
      "u": 6,
      "rational": "-1/17",
      "ball": "[-0.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 6.33e-152]",
      "radius": "2.9258338e-152",
      "relative_accuracy_bits": 498
    },
    {
      "p": 17,
      "q": 4,
      "u": 7,
      "rational": "1/17",
      "ball": "[0.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 5.45e-152]",
      "radius": "2.9217331e-152",
      "relative_accuracy_bits": 498
    },
    {
      "p": 17,
      "q": 4,
      "u": 8,
      "rational": "19/17",
      "ball": "[1.1176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176471 +/- 6.45e-152]",
      "radius": "2.0243782e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 5,
      "u": 1,
      "rational": "3/17",
      "ball": "[0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 2.40e-152]",
      "radius": "1.0948357e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 5,
      "u": 2,
      "rational": "-5/17",
      "ball": "[-0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941177 +/- 6.53e-152]",
      "radius": "1.5260496e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 5,
      "u": 3,
      "rational": "-7/17",
      "ball": "[-0.4117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 2.79e-152]",
      "radius": "1.8850688e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 5,
      "u": 4,
      "rational": "-3/17",
      "ball": "[-0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 2.98e-152]",
      "radius": "1.9551164e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 17,
      "q": 5,
      "u": 5,
      "rational": "7/17",
      "ball": "[0.4117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 1.92e-152]",
      "radius": "1.3929026e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 5,
      "u": 6,
      "rational": "23/17",
      "ball": "[1.3529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529412 +/- 4.57e-152]",
      "radius": "2.0185235e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 5,
      "u": 7,
      "rational": "11/17",
      "ball": "[0.6470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588 +/- 4.16e-152]",
      "radius": "2.1646149e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 5,
      "u": 8,
      "rational": "5/17",
      "ball": "[0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176 +/- 6.65e-152]",
      "radius": "2.4301213e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 8,
      "u": 1,
      "rational": "-13/17",
      "ball": "[-0.7647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647059 +/- 3.18e-152]",
      "radius": "1.6981069e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 2,
      "rational": "-35/17",
      "ball": "[-2.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 8.25e-152]",
      "radius": "4.4651155e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 3,
      "rational": "-49/17",
      "ball": "[-2.882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882353 +/- 1.12e-151]",
      "radius": "6.4589657e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 4,
      "rational": "-55/17",
      "ball": "[-3.235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294 +/- 2.04e-151]",
      "radius": "7.1117750e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 5,
      "rational": "-53/17",
      "ball": "[-3.117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 1.45e-151]",
      "radius": "7.2066138e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 6,
      "rational": "-43/17",
      "ball": "[-2.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 9.05e-152]",
      "radius": "6.4458873e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 8,
      "u": 7,
      "rational": "-25/17",
      "ball": "[-1.4705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882 +/- 8.18e-152]",
      "radius": "4.2461849e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 8,
      "u": 8,
      "rational": "1/17",
      "ball": "[0.0588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235 +/- 4.52e-152]",
      "radius": "1.6705507e-152",
      "relative_accuracy_bits": 499
    },
    {
      "p": 17,
      "q": 10,
      "u": 1,
      "rational": "-7/17",
      "ball": "[-0.4117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 3.08e-152]",
      "radius": "2.2727241e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 10,
      "u": 2,
      "rational": "-11/17",
      "ball": "[-0.6470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588 +/- 6.34e-152]",
      "radius": "3.5826086e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 10,
      "u": 3,
      "rational": "5/17",
      "ball": "[0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176 +/- 6.78e-152]",
      "radius": "2.3991017e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 10,
      "u": 4,
      "rational": "7/17",
      "ball": "[0.4117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 3.24e-152]",
      "radius": "3.0045432e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 10,
      "u": 5,
      "rational": "-5/17",
      "ball": "[-0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941177 +/- 9.15e-152]",
      "radius": "4.2657667e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 17,
      "q": 10,
      "u": 6,
      "rational": "3/17",
      "ball": "[0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 4.94e-152]",
      "radius": "3.4052013e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 17,
      "q": 10,
      "u": 7,
      "rational": "-3/17",
      "ball": "[-0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 2.90e-152]",
      "radius": "2.0560683e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 17,
      "q": 10,
      "u": 8,
      "rational": "-23/17",
      "ball": "[-1.3529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529412 +/- 5.71e-152]",
      "radius": "3.8381490e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 1,
      "rational": "-11/17",
      "ball": "[-0.6470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588 +/- 5.23e-152]",
      "radius": "2.4251862e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 2,
      "rational": "-27/17",
      "ball": "[-1.5882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882353 +/- 6.38e-152]",
      "radius": "5.6968032e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 3,
      "rational": "-31/17",
      "ball": "[-1.8235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294 +/- 9.35e-152]",
      "radius": "6.6382189e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 4,
      "rational": "-23/17",
      "ball": "[-1.3529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529412 +/- 6.92e-152]",
      "radius": "5.5618403e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 5,
      "rational": "-3/17",
      "ball": "[-0.1764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 3.72e-152]",
      "radius": "2.9084915e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 17,
      "q": 11,
      "u": 6,
      "rational": "-5/17",
      "ball": "[-0.2941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941177 +/- 7.12e-152]",
      "radius": "2.2657742e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 17,
      "q": 11,
      "u": 7,
      "rational": "-29/17",
      "ball": "[-1.7058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058824 +/- 8.90e-152]",
      "radius": "5.2170912e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 11,
      "u": 8,
      "rational": "-41/17",
      "ball": "[-2.411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411765 +/- 3.51e-151]",
      "radius": "7.2735831e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 16,
      "u": 1,
      "rational": "-15/17",
      "ball": "[-0.8823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529 +/- 6.83e-152]",
      "radius": "2.2437524e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 2,
      "rational": "-43/17",
      "ball": "[-2.5294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294118 +/- 8.79e-152]",
      "radius": "6.8113509e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 17,
      "q": 16,
      "u": 3,
      "rational": "-67/17",
      "ball": "[-3.941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176 +/- 6.19e-151]",
      "radius": "1.1977029e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 4,
      "rational": "-87/17",
      "ball": "[-5.117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647 +/- 2.63e-151]",
      "radius": "1.6338806e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 5,
      "rational": "-103/17",
      "ball": "[-6.058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058824 +/- 6.27e-151]",
      "radius": "2.0689711e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 6,
      "rational": "-115/17",
      "ball": "[-6.764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764706 +/- 2.96e-151]",
      "radius": "2.4044495e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 7,
      "rational": "-123/17",
      "ball": "[-7.235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294 +/- 4.44e-151]",
      "radius": "2.5903380e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 17,
      "q": 16,
      "u": 8,
      "rational": "-127/17",
      "ball": "[-7.470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588235294117647058823529411764705882352941176470588 +/- 5.64e-151]",
      "radius": "2.6050494e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 1,
      "u": 1,
      "rational": "8/9",
      "ball": "[0.88888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889 +/- 7.42e-153]",
      "radius": "5.6690242e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 2,
      "rational": "23/9",
      "ball": "[2.5555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 6.45e-152]",
      "radius": "1.7774611e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 18,
      "q": 1,
      "u": 3,
      "rational": "4",
      "ball": "[4.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.53e-152]",
      "radius": "3.1971423e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 4,
      "rational": "47/9",
      "ball": "[5.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 5.75e-152]",
      "radius": "4.1256387e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 5,
      "rational": "56/9",
      "ball": "[6.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 6.67e-152]",
      "radius": "5.1626973e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 6,
      "rational": "7",
      "ball": "[7.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.02e-152]",
      "radius": "6.1841741e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 7,
      "rational": "68/9",
      "ball": "[7.555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 5.18e-151]",
      "radius": "6.5607543e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 8,
      "rational": "71/9",
      "ball": "[7.8888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889 +/- 8.65e-152]",
      "radius": "6.3174205e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 1,
      "u": 9,
      "rational": "8",
      "ball": "[8.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.37e-152]",
      "radius": "4.9317167e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 18,
      "q": 5,
      "u": 1,
      "rational": "-2/9",
      "ball": "[-0.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 3.49e-152]",
      "radius": "1.1755935e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 18,
      "q": 5,
      "u": 2,
      "rational": "1/9",
      "ball": "[0.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 2.48e-152]",
      "radius": "1.5913523e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 18,
      "q": 5,
      "u": 3,
      "rational": "0",
      "ball": "[+/- 1.94e-152]",
      "radius": "1.6866817e-152",
      "relative_accuracy_bits": null
    },
    {
      "p": 18,
      "q": 5,
      "u": 4,
      "rational": "-5/9",
      "ball": "[-0.5555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 6.39e-152]",
      "radius": "2.0086433e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 5,
      "u": 5,
      "rational": "4/9",
      "ball": "[0.4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444 +/- 5.82e-152]",
      "radius": "1.4456299e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 5,
      "u": 6,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.60e-152]",
      "radius": "2.2970985e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 5,
      "u": 7,
      "rational": "10/9",
      "ball": "[1.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 3.29e-152]",
      "radius": "2.5665876e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 18,
      "q": 5,
      "u": 8,
      "rational": "7/9",
      "ball": "[0.7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777778 +/- 4.82e-152]",
      "radius": "2.2752346e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 5,
      "u": 9,
      "rational": "0",
      "ball": "[+/- 2.24e-152]",
      "radius": "1.9746209e-152",
      "relative_accuracy_bits": null
    },
    {
      "p": 18,
      "q": 7,
      "u": 1,
      "rational": "-4/9",
      "ball": "[-0.4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444 +/- 6.44e-152]",
      "radius": "1.7244304e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 7,
      "u": 2,
      "rational": "-7/9",
      "ball": "[-0.7777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777778 +/- 4.74e-152]",
      "radius": "2.9629069e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 7,
      "u": 3,
      "rational": "0",
      "ball": "[+/- 2.43e-152]",
      "radius": "2.1190917e-152",
      "relative_accuracy_bits": null
    },
    {
      "p": 18,
      "q": 7,
      "u": 4,
      "rational": "-1/9",
      "ball": "[-0.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 3.40e-152]",
      "radius": "2.0113290e-152",
      "relative_accuracy_bits": 499
    },
    {
      "p": 18,
      "q": 7,
      "u": 5,
      "rational": "-10/9",
      "ball": "[-1.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 +/- 4.86e-152]",
      "radius": "3.3625778e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 18,
      "q": 7,
      "u": 6,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.36e-152]",
      "radius": "3.1435897e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 18,
      "q": 7,
      "u": 7,
      "rational": "2/9",
      "ball": "[0.2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 3.85e-152]",
      "radius": "1.7770568e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 18,
      "q": 7,
      "u": 8,
      "rational": "5/9",
      "ball": "[0.5555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555 +/- 7.84e-152]",
      "radius": "2.8807504e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 7,
      "u": 9,
      "rational": "0",
      "ball": "[+/- 3.80e-152]",
      "radius": "3.0649575e-152",
      "relative_accuracy_bits": null
    },
    {
      "p": 18,
      "q": 17,
      "u": 1,
      "rational": "-8/9",
      "ball": "[-0.8888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889 +/- 3.09e-152]",
      "radius": "2.5794009e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 17,
      "u": 2,
      "rational": "-23/9",
      "ball": "[-2.555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 5.04e-151]",
      "radius": "8.0551070e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 17,
      "u": 3,
      "rational": "-4",
      "ball": "[-4.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.89e-151]",
      "radius": "1.4511058e-151",
      "relative_accuracy_bits": 503
    },
    {
      "p": 18,
      "q": 17,
      "u": 4,
      "rational": "-47/9",
      "ball": "[-5.222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 4.95e-151]",
      "radius": "2.0747064e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 17,
      "u": 5,
      "rational": "-56/9",
      "ball": "[-6.222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 +/- 5.77e-151]",
      "radius": "2.6759150e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 18,
      "q": 17,
      "u": 6,
      "rational": "-7",
      "ball": "[-7.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.30e-151]",
      "radius": "3.2104224e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 18,
      "q": 17,
      "u": 7,
      "rational": "-68/9",
      "ball": "[-7.555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556 +/- 6.76e-151]",
      "radius": "3.5869428e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 18,
      "q": 17,
      "u": 8,
      "rational": "-71/9",
      "ball": "[-7.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888889 +/- 4.00e-151]",
      "radius": "3.7692401e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 18,
      "q": 17,
      "u": 9,
      "rational": "-8",
      "ball": "[-8.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.06e-151]",
      "radius": "3.7194485e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 1,
      "u": 1,
      "rational": "17/19",
      "ball": "[0.89473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684 +/- 7.39e-153]",
      "radius": "6.1769958e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 1,
      "u": 2,
      "rational": "49/19",
      "ball": "[2.5789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789474 +/- 5.21e-152]",
      "radius": "1.8114803e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 19,
      "q": 1,
      "u": 3,
      "rational": "77/19",
      "ball": "[4.0526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526316 +/- 5.46e-152]",
      "radius": "3.2446998e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 19,
      "q": 1,
      "u": 4,
      "rational": "101/19",
      "ball": "[5.3157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157895 +/- 7.40e-152]",
      "radius": "4.2231647e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 1,
      "u": 5,
      "rational": "121/19",
      "ball": "[6.368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 1.04e-151]",
      "radius": "5.4610392e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 1,
      "u": 6,
      "rational": "137/19",
      "ball": "[7.2105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263 +/- 7.75e-152]",
      "radius": "6.9281698e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 1,
      "u": 7,
      "rational": "149/19",
      "ball": "[7.842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 3.22e-151]",
      "radius": "7.2863098e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 1,
      "u": 8,
      "rational": "157/19",
      "ball": "[8.2631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 8.96e-152]",
      "radius": "7.2068105e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 19,
      "q": 1,
      "u": 9,
      "rational": "161/19",
      "ball": "[8.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 7.04e-152]",
      "radius": "6.4683009e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 19,
      "q": 2,
      "u": 1,
      "rational": "-1/19",
      "ball": "[-0.05263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263158 +/- 5.35e-153]",
      "radius": "4.3238203e-153",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 2,
      "u": 2,
      "rational": "15/19",
      "ball": "[0.7894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894737 +/- 2.53e-152]",
      "radius": "8.5227567e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 3,
      "rational": "29/19",
      "ball": "[1.5263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263158 +/- 2.75e-152]",
      "radius": "1.6564672e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 4,
      "rational": "41/19",
      "ball": "[2.1578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 5.53e-152]",
      "radius": "2.1397101e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 5,
      "rational": "51/19",
      "ball": "[2.6842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 5.17e-152]",
      "radius": "2.7312726e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 6,
      "rational": "59/19",
      "ball": "[3.1052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052632 +/- 7.73e-152]",
      "radius": "3.2572542e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 7,
      "rational": "65/19",
      "ball": "[3.4210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526 +/- 6.19e-152]",
      "radius": "3.5909155e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 8,
      "rational": "69/19",
      "ball": "[3.6315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789 +/- 7.67e-152]",
      "radius": "3.5359190e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 2,
      "u": 9,
      "rational": "71/19",
      "ball": "[3.7368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 3.57e-152]",
      "radius": "3.3116886e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 3,
      "u": 1,
      "rational": "-7/19",
      "ball": "[-0.3684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684211 +/- 5.75e-152]",
      "radius": "1.0222868e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 3,
      "u": 2,
      "rational": "-9/19",
      "ball": "[-0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 2.63e-152]",
      "radius": "1.4999060e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 3,
      "u": 3,
      "rational": "13/19",
      "ball": "[0.6842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 3.72e-152]",
      "radius": "1.1611629e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 3,
      "u": 4,
      "rational": "21/19",
      "ball": "[1.1052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052632 +/- 6.61e-152]",
      "radius": "2.1010972e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 3,
      "u": 5,
      "rational": "15/19",
      "ball": "[0.7894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894737 +/- 4.51e-152]",
      "radius": "2.6743620e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 3,
      "u": 6,
      "rational": "33/19",
      "ball": "[1.7368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 2.84e-152]",
      "radius": "2.6758657e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 3,
      "u": 7,
      "rational": "37/19",
      "ball": "[1.9473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684 +/- 4.69e-152]",
      "radius": "3.1390840e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 3,
      "u": 8,
      "rational": "27/19",
      "ball": "[1.4210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526 +/- 5.78e-152]",
      "radius": "3.1058248e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 3,
      "u": 9,
      "rational": "41/19",
      "ball": "[2.1578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 6.02e-152]",
      "radius": "2.8992867e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 4,
      "u": 1,
      "rational": "9/19",
      "ball": "[0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 2.20e-152]",
      "radius": "1.2853116e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 4,
      "u": 2,
      "rational": "17/19",
      "ball": "[0.8947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368 +/- 6.22e-152]",
      "radius": "2.2935809e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 4,
      "u": 3,
      "rational": "5/19",
      "ball": "[0.2631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 2.39e-152]",
      "radius": "1.7374801e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 4,
      "u": 4,
      "rational": "11/19",
      "ball": "[0.5789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789474 +/- 4.52e-152]",
      "radius": "1.2733583e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 4,
      "u": 5,
      "rational": "35/19",
      "ball": "[1.8421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421053 +/- 6.68e-152]",
      "radius": "2.7517004e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 4,
      "u": 6,
      "rational": "39/19",
      "ball": "[2.0526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526316 +/- 5.94e-152]",
      "radius": "3.3964902e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 4,
      "u": 7,
      "rational": "23/19",
      "ball": "[1.2105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263 +/- 3.76e-152]",
      "radius": "2.5665498e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 4,
      "u": 8,
      "rational": "25/19",
      "ball": "[1.3157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157895 +/- 5.24e-152]",
      "radius": "2.3736808e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 4,
      "u": 9,
      "rational": "45/19",
      "ball": "[2.3684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210 +/- 8.11e-152]",
      "radius": "3.3058607e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 19,
      "q": 6,
      "u": 1,
      "rational": "-13/19",
      "ball": "[-0.6842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 4.41e-152]",
      "radius": "1.5733268e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 6,
      "u": 2,
      "rational": "-33/19",
      "ball": "[-1.7368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 4.99e-152]",
      "radius": "3.8677565e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 6,
      "u": 3,
      "rational": "-41/19",
      "ball": "[-2.1578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 9.20e-152]",
      "radius": "4.7048637e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 6,
      "u": 4,
      "rational": "-37/19",
      "ball": "[-1.9473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684 +/- 7.49e-152]",
      "radius": "4.7605007e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 6,
      "u": 5,
      "rational": "-21/19",
      "ball": "[-1.1052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052632 +/- 7.39e-152]",
      "radius": "3.4536659e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 6,
      "u": 6,
      "rational": "7/19",
      "ball": "[0.3684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684211 +/- 6.64e-152]",
      "radius": "1.7268130e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 6,
      "u": 7,
      "rational": "9/19",
      "ball": "[0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 3.09e-152]",
      "radius": "2.5085417e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 6,
      "u": 8,
      "rational": "-15/19",
      "ball": "[-0.7894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894737 +/- 5.14e-152]",
      "radius": "4.4683742e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 6,
      "u": 9,
      "rational": "-27/19",
      "ball": "[-1.421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421053 +/- 4.13e-151]",
      "radius": "5.3526650e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 7,
      "u": 1,
      "rational": "-3/19",
      "ball": "[-0.1578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 5.41e-152]",
      "radius": "1.5097628e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 7,
      "u": 2,
      "rational": "7/19",
      "ball": "[0.3684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210 +/- 7.10e-152]",
      "radius": "2.1409447e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 7,
      "u": 3,
      "rational": "11/19",
      "ball": "[0.5789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789474 +/- 6.31e-152]",
      "radius": "2.7237557e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 7,
      "u": 4,
      "rational": "9/19",
      "ball": "[0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 3.45e-152]",
      "radius": "2.8291596e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 7,
      "u": 5,
      "rational": "1/19",
      "ball": "[0.0526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526316 +/- 4.68e-152]",
      "radius": "2.2855278e-152",
      "relative_accuracy_bits": 498
    },
    {
      "p": 19,
      "q": 7,
      "u": 6,
      "rational": "-13/19",
      "ball": "[-0.6842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 5.23e-152]",
      "radius": "2.4586030e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 7,
      "u": 7,
      "rational": "5/19",
      "ball": "[0.2631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 2.50e-152]",
      "radius": "1.8940918e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 7,
      "u": 8,
      "rational": "17/19",
      "ball": "[0.8947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368 +/- 7.03e-152]",
      "radius": "3.0716739e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 7,
      "u": 9,
      "rational": "23/19",
      "ball": "[1.2105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263 +/- 4.41e-152]",
      "radius": "3.2101514e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 8,
      "u": 1,
      "rational": "-5/19",
      "ball": "[-0.2631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 2.27e-152]",
      "radius": "1.8944337e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 8,
      "u": 2,
      "rational": "-1/19",
      "ball": "[-0.0526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526316 +/- 4.35e-152]",
      "radius": "2.4801868e-152",
      "relative_accuracy_bits": 498
    },
    {
      "p": 19,
      "q": 8,
      "u": 3,
      "rational": "-7/19",
      "ball": "[-0.3684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684211 +/- 6.56e-152]",
      "radius": "2.0998898e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 8,
      "u": 4,
      "rational": "-23/19",
      "ball": "[-1.2105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263 +/- 4.93e-152]",
      "radius": "3.1480250e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 8,
      "u": 5,
      "rational": "-11/19",
      "ball": "[-0.5789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789474 +/- 5.77e-152]",
      "radius": "2.7738057e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 8,
      "u": 6,
      "rational": "-9/19",
      "ball": "[-0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 4.30e-152]",
      "radius": "3.1825832e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 8,
      "u": 7,
      "rational": "-17/19",
      "ball": "[-0.8947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368 +/- 7.72e-152]",
      "radius": "3.3502460e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 8,
      "u": 8,
      "rational": "3/19",
      "ball": "[0.1578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 5.47e-152]",
      "radius": "1.8769108e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 8,
      "u": 9,
      "rational": "13/19",
      "ball": "[0.6842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 5.30e-152]",
      "radius": "3.0188997e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 1,
      "rational": "-15/19",
      "ball": "[-0.7894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894737 +/- 3.26e-152]",
      "radius": "2.1053495e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 2,
      "rational": "-41/19",
      "ball": "[-2.157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157895 +/- 3.09e-151]",
      "radius": "5.8628240e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 19,
      "q": 9,
      "u": 3,
      "rational": "-59/19",
      "ball": "[-3.105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263 +/- 2.75e-151]",
      "radius": "9.0663566e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 4,
      "rational": "-69/19",
      "ball": "[-3.631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 1.36e-151]",
      "radius": "1.1144294e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 5,
      "rational": "-71/19",
      "ball": "[-3.736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 2.49e-151]",
      "radius": "1.1419054e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 6,
      "rational": "-65/19",
      "ball": "[-3.421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421053 +/- 4.57e-151]",
      "radius": "1.0982492e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 7,
      "rational": "-51/19",
      "ball": "[-2.684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684211 +/- 5.43e-151]",
      "radius": "8.6515640e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 8,
      "rational": "-29/19",
      "ball": "[-1.5263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263158 +/- 5.58e-152]",
      "radius": "5.3338782e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 9,
      "u": 9,
      "rational": "1/19",
      "ball": "[0.0526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526316 +/- 4.28e-152]",
      "radius": "2.1137585e-152",
      "relative_accuracy_bits": 498
    },
    {
      "p": 19,
      "q": 14,
      "u": 1,
      "rational": "-11/19",
      "ball": "[-0.5789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789474 +/- 6.26e-152]",
      "radius": "3.7345704e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 14,
      "u": 2,
      "rational": "-25/19",
      "ball": "[-1.3157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157895 +/- 9.19e-152]",
      "radius": "7.9758905e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 14,
      "u": 3,
      "rational": "-23/19",
      "ball": "[-1.210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526 +/- 4.08e-151]",
      "radius": "7.8019469e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 14,
      "u": 4,
      "rational": "-5/19",
      "ball": "[-0.2631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631579 +/- 4.29e-152]",
      "radius": "4.2442190e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 19,
      "q": 14,
      "u": 5,
      "rational": "-9/19",
      "ball": "[-0.4736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842 +/- 4.07e-152]",
      "radius": "2.6650619e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 14,
      "u": 6,
      "rational": "-35/19",
      "ball": "[-1.8421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421053 +/- 9.50e-152]",
      "radius": "6.8545760e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 14,
      "u": 7,
      "rational": "-45/19",
      "ball": "[-2.368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 1.62e-151]",
      "radius": "9.5522508e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 14,
      "u": 8,
      "rational": "-39/19",
      "ball": "[-2.052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052632 +/- 4.96e-151]",
      "radius": "8.3617931e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 14,
      "u": 9,
      "rational": "-17/19",
      "ball": "[-0.8947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368 +/- 8.85e-152]",
      "radius": "4.3933955e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 18,
      "u": 1,
      "rational": "-17/19",
      "ball": "[-0.8947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368 +/- 7.52e-152]",
      "radius": "2.7871847e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 2,
      "rational": "-49/19",
      "ball": "[-2.578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947 +/- 4.75e-151]",
      "radius": "8.7785115e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 3,
      "rational": "-77/19",
      "ball": "[-4.052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052632 +/- 5.43e-151]",
      "radius": "1.5929682e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 4,
      "rational": "-101/19",
      "ball": "[-5.315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315790 +/- 7.03e-151]",
      "radius": "2.2759711e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 5,
      "rational": "-121/19",
      "ball": "[-6.368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421052631578947368421 +/- 4.19e-151]",
      "radius": "2.9399897e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 6,
      "rational": "-137/19",
      "ball": "[-7.210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526 +/- 7.55e-151]",
      "radius": "3.5588931e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 18,
      "u": 7,
      "rational": "-149/19",
      "ball": "[-7.842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105 +/- 7.46e-151]",
      "radius": "3.9409668e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 19,
      "q": 18,
      "u": 8,
      "rational": "-157/19",
      "ball": "[-8.263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263157894736842105263158 +/- 4.28e-151]",
      "radius": "4.1782517e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 19,
      "q": 18,
      "u": 9,
      "rational": "-161/19",
      "ball": "[-8.473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684210526315789473684 +/- 7.28e-151]",
      "radius": "4.2422702e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 1,
      "u": 1,
      "rational": "9/10",
      "ball": "[0.90000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.21e-153]",
      "radius": "6.2009386e-153",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 2,
      "rational": "13/5",
      "ball": "[2.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.06e-152]",
      "radius": "1.8087513e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 20,
      "q": 1,
      "u": 3,
      "rational": "41/10",
      "ball": "[4.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.72e-152]",
      "radius": "3.4671925e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 20,
      "q": 1,
      "u": 4,
      "rational": "27/5",
      "ball": "[5.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.86e-152]",
      "radius": "4.3341218e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 5,
      "rational": "13/2",
      "ball": "[6.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.80e-152]",
      "radius": "4.8356375e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 6,
      "rational": "37/5",
      "ball": "[7.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.99e-152]",
      "radius": "7.2242489e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 7,
      "rational": "81/10",
      "ball": "[8.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.28e-152]",
      "radius": "7.6040220e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 20,
      "q": 1,
      "u": 8,
      "rational": "43/5",
      "ball": "[8.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 9.06e-152]",
      "radius": "7.7894954e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 9,
      "rational": "89/10",
      "ball": "[8.9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 8.91e-152]",
      "radius": "7.6680296e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 1,
      "u": 10,
      "rational": "9",
      "ball": "[9.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 7.08e-152]",
      "radius": "5.8786479e-152",
      "relative_accuracy_bits": 505
    },
    {
      "p": 20,
      "q": 3,
      "u": 1,
      "rational": "3/10",
      "ball": "[0.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.09e-152]",
      "radius": "9.7869234e-153",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 3,
      "u": 2,
      "rational": "1/5",
      "ball": "[0.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.47e-152]",
      "radius": "1.3350197e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 3,
      "u": 3,
      "rational": "7/10",
      "ball": "[0.7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.28e-152]",
      "radius": "1.1978673e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 3,
      "u": 4,
      "rational": "9/5",
      "ball": "[1.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.75e-152]",
      "radius": "2.3553915e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 3,
      "u": 5,
      "rational": "3/2",
      "ball": "[1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.73e-152]",
      "radius": "2.2302815e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 3,
      "u": 6,
      "rational": "9/5",
      "ball": "[1.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.10e-152]",
      "radius": "2.7788481e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 3,
      "u": 7,
      "rational": "27/10",
      "ball": "[2.7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.86e-152]",
      "radius": "3.4123185e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 3,
      "u": 8,
      "rational": "11/5",
      "ball": "[2.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.95e-152]",
      "radius": "3.3207950e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 3,
      "u": 9,
      "rational": "23/10",
      "ball": "[2.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.70e-152]",
      "radius": "3.2120956e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 3,
      "u": 10,
      "rational": "3",
      "ball": "[3.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.41e-152]",
      "radius": "2.7175569e-152",
      "relative_accuracy_bits": 504
    },
    {
      "p": 20,
      "q": 9,
      "u": 1,
      "rational": "1/10",
      "ball": "[0.100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.62e-152]",
      "radius": "1.4667150e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 20,
      "q": 9,
      "u": 2,
      "rational": "-3/5",
      "ball": "[-0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.77e-152]",
      "radius": "2.2600751e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 3,
      "rational": "-11/10",
      "ball": "[-1.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.57e-152]",
      "radius": "3.6173640e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 9,
      "u": 4,
      "rational": "-7/5",
      "ball": "[-1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.38e-152]",
      "radius": "4.2272629e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 5,
      "rational": "-3/2",
      "ball": "[-1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.51e-152]",
      "radius": "4.2675049e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 6,
      "rational": "-7/5",
      "ball": "[-1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.60e-152]",
      "radius": "4.5821957e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 7,
      "rational": "-11/10",
      "ball": "[-1.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.87e-152]",
      "radius": "4.1149960e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 8,
      "rational": "-3/5",
      "ball": "[-0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.04e-152]",
      "radius": "3.5673557e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 9,
      "u": 9,
      "rational": "1/10",
      "ball": "[0.100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.35e-152]",
      "radius": "2.1865508e-152",
      "relative_accuracy_bits": 499
    },
    {
      "p": 20,
      "q": 9,
      "u": 10,
      "rational": "1",
      "ball": "[1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.16e-152]",
      "radius": "1.7955547e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 11,
      "u": 1,
      "rational": "-1/10",
      "ball": "[-0.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.88e-152]",
      "radius": "1.6527165e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 20,
      "q": 11,
      "u": 2,
      "rational": "3/5",
      "ball": "[0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.12e-152]",
      "radius": "2.5070612e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 3,
      "rational": "11/10",
      "ball": "[1.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.96e-152]",
      "radius": "4.0375571e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 4,
      "rational": "7/5",
      "ball": "[1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.81e-152]",
      "radius": "4.5657339e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 5,
      "rational": "3/2",
      "ball": "[1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.95e-152]",
      "radius": "4.6369257e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 6,
      "rational": "7/5",
      "ball": "[1.4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.34e-152]",
      "radius": "4.9699898e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 7,
      "rational": "11/10",
      "ball": "[1.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.79e-152]",
      "radius": "4.4917631e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 11,
      "u": 8,
      "rational": "3/5",
      "ball": "[0.6000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.97e-152]",
      "radius": "4.0105135e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 11,
      "u": 9,
      "rational": "-1/10",
      "ball": "[-0.1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.15e-152]",
      "radius": "2.4837985e-152",
      "relative_accuracy_bits": 499
    },
    {
      "p": 20,
      "q": 11,
      "u": 10,
      "rational": "-1",
      "ball": "[-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.41e-152]",
      "radius": "2.1680223e-152",
      "relative_accuracy_bits": 503
    },
    {
      "p": 20,
      "q": 13,
      "u": 1,
      "rational": "-7/10",
      "ball": "[-0.7000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.29e-152]",
      "radius": "3.2803361e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 13,
      "u": 2,
      "rational": "-9/5",
      "ball": "[-1.800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.14e-151]",
      "radius": "8.4920154e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 13,
      "u": 3,
      "rational": "-23/10",
      "ball": "[-2.300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.54e-151]",
      "radius": "1.1245649e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 13,
      "u": 4,
      "rational": "-11/5",
      "ball": "[-2.200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.51e-151]",
      "radius": "1.1171516e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 13,
      "u": 5,
      "rational": "-3/2",
      "ball": "[-1.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.01e-151]",
      "radius": "7.6646625e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 13,
      "u": 6,
      "rational": "-1/5",
      "ball": "[-0.2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.51e-152]",
      "radius": "3.7856765e-152",
      "relative_accuracy_bits": 500
    },
    {
      "p": 20,
      "q": 13,
      "u": 7,
      "rational": "-3/10",
      "ball": "[-0.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.36e-152]",
      "radius": "2.7220172e-152",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 13,
      "u": 8,
      "rational": "-9/5",
      "ball": "[-1.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 9.08e-152]",
      "radius": "7.1015794e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 13,
      "u": 9,
      "rational": "-27/10",
      "ball": "[-2.700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.50e-151]",
      "radius": "1.1166623e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 13,
      "u": 10,
      "rational": "-3",
      "ball": "[-3.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.59e-151]",
      "radius": "1.1443135e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 1,
      "rational": "-9/10",
      "ball": "[-0.9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.41e-152]",
      "radius": "2.8674401e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 2,
      "rational": "-13/5",
      "ball": "[-2.600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 1.11e-151]",
      "radius": "9.1848057e-152",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 3,
      "rational": "-41/10",
      "ball": "[-4.100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.08e-151]",
      "radius": "1.6838183e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 4,
      "rational": "-27/5",
      "ball": "[-5.400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 2.98e-151]",
      "radius": "2.4176146e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 5,
      "rational": "-13/2",
      "ball": "[-6.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.74e-151]",
      "radius": "3.0440614e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 6,
      "rational": "-37/5",
      "ball": "[-7.400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 4.63e-151]",
      "radius": "3.7726064e-151",
      "relative_accuracy_bits": 501
    },
    {
      "p": 20,
      "q": 19,
      "u": 7,
      "rational": "-81/10",
      "ball": "[-8.100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.20e-151]",
      "radius": "4.2522076e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 8,
      "rational": "-43/5",
      "ball": "[-8.600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.52e-151]",
      "radius": "4.5915504e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 9,
      "rational": "-89/10",
      "ball": "[-8.900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.71e-151]",
      "radius": "4.7517967e-151",
      "relative_accuracy_bits": 502
    },
    {
      "p": 20,
      "q": 19,
      "u": 10,
      "rational": "-9",
      "ball": "[-9.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 5.59e-151]",
      "radius": "4.6427510e-151",
      "relative_accuracy_bits": 502
    }
  ],
  "live_eta_difference_checks_before_fill": 550,
  "source_manifest": {
    "toffoli-thesis.pdf": {
      "url": "https://d-nb.info/1194646867/34",
      "error": "HTTPError"
    },
    "saglam.pdf": {
      "url": "https://www.uni-muenster.de/FB10/mjm/vol_15/mjm_vol_15_12.pdf",
      "sha256": "2d7c454b7e324b85a3c9326f033e6abcfa7312adaec2308a16b9f3153b13aacd"
    },
    "toffoli-article.html": {
      "url": "https://www.cambridge.org/core/journals/proceedings-of-the-edinburgh-mathematical-society/article/atiyahpatodisinger-rho-invariant-and-signatures-of-links/4BC45AB3FD65076115A82564AAAB23E0",
      "sha256": "1f431336e20ea2e053a386f2deb9f28cca2de80d05d30110accf990f22e6d305"
    },
    "T622": {
      "url": "https://numberdb.org/Atiyah_Patodi_Singer_eta_invariants_of_lens_spaces",
      "document_sha256": "1e4e6aa861c9ce4c91bd94080a12c3a0478b7f4dcbb1c06cd271d2c788a4d0a8"
    },
    "T599": {
      "url": "https://numberdb.org/Ray_Singer_torsion_of_lens_spaces",
      "document_sha256": "6359e0de5e4f29de03b6c3a16297a5a9b4cea4d04a7044e37e09226d57c8a3b3"
    },
    "toffoli-thesis-alternate.pdf": {
      "url": "https://epub.uni-regensburg.de/40688/1/thesis.pdf",
      "sha256": "d56fe0fb4d47f8a8141c60c7b9fbfbf27565e091dbf62c564cc6affc7deefca5"
    }
  },
  "archived_skill_versions": {
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      }
    ],
    "unavailable": [],
    "status": "ready",
    "policy": "Read the archived current canonical skill. One valid version is enough; two valid versions must match. Coordinate mismatches before starting."
  },
  "source_hashes": {
    "generate.py": "b3e36c65f739078268883507554e2730f378825886e9dbbfbcf6aacc8900cee9",
    "checks.py": "90a71e4c5c72e1822862ce61a594062ba7ef6c336102239365414b0be1090629",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "7ef83b1b06f0e60a573fc82c11254ef13d41eabec6127fc995fc923a3bbcb7d4"
  },
  "selection_q_by_p": {
    "2": [
      1
    ],
    "3": [
      1,
      2
    ],
    "4": [
      1,
      3
    ],
    "5": [
      1,
      2,
      4
    ],
    "6": [
      1,
      5
    ],
    "7": [
      1,
      2,
      3,
      6
    ],
    "8": [
      1,
      3,
      5,
      7
    ],
    "9": [
      1,
      2,
      4,
      8
    ],
    "10": [
      1,
      3,
      9
    ],
    "11": [
      1,
      2,
      3,
      5,
      7,
      10
    ],
    "12": [
      1,
      5,
      7,
      11
    ],
    "13": [
      1,
      2,
      3,
      4,
      5,
      6,
      12
    ],
    "14": [
      1,
      3,
      9,
      13
    ],
    "15": [
      1,
      2,
      4,
      7,
      11,
      14
    ],
    "16": [
      1,
      3,
      5,
      7,
      9,
      15
    ],
    "17": [
      1,
      2,
      3,
      4,
      5,
      8,
      10,
      11,
      16
    ],
    "18": [
      1,
      5,
      7,
      17
    ],
    "19": [
      1,
      2,
      3,
      4,
      6,
      7,
      8,
      9,
      14,
      18
    ],
    "20": [
      1,
      3,
      9,
      11,
      13,
      19
    ]
  },
  "independence": "The exact generator uses a one-dimensional prefix sum of sawtooths. The checks count weighted lattice points geometrically, evaluate a trigonometric sum with Arb enclosures, compare a separate exact eta convolution, and read the live companion T622. Local verification is not the campaign independent critique.",
  "postfill_checks": {
    "table": "T623",
    "mode": "stored",
    "skill_manifest": "agents/runs/20261030T101710Z-build-skills/manifest.json",
    "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "environment": {
      "python": "3.12.3",
      "numberdb": "0.1.10",
      "sage": "10.9"
    },
    "controls": {
      "2,1,1": "0",
      "3,1,1": "1/3",
      "3,2,1": "-1/3",
      "5,1,2": "7/5"
    },
    "verify": "<VerifyReport T623: 550/550 matched, 0 differing, 0 missing, 0 extra>",
    "live_eta_difference_checks": 550,
    "program_checks": 550,
    "entries": 550,
    "presentations": 87,
    "measurement": {
      "entries": 550,
      "longest": 7,
      "longest_at": [
        17,
        16,
        5
      ],
      "block_kb": 24.5224609375
    },
    "lattice_checks": 550,
    "eta_convolution_checks": 550,
    "ball_checks": 550,
    "ball_precision_bits": 512,
    "max_ball_radius": "[4.7517966976672505723447270492555085879307276812323053774206450206545953653890952138227313708087893340714613262237928806438013798972822902121539076733135302846e-151 +/- 3.05e-309]",
    "minimum_nonzero_relative_bits": 498,
    "full_domain_labels": 1744,
    "full_domain_identities": "conjugation, orientation, exchange, homogeneous, eta difference, lattice counts, reconstruction from selected rows, full character sum",
    "zero_entries": 8,
    "unique_values": 371
  }
}