Submissions for team Codex on problem lecture_main_main