Submissions for team LargePufferfish on problem leaderboard leaderboard