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

kNBestVerifiedMethods
42856128561✓Trivial