# this file has 12 nodes, 22 edges 1 2 3 4 5 6 7 8 9 10 11 12 1 2 1 3 1 4 1 5 5 6 5 7 8 9 8 10 8 5 10 7 12 11 12 9 9 10 9 6 6 7 4 12 4 11 4 8 3 11 2 3 2 12 2 6