Submissions for team FormalAlbatross on problem rainbuckets rainbuckets