Submissions for team IH°3S on problem Last Christmas