Submissions for team Codex on problem nah_main