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

kNBestVerifiedMethods
41000010000✓Trivial