openlane/cntr_example/runs/cntr_example/tmp/synthesis/post_techmap.dot

digraph "cntr_example" {
label="cntr_example";
rankdir="LR";
remincross=true;
n21 [ shape=diamond, label="clk", color="black", fontcolor="black" ];
n22 [ shape=diamond, label="cntr_1.clk", color="black", fontcolor="black" ];
n23 [ shape=diamond, label="cntr_1.out1", color="black", fontcolor="black" ];
n24 [ shape=diamond, label="cntr_1.rstn", color="black", fontcolor="black" ];
n25 [ shape=diamond, label="cntr_2.clk", color="black", fontcolor="black" ];
n26 [ shape=diamond, label="cntr_2.out2", color="black", fontcolor="black" ];
n27 [ shape=diamond, label="cntr_2.rstn", color="black", fontcolor="black" ];
n28 [ shape=diamond, label="cntr_3.clk", color="black", fontcolor="black" ];
n29 [ shape=diamond, label="cntr_3.out3", color="black", fontcolor="black" ];
n30 [ shape=diamond, label="cntr_3.rstn", color="black", fontcolor="black" ];
n31 [ shape=diamond, label="cntr_4.clk", color="black", fontcolor="black" ];
n32 [ shape=diamond, label="cntr_4.out4", color="black", fontcolor="black" ];
n33 [ shape=diamond, label="cntr_4.rstn", color="black", fontcolor="black" ];
n34 [ shape=diamond, label="cntr_5.clk", color="black", fontcolor="black" ];
n35 [ shape=diamond, label="cntr_5.out5", color="black", fontcolor="black" ];
n36 [ shape=diamond, label="cntr_5.rstn", color="black", fontcolor="black" ];
n37 [ shape=octagon, label="io_out", color="black", fontcolor="black" ];
n38 [ shape=diamond, label="rst", color="black", fontcolor="black" ];
n39 [ shape=octagon, label="wb_clk_i", color="black", fontcolor="black" ];
n40 [ shape=octagon, label="wb_rst_i", color="black", fontcolor="black" ];
c43 [ shape=record, label="{{<p41> A}|$1291\n$_NOT_|{<p42> Y}}" ];
x0 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x0:e -> c43:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x1 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c43:p42:e -> x1:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c44 [ shape=record, label="{{<p41> A}|$1292\n$_NOT_|{<p42> Y}}" ];
x2 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x2:e -> c44:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x3 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c44:p42:e -> x3:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c45 [ shape=record, label="{{<p41> A}|$1293\n$_NOT_|{<p42> Y}}" ];
x4 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x4:e -> c45:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x5 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c45:p42:e -> x5:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c46 [ shape=record, label="{{<p41> A}|$1294\n$_NOT_|{<p42> Y}}" ];
x6 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x6:e -> c46:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x7 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c46:p42:e -> x7:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c47 [ shape=record, label="{{<p41> A}|$1295\n$_NOT_|{<p42> Y}}" ];
x8 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x8:e -> c47:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x9 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c47:p42:e -> x9:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c49 [ shape=record, label="{{<p41> A|<p48> B}|$1296\n$_XOR_|{<p42> Y}}" ];
x10 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x10:e -> c49:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x11 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x11:e -> c49:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x12 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c49:p42:e -> x12:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c50 [ shape=record, label="{{<p41> A|<p48> B}|$1297\n$_NAND_|{<p42> Y}}" ];
x13 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x13:e -> c50:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x14 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x14:e -> c50:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c51 [ shape=record, label="{{<p41> A|<p48> B}|$1298\n$_XNOR_|{<p42> Y}}" ];
x15 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x15:e -> c51:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x16 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c51:p42:e -> x16:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c52 [ shape=record, label="{{<p41> A|<p48> B}|$1299\n$_ANDNOT_|{<p42> Y}}" ];
x17 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x17:e -> c52:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c53 [ shape=record, label="{{<p41> A|<p48> B}|$1300\n$_XOR_|{<p42> Y}}" ];
x18 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x18:e -> c53:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x19 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c53:p42:e -> x19:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c54 [ shape=record, label="{{<p41> A|<p48> B}|$1301\n$_XOR_|{<p42> Y}}" ];
x20 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x20:e -> c54:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x21 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x21:e -> c54:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x22 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c54:p42:e -> x22:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c55 [ shape=record, label="{{<p41> A|<p48> B}|$1302\n$_NAND_|{<p42> Y}}" ];
x23 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x23:e -> c55:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x24 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x24:e -> c55:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c56 [ shape=record, label="{{<p41> A|<p48> B}|$1303\n$_XNOR_|{<p42> Y}}" ];
x25 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x25:e -> c56:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x26 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c56:p42:e -> x26:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c57 [ shape=record, label="{{<p41> A|<p48> B}|$1304\n$_ANDNOT_|{<p42> Y}}" ];
x27 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x27:e -> c57:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c58 [ shape=record, label="{{<p41> A|<p48> B}|$1305\n$_XOR_|{<p42> Y}}" ];
x28 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x28:e -> c58:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x29 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c58:p42:e -> x29:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c59 [ shape=record, label="{{<p41> A|<p48> B}|$1306\n$_XOR_|{<p42> Y}}" ];
x30 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x30:e -> c59:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x31 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x31:e -> c59:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x32 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c59:p42:e -> x32:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c60 [ shape=record, label="{{<p41> A|<p48> B}|$1307\n$_NAND_|{<p42> Y}}" ];
x33 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x33:e -> c60:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x34 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x34:e -> c60:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c61 [ shape=record, label="{{<p41> A|<p48> B}|$1308\n$_XNOR_|{<p42> Y}}" ];
x35 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x35:e -> c61:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x36 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c61:p42:e -> x36:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c62 [ shape=record, label="{{<p41> A|<p48> B}|$1309\n$_ANDNOT_|{<p42> Y}}" ];
x37 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x37:e -> c62:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c63 [ shape=record, label="{{<p41> A|<p48> B}|$1310\n$_XOR_|{<p42> Y}}" ];
x38 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x38:e -> c63:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x39 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c63:p42:e -> x39:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c64 [ shape=record, label="{{<p41> A|<p48> B}|$1311\n$_XOR_|{<p42> Y}}" ];
x40 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x40:e -> c64:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x41 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x41:e -> c64:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x42 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c64:p42:e -> x42:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c65 [ shape=record, label="{{<p41> A|<p48> B}|$1312\n$_NAND_|{<p42> Y}}" ];
x43 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x43:e -> c65:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x44 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x44:e -> c65:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c66 [ shape=record, label="{{<p41> A|<p48> B}|$1313\n$_XNOR_|{<p42> Y}}" ];
x45 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x45:e -> c66:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x46 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c66:p42:e -> x46:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c67 [ shape=record, label="{{<p41> A|<p48> B}|$1314\n$_ANDNOT_|{<p42> Y}}" ];
x47 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x47:e -> c67:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c68 [ shape=record, label="{{<p41> A|<p48> B}|$1315\n$_XOR_|{<p42> Y}}" ];
x48 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x48:e -> c68:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x49 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c68:p42:e -> x49:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c69 [ shape=record, label="{{<p41> A|<p48> B}|$1316\n$_XOR_|{<p42> Y}}" ];
x50 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x50:e -> c69:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x51 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x51:e -> c69:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x52 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c69:p42:e -> x52:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c70 [ shape=record, label="{{<p41> A|<p48> B}|$1317\n$_NAND_|{<p42> Y}}" ];
x53 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x53:e -> c70:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x54 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x54:e -> c70:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c71 [ shape=record, label="{{<p41> A|<p48> B}|$1318\n$_XNOR_|{<p42> Y}}" ];
x55 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x55:e -> c71:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x56 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c71:p42:e -> x56:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c72 [ shape=record, label="{{<p41> A|<p48> B}|$1319\n$_ANDNOT_|{<p42> Y}}" ];
x57 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x57:e -> c72:p41:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c73 [ shape=record, label="{{<p41> A|<p48> B}|$1320\n$_XOR_|{<p42> Y}}" ];
x58 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x58:e -> c73:p48:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x59 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c73:p42:e -> x59:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c78 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$158\n$_SDFF_PN0_|{<p77> Q}}" ];
x60 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x60:e -> c78:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x61 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c78:p77:e -> x61:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c79 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$159\n$_SDFF_PN0_|{<p77> Q}}" ];
x62 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x62:e -> c79:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x63 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c79:p77:e -> x63:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c80 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$160\n$_SDFF_PN0_|{<p77> Q}}" ];
x64 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x64:e -> c80:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x65 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c80:p77:e -> x65:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c81 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$161\n$_SDFF_PN0_|{<p77> Q}}" ];
x66 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x66:e -> c81:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x67 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c81:p77:e -> x67:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c82 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$183\n$_SDFF_PN0_|{<p77> Q}}" ];
x68 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x68:e -> c82:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x69 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c82:p77:e -> x69:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c83 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$184\n$_SDFF_PN0_|{<p77> Q}}" ];
x70 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x70:e -> c83:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x71 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c83:p77:e -> x71:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c84 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$185\n$_SDFF_PN0_|{<p77> Q}}" ];
x72 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x72:e -> c84:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x73 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c84:p77:e -> x73:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c85 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$186\n$_SDFF_PN0_|{<p77> Q}}" ];
x74 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x74:e -> c85:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x75 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c85:p77:e -> x75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c86 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$203\n$_SDFF_PN0_|{<p77> Q}}" ];
x76 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x76:e -> c86:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x77 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c86:p77:e -> x77:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c87 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$204\n$_SDFF_PN0_|{<p77> Q}}" ];
x78 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x78:e -> c87:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x79 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c87:p77:e -> x79:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c88 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$205\n$_SDFF_PN0_|{<p77> Q}}" ];
x80 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x80:e -> c88:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x81 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c88:p77:e -> x81:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c89 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$206\n$_SDFF_PN0_|{<p77> Q}}" ];
x82 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x82:e -> c89:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x83 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c89:p77:e -> x83:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c90 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$223\n$_SDFF_PN0_|{<p77> Q}}" ];
x84 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x84:e -> c90:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x85 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c90:p77:e -> x85:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c91 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$224\n$_SDFF_PN0_|{<p77> Q}}" ];
x86 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x86:e -> c91:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x87 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c91:p77:e -> x87:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c92 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$225\n$_SDFF_PN0_|{<p77> Q}}" ];
x88 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x88:e -> c92:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x89 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c92:p77:e -> x89:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c93 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$226\n$_SDFF_PN0_|{<p77> Q}}" ];
x90 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x90:e -> c93:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x91 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c93:p77:e -> x91:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c94 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$243\n$_SDFF_PN0_|{<p77> Q}}" ];
x92 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x92:e -> c94:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x93 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
c94:p77:e -> x93:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c95 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$244\n$_SDFF_PN0_|{<p77> Q}}" ];
x94 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
x94:e -> c95:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x95 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
c95:p77:e -> x95:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c96 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$245\n$_SDFF_PN0_|{<p77> Q}}" ];
x96 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
x96:e -> c96:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x97 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
c96:p77:e -> x97:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
c97 [ shape=record, label="{{<p74> C|<p75> D|<p76> R}|$246\n$_SDFF_PN0_|{<p77> Q}}" ];
x98 [ shape=record, style=rounded, label="<s0> 3:3 - 0:0 " ];
x98:e -> c97:p75:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x99 [ shape=record, style=rounded, label="<s0> 0:0 - 3:3 " ];
c97:p77:e -> x99:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x100 [ shape=record, style=rounded, label="<s0> 19:1 - 18:0 " ];
x101 [ shape=record, style=rounded, label="<s0> 18:0 - 19:1 " ];
x100:e -> x101:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
x102 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x103 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x102:e -> x103:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x104 [ shape=record, style=rounded, label="<s0> 19:1 - 18:0 " ];
x105 [ shape=record, style=rounded, label="<s0> 18:0 - 19:1 " ];
x104:e -> x105:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
x106 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x107 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x106:e -> x107:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x108 [ shape=record, style=rounded, label="<s0> 19:1 - 18:0 " ];
x109 [ shape=record, style=rounded, label="<s0> 18:0 - 19:1 " ];
x108:e -> x109:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
x110 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x111 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x110:e -> x111:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x112 [ shape=record, style=rounded, label="<s0> 19:1 - 18:0 " ];
x113 [ shape=record, style=rounded, label="<s0> 18:0 - 19:1 " ];
x112:e -> x113:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
x114 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x115 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x114:e -> x115:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x116 [ shape=record, style=rounded, label="<s0> 19:1 - 18:0 " ];
x117 [ shape=record, style=rounded, label="<s0> 18:0 - 19:1 " ];
x116:e -> x117:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", style="setlinewidth(3)", label=""];
x118 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x119 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
x118:e -> x119:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
x120 [shape=box, style=rounded, label="BUF"];
x121 [shape=box, style=rounded, label="BUF"];
x122 [shape=box, style=rounded, label="BUF"];
x123 [shape=box, style=rounded, label="BUF"];
x124 [shape=box, style=rounded, label="BUF"];
x125 [shape=box, style=rounded, label="BUF"];
x126 [shape=box, style=rounded, label="BUF"];
x127 [shape=box, style=rounded, label="BUF"];
x128 [shape=box, style=rounded, label="BUF"];
x129 [shape=box, style=rounded, label="BUF"];
x130 [shape=box, style=rounded, label="BUF"];
x131 [ shape=record, style=rounded, label="X -&gt; 37:20 |<s4> 3:0 - 19:16 |<s3> 3:0 - 15:12 |<s2> 3:0 - 11:8 |<s1> 3:0 - 7:4 |<s0> 3:0 - 3:0 " ];
x132 [shape=box, style=rounded, label="BUF"];
n1 [ shape=point ];
c50:p42:e -> n1:w [color="black", label=""];
n1:e -> c51:p41:w [color="black", label=""];
n1:e -> c52:p48:w [color="black", label=""];
c72:p42:e -> c73:p41:w [color="black", label=""];
n11 [ shape=point ];
x101:s0:e -> n11:w [color="black", style="setlinewidth(3)", label=""];
x9:s0:e -> n11:w [color="black", label=""];
n11:e -> x102:s0:w [color="black", label=""];
n11:e -> x68:s0:w [color="black", label=""];
n12 [ shape=point ];
x103:s0:e -> n12:w [color="black", label=""];
x42:s0:e -> n12:w [color="black", label=""];
x46:s0:e -> n12:w [color="black", label=""];
x49:s0:e -> n12:w [color="black", label=""];
n12:e -> x70:s0:w [color="black", label=""];
n12:e -> x72:s0:w [color="black", label=""];
n12:e -> x74:s0:w [color="black", label=""];
n13 [ shape=point ];
x105:s0:e -> n13:w [color="black", style="setlinewidth(3)", label=""];
x5:s0:e -> n13:w [color="black", label=""];
n13:e -> x106:s0:w [color="black", label=""];
n13:e -> x76:s0:w [color="black", label=""];
n14 [ shape=point ];
x107:s0:e -> n14:w [color="black", label=""];
x12:s0:e -> n14:w [color="black", label=""];
x16:s0:e -> n14:w [color="black", label=""];
x19:s0:e -> n14:w [color="black", label=""];
n14:e -> x78:s0:w [color="black", label=""];
n14:e -> x80:s0:w [color="black", label=""];
n14:e -> x82:s0:w [color="black", label=""];
n15 [ shape=point ];
x109:s0:e -> n15:w [color="black", style="setlinewidth(3)", label=""];
x1:s0:e -> n15:w [color="black", label=""];
n15:e -> x110:s0:w [color="black", label=""];
n15:e -> x84:s0:w [color="black", label=""];
n16 [ shape=point ];
x111:s0:e -> n16:w [color="black", label=""];
x22:s0:e -> n16:w [color="black", label=""];
x26:s0:e -> n16:w [color="black", label=""];
x29:s0:e -> n16:w [color="black", label=""];
n16:e -> x86:s0:w [color="black", label=""];
n16:e -> x88:s0:w [color="black", label=""];
n16:e -> x90:s0:w [color="black", label=""];
n17 [ shape=point ];
x113:s0:e -> n17:w [color="black", style="setlinewidth(3)", label=""];
x7:s0:e -> n17:w [color="black", label=""];
n17:e -> x114:s0:w [color="black", label=""];
n17:e -> x92:s0:w [color="black", label=""];
n18 [ shape=point ];
x115:s0:e -> n18:w [color="black", label=""];
x32:s0:e -> n18:w [color="black", label=""];
x36:s0:e -> n18:w [color="black", label=""];
x39:s0:e -> n18:w [color="black", label=""];
n18:e -> x94:s0:w [color="black", label=""];
n18:e -> x96:s0:w [color="black", label=""];
n18:e -> x98:s0:w [color="black", label=""];
n19 [ shape=point ];
x117:s0:e -> n19:w [color="black", style="setlinewidth(3)", label=""];
x3:s0:e -> n19:w [color="black", label=""];
n19:e -> x118:s0:w [color="black", label=""];
n19:e -> x60:s0:w [color="black", label=""];
c52:p42:e -> c53:p41:w [color="black", label=""];
n20 [ shape=point ];
x119:s0:e -> n20:w [color="black", label=""];
x52:s0:e -> n20:w [color="black", label=""];
x56:s0:e -> n20:w [color="black", label=""];
x59:s0:e -> n20:w [color="black", label=""];
n20:e -> x62:s0:w [color="black", label=""];
n20:e -> x64:s0:w [color="black", label=""];
n20:e -> x66:s0:w [color="black", label=""];
x120:e:e -> n21:w [color="black", label=""];
x121:e:e -> n22:w [color="black", label=""];
x69:s0:e -> n23:w [color="black", label=""];
x71:s0:e -> n23:w [color="black", label=""];
x73:s0:e -> n23:w [color="black", label=""];
x75:s0:e -> n23:w [color="black", label=""];
n23:e -> x100:s0:w [color="black", style="setlinewidth(3)", label=""];
n23:e -> x131:s0:w [color="black", style="setlinewidth(3)", label=""];
n23:e -> x40:s0:w [color="black", label=""];
n23:e -> x41:s0:w [color="black", label=""];
n23:e -> x43:s0:w [color="black", label=""];
n23:e -> x44:s0:w [color="black", label=""];
n23:e -> x45:s0:w [color="black", label=""];
n23:e -> x47:s0:w [color="black", label=""];
n23:e -> x48:s0:w [color="black", label=""];
n23:e -> x8:s0:w [color="black", label=""];
x122:e:e -> n24:w [color="black", label=""];
x123:e:e -> n25:w [color="black", label=""];
x77:s0:e -> n26:w [color="black", label=""];
x79:s0:e -> n26:w [color="black", label=""];
x81:s0:e -> n26:w [color="black", label=""];
x83:s0:e -> n26:w [color="black", label=""];
n26:e -> x104:s0:w [color="black", style="setlinewidth(3)", label=""];
n26:e -> x10:s0:w [color="black", label=""];
n26:e -> x11:s0:w [color="black", label=""];
n26:e -> x131:s1:w [color="black", style="setlinewidth(3)", label=""];
n26:e -> x13:s0:w [color="black", label=""];
n26:e -> x14:s0:w [color="black", label=""];
n26:e -> x15:s0:w [color="black", label=""];
n26:e -> x17:s0:w [color="black", label=""];
n26:e -> x18:s0:w [color="black", label=""];
n26:e -> x4:s0:w [color="black", label=""];
x124:e:e -> n27:w [color="black", label=""];
x125:e:e -> n28:w [color="black", label=""];
x85:s0:e -> n29:w [color="black", label=""];
x87:s0:e -> n29:w [color="black", label=""];
x89:s0:e -> n29:w [color="black", label=""];
x91:s0:e -> n29:w [color="black", label=""];
n29:e -> x0:s0:w [color="black", label=""];
n29:e -> x108:s0:w [color="black", style="setlinewidth(3)", label=""];
n29:e -> x131:s2:w [color="black", style="setlinewidth(3)", label=""];
n29:e -> x20:s0:w [color="black", label=""];
n29:e -> x21:s0:w [color="black", label=""];
n29:e -> x23:s0:w [color="black", label=""];
n29:e -> x24:s0:w [color="black", label=""];
n29:e -> x25:s0:w [color="black", label=""];
n29:e -> x27:s0:w [color="black", label=""];
n29:e -> x28:s0:w [color="black", label=""];
n3 [ shape=point ];
c55:p42:e -> n3:w [color="black", label=""];
n3:e -> c56:p41:w [color="black", label=""];
n3:e -> c57:p48:w [color="black", label=""];
x126:e:e -> n30:w [color="black", label=""];
x127:e:e -> n31:w [color="black", label=""];
x93:s0:e -> n32:w [color="black", label=""];
x95:s0:e -> n32:w [color="black", label=""];
x97:s0:e -> n32:w [color="black", label=""];
x99:s0:e -> n32:w [color="black", label=""];
n32:e -> x112:s0:w [color="black", style="setlinewidth(3)", label=""];
n32:e -> x131:s3:w [color="black", style="setlinewidth(3)", label=""];
n32:e -> x30:s0:w [color="black", label=""];
n32:e -> x31:s0:w [color="black", label=""];
n32:e -> x33:s0:w [color="black", label=""];
n32:e -> x34:s0:w [color="black", label=""];
n32:e -> x35:s0:w [color="black", label=""];
n32:e -> x37:s0:w [color="black", label=""];
n32:e -> x38:s0:w [color="black", label=""];
n32:e -> x6:s0:w [color="black", label=""];
x128:e:e -> n33:w [color="black", label=""];
x129:e:e -> n34:w [color="black", label=""];
x61:s0:e -> n35:w [color="black", label=""];
x63:s0:e -> n35:w [color="black", label=""];
x65:s0:e -> n35:w [color="black", label=""];
x67:s0:e -> n35:w [color="black", label=""];
n35:e -> x116:s0:w [color="black", style="setlinewidth(3)", label=""];
n35:e -> x131:s4:w [color="black", style="setlinewidth(3)", label=""];
n35:e -> x2:s0:w [color="black", label=""];
n35:e -> x50:s0:w [color="black", label=""];
n35:e -> x51:s0:w [color="black", label=""];
n35:e -> x53:s0:w [color="black", label=""];
n35:e -> x54:s0:w [color="black", label=""];
n35:e -> x55:s0:w [color="black", label=""];
n35:e -> x57:s0:w [color="black", label=""];
n35:e -> x58:s0:w [color="black", label=""];
x130:e:e -> n36:w [color="black", label=""];
x131:e -> n37:w [color="black", style="setlinewidth(3)", label=""];
x132:e:e -> n38:w [color="black", label=""];
n39:e -> c78:p74:w [color="black", label=""];
n39:e -> c79:p74:w [color="black", label=""];
n39:e -> c80:p74:w [color="black", label=""];
n39:e -> c81:p74:w [color="black", label=""];
n39:e -> c82:p74:w [color="black", label=""];
n39:e -> c83:p74:w [color="black", label=""];
n39:e -> c84:p74:w [color="black", label=""];
n39:e -> c85:p74:w [color="black", label=""];
n39:e -> c86:p74:w [color="black", label=""];
n39:e -> c87:p74:w [color="black", label=""];
n39:e -> c88:p74:w [color="black", label=""];
n39:e -> c89:p74:w [color="black", label=""];
n39:e -> c90:p74:w [color="black", label=""];
n39:e -> c91:p74:w [color="black", label=""];
n39:e -> c92:p74:w [color="black", label=""];
n39:e -> c93:p74:w [color="black", label=""];
n39:e -> c94:p74:w [color="black", label=""];
n39:e -> c95:p74:w [color="black", label=""];
n39:e -> c96:p74:w [color="black", label=""];
n39:e -> c97:p74:w [color="black", label=""];
n39:e -> x120:w:w [color="black", label=""];
n39:e -> x121:w:w [color="black", label=""];
n39:e -> x123:w:w [color="black", label=""];
n39:e -> x125:w:w [color="black", label=""];
n39:e -> x127:w:w [color="black", label=""];
n39:e -> x129:w:w [color="black", label=""];
c57:p42:e -> c58:p41:w [color="black", label=""];
n40:e -> c78:p76:w [color="black", label=""];
n40:e -> c79:p76:w [color="black", label=""];
n40:e -> c80:p76:w [color="black", label=""];
n40:e -> c81:p76:w [color="black", label=""];
n40:e -> c82:p76:w [color="black", label=""];
n40:e -> c83:p76:w [color="black", label=""];
n40:e -> c84:p76:w [color="black", label=""];
n40:e -> c85:p76:w [color="black", label=""];
n40:e -> c86:p76:w [color="black", label=""];
n40:e -> c87:p76:w [color="black", label=""];
n40:e -> c88:p76:w [color="black", label=""];
n40:e -> c89:p76:w [color="black", label=""];
n40:e -> c90:p76:w [color="black", label=""];
n40:e -> c91:p76:w [color="black", label=""];
n40:e -> c92:p76:w [color="black", label=""];
n40:e -> c93:p76:w [color="black", label=""];
n40:e -> c94:p76:w [color="black", label=""];
n40:e -> c95:p76:w [color="black", label=""];
n40:e -> c96:p76:w [color="black", label=""];
n40:e -> c97:p76:w [color="black", label=""];
n40:e -> x122:w:w [color="black", label=""];
n40:e -> x124:w:w [color="black", label=""];
n40:e -> x126:w:w [color="black", label=""];
n40:e -> x128:w:w [color="black", label=""];
n40:e -> x130:w:w [color="black", label=""];
n40:e -> x132:w:w [color="black", label=""];
n5 [ shape=point ];
c60:p42:e -> n5:w [color="black", label=""];
n5:e -> c61:p41:w [color="black", label=""];
n5:e -> c62:p48:w [color="black", label=""];
c62:p42:e -> c63:p41:w [color="black", label=""];
n7 [ shape=point ];
c65:p42:e -> n7:w [color="black", label=""];
n7:e -> c66:p41:w [color="black", label=""];
n7:e -> c67:p48:w [color="black", label=""];
c67:p42:e -> c68:p41:w [color="black", label=""];
n9 [ shape=point ];
c70:p42:e -> n9:w [color="black", label=""];
n9:e -> c71:p41:w [color="black", label=""];
n9:e -> c72:p48:w [color="black", label=""];
}