Submissions for team O(Infinity) on problem files_main