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