Best-known CA bounds for t=3, v=20

kNBestVerifiedMethods
380008000✓Trivial