Submissions for team Batman on problem nah_main