Submissions for team orz mike fenty on problem files_main