Submissions for team The Debuggera on problem nah_main