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

kNBestVerifiedMethods
321972197✓Trivial