max over the 512 patterns of 3*(Psi0 + Q) = 6 (bound 6); patterns with equality: 72
VALID: Psi0 + Q <= 2 on all 3x3 patterns, hence C_2(ABB) <= 2.
