Best-known CA bounds for t=3, v=23

kNBestVerifiedMethods
31216712167✓Trivial