pi_+ : ['0', '0', '1/8', '1/4', '3/8', '0', '1/8', '1/8']
pi_- : ['1/6', '1/6', '1/8', '1/12', '1/24', '1/6', '1/8', '1/8']
level one (1/8)(-1,-1,1): classes {1,2},{3}; supp pi_+ misses: [(1, 1, 1), (1, 1, -1), (-1, 1, -1)]
h' = h raised by 1/2 at +++, ++- and by 1 at -+-: 8h' = -2 - (y1-y2) - 2y1y2 - (y1-y2)y3, no cubic term  [exact]
rho_+ : {'++-+': '1/8', '+---': '1/4', '-+-+': '1/4', '--++': '1/4', '--+-': '1/8'}
rho_- : {'++++': '1/12', '+++-': '1/12', '++-+': '1/24', '++--': '1/12', '+-++': '1/12', '+-+-': '1/12', '+--+': '1/12', '-+++': '1/12', '-++-': '1/12', '-+--': '1/12', '--+-': '1/24', '---+': '1/12', '----': '1/12'}
rho_b >= 0; (u1,u3) ~ (u2,u3) ~ (w1,w2), (u1,u4) ~ (w1,w3), (u2,u4) ~ (w2,w3) under pi_b; w1 ~ w2  [exact]
psi(a,b,d,e) = 2 + d(a+b) + e(a-b) = half a sum of four products of factors 1 +- x, so psi >= 0 on [-1,1]^4  [exact]
flipping the class {3} gives (-2, -2, 0, -1, -2, 1, -1, -1) in the orbit of A12 (one class): rep2 trivial => A12 trivial  [exact]
1360 random exact tests (k <= 3, every nu): Gamma <= Gamma'[pi] = -E_rho[psi]/8 <= 0 in every case; largest Gamma' = 0 (k=1, nu=(1,))
rep2 trivial: Gamma_nu(F) <= 0 for every k, nu and class-wise decoder  [proof in MAIN_RESULT.tex]
