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

kNBestVerifiedMethods
564363436436343✓Trivial