Submissions for team LegalCoral on problem rainbuckets rainbuckets