argument-audit.json

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

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

{
  "tid": "T513",
  "status": "coupling_selection_unresolved_prose_only",
  "parameters": {
    "ell": "The nonnegative angular momentum index labels partial waves. The existing s,p,d,f prefix is a modest truncation, not a completeness claim.",
    "eta": "Zero is an intrinsic free-wave degeneration. +/-1/2,+/-1,+/-2 remain conventional reference couplings; signs describe attraction/repulsion but do not select those magnitudes.",
    "n": "The strictly positive radial-zero ordinal is intrinsic at fixed ell and eta. It does not make the independently chosen eta values intrinsic."
  },
  "physical_caveat": "At fixed physical charges and masses, eta depends on scattering energy. Fixed-eta radial zeros are not the energy spectrum of a fixed physical Coulomb Hamiltonian.",
  "action": "Keep all 336 numbers, parameter keys, annotations, equalities, generators and existing sources unchanged. Clarify the scientifically unresolved coupling selection only.",
  "sources": [
    "https://dlmf.nist.gov/33.2",
    "https://dlmf.nist.gov/33.22.E4",
    "https://dlmf.nist.gov/33.5"
  ],
  "validation": {
    "all_stored_endpoint_brackets": 336,
    "independent_free_case_checks": 48,
    "index_proof": "For |eta|<=2, ell>=0, the coefficient recurrence bounds |a_k|<=5^k. F>0 on (0,1/16]. Positivity of G(1/16) and (G/F)prime=-1/F^2 imply G>0 there. On [1/16,infinity), q<=65 gives root separation >=pi/sqrt(65)>1/4 by integration by parts and Wirtinger. Nonzero scan signs at spacing 1/4 therefore count all simple zeros.",
    "records": [
      {
        "ell": "0",
        "eta": "0",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "25/16",
          "29/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "73/16",
          "77/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "125/16",
          "129/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "173/16",
          "177/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "273/16",
          "277/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "325/16",
          "329/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "373/16",
          "377/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "425/16",
          "429/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "477/16",
          "481/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "525/16",
          "529/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "0",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "577/16",
          "581/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "41/16",
          "45/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "97/16",
          "101/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "149/16",
          "153/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "205/16",
          "209/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "257/16",
          "261/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "309/16",
          "313/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "361/16",
          "365/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "409/16",
          "413/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "461/16",
          "465/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "513/16",
          "517/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "565/16",
          "569/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "613/16",
          "617/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "13/16",
          "17/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "53/16",
          "57/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "101/16",
          "105/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "145/16",
          "149/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "193/16",
          "197/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "245/16",
          "249/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "293/16",
          "297/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "341/16",
          "345/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "389/16",
          "393/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "441/16",
          "445/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "489/16",
          "493/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "537/16",
          "541/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "57/16",
          "61/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "121/16",
          "125/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "177/16",
          "181/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "233/16",
          "237/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "285/16",
          "289/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "337/16",
          "341/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "393/16",
          "397/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "445/16",
          "449/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "497/16",
          "501/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "601/16",
          "605/16"
        ]
      },
      {
        "ell": "0",
        "eta": "1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "653/16",
          "657/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "5/16",
          "9/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "41/16",
          "45/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "81/16",
          "85/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "125/16",
          "129/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "169/16",
          "173/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "217/16",
          "221/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "265/16",
          "269/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "313/16",
          "317/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "361/16",
          "365/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "409/16",
          "413/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "457/16",
          "461/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "505/16",
          "509/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "97/16",
          "101/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "165/16",
          "169/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "285/16",
          "289/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "341/16",
          "345/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "397/16",
          "401/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "449/16",
          "453/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "505/16",
          "509/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "557/16",
          "561/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "613/16",
          "617/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "665/16",
          "669/16"
        ]
      },
      {
        "ell": "0",
        "eta": "2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "717/16",
          "721/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "1/16",
          "5/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "25/16",
          "29/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "57/16",
          "61/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "93/16",
          "97/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "133/16",
          "137/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "173/16",
          "177/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "217/16",
          "221/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "265/16",
          "269/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "309/16",
          "313/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "353/16",
          "357/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "401/16",
          "405/16"
        ]
      },
      {
        "ell": "0",
        "eta": "-2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "449/16",
          "453/16"
        ]
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "41/16",
          "45/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "97/16",
          "101/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "149/16",
          "153/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "197/16",
          "201/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "249/16",
          "253/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "297/16",
          "301/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "349/16",
          "353/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "401/16",
          "405/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "449/16",
          "453/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "501/16",
          "505/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "0",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "601/16",
          "605/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "57/16",
          "61/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "113/16",
          "117/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "169/16",
          "173/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "221/16",
          "225/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "273/16",
          "277/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "325/16",
          "329/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "377/16",
          "381/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "429/16",
          "433/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "481/16",
          "485/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "529/16",
          "533/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "581/16",
          "585/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "633/16",
          "637/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "33/16",
          "37/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "81/16",
          "85/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "129/16",
          "133/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "177/16",
          "181/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "273/16",
          "277/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "321/16",
          "325/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "373/16",
          "377/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "421/16",
          "425/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "469/16",
          "473/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "521/16",
          "525/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "569/16",
          "573/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "69/16",
          "73/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "133/16",
          "137/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "189/16",
          "193/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "245/16",
          "249/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "297/16",
          "301/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "353/16",
          "357/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "405/16",
          "409/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "457/16",
          "461/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "509/16",
          "513/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "561/16",
          "565/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "613/16",
          "617/16"
        ]
      },
      {
        "ell": "1",
        "eta": "1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "665/16",
          "669/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "25/16",
          "29/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "65/16",
          "69/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "109/16",
          "113/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "157/16",
          "161/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "205/16",
          "209/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "249/16",
          "253/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "297/16",
          "301/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "345/16",
          "349/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "393/16",
          "397/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "445/16",
          "449/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "493/16",
          "497/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "541/16",
          "545/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "101/16",
          "105/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "173/16",
          "177/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "233/16",
          "237/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "293/16",
          "297/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "349/16",
          "353/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "405/16",
          "409/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "457/16",
          "461/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "513/16",
          "517/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "565/16",
          "569/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "617/16",
          "621/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "673/16",
          "677/16"
        ]
      },
      {
        "ell": "1",
        "eta": "2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "725/16",
          "729/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "17/16",
          "21/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "49/16",
          "53/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "85/16",
          "89/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "125/16",
          "129/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "169/16",
          "173/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "209/16",
          "213/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "257/16",
          "261/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "301/16",
          "305/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "349/16",
          "353/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "393/16",
          "397/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "441/16",
          "445/16"
        ]
      },
      {
        "ell": "1",
        "eta": "-2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "489/16",
          "493/16"
        ]
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "61/16",
          "65/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "117/16",
          "121/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "169/16",
          "173/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "221/16",
          "225/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "273/16",
          "277/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "321/16",
          "325/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "373/16",
          "377/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "425/16",
          "429/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "473/16",
          "477/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "525/16",
          "529/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "573/16",
          "577/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "0",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "625/16",
          "629/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "73/16",
          "77/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "133/16",
          "137/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "189/16",
          "193/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "241/16",
          "245/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "293/16",
          "297/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "345/16",
          "349/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "397/16",
          "401/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "449/16",
          "453/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "501/16",
          "505/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "601/16",
          "605/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "653/16",
          "657/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "53/16",
          "57/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "105/16",
          "109/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "153/16",
          "157/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "201/16",
          "205/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "253/16",
          "257/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "301/16",
          "305/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "349/16",
          "353/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "401/16",
          "405/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "449/16",
          "453/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "497/16",
          "501/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "597/16",
          "601/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "85/16",
          "89/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "149/16",
          "153/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "205/16",
          "209/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "261/16",
          "265/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "317/16",
          "321/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "369/16",
          "373/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "421/16",
          "425/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "473/16",
          "477/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "525/16",
          "529/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "577/16",
          "581/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "629/16",
          "633/16"
        ]
      },
      {
        "ell": "2",
        "eta": "1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "681/16",
          "685/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "45/16",
          "49/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "89/16",
          "93/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "137/16",
          "141/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "185/16",
          "189/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "233/16",
          "237/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "281/16",
          "285/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "329/16",
          "333/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "377/16",
          "381/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "425/16",
          "429/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "473/16",
          "477/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "521/16",
          "525/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "573/16",
          "577/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "113/16",
          "117/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "185/16",
          "189/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "245/16",
          "249/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "305/16",
          "309/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "361/16",
          "365/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "417/16",
          "421/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "469/16",
          "473/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "525/16",
          "529/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "577/16",
          "581/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "633/16",
          "637/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "685/16",
          "689/16"
        ]
      },
      {
        "ell": "2",
        "eta": "2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "737/16",
          "741/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "33/16",
          "37/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "69/16",
          "73/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "113/16",
          "117/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "153/16",
          "157/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "197/16",
          "201/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "241/16",
          "245/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "289/16",
          "293/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "333/16",
          "337/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "381/16",
          "385/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "429/16",
          "433/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "473/16",
          "477/16"
        ]
      },
      {
        "ell": "2",
        "eta": "-2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "521/16",
          "525/16"
        ]
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "81/16",
          "85/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "137/16",
          "141/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "193/16",
          "197/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "245/16",
          "249/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "293/16",
          "297/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "345/16",
          "349/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "397/16",
          "401/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "445/16",
          "449/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "497/16",
          "501/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "597/16",
          "601/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "0",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "649/16",
          "653/16"
        ],
        "mpmath_free_case_140_digits": true
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "89/16",
          "93/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "153/16",
          "157/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "209/16",
          "213/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "261/16",
          "265/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "313/16",
          "317/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "365/16",
          "369/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "417/16",
          "421/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "469/16",
          "473/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "521/16",
          "525/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "573/16",
          "577/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "625/16",
          "629/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "673/16",
          "677/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "69/16",
          "73/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "125/16",
          "129/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "177/16",
          "181/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "277/16",
          "281/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "325/16",
          "329/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "377/16",
          "381/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "425/16",
          "429/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "473/16",
          "477/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "525/16",
          "529/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "573/16",
          "577/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1/2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "625/16",
          "629/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "101/16",
          "105/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "165/16",
          "169/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "281/16",
          "285/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "333/16",
          "337/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "389/16",
          "393/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "441/16",
          "445/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "493/16",
          "497/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "545/16",
          "549/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "597/16",
          "601/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "649/16",
          "653/16"
        ]
      },
      {
        "ell": "3",
        "eta": "1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "701/16",
          "705/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "61/16",
          "65/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "113/16",
          "117/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "161/16",
          "165/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "209/16",
          "213/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "257/16",
          "261/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "305/16",
          "309/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "357/16",
          "361/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "405/16",
          "409/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "453/16",
          "457/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "501/16",
          "505/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "549/16",
          "553/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-1",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "601/16",
          "605/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "129/16",
          "133/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "201/16",
          "205/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "261/16",
          "265/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "317/16",
          "321/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "377/16",
          "381/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "429/16",
          "433/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "485/16",
          "489/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "541/16",
          "545/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "593/16",
          "597/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "645/16",
          "649/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "701/16",
          "705/16"
        ]
      },
      {
        "ell": "3",
        "eta": "2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "753/16",
          "757/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 1,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "49/16",
          "53/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 2,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "93/16",
          "97/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 3,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "137/16",
          "141/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 4,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "181/16",
          "185/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 5,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "225/16",
          "229/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 6,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "273/16",
          "277/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 7,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "317/16",
          "321/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 8,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "365/16",
          "369/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 9,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "413/16",
          "417/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 10,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "457/16",
          "461/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 11,
        "stored_endpoint_signs": [
          1,
          -1
        ],
        "indexed_bracket": [
          "505/16",
          "509/16"
        ]
      },
      {
        "ell": "3",
        "eta": "-2",
        "n": 12,
        "stored_endpoint_signs": [
          -1,
          1
        ],
        "indexed_bracket": [
          "553/16",
          "557/16"
        ]
      }
    ]
  }
}