Submissions for team The Great Sage on problem files_main