Submissions for team ThisTime4\mathbb{R} on problem Last Christmas