Submissions for team DepressedRat on problem leaderboard leaderboard