Submissions for team Batman on problem files_main