Submissions for team The Debuggera on problem splitters_main