Submissions for team Waffle^2 on problem Horse racing