Submissions for team Logic Legends on problem mycelium_main