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

kNBestVerifiedMethods
4279841279841✓Trivial