30     std::vector< graph_traits< graph_t >::vertex_descriptor > v1(n), v2(n);  in main()  local
47         v2[id] = *i;  in main()
62     add_edge(v2[9], v2[10], g2);  in main()
63     add_edge(v2[10], v2[11], g2);  in main()
64     add_edge(v2[11], v2[9], g2);  in main()
65     add_edge(v2[0], v2[1], g2);  in main()
66     add_edge(v2[1], v2[3], g2);  in main()
67     add_edge(v2[3], v2[2], g2);  in main()
68     add_edge(v2[2], v2[0], g2);  in main()
69     add_edge(v2[4], v2[5], g2);  in main()
70     add_edge(v2[5], v2[7], g2);  in main()
71     add_edge(v2[7], v2[8], g2);  in main()
72     add_edge(v2[8], v2[6], g2);  in main()
73     add_edge(v2[6], v2[4], g2);  in main()