Fabio, I calculated it as 15 edges each with two possible colors. This is the largest when you care about node name, but your number is correct if the node name does not matter. Thanks for the thought!