(L) appearances of ABBB in the 5x5 grid: 40; size 25; concentration = 40/25
(U) q = 280; nonzero table entries: 1300; max |G| = 404
(U) max over all 65536 patterns of 20*q*(Psi0 + D(X) + D(X^T)) = 8960  <=  32*q = 8960
(U) number of patterns with equality: 10
CERTIFICATE VALID: every 4x4 pattern satisfies Psi0 + D(X) + D(X^T) <= 8/5; hence C_2(ABBB) <= 8/5, and (L) gives equality.
