q = 280; max of 20*q*(Psi0 + D(X) + D(X^T)) over 65536 patterns = 8960; 32*q = 8960; valid = True; tight patterns = 10
   largest value below the bound: 8/5 - 3/70
