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