Submissions for team ThickDinosaur on problem leaderboard leaderboard