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

kNBestVerifiedMethods
42073620736✓Trivial