Submissions for team FourColorTheorem on problem 10 splitters2_main