Submissions for team ToughAnteater on problem leaderboard leaderboard