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

kNBestVerifiedMethods
5371293371293✓Trivial