digraph G {
"0" [style=bold];
0->7;
1->5;
2->8;
3->5;
4->6;
5->2;
5->9;
5->10
6->0;
7->3;
8->12;
9->11;
10->4;
11->5;
12->1;
}