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

kNBestVerifiedMethods
518895681889568✓Trivial