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

kNBestVerifiedMethods
4234256234256✓Trivial