pawskow/vertexcoloring archive