TTW -> TT + W
TT + W -> TTW
WAA -> AA + W
AA + W -> WAA
TTWAA -> TT + WAA
TT + WAA -> TTWAA
TTWWAA -> TTW + WAA
TTW + WAA -> TTWWAA
TTWWAA -> AA + TTWW
AA + TTWW -> TTWWAA
TTWWAA -> TT + WWAA
TT + WWAA -> TTWWAA
TTAA -> AA + TT
AA + TT -> TTAA
TTWAA -> AA + TTW
AA + TTW -> TTWAA
TTWWAA -> TTWAA + W
TTWAA + W -> TTWWAA
TTWW -> TTW + W
TTW + W -> TTWW
WWAA -> W + WAA
W + WAA -> WWAA
TTWAA -> TTAA + W
TTAA + W -> TTWAA
TTWWAA -> TTWWAAp
AA -> AAp
WAA -> WAAp
WWAA -> WWAAp
TTAA -> TTAAp
TTWAA -> TTWAAp
Y -> Yp
Yp -> Y
Yp + Z -> Y + Z
Bp -> B
AAp + B -> AA + Bp
B + WAAp -> Bp + WAA
B + WWAAp -> Bp + WWAA
B + TTAAp -> Bp + TTAA
B + TTWAAp -> Bp + TTWAA
B + TTWWAAp -> Bp + TTWWAA
AAp + Y -> AA + Yp
WAAp + Y -> WAA + Yp
WWAAp + Y -> WWAA + Yp
TTAAp + Y -> TTAA + Yp
TTWAAp + Y -> TTWAA + Yp
TTWWAAp + Y -> TTWWAA + Yp