Submissions for team The Debuggera on problem splitters2_main