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

kNBestVerifiedMethods
532000003200000✓Trivial