Submissions for team Yi Zhou on problem Colivă