This appendix contains the bottom-up template grammar $prefix/share/qsmm/samples/gram/bu-1-14-uni-no-quant.rg and the corresponding top-down template grammar td-1-14-uni-no-quant.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: A B | L00 L01 | B | B C | B C C | B D D | B E E E | C B B C | C B C B | C C B B | D C B | D D C | "a" | "b" "i" "g" | "b" "l" "o" "c" "k" | "c" "a" "n" | "c" "i" "l" "i" | "c" "i" "r" "c" | "c" "i" "t" "i" | "c" "i" "t" "y" | "d" | "f" "l" "a" "t" "s" | "f" "o" "x" | "f" "o" "x" "y" | "h" "e" A | "i" "f" | "i" "k" "j" | "i" "n" | "i" "s" | "l" "a" "z" "y" | "l" "i" "b" "e" | "l" "i" "f" "e" | "l" "i" "v" "e" | "o" "f" | "o" "r" | "p" "l" "a" "c" "e" | "t" "h" "e" | "t" "h" "e" "n" | "v" "i" "l" "l" | "v" "i" "r" "u" | "v" "i" "v" "o" | "y" "o" "u" ; A: "a" "b" "c" | "a" "b" "c" "d" | "b" "f" "g" | "c" | "d" "c" "b" "a" | "e" "h" "j" ;
B: "a" "a" | "a" "b" | "b" "b" | "b" "c" "c" | "e" | "e" "f" "g" "h" | "f" "e" | "h" "g" "f" "e" ;
C: "a" "b" "c" | "a" "c" | "c" "b" "b" | "c" "b" "c" | "c" "c" ; D: "a" "d" | "d" "b" "b" "d" | "d" "d" ; E: "a" "e" | "e" "e" ; L00: L10 L11 | L11 L10 ; L01: L12 L13 | L13 L12 ; L10: "a" "b" "c" "d" ; L11: "e" "f" "g" "h" ; L12: "d" "c" "b" "a" ; L13: "h" "g" "f" "e" ;
:c0: = [ "_S/1" ]
;
:c1: = [ "_B/1" "__I1" "__I2" ]
;
:c2: = [ "_S/2" ]
;
:c3: = [ "_A/1" "_B/2" "__I3" "__I4" "__I5" "__I6" "__I7" ]
;
:c4: = [ "_B/1" ]
;
:c5: = [ "_S/3" ]
;
:c6: = [ "_A/1" "_B/1" "_B/3" "__I8" "__I9" "__I10" "__I11" "__I12" "__I13"
"__I14" ]
;
:c7: = [ "_A/1" ]
;
:c8: = [ "_B/2" ]
;
:c9: = [ "_C/2" ]
;
:c10: = [ "_S/4" ]
;
:c11: = [ "_A/1" "_A/3" "_B/1" "_B/2" "_B/4" "__I15" "__I16" "__I17"
"__I18" "__I19" "__I20" "__I21" "__I22" "__I23" "__I24" "__I25"
"__I26" "__I27" ]
;
:c12: = [ "_B/3" ]
;
:c13: = [ "_C/3" ]
;
:c14: = [ "_S/5" ]
;
:c15: = [ "_A/1" "_A/3" "_A/4" "_B/1" "_B/2" "_B/3" "_D/2" "__I28" "__I29"
"__I30" "__I31" ]
;
:c16: = [ "_A/3" ]
;
:c17: = [ "_B/4" ]
;
:c18: = [ "_C/2" "_D/2" ]
;
:c19: = [ "_D/2" ]
;
:c20: = [ "_S/6" ]
;
:c21: = [ "_A/3" "_A/4" "_B/1" "_B/2" "_B/3" "_B/4" "_C/2" "_D/2" "__I32" ]
;
:c22: = [ "_A/4" ]
;
:c23: = [ "_C/2" "_C/3" ]
;
:c24: = [ "_B/1" "_C/2" ]
;
:c25: = [ "_C/2" "_C/3" "_D/2" ]
;
:c26: = [ "_S/7" ]
;
:c27: = [ "_A/3" "_A/4" "_B/1" "_B/2" "_B/3" "_B/4" "_C/2" "_C/3" "_D/2"
"_D/4" ]
;
:c28: = [ "_C/3" "_D/2" "_D/4" "_E/2" ]
;
:c29: = [ "_D/4" ]
;
:c30: = [ "_E/2" ]
;
:c31: = [ "_B/1" "_B/2" "_C/2" "_C/3" ]
;
:c32: = [ "_B/1" "_B/2" ]
;
:c33: = [ "_S/8" ]
;
:c34: = [ "_A/4" "_B/2" "_B/3" "_B/4" "_C/2" "_C/3" "_D/2" "_D/4" ]
;
:c35: = [ "_B/1" "_B/2" "_B/3" "_C/2" "_C/3" ]
;
:c36: = [ "_B/2" "_B/3" "_C/2" "_C/3" ]
;
:c37: = [ "_B/1" "_B/2" "_B/3" ]
;
:c38: = [ "_C/2" "_C/3" "_D/4" ]
;
:c39: = [ "_S/9" ]
;
:c40: = [ "_B/1" "_B/3" "_B/4" "_C/2" "_C/3" "_D/2" "_D/4" ]
;
:c41: = [ "_B/1" "_B/2" "_B/3" "_B/4" "_C/2" "_C/3" ]
;
:c42: = [ "_B/3" "_B/4" "_C/2" "_C/3" ]
;
:c43: = [ "_B/1" "_B/2" "_B/3" "_B/4" ]
;
:c44: = [ "_C/3" "_D/4" ]
;
:c45: = [ "_S/10" ]
;
:c46: = [ "_B/2" "_B/4" "_C/2" "_C/3" "_D/4" ]
;
:c47: = [ "_B/4" "_C/3" ]
;
:c48: = [ "_B/2" "_B/3" "_B/4" ]
;
:c49: = [ "_S/11" ]
;
:c50: = [ "_B/3" "_C/2" "_C/3" "_D/4" ]
;
:c51: = [ "_B/2" "_B/3" "_B/4" "_C/2" "_C/3" ]
;
:c52: = [ "_B/3" "_B/4" ]
;
:c53: = [ "_S/12" ]
;
:c54: = [ "_B/4" "_C/2" "_C/3" ]
;
:c55: = [ "_S/13" ]
;
:c56: = [ "_S/14" ]
;
:c57: = [ "_S/16" ]
;
:c58: = [ "_L00/8" ]
;
:c59: = [ "_L10/4" "_L11/4" ]
;
:c60: = [ "_L11/4" ]
;
:c61: = [ "_L10/4" ]
;
:c62: = [ "_L01/8" ]
;
:c63: = [ "_L12/4" "_L13/4" ]
;
:c64: = [ "_L13/4" ]
;
:c65: = [ "_L12/4" ]
;
: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: ]
;
:t: = [^ :n: ]
;
START/1: C0 "_S/1"
;
START/2: C2 "_S/2"
;
START/3: C5 "_S/3"
;
START/4: C10 "_S/4"
;
START/5: C14 "_S/5"
;
START/6: C20 "_S/6"
;
START/7: C26 "_S/7"
;
START/8: C33 "_S/8"
;
START/9: C39 "_S/9"
;
START/10: C45 "_S/10"
;
START/11: C49 "_S/11"
;
START/12: C53 "_S/12"
;
START/13: C55 "_S/13"
;
START/14: C56 "_S/14"
;
START/16: C57 "_S/16"
;
C0: C1 ( "_B/1" #pn-S-2 < "_S/1" >
| "__I1" #pn-S-12 < "_S/1" >
| "__I2" #pn-S-20 < "_S/1" >
)
;
C1: [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] #pt-_S_1T < "__I1" >
| [ :t: ] #pt-_S_9T < "__I2" >
;
C2: C3 ( "_B/2" #pn-S-2 < "_S/2" >
| "__I3" #pn-S-25 < "_S/2" >
| "__I4" #pn-S-27 < "_S/2" >
| "__I5" #pn-S-28 < "_S/2" >
| "__I6" #pn-S-33 < "_S/2" >
| "__I7" #pn-S-34 < "_S/2" >
| ("_A/1" "_B/1" <- #d C4 #d) #pn-S-0 < "_S/2" >
)
;
C3: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] ( [ :t: ] #pt-_S_14T2 < "__I3" >
| [ :t: ] #pt-_S_16T2 < "__I4" >
| [ :t: ] #pt-_S_17T2 < "__I5" >
)
| [ :t: ] ( [ :t: ] #pt-_S_22T2 < "__I6" >
| [ :t: ] #pt-_S_23T2 < "__I7" >
)
| [ :t: ] #pt-_A_4T #pn-A-3 < "_A/1" >
| [ :t: ] [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C4: [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
;
C5: C6 ( "_B/3" #pn-S-2 < "_S/3" >
| "__I8" #pn-S-13 < "_S/3" >
| "__I9" #pn-S-15 < "_S/3" >
| "__I10" #pn-S-22 < "_S/3" >
| "__I11" #pn-S-24 < "_S/3" >
| "__I12" #pn-S-26 < "_S/3" >
| "__I13" #pn-S-36 < "_S/3" >
| "__I14" #pn-S-41 < "_S/3" >
| ("_A/1" "_B/2" <- #d C8 #d) #pn-S-0 < "_S/3" >
| ("_B/1" "_C/2" <- #d C9 #d) #pn-S-3 < "_S/3" >
)
;
C6: [ :t: ] ( [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] #pt-_S_2T3 < "__I8" >
)
| [ :t: ] ( [ :t: ] [ :t: ] #pt-_S_4T3 < "__I9" >
| #pt-_A_4T [ :t: ]~ #pn-A-3 < "_A/1" >
)
| [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_S_13T2 C7 "_A/1" < "__I11" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_11T3 < "__I10" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_15T3 < "__I12" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_25T3 < "__I13" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_30T3 < "__I14" >
;
C7: [ :t: ] #pt-_A_4T #pn-A-3 < "_A/1" >
;
C8: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C9: [ :t: ] [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
;
C10: C11 ( "_B/4" #pn-S-2 < "_S/4" >
| "__I15" #pn-S-16 < "_S/4" >
| "__I16" #pn-S-17 < "_S/4" >
| "__I17" #pn-S-18 < "_S/4" >
| "__I18" #pn-S-19 < "_S/4" >
| "__I19" #pn-S-23 < "_S/4" >
| "__I20" #pn-S-29 < "_S/4" >
| "__I21" #pn-S-30 < "_S/4" >
| "__I22" #pn-S-31 < "_S/4" >
| "__I23" #pn-S-32 < "_S/4" >
| "__I24" #pn-S-37 < "_S/4" >
| "__I25" #pn-S-38 < "_S/4" >
| "__I26" #pn-S-39 < "_S/4" >
| "__I27" #pn-S-40 < "_S/4" >
| ("_A/1" "_B/3" <- #d C12 #d) #pn-S-0 < "_S/4" >
| ("_A/3" "_B/1" <- #d C4 #d) #pn-S-0 < "_S/4" >
| ("_B/1" "_C/3" <- #d C13 #d) #pn-S-3 < "_S/4" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-3 < "_S/4" >
)
;
C11: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_S_7T4 < "__I17" >
| [ :t: ] #pt-_S_8T4 < "__I18" >
)
| [ :t: ] [ :t: ] #pt-_S_5T4 < "__I15" >
| [ :t: ] [ :t: ] #pt-_S_6T4 < "__I16" >
)
| #pt-_A_4T [ :t: ]~ #pn-A-3 < "_A/1" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_A_1T3 #pn-A-0 < "_A/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] [ :t: ] #pt-_S_19T4 < "__I21" >
| [ :t: ] [ :t: ] #pt-_S_20T4 < "__I22" >
| [ :t: ] [ :t: ] #pt-_S_21T4 < "__I23" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_18T4 < "__I20" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_A_3T3 #pn-A-2 < "_A/3" >
)
| [ :t: ] ( [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_S_12T4 < "__I19" >
)
| [ :t: ] ( [ :t: ] [ :t: ] #pt-_A_6T3 #pn-A-5 < "_A/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] ( [ :t: ] [ :t: ] #pt-_S_27T4 < "__I25" >
| [ :t: ] [ :t: ] #pt-_S_28T4 < "__I26" >
| [ :t: ] [ :t: ] #pt-_S_29T4 < "__I27" >
)
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_S_26T4 < "__I24" >
;
C12: [ :t: ] [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
;
C13: [ :t: ] [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
;
C14: C15 ( "_B/1" C18 ( ("_C/2" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/5" >
| ("_D/2" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/5" >
)
| "__I28" #pn-S-14 < "_S/5" >
| "__I29" #pn-S-21 < "_S/5" >
| "__I30" #pn-S-24 < "_S/5" >
| "__I31" #pn-S-35 < "_S/5" >
| ("_A/1" "_B/4" <- #d C17 #d) #pn-S-0 < "_S/5" >
| ("_A/3" "_B/2" <- #d C8 #d) #pn-S-0 < "_S/5" >
| ("_A/4" "_B/1" <- #d C4 #d) #pn-S-0 < "_S/5" >
| ("_B/2" "_C/3" <- #d C13 #d) #pn-S-3 < "_S/5" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-3 < "_S/5" >
| ("_D/2" "_C/2" "_B/1" <- #d C9 #d C4 #d) #pn-S-10 < "_S/5" >
)
;
C15: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_A_2T4 #pn-A-1 < "_A/4" >
| #pt-_A_1T3 [ :t: ]~ #pn-A-0 < "_A/3" >
)
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_A_3T3 #pn-A-2 < "_A/3" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_S_3T5 < "__I28" >
)
| [ :t: ] ( [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_S_10T5 < "__I29" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_5T4 #pn-A-4 < "_A/4" >
)
| [ :t: ] ( [ :t: ] [ :t: ] #pt-_A_6T3 #pn-A-5 < "_A/3" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] #pt-_A_4T #pn-A-3 < "_A/1" >
| [ :t: ] [ :t: ] #pt-_S_13T2 C16 "_A/3" < "__I30" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_S_24T5 < "__I31" >
;
C16: [ :t: ] [ :t: ] [ :t: ] #pt-_A_1T3 #pn-A-0 < "_A/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_3T3 #pn-A-2 < "_A/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_6T3 #pn-A-5 < "_A/3" >
;
C17: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C18: [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
)
| [ :t: ] [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
;
C19: [ :t: ] [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
| [ :t: ] [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
;
C20: C21 ( "_B/1" C23 ( ("_C/2" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/6" >
| ("_C/3" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/6" >
)
| "_B/2" C18 ( ("_C/2" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/6" >
| ("_D/2" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/6" >
)
| "_C/2" C24 ( "_B/1" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/6" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/6" >
)
| ("_C/2" "_B/1" "_B/1" <- #d C4 #d C4 #d) #pn-S-9 < "_S/6" >
)
| "_D/2" C25 ( ("_C/2" "_B/2" <- #d C8 #d) #pn-S-10 < "_S/6" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-10 < "_S/6" >
| ("_D/2" "_C/2" <- #d C9 #d) #pn-S-11 < "_S/6" >
)
| "__I32" #pn-S-24 < "_S/6" >
| ("_A/3" "_B/3" <- #d C12 #d) #pn-S-0 < "_S/6" >
| ("_A/4" "_B/2" <- #d C8 #d) #pn-S-0 < "_S/6" >
| ("_B/3" "_C/3" <- #d C13 #d) #pn-S-3 < "_S/6" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-3 < "_S/6" >
)
;
C21: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_A_2T4 #pn-A-1 < "_A/4" >
| #pt-_A_1T3 [ :t: ]~ #pn-A-0 < "_A/3" >
)
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_A_3T3 #pn-A-2 < "_A/3" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_5T4 #pn-A-4 < "_A/4" >
)
| [ :t: ] ( [ :t: ] #pt-_S_13T2 C22 "_A/4" < "__I32" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
)
| [ :t: ] ( [ :t: ] [ :t: ] #pt-_A_6T3 #pn-A-5 < "_A/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
;
C22: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_A_2T4 #pn-A-1 < "_A/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_A_5T4 #pn-A-4 < "_A/4" >
;
C23: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
;
C24: [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
;
C25: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
;
C26: C27 ( "_B/1" C28 ( ("_C/3" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/7" >
| ("_D/2" "_D/4" <- #d C29 #d) #pn-S-5 < "_S/7" >
| ("_D/4" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/7" >
| ("_E/2" "_E/2" "_E/2" <- #d C30 #d C30 #d) #pn-S-6 < "_S/7" >
)
| "_B/2" C23 ( ("_C/2" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/7" >
| ("_C/3" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/7" >
)
| "_B/3" C18 ( ("_C/2" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/7" >
| ("_D/2" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/7" >
)
| "_C/2" C31 ( "_B/1" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/7" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/7" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/7" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/7" >
)
| "_B/2" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/7" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/7" >
)
| "_C/2" C32 ( ("_B/1" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/7" >
| ("_B/2" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/7" >
)
| ("_C/3" "_B/1" "_B/1" <- #d C4 #d C4 #d) #pn-S-9 < "_S/7" >
)
| "_C/3" C24 ( "_B/1" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/7" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/7" >
)
| ("_C/2" "_B/1" "_B/1" <- #d C4 #d C4 #d) #pn-S-9 < "_S/7" >
)
| "_D/2" C25 ( ("_C/2" "_B/3" <- #d C12 #d) #pn-S-10 < "_S/7" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-10 < "_S/7" >
| ("_D/2" "_C/3" <- #d C13 #d) #pn-S-11 < "_S/7" >
)
| ("_A/3" "_B/4" <- #d C17 #d) #pn-S-0 < "_S/7" >
| ("_A/4" "_B/3" <- #d C12 #d) #pn-S-0 < "_S/7" >
| ("_B/4" "_C/3" <- #d C13 #d) #pn-S-3 < "_S/7" >
| ("_D/4" "_C/2" "_B/1" <- #d C9 #d C4 #d) #pn-S-10 < "_S/7" >
)
;
C27: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_A_2T4 #pn-A-1 < "_A/4" >
| #pt-_A_1T3 [ :t: ]~ #pn-A-0 < "_A/3" >
| #pt-_C_1T3 [ :t: ]~ #pn-C-0 < "_C/3" >
)
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_A_3T3 #pn-A-2 < "_A/3" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_5T4 #pn-A-4 < "_A/4" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
)
| [ :t: ] ( [ :t: ] [ :t: ] #pt-_A_6T3 #pn-A-5 < "_A/3" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C28: [ :t: ] ( [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
| [ :t: ] #pt-_E_1T2 #pn-E-0 < "_E/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
)
| [ :t: ] [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] [ :t: ] #pt-_E_2T2 #pn-E-1 < "_E/2" >
;
C29: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
;
C30: [ :t: ] [ :t: ] #pt-_E_1T2 #pn-E-0 < "_E/2" >
| [ :t: ] [ :t: ] #pt-_E_2T2 #pn-E-1 < "_E/2" >
;
C31: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C32: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C33: C34 ( "_B/2" C28 ( ("_C/3" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/8" >
| ("_D/2" "_D/4" <- #d C29 #d) #pn-S-5 < "_S/8" >
| ("_D/4" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/8" >
| ("_E/2" "_E/2" "_E/2" <- #d C30 #d C30 #d) #pn-S-6 < "_S/8" >
)
| "_B/3" C23 ( ("_C/2" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/8" >
| ("_C/3" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/8" >
)
| "_B/4" C18 ( ("_C/2" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/8" >
| ("_D/2" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/8" >
)
| "_C/2" C35 ( "_B/1" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/8" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/8" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/8" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/8" >
)
| "_B/2" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/8" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/8" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/8" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/8" >
)
| "_B/3" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/8" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/8" >
)
| "_C/2" C37 ( ("_B/1" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/8" >
| ("_B/2" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/8" >
| ("_B/3" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/8" >
)
| "_C/3" C32 ( ("_B/1" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/8" >
| ("_B/2" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/8" >
)
)
| "_C/3" C31 ( "_B/1" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/8" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/8" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/8" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/8" >
)
| "_B/2" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/8" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/8" >
)
| "_C/2" C32 ( ("_B/1" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/8" >
| ("_B/2" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/8" >
)
| ("_C/3" "_B/1" "_B/1" <- #d C4 #d C4 #d) #pn-S-9 < "_S/8" >
)
| "_D/2" C38 ( ("_C/2" "_B/4" <- #d C17 #d) #pn-S-10 < "_S/8" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-10 < "_S/8" >
| ("_D/4" "_C/2" <- #d C9 #d) #pn-S-11 < "_S/8" >
)
| "_D/4" C25 ( ("_C/2" "_B/2" <- #d C8 #d) #pn-S-10 < "_S/8" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-10 < "_S/8" >
| ("_D/2" "_C/2" <- #d C9 #d) #pn-S-11 < "_S/8" >
)
| ("_A/4" "_B/4" <- #d C17 #d) #pn-S-0 < "_S/8" >
)
;
C34: [ :t: ] ( [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_A_2T4 #pn-A-1 < "_A/4" >
| #pt-_C_1T3 [ :t: ]~ #pn-C-0 < "_C/3" >
)
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_A_5T4 #pn-A-4 < "_A/4" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C35: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C36: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C37: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] #pt-_B_5T #pn-B-4 < "_B/1" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
;
C38: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
;
C39: C40 ( "_B/3" C28 ( ("_C/3" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/9" >
| ("_D/2" "_D/4" <- #d C29 #d) #pn-S-5 < "_S/9" >
| ("_D/4" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/9" >
| ("_E/2" "_E/2" "_E/2" <- #d C30 #d C30 #d) #pn-S-6 < "_S/9" >
)
| "_B/4" C23 ( ("_C/2" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/9" >
| ("_C/3" "_C/2" <- #d C9 #d) #pn-S-4 < "_S/9" >
)
| "_C/2" C41 ( "_B/1" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/9" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/9" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/9" >
)
| "_B/2" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/9" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/9" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/9" >
)
| "_B/3" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/9" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/9" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/9" >
)
| "_B/4" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/9" >
)
| "_C/2" C43 ( ("_B/1" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/9" >
| ("_B/2" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/9" >
| ("_B/3" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/9" >
| ("_B/4" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/9" >
)
| "_C/3" C37 ( ("_B/1" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/9" >
| ("_B/2" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/9" >
| ("_B/3" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/9" >
)
)
| "_C/3" C35 ( "_B/1" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/9" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/9" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/9" >
)
| "_B/2" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/9" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/9" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/9" >
)
| "_B/3" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/9" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/9" >
)
| "_C/2" C37 ( ("_B/1" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/9" >
| ("_B/2" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/9" >
| ("_B/3" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/9" >
)
| "_C/3" C32 ( ("_B/1" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/9" >
| ("_B/2" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/9" >
)
)
| "_D/2" C44 ( ("_C/3" "_B/4" <- #d C17 #d) #pn-S-10 < "_S/9" >
| ("_D/4" "_C/3" <- #d C13 #d) #pn-S-11 < "_S/9" >
)
| "_D/4" C25 ( ("_C/2" "_B/3" <- #d C12 #d) #pn-S-10 < "_S/9" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-10 < "_S/9" >
| ("_D/2" "_C/3" <- #d C13 #d) #pn-S-11 < "_S/9" >
)
| ("_B/1" "_D/4" "_D/4" <- #d C29 #d C29 #d) #pn-S-5 < "_S/9" >
)
;
C40: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] #pt-_D_1T2 #pn-D-0 < "_D/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] ( [ :t: ] #pt-_D_3T2 #pn-D-2 < "_D/2" >
| [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
)
| [ :t: ] ( [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C41: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] ( [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C42: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C43: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] ( [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| #pt-_B_5T [ :t: ]~ #pn-B-4 < "_B/1" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C44: [ :t: ] [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
;
C45: C46 ( "_B/4" C28 ( ("_C/3" "_C/3" <- #d C13 #d) #pn-S-4 < "_S/10" >
| ("_D/2" "_D/4" <- #d C29 #d) #pn-S-5 < "_S/10" >
| ("_D/4" "_D/2" <- #d C19 #d) #pn-S-5 < "_S/10" >
| ("_E/2" "_E/2" "_E/2" <- #d C30 #d C30 #d) #pn-S-6 < "_S/10" >
)
| "_C/2" C41 ( "_B/1" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/10" >
)
| "_B/2" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/10" >
)
| "_B/3" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/10" >
)
| "_B/4" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/10" >
)
| "_C/2" C48 ( ("_B/2" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/10" >
| ("_B/3" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/10" >
| ("_B/4" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/10" >
)
| "_C/3" C43 ( ("_B/1" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/10" >
| ("_B/2" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/10" >
| ("_B/3" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/10" >
| ("_B/4" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/10" >
)
)
| "_C/3" C41 ( "_B/1" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/10" >
)
| "_B/2" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/10" >
)
| "_B/3" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/10" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/10" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/10" >
)
| "_B/4" C24 ( ("_B/1" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/10" >
| ("_C/2" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/10" >
)
| "_C/2" C43 ( ("_B/1" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/10" >
| ("_B/2" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/10" >
| ("_B/3" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/10" >
| ("_B/4" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/10" >
)
| "_C/3" C37 ( ("_B/1" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/10" >
| ("_B/2" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/10" >
| ("_B/3" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/10" >
)
)
| "_D/4" C38 ( ("_C/2" "_B/4" <- #d C17 #d) #pn-S-10 < "_S/10" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-10 < "_S/10" >
| ("_D/4" "_C/2" <- #d C9 #d) #pn-S-11 < "_S/10" >
)
| ("_B/2" "_D/4" "_D/4" <- #d C29 #d C29 #d) #pn-S-5 < "_S/10" >
)
;
C46: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
;
C47: [ :t: ] [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C48: [ :t: ] ( [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_B_2T2 #pn-B-1 < "_B/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C49: C50 ( "_C/2" C51 ( "_B/2" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/11" >
)
| "_B/3" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/11" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/11" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/11" >
)
| "_B/4" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/11" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/11" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/11" >
)
| "_C/2" C52 ( ("_B/3" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/11" >
| ("_B/4" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/11" >
)
| "_C/3" C48 ( ("_B/2" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/11" >
| ("_B/3" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/11" >
| ("_B/4" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/11" >
)
)
| "_C/3" C41 ( "_B/1" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/11" >
)
| "_B/2" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/11" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/11" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/11" >
)
| "_B/3" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/11" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/11" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/11" >
)
| "_B/4" C31 ( ("_B/1" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/11" >
| ("_B/2" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/11" >
| ("_C/2" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/11" >
| ("_C/3" "_B/1" <- #d C4 #d) #pn-S-8 < "_S/11" >
)
| "_C/2" C48 ( ("_B/2" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/11" >
| ("_B/3" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/11" >
| ("_B/4" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/11" >
)
| "_C/3" C43 ( ("_B/1" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/11" >
| ("_B/2" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/11" >
| ("_B/3" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/11" >
| ("_B/4" "_B/1" <- #d C4 #d) #pn-S-9 < "_S/11" >
)
)
| "_D/4" C44 ( ("_C/3" "_B/4" <- #d C17 #d) #pn-S-10 < "_S/11" >
| ("_D/4" "_C/3" <- #d C13 #d) #pn-S-11 < "_S/11" >
)
| ("_B/3" "_D/4" "_D/4" <- #d C29 #d C29 #d) #pn-S-5 < "_S/11" >
)
;
C50: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_D_2T4 #pn-D-1 < "_D/4" >
;
C51: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
| #pt-_B_2T2 [ :t: ]~ #pn-B-1 < "_B/2" >
)
| [ :t: ] #pt-_B_1T2 #pn-B-0 < "_B/2" >
| [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
)
| [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_B_3T2 #pn-B-2 < "_B/2" >
| [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
)
| [ :t: ] [ :t: ] #pt-_B_7T2 #pn-B-6 < "_B/2" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C52: [ :t: ] [ :t: ] [ :t: ] #pt-_B_4T3 #pn-B-3 < "_B/3" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C53: C54 ( "_C/2" C42 ( "_B/3" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/12" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/12" >
)
| "_B/4" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/12" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/12" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/12" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/12" >
)
| "_C/3" C52 ( ("_B/3" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/12" >
| ("_B/4" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/12" >
)
| ("_C/2" "_B/4" "_B/4" <- #d C17 #d C17 #d) #pn-S-9 < "_S/12" >
)
| "_C/3" C51 ( "_B/2" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/12" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/12" >
)
| "_B/3" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/12" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/12" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/12" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/12" >
)
| "_B/4" C36 ( ("_B/2" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/12" >
| ("_B/3" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/12" >
| ("_C/2" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/12" >
| ("_C/3" "_B/2" <- #d C8 #d) #pn-S-8 < "_S/12" >
)
| "_C/2" C52 ( ("_B/3" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/12" >
| ("_B/4" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/12" >
)
| "_C/3" C48 ( ("_B/2" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/12" >
| ("_B/3" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/12" >
| ("_B/4" "_B/2" <- #d C8 #d) #pn-S-9 < "_S/12" >
)
)
| ("_B/4" "_D/4" "_D/4" <- #d C29 #d C29 #d) #pn-S-5 < "_S/12" >
)
;
C54: [ :t: ] ( [ :t: ] ( [ :t: ] #pt-_C_3T3 #pn-C-2 < "_C/3" >
| [ :t: ] #pt-_C_4T3 #pn-C-3 < "_C/3" >
)
| [ :t: ] #pt-_C_5T2 #pn-C-4 < "_C/2" >
)
| [ :t: ] ( [ :t: ] #pt-_C_2T2 #pn-C-1 < "_C/2" >
| [ :t: ] [ :t: ] #pt-_C_1T3 #pn-C-0 < "_C/3" >
)
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_6T4 #pn-B-5 < "_B/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_B_8T4 #pn-B-7 < "_B/4" >
;
C55: C23 ( "_C/2" C47 ( "_B/4" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/13" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/13" >
)
| ("_C/3" "_B/4" "_B/4" <- #d C17 #d C17 #d) #pn-S-9 < "_S/13" >
)
| "_C/3" C42 ( "_B/3" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/13" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/13" >
)
| "_B/4" C42 ( ("_B/3" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/13" >
| ("_B/4" "_C/2" <- #d C9 #d) #pn-S-7 < "_S/13" >
| ("_C/2" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/13" >
| ("_C/3" "_B/3" <- #d C12 #d) #pn-S-8 < "_S/13" >
)
| "_C/3" C52 ( ("_B/3" "_B/4" <- #d C17 #d) #pn-S-9 < "_S/13" >
| ("_B/4" "_B/3" <- #d C12 #d) #pn-S-9 < "_S/13" >
)
| ("_C/2" "_B/4" "_B/4" <- #d C17 #d C17 #d) #pn-S-9 < "_S/13" >
)
)
;
C56: C13 "_C/3" C47 ( "_B/4" C47 ( ("_B/4" "_C/3" <- #d C13 #d) #pn-S-7 < "_S/14" >
| ("_C/3" "_B/4" <- #d C17 #d) #pn-S-8 < "_S/14" >
)
| ("_C/3" "_B/4" "_B/4" <- #d C17 #d C17 #d) #pn-S-9 < "_S/14" >
)
;
C57: C58 ("_L00/8" "_L01/8" <- #d C62 #d) #pn-S-1 < "_S/16" >
;
C58: C59 ( ("_L10/4" "_L11/4" <- #d C60 #d) #pn-L00-0 < "_L00/8" >
| ("_L11/4" "_L10/4" <- #d C61 #d) #pn-L00-1 < "_L00/8" >
)
;
C59: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L10_1T4 #pn-L10-0 < "_L10/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L11_1T4 #pn-L11-0 < "_L11/4" >
;
C60: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L11_1T4 #pn-L11-0 < "_L11/4" >
;
C61: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L10_1T4 #pn-L10-0 < "_L10/4" >
;
C62: C63 ( ("_L12/4" "_L13/4" <- #d C64 #d) #pn-L01-0 < "_L01/8" >
| ("_L13/4" "_L12/4" <- #d C65 #d) #pn-L01-1 < "_L01/8" >
)
;
C63: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L12_1T4 #pn-L12-0 < "_L12/4" >
| [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L13_1T4 #pn-L13-0 < "_L13/4" >
;
C64: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L13_1T4 #pn-L13-0 < "_L13/4" >
;
C65: [ :t: ] [ :t: ] [ :t: ] [ :t: ] #pt-_L12_1T4 #pn-L12-0 < "_L12/4" >
;