Submissions for team SeriousTriceratops on problem leaderboard leaderboard