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

kNBestMethods
42856128561Trivial