Submissions for team Codex on problem mycelium_main