Best-known CA bounds for t=6, v=12

kNBestVerifiedMethods
629859842985984Trivial