Submissions for team Codex on problem cross_main