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

kNBestVerifiedMethods
55904959049Trivial