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

kNBestVerifiedMethods
48352183521✓Trivial