Submissions for team FourColorTheorem on problem 8b3 mycelium_bonus3