Submissions for team FourColorTheorem on problem files_main