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

kNBestVerifiedMethods
510485761048576Trivial