colored-vertex-model