Submissions for team proof by ac on problem mycelium_main