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

kNBestVerifiedMethods
465616561✓Trivial