Submissions for team Debuggers on problem files_main