pi_+ : ['1/10', '0', '1/10', '1/5', '3/10', '0', '1/10', '1/5']
pi_- : ['3/22', '2/11', '3/22', '1/11', '1/22', '2/11', '3/22', '1/11']
8h = -3 - y1 - y2 + y3 - y1y2 - y1y3 + 3y2y3 - y1y2y3; classes {1,2},{3}  [exact]
rho_+ : {'++-++': '1/5', '+-+-+': '1/10', '+---+': '1/10', '-++++': '1/10', '-+-++': '1/10', '--+--': '1/5', '---+-': '1/5'}
rho_- : {'+++--': '2/11', '++-+-': '2/11', '++--+': '1/22', '+-+++': '1/11', '+-+-+': '1/22', '-++-+': '3/22', '--++-': '1/11', '---+-': '1/11', '----+': '3/22'}
rho_b >= 0; (a,c,e) ~ (w2,w1,w3), (b,c) ~ (w1,w2), (a,d) ~ (w1,w3), (b,d) ~ (b,e) ~ (w2,w3) under pi_b  [exact]
8R = -3 - a - b + e - bc - ad + ae + bd + be - ace <= 0 on [-1,1]^5; zero at 14 vertices including all atoms of rho_+  [exact]
flipping the class {3} gives (-2, -1, 0, -1, -2, 1, 0, -1) in the orbit of A24 (one class): rep7 trivial => A24 trivial  [exact]
1360 random exact tests (k <= 3, every nu): Gamma = E_rho[R] <= 0 in every case; largest Gamma = 0 (k=1, nu=(1,))
rep7 trivial: Gamma_nu(F) <= 0 for every k, nu and class-wise decoder  [proof in MAIN_RESULT.tex]
