Submissions for team Codex on problem shadows_main