Caching added. And a print of the vertex cover