Submissions for team The Debuggera on problem mycelium_main