digraph G {
0;
1;
2;
3;
4;
5[fillcolor = "#FF2C2C", style=filled, fontname="times-bold"];
6;
7;
8[fillcolor = "#FF2C2C", style=filled, fontname="times-bold"];
9;
10;
11[fillcolor = "#FF2C2C", style=filled, fontname="times-bold"];
0->1 [label=1];
0->2 [label=1];
0->3 [label=2];
0->4 [label=2];
0->5 [label=3];
1->6 [label=1];
1->3 [label=2];
1->7 [label=2];
1->8 [label=3];
2->6 [label=1];
2->9 [label=2];
2->4 [label=2];
2->5 [label=3];
3->9 [label=1];
3->10 [label=2];
3->11 [label=3];
4->7 [label=1];
4->10 [label=2];
5->8 [label=1];
5->11 [label=2];
5->4 [label=2];
6->9 [label=2];
6->7 [label=2];
6->8 [label=3];
7->10 [label=2];
8->11 [label=2];
8->7 [label=2];
9->10 [label=2];
9->11 [label=3];
11->10 [label=2];
}