pi_+ : ['0', '0', '1/10', '3/10', '1/5', '1/10', '1/10', '1/5']
pi_- : ['2/11', '2/11', '3/22', '1/22', '1/11', '3/22', '3/22', '1/11']
supp pi_+ misses: [(1, 1, 1), (1, 1, -1)]
h' = h raised to 0 at +++, ++-: no cubic and no w1w2 term; 2h' = -1/4 + (y1-y3)/4 - y1y3/4 + y2y3/2  [exact]
pit_+ = pi + (1/10) w1w2 : ['1/10', '1/10', '0', '1/5', '1/10', '0', '1/5', '3/10']  E_pi[w1w2] = -2/5, E_pi[w2w3] = 2/5
pit_- = pi + (-1/22) w1w2 : ['3/22', '3/22', '2/11', '1/11', '3/22', '2/11', '1/11', '1/22']  E_pi[w1w2] = 2/11, E_pi[w2w3] = -2/11
pit_b >= 0, same (w1,w3) and (w2,w3) marginals as pi_b, and (w2,w1) ~ (w2,w3) under pit_b  [exact]
phi(a,b,t) = 1 + ab - t(a+b) = (1+t)/2 (1-a)(1-b) + (1-t)/2 (1+a)(1+b) >= 0 on [-1,1]^3  [exact]
1360 random exact tests (k <= 3, every nu): Gamma <= Gamma'[pi] = Gamma'[pit] = -E_pit[phi]/8 <= 0 in every case; largest Gamma' = 0 (k=1, nu=(1,))
rep3 (and rep8) trivial: Gamma_nu(F) <= 0 for every k, nu and class-wise decoder  [proof in MAIN_RESULT.tex]
