c Symmetric graph
p edge 8 13
e 1 2
e 1 3
e 1 4
e 2 3
e 2 4
e 3 4
e 1 5
e 5 6
e 5 7
e 5 8
e 6 7
e 6 8
e 7 8
