// GRAPH DESCRITION FILE:

// The weight of each edge is 1, to indicate the
// presence of the edge.

0 1 1
1 0 1

1 7 1
7 1 1

6 7 1
7 6 1

1 3 1
3 1 1

3 6 1
6 3 1

1 6 1
6 1 1

3 7 1
7 3 1

5 6 1
6 5 1

0 2 1
2 0 1

0 4 1
4 0 1

0 5 1
5 0 1

2 4 1
4 2 1

2 5 1
5 2 1

4 5 1
5 4 1