Submissions for team EDG on problem files_main