Best-known CA bounds for t=6, v=17

kNBestVerifiedMethods
62413756924137569✓Trivial