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

kNBestVerifiedMethods
41616✓Trivial