Submissions for team FourColorTheorem on problem mycelium_main