Combinatorial explosion
Equation = a + TTWWAA <=> TTaWWAA
Equation = a + TTWWAAp <=> TTaWWAAp
Equation = a + TTmWWAA <=> TTmaWWAA
Equation = a + TTmWWAAp <=> TTmaWWAAp
Equation = TTWWAA + R <=> TTmWWAA + R
Equation = TTaWWAA + R <=> TTmaWWAA + R
Equation = TTWWAAp + R <=> TTmWWAAp + R
Equation = TTaWWAAp + R <=> TTmaWWAAp + R
Equation = TTmWWAA + B <=> TTWWAA + B
Equation = TTmaWWAA + B <=> TTaWWAA + B
Equation = TTmWWAAp + B <=> TTWWAAp + B
Equation = TTmaWWAAp + B <=> TTaWWAAp + B
Equation = TTmWWAA + Bp <=> TTWWAA + Bp
Equation = TTmaWWAA + Bp <=> TTaWWAA + Bp
Equation = TTmWWAAp + Bp <=> TTWWAAp + Bp
Equation = TTmaWWAAp + Bp <=> TTaWWAAp + Bp
Equation = WWAA <=> WWAAp
Equation = TTAA <=> TTAAp
Equation = TTWAA <=> TTWAAp
Equation = TTWWAA <=> TTWWAAp
Equation = TTaWWAA <=> TTaWWAAp
Equation = TTmWWAA <=> TTmWWAAp
Equation = TTmaWWAA <=> TTmaWWAAp
Equation = Yp + ZZ <=> Y + ZZ
Equation = B + AAp <=> Bp + AA
Equation = B + WAAp <=> Bp + WAA
Equation = B + WWAAp <=> Bp + WWAA
Equation = B + TTAAp <=> Bp + TTAA
Equation = B + TTWAAp <=> Bp + TTWAA
Equation = B + TTWWAAp <=> Bp + TTWWAA
Equation = B + TTaWWAAp <=> Bp + TTaWWAA
Equation = B + TTmWWAAp <=> Bp + TTmWWAA
Equation = B + TTmaWWAAp <=> Bp + TTmaWWAA
Equation = AAp + Y <=> AA + Yp
Equation = WAAp + Y <=> WAA + Yp
Equation = WWAAp + Y <=> WWAA + Yp
Equation = TTAAp + Y <=> TTAA + Yp
Equation = TTWAAp + Y <=> TTWAA + Yp
Equation = TTWWAAp + Y <=> TTWWAA + Yp
Equation = TTaWWAAp + Y <=> TTaWWAA + Yp
Equation = TTmWWAAp + Y <=> TTmWWAA + Yp
Equation = TTmaWWAAp + Y <=> TTmaWWAA + Yp