Submissions for team [Kœr]ectness In Theory on problem C Cinderella's Chore