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

kNBestVerifiedMethods
4104976104976✓Trivial