Submissions for team guanie the cat? on problem mycelium_main