Submissions for team Ctrl-Alt-Succeed on problem Last Christmas