Submissions for team Codex on problem files_main