Verilog update

2 files changed, 322 insertions, 0 deletions

diff --git a/verilog/alu/backup/alu2.dot b/verilog/alu/backup/alu2.dot
new file mode 100644
index 0000000..ae04559
--- /dev/null
+++ b/verilog/alu/backup/alu2.dot
@@ -0,0 +1,179 @@
+digraph "alu" {
+label="alu";
+rankdir="LR";
+remincross=true;
+n37 [ shape=diamond, label="result", color="black", fontcolor="black" ];
+n38 [ shape=diamond, label="diff", color="black", fontcolor="black" ];
+n39 [ shape=octagon, label="alu_output", color="black", fontcolor="black" ];
+n40 [ shape=octagon, label="alu_op_i", color="black", fontcolor="black" ];
+n41 [ shape=octagon, label="alu_in_2", color="black", fontcolor="black" ];
+n42 [ shape=octagon, label="alu_in_1", color="black", fontcolor="black" ];
+c46 [ shape=record, label="{{<p43> A|<p44> B}|$35\n$or|{<p45> Y}}" ];
+v0 [ label="0" ];
+c48 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$34\n$mux|{<p45> Y}}" ];
+v1 [ label="32'11111111111111111111111111111111" ];
+c49 [ shape=record, label="{{<p43> A|<p44> B}|$33\n$shl|{<p45> Y}}" ];
+c50 [ shape=record, label="{{<p43> A|<p44> B}|$32\n$add|{<p45> Y}}" ];
+v3 [ label="0" ];
+c51 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$31\n$mux|{<p45> Y}}" ];
+x2 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
+x2:e -> c51:p47:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v4 [ label="5'00001" ];
+c52 [ shape=record, label="{{<p43> A}|$30\n$pos|{<p45> Y}}" ];
+c53 [ shape=record, label="{{<p43> A|<p44> B}|$29\n$add|{<p45> Y}}" ];
+v6 [ label="0" ];
+c54 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$28\n$mux|{<p45> Y}}" ];
+x5 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
+x5:e -> c54:p47:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v7 [ label="5'00010" ];
+c55 [ shape=record, label="{{<p43> A}|$27\n$pos|{<p45> Y}}" ];
+c56 [ shape=record, label="{{<p43> A|<p44> B}|$26\n$add|{<p45> Y}}" ];
+v9 [ label="0" ];
+c57 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$25\n$mux|{<p45> Y}}" ];
+x8 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
+x8:e -> c57:p47:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v10 [ label="5'00100" ];
+c58 [ shape=record, label="{{<p43> A}|$24\n$pos|{<p45> Y}}" ];
+c59 [ shape=record, label="{{<p43> A|<p44> B}|$23\n$add|{<p45> Y}}" ];
+v12 [ label="0" ];
+c60 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$22\n$mux|{<p45> Y}}" ];
+x11 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
+x11:e -> c60:p47:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v13 [ label="5'01000" ];
+c61 [ shape=record, label="{{<p43> A}|$21\n$pos|{<p45> Y}}" ];
+v15 [ label="0" ];
+c62 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$20\n$mux|{<p45> Y}}" ];
+x14 [ shape=record, style=rounded, label="<s0> 4:4 - 0:0 " ];
+x14:e -> c62:p47:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v16 [ label="5'10000" ];
+c63 [ shape=record, label="{{<p43> A}|$19\n$pos|{<p45> Y}}" ];
+v17 [ label="1'0" ];
+c64 [ shape=record, label="{{<p43> A|<p44> B}|$18\n$eq|{<p45> Y}}" ];
+x18 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x18:e -> c64:p43:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c65 [ shape=record, label="{{<p43> A|<p44> B}|$17\n$shr|{<p45> Y}}" ];
+c66 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$16\n$mux|{<p45> Y}}" ];
+v19 [ label="1" ];
+v20 [ label="0" ];
+c67 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$15\n$mux|{<p45> Y}}" ];
+v21 [ label="1'1" ];
+c68 [ shape=record, label="{{<p43> A|<p44> B}|$14\n$eq|{<p45> Y}}" ];
+x22 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x22:e -> c68:p43:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v23 [ label="0" ];
+v24 [ label="1" ];
+c69 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$13\n$mux|{<p45> Y}}" ];
+v25 [ label="1'0" ];
+c70 [ shape=record, label="{{<p43> A|<p44> B}|$12\n$eq|{<p45> Y}}" ];
+x26 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x26:e -> c70:p43:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c71 [ shape=record, label="{{<p43> A|<p44> B}|$11\n$eq|{<p45> Y}}" ];
+x27 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x27:e -> c71:p44:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+x28 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x28:e -> c71:p43:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v29 [ label="1" ];
+v30 [ label="0" ];
+c72 [ shape=record, label="{{<p43> A|<p44> B|<p47> S}|$10\n$mux|{<p45> Y}}" ];
+c73 [ shape=record, label="{{<p43> A|<p44> B}|$9\n$lt|{<p45> Y}}" ];
+c74 [ shape=record, label="{{<p43> A|<p44> B}|$8\n$shr|{<p45> Y}}" ];
+c75 [ shape=record, label="{{<p43> A|<p44> B}|$7\n$shr|{<p45> Y}}" ];
+c76 [ shape=record, label="{{<p43> A|<p44> B}|$6\n$and|{<p45> Y}}" ];
+c77 [ shape=record, label="{{<p43> A|<p44> B}|$5\n$or|{<p45> Y}}" ];
+c78 [ shape=record, label="{{<p43> A|<p44> B}|$4\n$sub|{<p45> Y}}" ];
+c79 [ shape=record, label="{{<p43> A|<p44> B}|$3\n$add|{<p45> Y}}" ];
+c80 [ shape=record, label="{{<p43> A|<p44> B}|$1\n$sub|{<p45> Y}}" ];
+p31 [shape=box, style=rounded, label="PROC $2\nalu.v:18.1-38.4"];
+x32 [shape=box, style=rounded, label="BUF"];
+x33 [shape=box, style=rounded, label="BUF"];
+c46:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c56:p45:e -> c53:p43:w [color="black", style="setlinewidth(3)", label=""];
+c57:p45:e -> c56:p44:w [color="black", style="setlinewidth(3)", label=""];
+c58:p45:e -> c57:p43:w [color="black", style="setlinewidth(3)", label=""];
+c59:p45:e -> c56:p43:w [color="black", style="setlinewidth(3)", label=""];
+c60:p45:e -> c59:p44:w [color="black", style="setlinewidth(3)", label=""];
+c61:p45:e -> c60:p43:w [color="black", style="setlinewidth(3)", label=""];
+c62:p45:e -> c59:p43:w [color="black", style="setlinewidth(3)", label=""];
+c63:p45:e -> c62:p43:w [color="black", style="setlinewidth(3)", label=""];
+c64:p45:e -> c48:p47:w [color="black", label=""];
+c65:p45:e -> c46:p43:w [color="black", style="setlinewidth(3)", label=""];
+c48:p45:e -> c46:p44:w [color="black", style="setlinewidth(3)", label=""];
+c66:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c67:p45:e -> c66:p43:w [color="black", style="setlinewidth(3)", label=""];
+c68:p45:e -> c67:p47:w [color="black", label=""];
+c69:p45:e -> c66:p44:w [color="black", style="setlinewidth(3)", label=""];
+c70:p45:e -> c69:p47:w [color="black", label=""];
+c71:p45:e -> c66:p47:w [color="black", label=""];
+c72:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c73:p45:e -> c72:p47:w [color="black", label=""];
+c74:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c75:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c49:p45:e -> c48:p43:w [color="black", style="setlinewidth(3)", label=""];
+c76:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c77:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c78:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c79:p45:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+c80:p45:e -> x32:w:w [color="black", style="setlinewidth(3)", label=""];
+p31:e -> n37:w [color="black", style="setlinewidth(3)", label=""];
+n37:e -> x33:w:w [color="black", style="setlinewidth(3)", label=""];
+x32:e:e -> n38:w [color="black", style="setlinewidth(3)", label=""];
+n38:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+n38:e -> x26:s0:w [color="black", style="setlinewidth(3)", label=""];
+x33:e:e -> n39:w [color="black", style="setlinewidth(3)", label=""];
+c50:p45:e -> c49:p44:w [color="black", style="setlinewidth(3)", label=""];
+n40:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c65:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c73:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c74:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c75:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c76:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c77:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c78:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> c79:p44:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x11:s0:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x14:s0:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x27:s0:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x2:s0:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x5:s0:w [color="black", style="setlinewidth(3)", label=""];
+n41:e -> x8:s0:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c65:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c73:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c74:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c75:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c76:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c77:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c78:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c79:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c80:p43:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> c80:p44:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> p31:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> x18:s0:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> x22:s0:w [color="black", style="setlinewidth(3)", label=""];
+n42:e -> x28:s0:w [color="black", style="setlinewidth(3)", label=""];
+c51:p45:e -> c50:p44:w [color="black", style="setlinewidth(3)", label=""];
+c52:p45:e -> c51:p43:w [color="black", style="setlinewidth(3)", label=""];
+c53:p45:e -> c50:p43:w [color="black", style="setlinewidth(3)", label=""];
+c54:p45:e -> c53:p44:w [color="black", style="setlinewidth(3)", label=""];
+c55:p45:e -> c54:p43:w [color="black", style="setlinewidth(3)", label=""];
+v0:e -> c48:p44:w [color="black", style="setlinewidth(3)", label=""];
+v1:e -> c49:p43:w [color="black", style="setlinewidth(3)", label=""];
+v10:e -> c58:p43:w [color="black", style="setlinewidth(3)", label=""];
+v12:e -> c60:p44:w [color="black", style="setlinewidth(3)", label=""];
+v13:e -> c61:p43:w [color="black", style="setlinewidth(3)", label=""];
+v15:e -> c62:p44:w [color="black", style="setlinewidth(3)", label=""];
+v16:e -> c63:p43:w [color="black", style="setlinewidth(3)", label=""];
+v17:e -> c64:p44:w [color="black", label=""];
+v19:e -> c67:p44:w [color="black", style="setlinewidth(3)", label=""];
+v20:e -> c67:p43:w [color="black", style="setlinewidth(3)", label=""];
+v21:e -> c68:p44:w [color="black", label=""];
+v23:e -> c69:p44:w [color="black", style="setlinewidth(3)", label=""];
+v24:e -> c69:p43:w [color="black", style="setlinewidth(3)", label=""];
+v25:e -> c70:p44:w [color="black", label=""];
+v29:e -> c72:p44:w [color="black", style="setlinewidth(3)", label=""];
+v3:e -> c51:p44:w [color="black", style="setlinewidth(3)", label=""];
+v30:e -> c72:p43:w [color="black", style="setlinewidth(3)", label=""];
+v4:e -> c52:p43:w [color="black", style="setlinewidth(3)", label=""];
+v6:e -> c54:p44:w [color="black", style="setlinewidth(3)", label=""];
+v7:e -> c55:p43:w [color="black", style="setlinewidth(3)", label=""];
+v9:e -> c57:p44:w [color="black", style="setlinewidth(3)", label=""];
+}
diff --git a/verilog/alu/backup/alu3.dot b/verilog/alu/backup/alu3.dot
new file mode 100644
index 0000000..bc9fed2
--- /dev/null
+++ b/verilog/alu/backup/alu3.dot
@@ -0,0 +1,143 @@
+digraph "alu" {
+label="alu";
+rankdir="LR";
+remincross=true;
+n28 [ shape=diamond, label="result", color="black", fontcolor="black" ];
+n29 [ shape=diamond, label="diff", color="black", fontcolor="black" ];
+n30 [ shape=octagon, label="alu_output", color="black", fontcolor="black" ];
+n31 [ shape=octagon, label="alu_op_i", color="black", fontcolor="black" ];
+n32 [ shape=octagon, label="alu_in_2", color="black", fontcolor="black" ];
+n33 [ shape=octagon, label="alu_in_1", color="black", fontcolor="black" ];
+c37 [ shape=record, label="{{<p34> A|<p35> B}|$26\n$or|{<p36> Y}}" ];
+v0 [ label="0" ];
+c39 [ shape=record, label="{{<p34> A|<p35> B|<p38> S}|$25\n$mux|{<p36> Y}}" ];
+v2 [ label="32'11111111111111111111111111111111" ];
+c40 [ shape=record, label="{{<p34> A|<p35> B}|$24\n$shl|{<p36> Y}}" ];
+x1 [ shape=record, style=rounded, label="<s4> 0:0 - 4:4 |<s3> 0:0 - 3:3 |<s2> 0:0 - 2:2 |<s1> 0:0 - 1:1 |<s0> 0:0 - 0:0 " ];
+x1:e -> c40:p35:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
+c41 [ shape=record, label="{{<p34> A}|$23\n$not|{<p36> Y}}" ];
+x3 [ shape=record, style=rounded, label="<s0> 4:4 - 0:0 " ];
+x3:e -> c41:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c42 [ shape=record, label="{{<p34> A}|$22\n$not|{<p36> Y}}" ];
+x4 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
+x4:e -> c42:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c43 [ shape=record, label="{{<p34> A}|$21\n$not|{<p36> Y}}" ];
+x5 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
+x5:e -> c43:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c44 [ shape=record, label="{{<p34> A}|$20\n$not|{<p36> Y}}" ];
+x6 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
+x6:e -> c44:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c45 [ shape=record, label="{{<p34> A}|$19\n$not|{<p36> Y}}" ];
+x7 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
+x7:e -> c45:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v8 [ label="1'0" ];
+c46 [ shape=record, label="{{<p34> A|<p35> B}|$18\n$eq|{<p36> Y}}" ];
+x9 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x9:e -> c46:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c47 [ shape=record, label="{{<p34> A|<p35> B}|$17\n$shr|{<p36> Y}}" ];
+c48 [ shape=record, label="{{<p34> A|<p35> B|<p38> S}|$16\n$mux|{<p36> Y}}" ];
+v10 [ label="1" ];
+v11 [ label="0" ];
+c49 [ shape=record, label="{{<p34> A|<p35> B|<p38> S}|$15\n$mux|{<p36> Y}}" ];
+v12 [ label="1'1" ];
+c50 [ shape=record, label="{{<p34> A|<p35> B}|$14\n$eq|{<p36> Y}}" ];
+x13 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x13:e -> c50:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v14 [ label="0" ];
+v15 [ label="1" ];
+c51 [ shape=record, label="{{<p34> A|<p35> B|<p38> S}|$13\n$mux|{<p36> Y}}" ];
+v16 [ label="1'0" ];
+c52 [ shape=record, label="{{<p34> A|<p35> B}|$12\n$eq|{<p36> Y}}" ];
+x17 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x17:e -> c52:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+c53 [ shape=record, label="{{<p34> A|<p35> B}|$11\n$eq|{<p36> Y}}" ];
+x18 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x18:e -> c53:p35:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+x19 [ shape=record, style=rounded, label="<s0> 31:31 - 0:0 " ];
+x19:e -> c53:p34:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
+v20 [ label="1" ];
+v21 [ label="0" ];
+c54 [ shape=record, label="{{<p34> A|<p35> B|<p38> S}|$10\n$mux|{<p36> Y}}" ];
+c55 [ shape=record, label="{{<p34> A|<p35> B}|$9\n$lt|{<p36> Y}}" ];
+c56 [ shape=record, label="{{<p34> A|<p35> B}|$8\n$shr|{<p36> Y}}" ];
+c57 [ shape=record, label="{{<p34> A|<p35> B}|$7\n$shr|{<p36> Y}}" ];
+c58 [ shape=record, label="{{<p34> A|<p35> B}|$6\n$and|{<p36> Y}}" ];
+c59 [ shape=record, label="{{<p34> A|<p35> B}|$5\n$or|{<p36> Y}}" ];
+c60 [ shape=record, label="{{<p34> A|<p35> B}|$4\n$sub|{<p36> Y}}" ];
+c61 [ shape=record, label="{{<p34> A|<p35> B}|$3\n$add|{<p36> Y}}" ];
+c62 [ shape=record, label="{{<p34> A|<p35> B}|$1\n$sub|{<p36> Y}}" ];
+p22 [shape=box, style=rounded, label="PROC $2\nalu.v:18.1-37.4"];
+x23 [shape=box, style=rounded, label="BUF"];
+x24 [shape=box, style=rounded, label="BUF"];
+c37:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c47:p36:e -> c37:p34:w [color="black", style="setlinewidth(3)", label=""];
+c48:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c49:p36:e -> c48:p34:w [color="black", style="setlinewidth(3)", label=""];
+c50:p36:e -> c49:p38:w [color="black", label=""];
+c51:p36:e -> c48:p35:w [color="black", style="setlinewidth(3)", label=""];
+c52:p36:e -> c51:p38:w [color="black", label=""];
+c53:p36:e -> c48:p38:w [color="black", label=""];
+c54:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c55:p36:e -> c54:p38:w [color="black", label=""];
+c56:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c39:p36:e -> c37:p35:w [color="black", style="setlinewidth(3)", label=""];
+c57:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c58:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c59:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c60:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c61:p36:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+c62:p36:e -> x23:w:w [color="black", style="setlinewidth(3)", label=""];
+p22:e -> n28:w [color="black", style="setlinewidth(3)", label=""];
+n28:e -> x24:w:w [color="black", style="setlinewidth(3)", label=""];
+x23:e:e -> n29:w [color="black", style="setlinewidth(3)", label=""];
+n29:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+n29:e -> x17:s0:w [color="black", style="setlinewidth(3)", label=""];
+c40:p36:e -> c39:p34:w [color="black", style="setlinewidth(3)", label=""];
+x24:e:e -> n30:w [color="black", style="setlinewidth(3)", label=""];
+n31:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c47:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c55:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c56:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c57:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c58:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c59:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c60:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> c61:p35:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x18:s0:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x3:s0:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x4:s0:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x5:s0:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x6:s0:w [color="black", style="setlinewidth(3)", label=""];
+n32:e -> x7:s0:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c47:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c55:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c56:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c57:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c58:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c59:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c60:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c61:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c62:p34:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> c62:p35:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> p22:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> x13:s0:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> x19:s0:w [color="black", style="setlinewidth(3)", label=""];
+n33:e -> x9:s0:w [color="black", style="setlinewidth(3)", label=""];
+c41:p36:e -> x1:s4:w [color="black", label=""];
+c42:p36:e -> x1:s3:w [color="black", label=""];
+c43:p36:e -> x1:s2:w [color="black", label=""];
+c44:p36:e -> x1:s1:w [color="black", label=""];
+c45:p36:e -> x1:s0:w [color="black", label=""];
+c46:p36:e -> c39:p38:w [color="black", label=""];
+v0:e -> c39:p35:w [color="black", style="setlinewidth(3)", label=""];
+v10:e -> c49:p35:w [color="black", style="setlinewidth(3)", label=""];
+v11:e -> c49:p34:w [color="black", style="setlinewidth(3)", label=""];
+v12:e -> c50:p35:w [color="black", label=""];
+v14:e -> c51:p35:w [color="black", style="setlinewidth(3)", label=""];
+v15:e -> c51:p34:w [color="black", style="setlinewidth(3)", label=""];
+v16:e -> c52:p35:w [color="black", label=""];
+v2:e -> c40:p34:w [color="black", style="setlinewidth(3)", label=""];
+v20:e -> c54:p35:w [color="black", style="setlinewidth(3)", label=""];
+v21:e -> c54:p34:w [color="black", style="setlinewidth(3)", label=""];
+v8:e -> c46:p35:w [color="black", label=""];
+}