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

kNBestVerifiedMethods
4160000160000✓Trivial