Best-known CA bounds for t=4, v=7

kNBestVerifiedMethods
424012401✓Trivial