pi_+ : ['0', '1/10', '1/5', '1/10', '3/10', '0', '1/10', '1/5']
pi_- : ['2/11', '3/22', '1/11', '3/22', '1/22', '2/11', '3/22', '1/11']
level one (1/8)(-1,-1,1): classes {1,2},{3}; supp pi_+ misses: [(1, 1, 1), (-1, 1, -1)]
h' = h raised by 1/2 at +++ and -+-: 8h' = -2 - y1 + y3 - y1y2 + y2y3 - 2y1y2y3  [exact]
rho_+ : {'++++--': '1/10', '++---+': '1/10', '+-+--+': '1/10', '+---+-': '1/10', '-+-+++': '1/10', '-+-+-+': '1/10', '--+-++': '1/10', '--+---': '1/10', '---+++': '1/10', '------': '1/10'}
rho_- : {'++++++': '2/11', '++++--': '3/22', '+-+-+-': '3/22', '+-+--+': '1/11', '-+-+++': '1/22', '-+-++-': '1/11', '-+-+--': '1/11', '----+-': '1/11', '-----+': '3/22'}
rho_b >= 0; (A1,A4,B), (A1,A5,B), (A3,A4,B) ~ (w1,w2,w3), (A2,A3,B) ~ (w2,w1,w3), (A2,A5) ~ (A3,A5) ~ (w1,w2)  [exact]
coefficients of R summed over columns/pairs/triples with the same law equal those of h'  [exact]
R <= 0 on [-1,1]^6 (16R = -((y1+y2+y4)^2-1) at y5=1, -2[2+(1+y1)(1+y4)+y2(y4-y3)-y0(y3+y4)] at y5=-1); R = 0 at every atom of rho_+  [exact]
flipping the class {3} gives (-1, -2, -1, 0, -2, 1, 0, -1) in the orbit of C12 (one class): rep6 trivial => C12 trivial  [exact]
1360 random exact tests (k <= 3, every nu): Gamma <= Gamma'[pi] = E_rho[R] <= 0 in every case; largest Gamma' = 0 (k=1, nu=(1,))
rep6 (and C12) trivial: Gamma_nu(F) <= 0 for every k, nu and class-wise decoder  [proof in MAIN_RESULT.tex]
