7 c4 [ shape=record, label="{{<p1> A|<p2> B}|$1\n$add|{<p3> Y}}" ];
11 c5 [ shape=record, label="{{<p1> A|<p2> B}|$2\n$add|{<p3> Y}}" ];
12 v0:e -> c4:p1:w [color="black", style="setlinewidth(3)", label=""];
13 v1:e -> c4:p2:w [color="black", style="setlinewidth(3)", label=""];
14 c4:p3:e -> v2:w [color="black", style="setlinewidth(3)", label=""];
15 v3:e -> c5:p1:w [color="black", style="setlinewidth(3)", label=""];
16 v4:e -> c5:p2:w [color="black", style="setlinewidth(3)", label=""];
17 c5:p3:e -> v5:w [color="black", style="setlinewidth(3)", label=""];