Submissions for team FourColorTheorem on problem shadows_main