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