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

kNBestVerifiedMethods
45062550625✓Trivial