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

kNBestVerifiedMethods
5759375759375✓Trivial