Best-known CA bounds for t=3, v=15

kNBestVerifiedMethods
333753375Trivial