Some new exact van der Waerden numbers. Landman, Bruce; Robertson, Aaron; Culver, Clay — 2005 Integers