c Jin Graph
p edge 12 24
e 1 2
e 1 4
e 1 8
e 1 9
e 1 10
e 2 3
e 2 7
e 2 11
e 3 8
e 3 6
e 3 4
e 4 12
e 4 5
e 5 11
e 5 8
e 5 6
e 6 10
e 6 9
e 6 7
e 7 8
e 7 12
e 9 12
e 10 11
e 11 12
