Submissions for team FourColorTheorem on problem grid_main