Submissions for team ThickDinosaur on problem rainbuckets rainbuckets