Submissions for team drtnf on problem rainbuckets rainbuckets