{
 "_provenance": {
  "copied_from": "the weight-3 and weight-4 closure tables of this work (sha256_16 0409a08a73cc3c8e), copied 2026-07-04 for the site page; sources below",
  "w3_2var": {
   "source": "weight-3 closure table, 2026-07-03 (verified identical to the weight-3 fit table vendored earlier)",
   "sha256_16": "a8df024878f087e9",
   "agreement_at_close": "109.5-112.9 digits on 20 comparison points of 4 slices {-7/2,-3,-5/2,-3/2} never used in any fit; two-precision dps130==dps160",
   "encoding": "[coeff(Q), kt, xword, ks, yword, const]; column = log(x)^kt/kt! * G(xword;x) * log(y)^ks/ks! * G(yword;y) * const; x=-t, x-letters [0,-1,s,s/(1-s),-s^2]; y=-s, y-letters [0,1,-1]; const in {1,z2,z3} (classical only; the earlier interim \"new weight-3 transcendental\" was the numeric transport boundary at t = -1/3, not a new period, and is withdrawn)"
  },
  "w4t_2var": {
   "source": "weight-4 t-sector closure table, 2026-07-03",
   "sha256_16": "a2c3f473572d7899",
   "status": "ENTIRE t-dependent sector of w4, exact Q; certified: g4_data minus this sector is t-INDEPENDENT to ~1e-79 across 45 s-values",
   "remaining": "pure-y block C4(y): 67 unknowns rank 53, 14-dim gap at the time this sector closed; see note",
   "encoding": "same as w3_2var; const in {1,z2,z3}"
  },
  "w4_purey_exact": {
   "source": "weight-4 pure-y closure table, 2026-07-03 (v3, terms_exact_purey)",
   "dual_decode": "a second, independent lattice decode of the same block (projection-CVP vs gauge-invariant quotient) agreed on all 29 terms, Fraction-exact set comparison, 2026-07-03",
   "constants": "classical only: 1, z2, z3, z4 (max coeff height 38, dens {1,3,4})",
   "agreement": "109.73-111.13 digits on 20 comparison points of 4 slices never used in any fit; all 44 fit-sample points are FIT DATA, excluded",
   "supersedes": "w4_purey_num (82 interim ~50-digit numeric coefficients) \u2014 removed 2026-07-03"
  },
  "gate_feed": {
   "source": "20 AMFlow comparison points (goal 120 digits), 2026-07-03",
   "sha256_16": "fa4289284b45beb0",
   "role": "comparison literals only; all 20 points on slices s in {-7/2,-3,-5/2,-3/2} were never used in any fit (none marked fit-contaminated -> none excluded); g4 refs compared via fixed-s t-DIFFERENCES (pure-y block cancels)",
   "point_21": "a twenty-first comparison point (s, t) = (-4, -2) on a fifth slice s = -4, never used in any fit, added 2026-09-06 from one AMFlow solve_integrals run at goal 120 (out sha256_16 f338ab40c9f9d1c5; its goal-100 twin 4d0939b773bf252d agrees to 109.0 digits on g3 and 110.2 on g4): the Laurent coefficients eps^-4..eps^0 of J stripped to g by g = R e^(2 eps gamma_E) eps^4 J, R = s^2 (t-1) = -48 (the convention of c3-dbox-evaluate.py), and cut at 110 significant digits as the twenty earlier strings; the ball radii certify 128 (g3) and 130 (g4) digits; the same strip reproduces five of the twenty earlier strings byte for byte from their own goal-120 outputs"
  },
  "note": "w4t_2var 'remaining' field is historical: the pure-y C4(y) gap it names was CLOSED by w4_purey_exact (29 exact terms, dual-decode confirmed); full g4 = w4t_2var + w4_purey_exact, all exact."
 },
 "w3_2var": [
  [
   "14",
   0,
   [],
   0,
   [
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "-6",
   0,
   [],
   0,
   [
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "8",
   0,
   [],
   0,
   [
    0,
    2,
    2
   ],
   "1"
  ],
  [
   "-6",
   0,
   [],
   0,
   [
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "-8",
   0,
   [],
   0,
   [
    1,
    0,
    2
   ],
   "1"
  ],
  [
   "-10",
   0,
   [],
   1,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "6",
   0,
   [],
   1,
   [
    1,
    1
   ],
   "1"
  ],
  [
   "6",
   0,
   [],
   2,
   [
    1
   ],
   "1"
  ],
  [
   "-8",
   0,
   [],
   3,
   [],
   "1"
  ],
  [
   "-8",
   0,
   [
    1
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    1
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    1
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    1
   ],
   2,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    2
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "4",
   0,
   [
    2
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-8",
   0,
   [
    2
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-8",
   0,
   [
    3
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    3
   ],
   0,
   [
    2,
    2
   ],
   "1"
  ],
  [
   "16",
   0,
   [
    0,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-12",
   0,
   [
    0,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    1,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    2,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-4",
   0,
   [
    2,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    3,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-8",
   0,
   [
    0,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "40",
   0,
   [
    0,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-12",
   0,
   [
    0,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "40",
   0,
   [
    1,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-64",
   0,
   [
    1,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    1,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-4",
   0,
   [
    2,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-16",
   0,
   [
    3,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    3,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    3,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-2",
   0,
   [],
   0,
   [
    1
   ],
   "z2"
  ],
  [
   "2",
   0,
   [],
   1,
   [],
   "z2"
  ],
  [
   "4",
   0,
   [
    1
   ],
   0,
   [],
   "z2"
  ],
  [
   "-14/3",
   0,
   [],
   0,
   [],
   "z3"
  ]
 ],
 "w4t_2var": [
  [
   "-56",
   0,
   [
    1
   ],
   0,
   [
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "24",
   0,
   [
    1
   ],
   0,
   [
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1
   ],
   0,
   [
    0,
    2,
    2
   ],
   "1"
  ],
  [
   "24",
   0,
   [
    1
   ],
   0,
   [
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    1
   ],
   0,
   [
    1,
    0,
    2
   ],
   "1"
  ],
  [
   "40",
   0,
   [
    1
   ],
   1,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "-24",
   0,
   [
    1
   ],
   1,
   [
    1,
    1
   ],
   "1"
  ],
  [
   "-24",
   0,
   [
    1
   ],
   2,
   [
    1
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    1
   ],
   3,
   [],
   "1"
  ],
  [
   "36",
   0,
   [
    2
   ],
   0,
   [
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "12",
   0,
   [
    2
   ],
   0,
   [
    0,
    0,
    2
   ],
   "1"
  ],
  [
   "-24",
   0,
   [
    2
   ],
   0,
   [
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    2
   ],
   0,
   [
    0,
    2,
    2
   ],
   "1"
  ],
  [
   "-24",
   0,
   [
    2
   ],
   0,
   [
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "-24",
   0,
   [
    2
   ],
   0,
   [
    1,
    0,
    2
   ],
   "1"
  ],
  [
   "-28",
   0,
   [
    2
   ],
   1,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "24",
   0,
   [
    2
   ],
   1,
   [
    1,
    1
   ],
   "1"
  ],
  [
   "20",
   0,
   [
    2
   ],
   2,
   [
    1
   ],
   "1"
  ],
  [
   "-12",
   0,
   [
    3
   ],
   0,
   [
    0,
    0,
    2
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    3
   ],
   0,
   [
    0,
    2,
    2
   ],
   "1"
  ],
  [
   "12",
   0,
   [
    3
   ],
   0,
   [
    2,
    0,
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    3
   ],
   0,
   [
    2,
    2,
    2
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    0,
    1
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "12",
   0,
   [
    0,
    1
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "16",
   0,
   [
    0,
    1
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-28",
   0,
   [
    0,
    1
   ],
   2,
   [],
   "1"
  ],
  [
   "16",
   0,
   [
    0,
    2
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "40",
   0,
   [
    0,
    2
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    0,
    2
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-48",
   0,
   [
    0,
    3
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "48",
   0,
   [
    0,
    3
   ],
   0,
   [
    2,
    2
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    1,
    1
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    1
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    1
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "64",
   0,
   [
    1,
    1
   ],
   2,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    2
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    1,
    2
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    1,
    2
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    1,
    3
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    3
   ],
   0,
   [
    2,
    2
   ],
   "1"
  ],
  [
   "-8",
   0,
   [
    2,
    1
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "12",
   0,
   [
    2,
    1
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    2,
    1
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-20",
   0,
   [
    2,
    1
   ],
   2,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    2,
    2
   ],
   0,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "4",
   0,
   [
    2,
    2
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-8",
   0,
   [
    2,
    2
   ],
   1,
   [
    1
   ],
   "1"
  ],
  [
   "-16",
   0,
   [
    2,
    3
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "16",
   0,
   [
    2,
    3
   ],
   0,
   [
    2,
    2
   ],
   "1"
  ],
  [
   "-20",
   0,
   [
    3,
    2
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    3,
    3
   ],
   0,
   [
    0,
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    3,
    3
   ],
   0,
   [
    2,
    2
   ],
   "1"
  ],
  [
   "20",
   0,
   [
    0,
    0,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-20",
   0,
   [
    0,
    0,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-64",
   0,
   [
    0,
    1,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    0,
    1,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "16",
   0,
   [
    0,
    2,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-40",
   0,
   [
    0,
    2,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "48",
   0,
   [
    0,
    3,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-64",
   0,
   [
    1,
    0,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "48",
   0,
   [
    1,
    0,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "128",
   0,
   [
    1,
    1,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    1,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    2,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "16",
   0,
   [
    1,
    2,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    3,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "20",
   0,
   [
    2,
    0,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-24",
   0,
   [
    2,
    0,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    2,
    1,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    2,
    1,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "8",
   0,
   [
    2,
    2,
    1
   ],
   1,
   [],
   "1"
  ],
  [
   "-4",
   0,
   [
    2,
    2,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "16",
   0,
   [
    2,
    3,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "12",
   0,
   [
    3,
    0,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "20",
   0,
   [
    3,
    2,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [
    3,
    3,
    3
   ],
   0,
   [
    2
   ],
   "1"
  ],
  [
   "32",
   0,
   [
    0,
    0,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-20",
   0,
   [
    0,
    0,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "100",
   0,
   [
    0,
    1,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-160",
   0,
   [
    0,
    1,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    0,
    1,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "64",
   0,
   [
    0,
    2,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-40",
   0,
   [
    0,
    2,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-96",
   0,
   [
    0,
    3,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "48",
   0,
   [
    0,
    3,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "48",
   0,
   [
    0,
    3,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "32",
   0,
   [
    1,
    0,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-160",
   0,
   [
    1,
    0,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "48",
   0,
   [
    1,
    0,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-160",
   0,
   [
    1,
    1,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "256",
   0,
   [
    1,
    1,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    1,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "16",
   0,
   [
    1,
    2,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "64",
   0,
   [
    1,
    3,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    3,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    1,
    3,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "20",
   0,
   [
    2,
    0,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-24",
   0,
   [
    2,
    0,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    2,
    1,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    2,
    1,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-4",
   0,
   [
    2,
    2,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    2,
    3,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "16",
   0,
   [
    2,
    3,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "16",
   0,
   [
    2,
    3,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-36",
   0,
   [
    3,
    0,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "64",
   0,
   [
    3,
    0,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    3,
    0,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "12",
   0,
   [
    3,
    1,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    3,
    1,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-40",
   0,
   [
    3,
    2,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "20",
   0,
   [
    3,
    2,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "64",
   0,
   [
    3,
    3,
    0,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    3,
    3,
    1,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "-32",
   0,
   [
    3,
    3,
    3,
    1
   ],
   0,
   [],
   "1"
  ],
  [
   "8",
   0,
   [
    1
   ],
   0,
   [
    1
   ],
   "z2"
  ],
  [
   "-8",
   0,
   [
    1
   ],
   1,
   [],
   "z2"
  ],
  [
   "-12",
   0,
   [
    2
   ],
   0,
   [
    1
   ],
   "z2"
  ],
  [
   "-6",
   0,
   [
    3
   ],
   0,
   [
    2
   ],
   "z2"
  ],
  [
   "6",
   0,
   [
    0,
    1
   ],
   0,
   [],
   "z2"
  ],
  [
   "-16",
   0,
   [
    1,
    1
   ],
   0,
   [],
   "z2"
  ],
  [
   "12",
   0,
   [
    2,
    1
   ],
   0,
   [],
   "z2"
  ],
  [
   "-6",
   0,
   [
    3,
    1
   ],
   0,
   [],
   "z2"
  ],
  [
   "56/3",
   0,
   [
    1
   ],
   0,
   [],
   "z3"
  ]
 ],
 "w4_purey_exact": [
  [
   "38",
   0,
   [],
   0,
   [
    0,
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "-34",
   0,
   [],
   0,
   [
    0,
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "-28",
   0,
   [],
   0,
   [
    0,
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "-8",
   0,
   [],
   0,
   [
    0,
    1,
    0,
    2
   ],
   "1"
  ],
  [
   "18",
   0,
   [],
   0,
   [
    0,
    1,
    1,
    1
   ],
   "1"
  ],
  [
   "12",
   0,
   [],
   0,
   [
    0,
    2,
    0,
    2
   ],
   "1"
  ],
  [
   "-32",
   0,
   [],
   0,
   [
    0,
    2,
    2,
    2
   ],
   "1"
  ],
  [
   "-22",
   0,
   [],
   0,
   [
    1,
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "-12",
   0,
   [],
   0,
   [
    1,
    0,
    0,
    2
   ],
   "1"
  ],
  [
   "18",
   0,
   [],
   0,
   [
    1,
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "32",
   0,
   [],
   0,
   [
    1,
    0,
    2,
    2
   ],
   "1"
  ],
  [
   "18",
   0,
   [],
   0,
   [
    1,
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "8",
   0,
   [],
   0,
   [
    1,
    1,
    0,
    2
   ],
   "1"
  ],
  [
   "-30",
   0,
   [],
   1,
   [
    0,
    0,
    1
   ],
   "1"
  ],
  [
   "22",
   0,
   [],
   1,
   [
    0,
    1,
    1
   ],
   "1"
  ],
  [
   "16",
   0,
   [],
   1,
   [
    1,
    0,
    1
   ],
   "1"
  ],
  [
   "-18",
   0,
   [],
   1,
   [
    1,
    1,
    1
   ],
   "1"
  ],
  [
   "22",
   0,
   [],
   2,
   [
    0,
    1
   ],
   "1"
  ],
  [
   "-10",
   0,
   [],
   2,
   [
    1,
    1
   ],
   "1"
  ],
  [
   "-14",
   0,
   [],
   3,
   [
    1
   ],
   "1"
  ],
  [
   "16",
   0,
   [],
   4,
   [],
   "1"
  ],
  [
   "-12",
   0,
   [],
   0,
   [
    0,
    1
   ],
   "z2"
  ],
  [
   "-6",
   0,
   [],
   0,
   [
    0,
    2
   ],
   "z2"
  ],
  [
   "14",
   0,
   [],
   0,
   [
    1,
    1
   ],
   "z2"
  ],
  [
   "4",
   0,
   [],
   1,
   [
    1
   ],
   "z2"
  ],
  [
   "-4",
   0,
   [],
   2,
   [],
   "z2"
  ],
  [
   "-4",
   0,
   [],
   0,
   [
    1
   ],
   "z3"
  ],
  [
   "28/3",
   0,
   [],
   1,
   [],
   "z3"
  ],
  [
   "-21/4",
   0,
   [],
   0,
   [],
   "z4"
  ]
 ],
 "gate_feed": [
  {
   "s": "-3",
   "t": "-1",
   "g3": "-10.260943738093967429007034205802165553660244381833067254111811680068482502934103510973152330734096686426103618",
   "g4": "4.5443308779856246144536213393862043577364260209775423885831528806999122920797928919382524878319347211558848958"
  },
  {
   "s": "-3",
   "t": "-1/3",
   "g3": "-17.528172791876654692752336506099669318489093271448081192157346584701135910111724744773593902345840666191696778",
   "g4": "-17.180394094761826880162987278841819592391161989157053319518822333073071784252247351598773641162678743167609053"
  },
  {
   "s": "-3",
   "t": "-2",
   "g3": "-1.2635217502012730760249827596072420545020812403669010840544915019008738301788597874305551697243989399515243583",
   "g4": "23.903479301956233317262484911470420821394430481790015504578809340061205888730876141001547535532316926841731522"
  },
  {
   "s": "-3",
   "t": "-2/3",
   "g3": "-13.816037910449639565509660654071412851767364799904701742407330025320185743872453354383517453060857170048952507",
   "g4": "-5.0624044020476926255816768821518487985927266298599380365320075452219074763740870717717840239954010559395605812"
  },
  {
   "s": "-3",
   "t": "-3",
   "g3": "5.5856846797045874493521571783529141852329015361798794816033934667789470215437962433643524024568668415828472554",
   "g4": "35.399638583402490770455478818226658820718045330032954305313383389150793698253730958159085263365209924590786478"
  },
  {
   "s": "-3",
   "t": "-3/2",
   "g3": "-5.4499218828221205518596260051300041213748791864216636474525726888171520572510762008254541834477581380999042176",
   "g4": "15.607800752551537216418521576131821270265682801680265636413583275836193151759167961898462087508729633337148198"
  },
  {
   "s": "-3",
   "t": "-4",
   "g3": "10.943914866420783163059105990239541025199983175275495820530040281233556822385975872930323722807523516009132036",
   "g4": "42.880399287337753617019543965785786548018872525124112640091509142623884149634156685435419803311070164418598189"
  },
  {
   "s": "-3",
   "t": "-6",
   "g3": "18.834754058636503823486842888092851829782985867913766372191199930528386632542073372328716829557704398813488004",
   "g4": "51.773924576732222977023668965450445098531524230589151058277388380137399805966571927665680644933082125439433852"
  },
  {
   "s": "-3/2",
   "t": "-1/3",
   "g3": "-20.681998840295342899375057077347808221693072348916466460509645852063685789524001847339590750889076959993741774",
   "g4": "-24.191770568472763248444440684527324283974701007929935640466588202337494345899712096335793771900238908172253881"
  },
  {
   "s": "-3/2",
   "t": "-2/3",
   "g3": "-19.148480318910385222893625529616990114101766728264607025587586819797986626190473541884125768609253861634462055",
   "g4": "-13.478325654524796088670161162161881900539379815042616204952069652199638569581994409379716283055522199597316301"
  },
  {
   "s": "-5/2",
   "t": "-4",
   "g3": "9.5550544461808755486169882774605265838671551887575024137337428952103589310893911929822885193638650870473957949",
   "g4": "45.12517684924198439532156851345230214132353260044011234938288507108649674605178237649737543976449036793725992"
  },
  {
   "s": "-5/2",
   "t": "-6",
   "g3": "17.991884945663564470392589385896185075902113315372376779961869585336860477146646397503419883193840638468761819",
   "g4": "55.993821461773523439749925697275217236432903881566913275423681738801858786977535560454972575568654140005287382"
  },
  {
   "s": "-7/2",
   "t": "-1",
   "g3": "-9.2461704642000694721308772014747416469122769281995950054090260184918350918248382515832866438243652460400176587",
   "g4": "5.4562537487571016443006876471926791027757227432399093953328584775386393346993009877821209817161064802262438148"
  },
  {
   "s": "-7/2",
   "t": "-1/3",
   "g3": "-17.070503307899890291115986794194765570805974785998683286588378682707170473357342946417886328424918580432427251",
   "g4": "-16.246967783950816499569350993053736425143148039551483719897072991484996011425292344629626208829216093600321486"
  },
  {
   "s": "-7/2",
   "t": "-2",
   "g3": "-0.09966798463536819926089725948323845897614777967450217448353266571133010414796471588316868526666026490820368205",
   "g4": "23.871112569463327698410849764896219301190517382833661764964003406167346981351819502932639322063911073185307379"
  },
  {
   "s": "-7/2",
   "t": "-2/3",
   "g3": "-12.999089778553979326362441266657597030737792247835026508411677746577200835632796766485112321985822141524342674",
   "g4": "-4.0010680382657056474385512768026830961179698049931194781926893011398481175110123176182671291738656620861132087"
  },
  {
   "s": "-7/2",
   "t": "-3",
   "g3": "6.6268063016271386618242009419786127166304612756202016362740691435514818147423599765527992166967872355472654435",
   "g4": "34.344248851652263654754444781097367259694204238743019167650115501555299078826702926154583069030051692673730146"
  },
  {
   "s": "-7/2",
   "t": "-3/2",
   "g3": "-4.3049043982226773773678499177371630024824718515782865422366250322594793207645734769074700429604603656959467296",
   "g4": "16.088426050416974382899446182028643282433449829113320303315122620000909253124884687978080883827357403603575602"
  },
  {
   "s": "-7/2",
   "t": "-4",
   "g3": "11.767366695665831801372107419291906530643829473774769395588363441096391999944050657522054205663690366235695598",
   "g4": "40.909932195226773390067082905758618975795356945266819995711957081711705551385639215798485248101979232806634987"
  },
  {
   "s": "-7/2",
   "t": "-6",
   "g3": "19.138829500532808442876685971012370117596695201141611440610989464441522369885683925664718401921400945592806894",
   "g4": "48.322594087370068232350481049370913273843935622539405706627845337813339984946504276765047229465932145197656799"
  },
  {
   "s": "-4",
   "t": "-2",
   "g3": "0.72602604971581359590923264025383070427899403389252732800850505905157839989184197296091799716284841200878550912",
   "g4": "23.721925305113576315157255213180307470631101343532581663657275771115547665717320127977640698342599806347439202"
  }
 ]
}