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

kNBestVerifiedMethods
4625625✓Trivial