TTW <-> TT + W
WAA <-> AA + W
TTWAA <-> TT + WAA
TTWWAA <-> TTW + WAA
TTWWAA <-> AA + TTWW
TTWWAA <-> TT + WWAA
TTAA <-> AA + TT
TTWAA <-> AA + TTW
TTWWAA <-> TTWAA + W
TTWW <-> TTW + W
WWAA <-> W + WAA
TTWAA <-> TTAA + W
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