Added encoding of Petersen graph.