Submissions for team ToughAnteater on problem classrank classrank