Submissions for team LargePufferfish on problem rainbuckets rainbuckets