Submissions for team FourColorTheorem on problem laser_main