Submissions for team The Debuggera on problem cross_main