This appendix contains the bottom-up template grammar $prefix/share/qsmm/samples/gram/bu-uni-alt-1.rg and the corresponding top-down template grammar td-uni-alt-1.rg converted from the former grammar by the rege-markup-cfg, rege-vit, and rege-bottom-up tools for using with the probabilistic adaptive bottom-up parser abu-parser.
See Examples, for the conversion commands.
S: [ W1_2 W2_1 W2_11 W2_12 W2_13 W2_14 W3_1 W3_2 W3_3 W3_4
W4_5 W4_6 W4_7 W5_1 W5_2 W5_3 ]
| [ W2_1 W2_10 W2_11 W2_12 B1 B3 ]
[ W2_1 W2_2 W2_3 W2_4 W2_5 W2_6 W2_7 W2_8 W2_9 W3_2 B2 B4 B7 ]
| [ W4_5 W3_1 W2_1 B3 ]
[ W4_5 W3_2 B5 ]
[ W3_2 W2_1 B5 ]
| [ W2_1 W3_1 B3 ]
[ W2_1 W3_1 B6 ]
[ W2_1 W3_1 B6 ]
[ W2_1 W3_1 B6 ]
;
B1: [ W3_1 W4_1 W4_2 ]
| [ W4_1 W4_3 ] [ W4_1 W4_3 ]
;
B2: [ W1_1 W2_1 W4_3 W4_4 ]
| [ W4_2 W4_4 ] [ W4_2 W4_4 ]
;
B3: [ W2_2 W2_3 ]
;
B4: [ W2_4 W2_5 ]
;
B5: [ W2_6 W2_7 ]
;
B6: [ W2_8 W2_9 ]
;
B7: [ W1_1 W3_1 ]
;
W1_1: [ "c" "d" "e" ] ;
W1_2: "a" ;
W2_1: [ "a" "f" "h" ] [ "a" "b" "e" ] ;
W2_2: [ "a" "l" ] [ "b" "i" ] ;
W2_3: "b" [ "b" "e" ] ;
W2_4: [ "a" "t" ] [ "c" "i" ] ;
W2_5: [ "c" "r" ] "c" ;
W2_6: [ "a" "l" ] [ "d" "l" ] ;
W2_7: [ "d" "r" ] [ "d" "u" ] ;
W2_8: [ "a" "v" ] [ "e" "o" ] ;
W2_9: [ "e" "v" ] "e" ;
W2_10: [ "c" "i" ] [ "f" "i" ] ;
W2_11: [ "i" "l" ] [ "i" "n" ] ;
W2_12: [ "i" "v" ] [ "i" "s" ] ;
W2_13: "o" "f" ;
W2_14: "o" "r" ;
W3_1: [ "a" "b" ] [ "b" "c" "f" "i" ] [ "c" "g" ] ;
W3_2: [ "b" "c" "e" ] [ "a" "b" "f" "h" ] [ "b" "c" "g" "j" "n" ] ;
W3_3: "t" "h" "e" ;
W3_4: "y" "o" "u" ;
W4_1: "a" "b" "c" "d" ;
W4_2: "d" "c" "b" "a" ;
W4_3: "e" "f" "g" "h" ;
W4_4: "h" "g" "f" "e" ;
W4_5: [ "d" "t" ] [ "b" "h" ] [ "b" "e" ] [ "d" "n" ] ;
W4_6: [ "c" "l" ] [ "a" "i" ] [ "t" "z" ] "y" ;
W4_7: [ "f" "l" ] [ "i" "o" ] [ "v" "x" ] [ "e" "y" ];
W5_1: "b" "l" "o" "c" "k" ;
W5_2: "f" "l" "a" "t" "s" ;
W5_3: "p" "l" "a" "c" "e" ;
:c0: = [ "_S/1" ]
;
:c1: = [ "_W1_2/1" ]
;
:c2: = [ "_S/2" ]
;
:c3: = [ "_W2_1/2" "_W2_11/2" "_W2_12/2" "_W2_13/2" "_W2_14/2" ]
;
:c4: = [ "_S/3" ]
;
:c5: = [ "_B3/2" "_W2_1/2" "_W2_10/2" "_W2_11/2" "_W2_12/2" "_W3_1/3"
"_W3_2/3" "_W3_3/3" "_W3_4/3" ]
;
:c6: = [ "_W2_2/2" "_W2_3/2" "__I1" "__I2" "__I3" "__I4" "__I5" "__I6"
"__I7" "__I8" ]
;
:c7: = [ "_B2/1" ]
;
:c8: = [ "_W1_1/1" ]
;
:c9: = [ "_S/4" ]
;
:c10: = [ "_B1/3" "_B3/2" "_W2_1/2" "_W2_10/2" "_W2_11/2" "_W2_12/2"
"_W4_5/4" "_W4_6/4" "_W4_7/4" ]
;
:c11: = [ "_W2_2/2" "_W2_3/2" "_W3_1/3" "__I1" "__I2" "__I3" "__I4" "__I9"
"__I10" "__I11" ]
;
:c12: = [ "_B2/2" "_B4/2" "_W2_1/2" "_W2_2/2" "_W2_3/2" "_W2_4/2" "_W2_5/2"
"_W2_6/2" "_W2_7/2" "_W2_8/2" "_W2_9/2" ]
;
:c13: = [ "_W2_1/2" "_W2_4/2" "_W2_5/2" "__I1" "__I12" "__I13" "__I14"
"__I15" "__I16" "__I17" "__I18" "__I19" ]
;
:c14: = [ "_S/5" ]
;
:c15: = [ "_B1/3" "_B1/4" "_B3/2" "_W2_1/2" "_W2_10/2" "_W2_11/2"
"_W2_12/2" "_W5_1/5" "_W5_2/5" "_W5_3/5" ]
;
:c16: = [ "_W2_2/2" "_W2_3/2" "_W3_1/3" "_W4_1/4" "_W4_2/4" "__I1" "__I2"
"__I3" "__I4" "__I20" "__I21" "__I22" ]
;
:c17: = [ "_B2/1" "_B7/1" ]
;
:c18: = [ "_B7/3" "_W3_2/3" ]
;
:c19: = [ "_W3_1/3" "__I6" ]
;
:c20: = [ "_S/6" ]
;
:c21: = [ "_B1/3" "_B1/4" "_B3/2" "_W2_1/2" "_W2_10/2" "_W2_11/2"
"_W2_12/2" ]
;
:c22: = [ "_W2_2/2" "_W2_3/2" "_W3_1/3" "_W4_1/4" "_W4_2/4" "__I1" "__I2"
"__I3" "__I4" ]
;
:c23: = [ "_B2/4" "_B5/2" ]
;
:c24: = [ "_W2_6/2" "_W2_7/2" "_W4_3/4" "_W4_4/4" ]
;
:c25: = [ "_B5/2" "_W2_1/2" ]
;
:c26: = [ "_W2_6/2" "_W2_7/2" "__I1" ]
;
:c27: = [ "_B2/4" ]
;
:c28: = [ "_W4_3/4" "_W4_4/4" ]
;
:c29: = [ "_S/7" ]
;
:c30: = [ "_B1/3" "_B1/4" "_B3/2" "_W2_1/2" "_W3_1/3" ]
;
:c31: = [ "_W2_2/2" "_W2_3/2" "_W3_1/3" "_W4_1/4" "_W4_2/4" "__I1" "__I5" ]
;
:c32: = [ "_B5/2" "_W3_2/3" ]
;
:c33: = [ "_W2_6/2" "_W2_7/2" "__I6" ]
;
:c34: = [ "_W3_2/3" ]
;
:c35: = [ "_B5/2" ]
;
:c36: = [ "_W2_6/2" "_W2_7/2" ]
;
:c37: = [ "_S/8" ]
;
:c38: = [ "_B1/4" "_B3/2" "_W2_1/2" "_W3_1/3" "_W4_5/4" ]
;
:c39: = [ "_W2_2/2" "_W2_3/2" "_W4_1/4" "_W4_2/4" "__I1" "__I5" "__I9" ]
;
:c40: = [ "_B6/2" "_W2_1/2" "_W3_2/3" "_W4_5/4" ]
;
:c41: = [ "_W2_8/2" "_W2_9/2" "__I1" "__I6" "__I9" ]
;
:c42: = [ "_B6/2" "_W2_1/2" ]
;
:c43: = [ "_W2_8/2" "_W2_9/2" "__I1" ]
;
:c44: = [ "_S/9" ]
;
:c45: = [ "_B1/8" "_B3/2" "_W2_1/2" "_W3_1/3" "_W4_5/4" ]
;
:c46: = [ "_W2_2/2" "_W2_3/2" "_W4_1/4" "_W4_3/4" "__I1" "__I5" "__I9" ]
;
:c47: = [ "_W4_1/4" "_W4_3/4" ]
;
:c48: = [ "_B6/2" "_W2_1/2" "_W3_1/3" "_W4_5/4" ]
;
:c49: = [ "_W2_8/2" "_W2_9/2" "__I1" "__I5" "__I9" ]
;
:c50: = [ "_B6/2" "_W2_1/2" "_W3_1/3" ]
;
:c51: = [ "_W2_8/2" "_W2_9/2" "__I1" "__I5" ]
;
:c52: = [ "_W3_1/3" ]
;
:c53: = [ "_S/10" ]
;
:c54: = [ "_B1/8" "_B3/2" "_W2_1/2" "_W2_10/2" "_W2_11/2" "_W2_12/2"
"_W3_1/3" "_W4_5/4" ]
;
:c55: = [ "_W2_2/2" "_W2_3/2" "_W4_1/4" "_W4_3/4" "__I1" "__I2" "__I3"
"__I4" "__I5" "__I9" ]
;
:c56: = [ "_B2/8" "_B6/2" "_W2_1/2" "_W3_1/3" ]
;
:c57: = [ "_W2_8/2" "_W2_9/2" "_W4_2/4" "_W4_4/4" "__I1" "__I5" ]
;
:c58: = [ "_W4_2/4" "_W4_4/4" ]
;
:c59: = [ "_B2/8" ]
;
:c60: = [ "_W3_2/3" "_W4_5/4" ]
;
:c61: = [ "_S/11" ]
;
:c62: = [ "_B1/3" "_B1/8" "_B3/2" "_W2_1/2" "_W3_1/3" "_W4_5/4" ]
;
:c63: = [ "_W2_2/2" "_W2_3/2" "_W3_1/3" "_W4_1/4" "_W4_3/4" "__I1" "__I5"
"__I9" ]
;
:c64: = [ "_W4_5/4" ]
;
:c65: = [ "_S/12" ]
;
:c66: = [ "_B1/4" "_B1/8" "_W3_1/3" ]
;
:c67: = [ "_W4_1/4" "_W4_2/4" "_W4_3/4" "__I5" ]
;
:c68: = [ "_W4_1/4" "_W4_3/4" "__I23" ]
;
:c69: = [ "_S/16" ]
;
:c70: = [ "_B1/8" ]
;
:n: = [ :c0: :c1: :c2: :c3: :c4: :c5: :c6: :c7: :c8: :c9: :c10: :c11: :c12:
:c13: :c14: :c15: :c16: :c17: :c18: :c19: :c20: :c21: :c22: :c23:
:c24: :c25: :c26: :c27: :c28: :c29: :c30: :c31: :c32: :c33: :c34:
:c35: :c36: :c37: :c38: :c39: :c40: :c41: :c42: :c43: :c44: :c45:
:c46: :c47: :c48: :c49: :c50: :c51: :c52: :c53: :c54: :c55: :c56:
:c57: :c58: :c59: :c60: :c61: :c62: :c63: :c64: :c65: :c66: :c67:
:c68: :c69: :c70: ]
;
:t: = [^ :n: ]
;
START/1: C0 "_S/1"
;
START/2: C2 "_S/2"
;
START/3: C4 "_S/3"
;
START/4: C9 "_S/4"
;
START/5: C14 "_S/5"
;
START/6: C20 "_S/6"
;
START/7: C29 "_S/7"
;
START/8: C37 "_S/8"
;
START/9: C44 "_S/9"
;
START/10: C53 "_S/10"
;
START/11: C61 "_S/11"
;
START/12: C65 "_S/12"
;
START/16: C69 "_S/16"
;
C0: C1 "_W1_2/1" #pn-S-0 < "_S/1" >
;
C1: [ :t: ] #pt-_W1_2_1T #pn-W1_2-0 < "_W1_2/1" >
;
C2: C3 ( "_W2_1/2" #pn-S-0 < "_S/2" >
| "_W2_11/2" #pn-S-0 < "_S/2" >
| "_W2_12/2" #pn-S-0 < "_S/2" >
| "_W2_13/2" #pn-S-0 < "_S/2" >
| "_W2_14/2" #pn-S-0 < "_S/2" >
)
;
C3: [ :t: ] ( [ :t: ] ( #pt-_W2_11_1T2 [ :t: ]~ #pn-W2_11-0 < "_W2_11/2" >
| #pt-_W2_12_1T2 [ :t: ]~ #pn-W2_12-0 < "_W2_12/2" >
)
| [ :t: ] #pt-_W2_11_1T2 #pn-W2_11-0 < "_W2_11/2" >
| [ :t: ] #pt-_W2_12_1T2 #pn-W2_12-0 < "_W2_12/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_13_1T2 #pn-W2_13-0 < "_W2_13/2" >
| [ :t: ] #pt-_W2_14_1T2 #pn-W2_14-0 < "_W2_14/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 #pn-W2_1-0 < "_W2_1/2" >
| [ :t: ] [ :t: ] #pt-_W2_11_1T2 #pn-W2_11-0 < "_W2_11/2" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 #pn-W2_12-0 < "_W2_12/2" >
;
C4: C5 ( "_W3_1/3" #pn-S-0 < "_S/3" >
| "_W3_2/3" #pn-S-0 < "_S/3" >
| "_W3_3/3" #pn-S-0 < "_S/3" >
| "_W3_4/3" #pn-S-0 < "_S/3" >
| ("_B3/2" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/3" >
| ("_W2_1/2" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/3" >
| ("_W2_10/2" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/3" >
| ("_W2_11/2" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/3" >
| ("_W2_12/2" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/3" >
)
;
C5: C6 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I2" #pn-W2_10-0 < "_W2_10/2" >
| "__I3" #pn-W2_11-0 < "_W2_11/2" >
| "__I4" #pn-W2_12-0 < "_W2_12/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I6" #pn-W3_2-0 < "_W3_2/3" >
| "__I7" #pn-W3_3-0 < "_W3_3/3" >
| "__I8" #pn-W3_4-0 < "_W3_4/3" >
)
;
C6: [ :t: ] ( [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] #pt-_W3_2_1T3 < "__I6" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_2_1T3 < "__I6" >
| #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
)
| [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
| #pt-_W2_12_1T2 [ :t: ]~ < "__I4" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] #pt-_W2_12_1T2 < "__I4" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 < "__I4" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_3_1T3 < "__I7" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_4_1T3 < "__I8" >
;
C7: C8 "_W1_1/1" #pn-B2-0 < "_B2/1" >
;
C8: [ :t: ] #pt-_W1_1_1T #pn-W1_1-0 < "_W1_1/1" >
;
C9: C10 ( "_B3/2" C12 ( "_B2/2" #pn-S-1 < "_S/4" >
| "_B4/2" #pn-S-1 < "_S/4" >
| "_W2_1/2" #pn-S-1 < "_S/4" >
| "_W2_2/2" #pn-S-1 < "_S/4" >
| "_W2_3/2" #pn-S-1 < "_S/4" >
| "_W2_4/2" #pn-S-1 < "_S/4" >
| "_W2_5/2" #pn-S-1 < "_S/4" >
| "_W2_6/2" #pn-S-1 < "_S/4" >
| "_W2_7/2" #pn-S-1 < "_S/4" >
| "_W2_8/2" #pn-S-1 < "_S/4" >
| "_W2_9/2" #pn-S-1 < "_S/4" >
)
| "_W2_1/2" C12 ( "_B2/2" #pn-S-1 < "_S/4" >
| "_B4/2" #pn-S-1 < "_S/4" >
| "_W2_1/2" #pn-S-1 < "_S/4" >
| "_W2_2/2" #pn-S-1 < "_S/4" >
| "_W2_3/2" #pn-S-1 < "_S/4" >
| "_W2_4/2" #pn-S-1 < "_S/4" >
| "_W2_5/2" #pn-S-1 < "_S/4" >
| "_W2_6/2" #pn-S-1 < "_S/4" >
| "_W2_7/2" #pn-S-1 < "_S/4" >
| "_W2_8/2" #pn-S-1 < "_S/4" >
| "_W2_9/2" #pn-S-1 < "_S/4" >
)
| "_W2_10/2" C12 ( "_B2/2" #pn-S-1 < "_S/4" >
| "_B4/2" #pn-S-1 < "_S/4" >
| "_W2_1/2" #pn-S-1 < "_S/4" >
| "_W2_2/2" #pn-S-1 < "_S/4" >
| "_W2_3/2" #pn-S-1 < "_S/4" >
| "_W2_4/2" #pn-S-1 < "_S/4" >
| "_W2_5/2" #pn-S-1 < "_S/4" >
| "_W2_6/2" #pn-S-1 < "_S/4" >
| "_W2_7/2" #pn-S-1 < "_S/4" >
| "_W2_8/2" #pn-S-1 < "_S/4" >
| "_W2_9/2" #pn-S-1 < "_S/4" >
)
| "_W2_11/2" C12 ( "_B2/2" #pn-S-1 < "_S/4" >
| "_B4/2" #pn-S-1 < "_S/4" >
| "_W2_1/2" #pn-S-1 < "_S/4" >
| "_W2_2/2" #pn-S-1 < "_S/4" >
| "_W2_3/2" #pn-S-1 < "_S/4" >
| "_W2_4/2" #pn-S-1 < "_S/4" >
| "_W2_5/2" #pn-S-1 < "_S/4" >
| "_W2_6/2" #pn-S-1 < "_S/4" >
| "_W2_7/2" #pn-S-1 < "_S/4" >
| "_W2_8/2" #pn-S-1 < "_S/4" >
| "_W2_9/2" #pn-S-1 < "_S/4" >
)
| "_W2_12/2" C12 ( "_B2/2" #pn-S-1 < "_S/4" >
| "_B4/2" #pn-S-1 < "_S/4" >
| "_W2_1/2" #pn-S-1 < "_S/4" >
| "_W2_2/2" #pn-S-1 < "_S/4" >
| "_W2_3/2" #pn-S-1 < "_S/4" >
| "_W2_4/2" #pn-S-1 < "_S/4" >
| "_W2_5/2" #pn-S-1 < "_S/4" >
| "_W2_6/2" #pn-S-1 < "_S/4" >
| "_W2_7/2" #pn-S-1 < "_S/4" >
| "_W2_8/2" #pn-S-1 < "_S/4" >
| "_W2_9/2" #pn-S-1 < "_S/4" >
)
| "_W4_5/4" #pn-S-0 < "_S/4" >
| "_W4_6/4" #pn-S-0 < "_S/4" >
| "_W4_7/4" #pn-S-0 < "_S/4" >
| ("_B1/3" "_B2/1" <- #d C7 #d) #pn-S-1 < "_S/4" >
)
;
C10: C11 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W3_1/3" #pn-B1-0 < "_B1/3" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I2" #pn-W2_10-0 < "_W2_10/2" >
| "__I3" #pn-W2_11-0 < "_W2_11/2" >
| "__I4" #pn-W2_12-0 < "_W2_12/2" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
| "__I10" #pn-W4_6-0 < "_W4_6/4" >
| "__I11" #pn-W4_7-0 < "_W4_7/4" >
)
;
C11: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] [ :t: ] #pt-_W4_6_1T4 < "__I10" >
| [ :t: ] [ :t: ] #pt-_W4_7_1T4 < "__I11" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
)
| [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_6_1T4 < "__I10" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_7_1T4 < "__I11" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] [ :t: ] #pt-_W4_6_1T4 < "__I10" >
| #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_6_1T4 < "__I10" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
| #pt-_W2_12_1T2 [ :t: ]~ < "__I4" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] #pt-_W2_12_1T2 < "__I4" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_7_1T4 < "__I11" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 < "__I4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C12: C13 ( "_W2_1/2" #pn-B2-0 < "_B2/2" >
| "_W2_4/2" #pn-B4-0 < "_B4/2" >
| "_W2_5/2" #pn-B4-0 < "_B4/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I12" #pn-W2_2-0 < "_W2_2/2" >
| "__I13" #pn-W2_3-0 < "_W2_3/2" >
| "__I14" #pn-W2_4-0 < "_W2_4/2" >
| "__I15" #pn-W2_5-0 < "_W2_5/2" >
| "__I16" #pn-W2_6-0 < "_W2_6/2" >
| "__I17" #pn-W2_7-0 < "_W2_7/2" >
| "__I18" #pn-W2_8-0 < "_W2_8/2" >
| "__I19" #pn-W2_9-0 < "_W2_9/2" >
)
;
C13: [ :t: ] ( [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
| #pt-_W2_2_1T2 [ :t: ]~ < "__I12" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
| #pt-_W2_8_1T2 [ :t: ]~ < "__I18" >
)
| [ :t: ] ( #pt-_W2_2_1T2 [ :t: ]~ < "__I12" >
| #pt-_W2_4_1T2 [ :t: ]~ < "__I14" >
| #pt-_W2_4_1T2 [ :t: ]~ #pn-W2_4-0 < "_W2_4/2" >
)
| [ :t: ] ( #pt-_W2_4_1T2 [ :t: ]~ < "__I14" >
| #pt-_W2_4_1T2 [ :t: ]~ #pn-W2_4-0 < "_W2_4/2" >
)
| [ :t: ] #pt-_W2_6_1T2 < "__I16" >
| [ :t: ] #pt-_W2_8_1T2 < "__I18" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_4_1T2 [ :t: ]~ < "__I14" >
| #pt-_W2_4_1T2 [ :t: ]~ #pn-W2_4-0 < "_W2_4/2" >
)
| [ :t: ] ( #pt-_W2_4_1T2 [ :t: ]~ < "__I14" >
| #pt-_W2_4_1T2 [ :t: ]~ #pn-W2_4-0 < "_W2_4/2" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_5_1T2 [ :t: ]~ < "__I15" >
| #pt-_W2_5_1T2 [ :t: ]~ #pn-W2_5-0 < "_W2_5/2" >
)
| [ :t: ] #pt-_W2_7_1T2 < "__I17" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ < "__I18" >
| #pt-_W2_9_1T2 [ :t: ]~ < "__I19" >
)
| [ :t: ] #pt-_W2_8_1T2 < "__I18" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_2_1T2 < "__I12" >
| [ :t: ] #pt-_W2_6_1T2 < "__I16" >
)
| [ :t: ] [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
| [ :t: ] [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_1_1T2 [ :t: ]~ #pn-W2_1-0 < "_W2_1/2" >
)
| [ :t: ] [ :t: ] ( #pt-_W2_4_1T2 [ :t: ]~ < "__I14" >
| #pt-_W2_4_1T2 [ :t: ]~ #pn-W2_4-0 < "_W2_4/2" >
)
| [ :t: ] [ :t: ] ( #pt-_W2_5_1T2 [ :t: ]~ < "__I15" >
| #pt-_W2_5_1T2 [ :t: ]~ #pn-W2_5-0 < "_W2_5/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_3_1T2 < "__I13" >
| [ :t: ] [ :t: ] #pt-_W2_7_1T2 < "__I17" >
| [ :t: ] [ :t: ] #pt-_W2_9_1T2 < "__I19" >
;
C14: C15 ( "_B1/3" C12 ( "_B2/2" #pn-S-1 < "_S/5" >
| "_B4/2" #pn-S-1 < "_S/5" >
| "_W2_1/2" #pn-S-1 < "_S/5" >
| "_W2_2/2" #pn-S-1 < "_S/5" >
| "_W2_3/2" #pn-S-1 < "_S/5" >
| "_W2_4/2" #pn-S-1 < "_S/5" >
| "_W2_5/2" #pn-S-1 < "_S/5" >
| "_W2_6/2" #pn-S-1 < "_S/5" >
| "_W2_7/2" #pn-S-1 < "_S/5" >
| "_W2_8/2" #pn-S-1 < "_S/5" >
| "_W2_9/2" #pn-S-1 < "_S/5" >
)
| "_B1/4" C17 ( "_B2/1" #pn-S-1 < "_S/5" >
| "_B7/1" #pn-S-1 < "_S/5" >
)
| "_B3/2" C18 ( "_B7/3" #pn-S-1 < "_S/5" >
| "_W3_2/3" #pn-S-1 < "_S/5" >
)
| "_W2_1/2" C18 ( "_B7/3" #pn-S-1 < "_S/5" >
| "_W3_2/3" #pn-S-1 < "_S/5" >
)
| "_W2_10/2" C18 ( "_B7/3" #pn-S-1 < "_S/5" >
| "_W3_2/3" #pn-S-1 < "_S/5" >
)
| "_W2_11/2" C18 ( "_B7/3" #pn-S-1 < "_S/5" >
| "_W3_2/3" #pn-S-1 < "_S/5" >
)
| "_W2_12/2" C18 ( "_B7/3" #pn-S-1 < "_S/5" >
| "_W3_2/3" #pn-S-1 < "_S/5" >
)
| "_W5_1/5" #pn-S-0 < "_S/5" >
| "_W5_2/5" #pn-S-0 < "_S/5" >
| "_W5_3/5" #pn-S-0 < "_S/5" >
)
;
C15: C16 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W3_1/3" #pn-B1-0 < "_B1/3" >
| "_W4_1/4" #pn-B1-0 < "_B1/4" >
| "_W4_2/4" #pn-B1-0 < "_B1/4" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I2" #pn-W2_10-0 < "_W2_10/2" >
| "__I3" #pn-W2_11-0 < "_W2_11/2" >
| "__I4" #pn-W2_12-0 < "_W2_12/2" >
| "__I20" #pn-W5_1-0 < "_W5_1/5" >
| "__I21" #pn-W5_2-0 < "_W5_2/5" >
| "__I22" #pn-W5_3-0 < "_W5_3/5" >
)
;
C16: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W5_1_1T5 < "__I20" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
)
| [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
| #pt-_W2_12_1T2 [ :t: ]~ < "__I4" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] #pt-_W2_12_1T2 < "__I4" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W5_2_1T5 < "__I21" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 < "__I4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W5_3_1T5 < "__I22" >
;
C17: C8 "_W1_1/1" ( [ :t: ]~ #pn-B2-0 < "_B2/1" >
| [ :t: ]~ #pn-B7-0 < "_B7/1" >
)
;
C18: C19 ( "_W3_1/3" #pn-B7-0 < "_B7/3" >
| "__I6" #pn-W3_2-0 < "_W3_2/3" >
)
;
C19: [ :t: ] ( [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W3_2_1T3 [ :t: ]~ < "__I6" >
)
| [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
;
C20: C21 ( "_B1/3" C18 ( "_B7/3" #pn-S-1 < "_S/6" >
| "_W3_2/3" #pn-S-1 < "_S/6" >
)
| "_B1/4" C12 ( "_B2/2" #pn-S-1 < "_S/6" >
| "_B4/2" #pn-S-1 < "_S/6" >
| "_W2_1/2" #pn-S-1 < "_S/6" >
| "_W2_2/2" #pn-S-1 < "_S/6" >
| "_W2_3/2" #pn-S-1 < "_S/6" >
| "_W2_4/2" #pn-S-1 < "_S/6" >
| "_W2_5/2" #pn-S-1 < "_S/6" >
| "_W2_6/2" #pn-S-1 < "_S/6" >
| "_W2_7/2" #pn-S-1 < "_S/6" >
| "_W2_8/2" #pn-S-1 < "_S/6" >
| "_W2_9/2" #pn-S-1 < "_S/6" >
)
| "_B3/2" C23 ( "_B2/4" #pn-S-1 < "_S/6" >
| "_B5/2" C25 ( "_B5/2" #pn-S-2 < "_S/6" >
| "_W2_1/2" #pn-S-2 < "_S/6" >
)
)
| "_W2_1/2" C23 ( "_B2/4" #pn-S-1 < "_S/6" >
| "_B5/2" C25 ( "_B5/2" #pn-S-2 < "_S/6" >
| "_W2_1/2" #pn-S-2 < "_S/6" >
)
)
| ("_W2_10/2" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/6" >
| ("_W2_11/2" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/6" >
| ("_W2_12/2" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/6" >
)
;
C21: C22 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W3_1/3" #pn-B1-0 < "_B1/3" >
| "_W4_1/4" #pn-B1-0 < "_B1/4" >
| "_W4_2/4" #pn-B1-0 < "_B1/4" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I2" #pn-W2_10-0 < "_W2_10/2" >
| "__I3" #pn-W2_11-0 < "_W2_11/2" >
| "__I4" #pn-W2_12-0 < "_W2_12/2" >
)
;
C22: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
)
| [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
| #pt-_W2_12_1T2 [ :t: ]~ < "__I4" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] #pt-_W2_12_1T2 < "__I4" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 < "__I4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
;
C23: C24 ( "_W2_6/2" #pn-B5-0 < "_B5/2" >
| "_W2_7/2" #pn-B5-0 < "_B5/2" >
| "_W4_3/4" #pn-B2-0 < "_B2/4" >
| "_W4_4/4" #pn-B2-0 < "_B2/4" >
)
;
C24: [ :t: ] [ :t: ] #pt-_W2_6_1T2 #pn-W2_6-0 < "_W2_6/2" >
| [ :t: ] [ :t: ] #pt-_W2_7_1T2 #pn-W2_7-0 < "_W2_7/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_4_1T4 #pn-W4_4-0 < "_W4_4/4" >
;
C25: C26 ( "_W2_6/2" #pn-B5-0 < "_B5/2" >
| "_W2_7/2" #pn-B5-0 < "_B5/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
)
;
C26: [ :t: ] ( [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_6_1T2 #pn-W2_6-0 < "_W2_6/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_6_1T2 #pn-W2_6-0 < "_W2_6/2" >
| [ :t: ] [ :t: ] #pt-_W2_7_1T2 #pn-W2_7-0 < "_W2_7/2" >
;
C27: C28 ( "_W4_3/4" #pn-B2-0 < "_B2/4" >
| "_W4_4/4" #pn-B2-0 < "_B2/4" >
)
;
C28: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_4_1T4 #pn-W4_4-0 < "_W4_4/4" >
;
C29: C30 ( "_B1/4" C18 ( "_B7/3" #pn-S-1 < "_S/7" >
| "_W3_2/3" #pn-S-1 < "_S/7" >
)
| "_B3/2" C32 ( "_W3_2/3" C25 ( "_B5/2" #pn-S-2 < "_S/7" >
| "_W2_1/2" #pn-S-2 < "_S/7" >
)
| ("_B5/2" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/7" >
)
| "_W2_1/2" C32 ( "_W3_2/3" C25 ( "_B5/2" #pn-S-2 < "_S/7" >
| "_W2_1/2" #pn-S-2 < "_S/7" >
)
| ("_B5/2" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/7" >
)
| ("_B1/3" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/7" >
| ("_W3_1/3" "_B5/2" <- #d C35 #d) C25 ( "_B5/2" #pn-S-2 < "_S/7" >
| "_W2_1/2" #pn-S-2 < "_S/7" >
)
)
;
C30: C31 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W3_1/3" #pn-B1-0 < "_B1/3" >
| "_W4_1/4" #pn-B1-0 < "_B1/4" >
| "_W4_2/4" #pn-B1-0 < "_B1/4" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
)
;
C31: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
;
C32: C33 ( "_W2_6/2" #pn-B5-0 < "_B5/2" >
| "_W2_7/2" #pn-B5-0 < "_B5/2" >
| "__I6" #pn-W3_2-0 < "_W3_2/3" >
)
;
C33: [ :t: ] [ :t: ] #pt-_W2_6_1T2 #pn-W2_6-0 < "_W2_6/2" >
| [ :t: ] [ :t: ] #pt-_W2_7_1T2 #pn-W2_7-0 < "_W2_7/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
;
C34: [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 #pn-W3_2-0 < "_W3_2/3" >
;
C35: C36 ( "_W2_6/2" #pn-B5-0 < "_B5/2" >
| "_W2_7/2" #pn-B5-0 < "_B5/2" >
)
;
C36: [ :t: ] [ :t: ] #pt-_W2_6_1T2 #pn-W2_6-0 < "_W2_6/2" >
| [ :t: ] [ :t: ] #pt-_W2_7_1T2 #pn-W2_7-0 < "_W2_7/2" >
;
C37: C38 ( "_B3/2" C40 ( "_B6/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
)
| "_W2_1/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
)
| "_W4_5/4" C25 ( "_B5/2" #pn-S-2 < "_S/8" >
| "_W2_1/2" #pn-S-2 < "_S/8" >
)
| ("_W3_2/3" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/8" >
)
| "_W2_1/2" C40 ( "_B6/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
)
| "_W2_1/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/8" >
| "_W2_1/2" #pn-S-3 < "_S/8" >
)
)
| "_W4_5/4" C25 ( "_B5/2" #pn-S-2 < "_S/8" >
| "_W2_1/2" #pn-S-2 < "_S/8" >
)
| ("_W3_2/3" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/8" >
)
| "_W3_1/3" C32 ( "_W3_2/3" C25 ( "_B5/2" #pn-S-2 < "_S/8" >
| "_W2_1/2" #pn-S-2 < "_S/8" >
)
| ("_B5/2" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/8" >
)
| ("_B1/4" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/8" >
| ("_W4_5/4" "_B5/2" <- #d C35 #d) C25 ( "_B5/2" #pn-S-2 < "_S/8" >
| "_W2_1/2" #pn-S-2 < "_S/8" >
)
)
;
C38: C39 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W4_1/4" #pn-B1-0 < "_B1/4" >
| "_W4_2/4" #pn-B1-0 < "_B1/4" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C39: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
)
| [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C40: C41 ( "_W2_8/2" #pn-B6-0 < "_B6/2" >
| "_W2_9/2" #pn-B6-0 < "_B6/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I6" #pn-W3_2-0 < "_W3_2/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C41: [ :t: ] ( [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
| #pt-_W2_9_1T2 [ :t: ]~ #pn-W2_9-0 < "_W2_9/2" >
)
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_9_1T2 #pn-W2_9-0 < "_W2_9/2" >
| [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 < "__I6" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C42: C43 ( "_W2_8/2" #pn-B6-0 < "_B6/2" >
| "_W2_9/2" #pn-B6-0 < "_B6/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
)
;
C43: [ :t: ] ( [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
| #pt-_W2_9_1T2 [ :t: ]~ #pn-W2_9-0 < "_W2_9/2" >
)
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_9_1T2 #pn-W2_9-0 < "_W2_9/2" >
;
C44: C45 ( "_B1/8" C17 ( "_B2/1" #pn-S-1 < "_S/9" >
| "_B7/1" #pn-S-1 < "_S/9" >
)
| "_B3/2" C48 ( "_B6/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3 < "_S/9" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3 < "_S/9" >
)
| "_W2_1/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3 < "_S/9" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/9" >
)
| "_W3_1/3" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
)
| ("_W4_5/4" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/9" >
)
| "_W2_1/2" C48 ( "_B6/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3 < "_S/9" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/9" >
)
| "_W2_1/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/9" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/9" >
)
| "_W3_1/3" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
)
| ("_W4_5/4" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/9" >
)
| "_W3_1/3" C40 ( "_B6/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
)
| "_W2_1/2" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/9" >
| "_W2_1/2" #pn-S-3 < "_S/9" >
)
)
| "_W4_5/4" C25 ( "_B5/2" #pn-S-2 < "_S/9" >
| "_W2_1/2" #pn-S-2 < "_S/9" >
)
| ("_W3_2/3" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/9" >
)
| "_W4_5/4" C32 ( "_W3_2/3" C25 ( "_B5/2" #pn-S-2 < "_S/9" >
| "_W2_1/2" #pn-S-2 < "_S/9" >
)
| ("_B5/2" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/9" >
)
)
;
C45: C46 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W4_1/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "_W4_3/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C46: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
)
| [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C47: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
;
C48: C49 ( "_W2_8/2" #pn-B6-0 < "_B6/2" >
| "_W2_9/2" #pn-B6-0 < "_B6/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C49: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
| #pt-_W2_9_1T2 [ :t: ]~ #pn-W2_9-0 < "_W2_9/2" >
)
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_9_1T2 #pn-W2_9-0 < "_W2_9/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C50: C51 ( "_W2_8/2" #pn-B6-0 < "_B6/2" >
| "_W2_9/2" #pn-B6-0 < "_B6/2" >
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
)
;
C51: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
| #pt-_W2_9_1T2 [ :t: ]~ #pn-W2_9-0 < "_W2_9/2" >
)
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_9_1T2 #pn-W2_9-0 < "_W2_9/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
;
C52: [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 #pn-W3_1-0 < "_W3_1/3" >
;
C53: C54 ( "_B1/8" C12 ( "_B2/2" #pn-S-1 < "_S/10" >
| "_B4/2" #pn-S-1 < "_S/10" >
| "_W2_1/2" #pn-S-1 < "_S/10" >
| "_W2_2/2" #pn-S-1 < "_S/10" >
| "_W2_3/2" #pn-S-1 < "_S/10" >
| "_W2_4/2" #pn-S-1 < "_S/10" >
| "_W2_5/2" #pn-S-1 < "_S/10" >
| "_W2_6/2" #pn-S-1 < "_S/10" >
| "_W2_7/2" #pn-S-1 < "_S/10" >
| "_W2_8/2" #pn-S-1 < "_S/10" >
| "_W2_9/2" #pn-S-1 < "_S/10" >
)
| "_B3/2" C56 ( "_B2/8" #pn-S-1 < "_S/10" >
| "_W3_1/3" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
)
| ("_B6/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/10" >
)
| "_W2_1/2" C56 ( "_B2/8" #pn-S-1 < "_S/10" >
| "_W3_1/3" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
)
| ("_B6/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/10" >
)
| "_W3_1/3" C48 ( "_B6/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
)
| "_W2_1/2" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/10" >
)
| "_W3_1/3" C42 ( "_B6/2" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
| "_W2_1/2" C42 ( "_B6/2" #pn-S-3 < "_S/10" >
| "_W2_1/2" #pn-S-3 < "_S/10" >
)
)
| ("_W4_5/4" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/10" >
)
| "_W4_5/4" C60 ( "_W4_5/4" C25 ( "_B5/2" #pn-S-2 < "_S/10" >
| "_W2_1/2" #pn-S-2 < "_S/10" >
)
| ("_W3_2/3" "_W3_2/3" <- #d C34 #d) #pn-S-2 < "_S/10" >
)
| ("_W2_10/2" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/10" >
| ("_W2_11/2" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/10" >
| ("_W2_12/2" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/10" >
)
;
C54: C55 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W4_1/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "_W4_3/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I2" #pn-W2_10-0 < "_W2_10/2" >
| "__I3" #pn-W2_11-0 < "_W2_11/2" >
| "__I4" #pn-W2_12-0 < "_W2_12/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C55: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
)
| [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
)
| [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_10_1T2 [ :t: ]~ < "__I2" >
| #pt-_W2_11_1T2 [ :t: ]~ < "__I3" >
| #pt-_W2_12_1T2 [ :t: ]~ < "__I4" >
)
| [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] #pt-_W2_11_1T2 < "__I3" >
| [ :t: ] #pt-_W2_12_1T2 < "__I4" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_10_1T2 < "__I2" >
| [ :t: ] [ :t: ] #pt-_W2_12_1T2 < "__I4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C56: C57 ( "_W2_8/2" #pn-B6-0 < "_B6/2" >
| "_W2_9/2" #pn-B6-0 < "_B6/2" >
| "_W4_2/4" C58 ( "_W4_2/4" #pn-B2-1 < "_B2/8" >
| "_W4_4/4" #pn-B2-1 < "_B2/8" >
)
| "_W4_4/4" C58 ( "_W4_2/4" #pn-B2-1 < "_B2/8" >
| "_W4_4/4" #pn-B2-1 < "_B2/8" >
)
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
)
;
C57: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
)
| [ :t: ] ( #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W2_8_1T2 [ :t: ]~ #pn-W2_8-0 < "_W2_8/2" >
| #pt-_W2_9_1T2 [ :t: ]~ #pn-W2_9-0 < "_W2_9/2" >
)
| [ :t: ] #pt-_W2_8_1T2 #pn-W2_8-0 < "_W2_8/2" >
)
| [ :t: ] ( [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W4_4_1T4 #pn-W4_4-0 < "_W4_4/4" >
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_9_1T2 #pn-W2_9-0 < "_W2_9/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
;
C58: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_4_1T4 #pn-W4_4-0 < "_W4_4/4" >
;
C59: C58 ( "_W4_2/4" C58 ( "_W4_2/4" #pn-B2-1 < "_B2/8" >
| "_W4_4/4" #pn-B2-1 < "_B2/8" >
)
| "_W4_4/4" C58 ( "_W4_2/4" #pn-B2-1 < "_B2/8" >
| "_W4_4/4" #pn-B2-1 < "_B2/8" >
)
)
;
C60: [ :t: ] [ :t: ] [ :t: ] #pt-_W3_2_1T3 #pn-W3_2-0 < "_W3_2/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 #pn-W4_5-0 < "_W4_5/4" >
;
C61: C62 ( "_B1/8" C18 ( "_B7/3" #pn-S-1 < "_S/11" >
| "_W3_2/3" #pn-S-1 < "_S/11" >
)
| "_W3_1/3" C50 ( "_W3_1/3" C50 ( "_W3_1/3" C42 ( "_B6/2" #pn-S-3 < "_S/11" >
| "_W2_1/2" #pn-S-3 < "_S/11" >
)
| ("_B6/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/11" >
| ("_W2_1/2" "_W3_1/3" <- #d C52 #d) #pn-S-3
< "_S/11" >
)
| ("_B6/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/11" >
| ("_W2_1/2" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d) #pn-S-3
< "_S/11" >
)
| ("_B1/3" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/11" >
| ("_B3/2" "_W3_1/3" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d C52 #d) #pn-S-3
< "_S/11" >
| ("_W2_1/2" "_W3_1/3" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d C52 #d) #pn-S-3
< "_S/11" >
| ("_W4_5/4" "_W4_5/4" "_W3_2/3" <- #d C64 #d C34 #d) #pn-S-2 < "_S/11" >
)
;
C62: C63 ( "_W2_2/2" #pn-B3-0 < "_B3/2" >
| "_W2_3/2" #pn-B3-0 < "_B3/2" >
| "_W3_1/3" #pn-B1-0 < "_B1/3" >
| "_W4_1/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "_W4_3/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "__I1" #pn-W2_1-0 < "_W2_1/2" >
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
| "__I9" #pn-W4_5-0 < "_W4_5/4" >
)
;
C63: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_1_1T2 [ :t: ]~ < "__I1" >
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_2_1T2 [ :t: ]~ #pn-W2_2-0 < "_W2_2/2" >
)
| [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] ( [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| #pt-_W2_3_1T2 [ :t: ]~ #pn-W2_3-0 < "_W2_3/2" >
)
| [ :t: ] #pt-_W2_3_1T2 #pn-W2_3-0 < "_W2_3/2" >
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
| [ :t: ] [ :t: ] ( #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
| #pt-_W3_1_1T3 [ :t: ]~ #pn-W3_1-0 < "_W3_1/3" >
)
)
| [ :t: ] [ :t: ] #pt-_W2_1_1T2 < "__I1" >
| [ :t: ] [ :t: ] #pt-_W2_2_1T2 #pn-W2_2-0 < "_W2_2/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 < "__I9" >
;
C64: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_5_1T4 #pn-W4_5-0 < "_W4_5/4" >
;
C65: C66 ( ("_B1/4" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/12" >
| ("_B1/8" "_B2/4" <- #d C27 #d) #pn-S-1 < "_S/12" >
| ("_W3_1/3" "_W3_1/3" "_W3_1/3" "_W3_1/3" <- #d C52 #d C52 #d C52 #d) #pn-S-3
< "_S/12" >
)
;
C66: C67 ( "_W4_1/4" C68 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
| "__I23" #pn-B1-0 < "_B1/4" >
)
| "_W4_2/4" #pn-B1-0 < "_B1/4" >
| "_W4_3/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "__I5" #pn-W3_1-0 < "_W3_1/3" >
)
;
C67: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| #pt-_W3_1_1T3 [ :t: ]~ < "__I5" >
)
| [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_W3_1_1T3 < "__I5" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_2_1T4 #pn-W4_2-0 < "_W4_2/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
;
C68: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_1_1T4 #pn-W4_1-0 < "_W4_1/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_W4_3_1T4 #pn-W4_3-0 < "_W4_3/4" >
| [ :t: ]~ < "__I23" >
;
C69: C70 ("_B1/8" "_B2/8" <- #d C59 #d) #pn-S-1 < "_S/16" >
;
C70: C47 ( "_W4_1/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
| "_W4_3/4" C47 ( "_W4_1/4" #pn-B1-1 < "_B1/8" >
| "_W4_3/4" #pn-B1-1 < "_B1/8" >
)
)
;