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

kNBestVerifiedMethods
4390625390625✓Trivial