== A24 (g1)
  mu = -3/8, pi_+ = ['0', '0', '1/10', '3/10', '1/5', '1/5', '1/10', '1/10'], pi_- = ['2/11', '2/11', '3/22', '1/22', '1/11', '1/11', '3/22', '3/22']
  h' Fourier: [((), '-1/4'), ((2,), '-1/4'), ((0, 1), '-1/4'), ((0, 2), '-1/4')]
  rho_+- are probability laws with the assigned column, pair and copy marginals of pi_+- (both signs)
  coefficients of R aggregated by law equal those of h' (L12 on (0,1); L13 on (0,2), (1,2); L23 unused, h^(23) = 0; no cubic term)
  R <= 0 at all 8 vertices; max R = 0; R = 0 on supp rho_+ (5 points); zeros of R: 5
  identity -16R = (1+y0)(1+y1)(3+y2) + (1-y0)(1-y1)(1-y2) holds at the vertices (both sides multilinear)
  exact random tests: largest E[R] = 0
== C12
  mu = -3/8, pi_+ = ['1/10', '0', '0', '3/10', '1/10', '1/5', '1/5', '1/10'], pi_- = ['3/22', '2/11', '2/11', '1/22', '3/22', '1/11', '1/11', '3/22']
  h' Fourier: [((), '-3/8'), ((0,), '-1/8'), ((1,), '-1/8'), ((2,), '-1/8'), ((0, 1), '-1/8'), ((0, 2), '-1/8'), ((1, 2), '1/8'), ((0, 1, 2), '3/8')]
  rho_+- are probability laws with the assigned column, pair and copy marginals of pi_+- (both signs)
  coefficients of R aggregated by law equal those of h' (L1 = law of (w1,w2) = law of (w1,w3) on (0,1),(0,2),(1,3),(2,3); L2 = law of (w2,w3) on (0,3),(1,2))
  R <= 0 at all 16 vertices; max R = 0; R = 0 on supp rho_+ (7 points); zeros of R: 8
  rho_- = (1 - 5 rho_+)/11 (complement construction)
  exact random tests: largest E[R] = 0
