Submissions for team orz mike fenty on problem cross_main