MAYBE 748.91/299.85 MAYBE 748.91/299.85 748.91/299.85 We are left with following problem, upon which TcT provides the 748.91/299.85 certificate MAYBE. 748.91/299.85 748.91/299.85 Strict Trs: 748.91/299.85 { domatchstar(Cons(x, xs), pat, init) -> 748.91/299.85 domatchstar[Ite][True][Let](Cons(x, xs), 748.91/299.85 pat, 748.91/299.85 init, 748.91/299.85 domatch(pat, Cons(x, xs))) 748.91/299.85 , domatchstar(Nil(), pat, init) -> @(init, Nil()) 748.91/299.85 , eqChar(L(), L()) -> True() 748.91/299.85 , eqChar(L(), U()) -> False() 748.91/299.85 , eqChar(L(), K()) -> False() 748.91/299.85 , eqChar(L(), D()) -> False() 748.91/299.85 , eqChar(L(), Crpar()) -> False() 748.91/299.85 , eqChar(L(), C()) -> False() 748.91/299.85 , eqChar(L(), B()) -> False() 748.91/299.85 , eqChar(L(), N()) -> False() 748.91/299.85 , eqChar(L(), J()) -> False() 748.91/299.85 , eqChar(L(), Cslash()) -> False() 748.91/299.85 , eqChar(L(), G()) -> False() 748.91/299.85 , eqChar(L(), Z()) -> False() 748.91/299.85 , eqChar(L(), S()) -> False() 748.91/299.85 , eqChar(L(), E()) -> False() 748.91/299.85 , eqChar(L(), H()) -> False() 748.91/299.85 , eqChar(L(), Clpar()) -> False() 748.91/299.85 , eqChar(L(), Y()) -> False() 748.91/299.85 , eqChar(L(), O()) -> False() 748.91/299.85 , eqChar(L(), Q()) -> False() 748.91/299.85 , eqChar(L(), X()) -> False() 748.91/299.85 , eqChar(L(), Cstar()) -> False() 748.91/299.85 , eqChar(L(), W()) -> False() 748.91/299.85 , eqChar(L(), P()) -> False() 748.91/299.85 , eqChar(L(), I()) -> False() 748.91/299.85 , eqChar(L(), Cdot()) -> False() 748.91/299.85 , eqChar(L(), V()) -> False() 748.91/299.85 , eqChar(L(), A()) -> False() 748.91/299.85 , eqChar(L(), R()) -> False() 748.91/299.85 , eqChar(L(), M()) -> False() 748.91/299.85 , eqChar(L(), T()) -> False() 748.91/299.85 , eqChar(L(), F()) -> False() 748.91/299.85 , eqChar(U(), L()) -> False() 748.91/299.85 , eqChar(U(), U()) -> True() 748.91/299.85 , eqChar(U(), K()) -> False() 748.91/299.85 , eqChar(U(), D()) -> False() 748.91/299.85 , eqChar(U(), Crpar()) -> False() 748.91/299.85 , eqChar(U(), C()) -> False() 748.91/299.85 , eqChar(U(), B()) -> False() 748.91/299.85 , eqChar(U(), N()) -> False() 748.91/299.85 , eqChar(U(), J()) -> False() 748.91/299.85 , eqChar(U(), Cslash()) -> False() 748.91/299.85 , eqChar(U(), G()) -> False() 748.91/299.85 , eqChar(U(), Z()) -> False() 748.91/299.85 , eqChar(U(), S()) -> False() 748.91/299.85 , eqChar(U(), E()) -> False() 748.91/299.85 , eqChar(U(), H()) -> False() 748.91/299.85 , eqChar(U(), Clpar()) -> False() 748.91/299.85 , eqChar(U(), Y()) -> False() 748.91/299.85 , eqChar(U(), O()) -> False() 748.91/299.85 , eqChar(U(), Q()) -> False() 748.91/299.85 , eqChar(U(), X()) -> False() 748.91/299.85 , eqChar(U(), Cstar()) -> False() 748.91/299.85 , eqChar(U(), W()) -> False() 748.91/299.85 , eqChar(U(), P()) -> False() 748.91/299.85 , eqChar(U(), I()) -> False() 748.91/299.85 , eqChar(U(), Cdot()) -> False() 748.91/299.85 , eqChar(U(), V()) -> False() 748.91/299.85 , eqChar(U(), A()) -> False() 748.91/299.85 , eqChar(U(), R()) -> False() 748.91/299.85 , eqChar(U(), M()) -> False() 748.91/299.85 , eqChar(U(), T()) -> False() 748.91/299.85 , eqChar(U(), F()) -> False() 748.91/299.85 , eqChar(K(), L()) -> False() 748.91/299.85 , eqChar(K(), U()) -> False() 748.91/299.85 , eqChar(K(), K()) -> True() 748.91/299.85 , eqChar(K(), D()) -> False() 748.91/299.85 , eqChar(K(), Crpar()) -> False() 748.91/299.85 , eqChar(K(), C()) -> False() 748.91/299.85 , eqChar(K(), B()) -> False() 748.91/299.85 , eqChar(K(), N()) -> False() 748.91/299.85 , eqChar(K(), J()) -> False() 748.91/299.85 , eqChar(K(), Cslash()) -> False() 748.91/299.85 , eqChar(K(), G()) -> False() 748.91/299.85 , eqChar(K(), Z()) -> False() 748.91/299.85 , eqChar(K(), S()) -> False() 748.91/299.85 , eqChar(K(), E()) -> False() 748.91/299.85 , eqChar(K(), H()) -> False() 748.91/299.85 , eqChar(K(), Clpar()) -> False() 748.91/299.85 , eqChar(K(), Y()) -> False() 748.91/299.85 , eqChar(K(), O()) -> False() 748.91/299.85 , eqChar(K(), Q()) -> False() 748.91/299.85 , eqChar(K(), X()) -> False() 748.91/299.85 , eqChar(K(), Cstar()) -> False() 748.91/299.85 , eqChar(K(), W()) -> False() 748.91/299.85 , eqChar(K(), P()) -> False() 748.91/299.85 , eqChar(K(), I()) -> False() 748.91/299.85 , eqChar(K(), Cdot()) -> False() 748.91/299.85 , eqChar(K(), V()) -> False() 748.91/299.85 , eqChar(K(), A()) -> False() 748.91/299.85 , eqChar(K(), R()) -> False() 748.91/299.85 , eqChar(K(), M()) -> False() 748.91/299.85 , eqChar(K(), T()) -> False() 748.91/299.85 , eqChar(K(), F()) -> False() 748.91/299.85 , eqChar(D(), L()) -> False() 748.91/299.85 , eqChar(D(), U()) -> False() 748.91/299.85 , eqChar(D(), K()) -> False() 748.91/299.85 , eqChar(D(), D()) -> True() 748.91/299.85 , eqChar(D(), Crpar()) -> False() 748.91/299.85 , eqChar(D(), C()) -> False() 748.91/299.85 , eqChar(D(), B()) -> False() 748.91/299.85 , eqChar(D(), N()) -> False() 748.91/299.85 , eqChar(D(), J()) -> False() 748.91/299.85 , eqChar(D(), Cslash()) -> False() 748.91/299.85 , eqChar(D(), G()) -> False() 748.91/299.85 , eqChar(D(), Z()) -> False() 748.91/299.85 , eqChar(D(), S()) -> False() 748.91/299.85 , eqChar(D(), E()) -> False() 748.91/299.85 , eqChar(D(), H()) -> False() 748.91/299.85 , eqChar(D(), Clpar()) -> False() 748.91/299.85 , eqChar(D(), Y()) -> False() 748.91/299.85 , eqChar(D(), O()) -> False() 748.91/299.85 , eqChar(D(), Q()) -> False() 748.91/299.85 , eqChar(D(), X()) -> False() 748.91/299.85 , eqChar(D(), Cstar()) -> False() 748.91/299.85 , eqChar(D(), W()) -> False() 748.91/299.85 , eqChar(D(), P()) -> False() 748.91/299.85 , eqChar(D(), I()) -> False() 748.91/299.85 , eqChar(D(), Cdot()) -> False() 748.91/299.85 , eqChar(D(), V()) -> False() 748.91/299.85 , eqChar(D(), A()) -> False() 748.91/299.85 , eqChar(D(), R()) -> False() 748.91/299.85 , eqChar(D(), M()) -> False() 748.91/299.85 , eqChar(D(), T()) -> False() 748.91/299.85 , eqChar(D(), F()) -> False() 748.91/299.85 , eqChar(Crpar(), L()) -> False() 748.91/299.85 , eqChar(Crpar(), U()) -> False() 748.91/299.85 , eqChar(Crpar(), K()) -> False() 748.91/299.85 , eqChar(Crpar(), D()) -> False() 748.91/299.85 , eqChar(Crpar(), Crpar()) -> True() 748.91/299.85 , eqChar(Crpar(), C()) -> False() 748.91/299.85 , eqChar(Crpar(), B()) -> False() 748.91/299.85 , eqChar(Crpar(), N()) -> False() 748.91/299.85 , eqChar(Crpar(), J()) -> False() 748.91/299.85 , eqChar(Crpar(), Cslash()) -> False() 748.91/299.85 , eqChar(Crpar(), G()) -> False() 748.91/299.85 , eqChar(Crpar(), Z()) -> False() 748.91/299.85 , eqChar(Crpar(), S()) -> False() 748.91/299.85 , eqChar(Crpar(), E()) -> False() 748.91/299.85 , eqChar(Crpar(), H()) -> False() 748.91/299.85 , eqChar(Crpar(), Clpar()) -> False() 748.91/299.85 , eqChar(Crpar(), Y()) -> False() 748.91/299.85 , eqChar(Crpar(), O()) -> False() 748.91/299.85 , eqChar(Crpar(), Q()) -> False() 748.91/299.85 , eqChar(Crpar(), X()) -> False() 748.91/299.85 , eqChar(Crpar(), Cstar()) -> False() 748.91/299.85 , eqChar(Crpar(), W()) -> False() 748.91/299.85 , eqChar(Crpar(), P()) -> False() 748.91/299.85 , eqChar(Crpar(), I()) -> False() 748.91/299.85 , eqChar(Crpar(), Cdot()) -> False() 748.91/299.85 , eqChar(Crpar(), V()) -> False() 748.91/299.85 , eqChar(Crpar(), A()) -> False() 748.91/299.85 , eqChar(Crpar(), R()) -> False() 748.91/299.85 , eqChar(Crpar(), M()) -> False() 748.91/299.85 , eqChar(Crpar(), T()) -> False() 748.91/299.85 , eqChar(Crpar(), F()) -> False() 748.91/299.85 , eqChar(C(), L()) -> False() 748.91/299.85 , eqChar(C(), U()) -> False() 748.91/299.85 , eqChar(C(), K()) -> False() 748.91/299.85 , eqChar(C(), D()) -> False() 748.91/299.85 , eqChar(C(), Crpar()) -> False() 748.91/299.85 , eqChar(C(), C()) -> True() 748.91/299.85 , eqChar(C(), B()) -> False() 748.91/299.85 , eqChar(C(), N()) -> False() 748.91/299.85 , eqChar(C(), J()) -> False() 748.91/299.85 , eqChar(C(), Cslash()) -> False() 748.91/299.85 , eqChar(C(), G()) -> False() 748.91/299.85 , eqChar(C(), Z()) -> False() 748.91/299.85 , eqChar(C(), S()) -> False() 748.91/299.85 , eqChar(C(), E()) -> False() 748.91/299.85 , eqChar(C(), H()) -> False() 748.91/299.85 , eqChar(C(), Clpar()) -> False() 748.91/299.85 , eqChar(C(), Y()) -> False() 748.91/299.85 , eqChar(C(), O()) -> False() 748.91/299.85 , eqChar(C(), Q()) -> False() 748.91/299.85 , eqChar(C(), X()) -> False() 748.91/299.85 , eqChar(C(), Cstar()) -> False() 748.91/299.85 , eqChar(C(), W()) -> False() 748.91/299.85 , eqChar(C(), P()) -> False() 748.91/299.85 , eqChar(C(), I()) -> False() 748.91/299.85 , eqChar(C(), Cdot()) -> False() 748.91/299.85 , eqChar(C(), V()) -> False() 748.91/299.85 , eqChar(C(), A()) -> False() 748.91/299.85 , eqChar(C(), R()) -> False() 748.91/299.85 , eqChar(C(), M()) -> False() 748.91/299.85 , eqChar(C(), T()) -> False() 748.91/299.85 , eqChar(C(), F()) -> False() 748.91/299.85 , eqChar(B(), L()) -> False() 748.91/299.85 , eqChar(B(), U()) -> False() 748.91/299.85 , eqChar(B(), K()) -> False() 748.91/299.85 , eqChar(B(), D()) -> False() 748.91/299.85 , eqChar(B(), Crpar()) -> False() 748.91/299.85 , eqChar(B(), C()) -> False() 748.91/299.85 , eqChar(B(), B()) -> True() 748.91/299.85 , eqChar(B(), N()) -> False() 748.91/299.85 , eqChar(B(), J()) -> False() 748.91/299.85 , eqChar(B(), Cslash()) -> False() 748.91/299.85 , eqChar(B(), G()) -> False() 748.91/299.85 , eqChar(B(), Z()) -> False() 748.91/299.85 , eqChar(B(), S()) -> False() 748.91/299.85 , eqChar(B(), E()) -> False() 748.91/299.85 , eqChar(B(), H()) -> False() 748.91/299.85 , eqChar(B(), Clpar()) -> False() 748.91/299.85 , eqChar(B(), Y()) -> False() 748.91/299.85 , eqChar(B(), O()) -> False() 748.91/299.85 , eqChar(B(), Q()) -> False() 748.91/299.85 , eqChar(B(), X()) -> False() 748.91/299.85 , eqChar(B(), Cstar()) -> False() 748.91/299.85 , eqChar(B(), W()) -> False() 748.91/299.85 , eqChar(B(), P()) -> False() 748.91/299.85 , eqChar(B(), I()) -> False() 748.91/299.85 , eqChar(B(), Cdot()) -> False() 748.91/299.85 , eqChar(B(), V()) -> False() 748.91/299.85 , eqChar(B(), A()) -> False() 748.91/299.85 , eqChar(B(), R()) -> False() 748.91/299.85 , eqChar(B(), M()) -> False() 748.91/299.85 , eqChar(B(), T()) -> False() 748.91/299.85 , eqChar(B(), F()) -> False() 748.91/299.85 , eqChar(N(), L()) -> False() 748.91/299.85 , eqChar(N(), U()) -> False() 748.91/299.85 , eqChar(N(), K()) -> False() 748.91/299.85 , eqChar(N(), D()) -> False() 748.91/299.85 , eqChar(N(), Crpar()) -> False() 748.91/299.85 , eqChar(N(), C()) -> False() 748.91/299.85 , eqChar(N(), B()) -> False() 748.91/299.85 , eqChar(N(), N()) -> True() 748.91/299.85 , eqChar(N(), J()) -> False() 748.91/299.85 , eqChar(N(), Cslash()) -> False() 748.91/299.85 , eqChar(N(), G()) -> False() 748.91/299.85 , eqChar(N(), Z()) -> False() 748.91/299.85 , eqChar(N(), S()) -> False() 748.91/299.85 , eqChar(N(), E()) -> False() 748.91/299.85 , eqChar(N(), H()) -> False() 748.91/299.85 , eqChar(N(), Clpar()) -> False() 748.91/299.85 , eqChar(N(), Y()) -> False() 748.91/299.85 , eqChar(N(), O()) -> False() 748.91/299.85 , eqChar(N(), Q()) -> False() 748.91/299.85 , eqChar(N(), X()) -> False() 748.91/299.85 , eqChar(N(), Cstar()) -> False() 748.91/299.85 , eqChar(N(), W()) -> False() 748.91/299.85 , eqChar(N(), P()) -> False() 748.91/299.85 , eqChar(N(), I()) -> False() 748.91/299.85 , eqChar(N(), Cdot()) -> False() 748.91/299.85 , eqChar(N(), V()) -> False() 748.91/299.85 , eqChar(N(), A()) -> False() 748.91/299.85 , eqChar(N(), R()) -> False() 748.91/299.85 , eqChar(N(), M()) -> False() 748.91/299.85 , eqChar(N(), T()) -> False() 748.91/299.85 , eqChar(N(), F()) -> False() 748.91/299.85 , eqChar(J(), L()) -> False() 748.91/299.85 , eqChar(J(), U()) -> False() 748.91/299.85 , eqChar(J(), K()) -> False() 748.91/299.85 , eqChar(J(), D()) -> False() 748.91/299.85 , eqChar(J(), Crpar()) -> False() 748.91/299.85 , eqChar(J(), C()) -> False() 748.91/299.85 , eqChar(J(), B()) -> False() 748.91/299.85 , eqChar(J(), N()) -> False() 748.91/299.85 , eqChar(J(), J()) -> True() 748.91/299.85 , eqChar(J(), Cslash()) -> False() 748.91/299.85 , eqChar(J(), G()) -> False() 748.91/299.85 , eqChar(J(), Z()) -> False() 748.91/299.85 , eqChar(J(), S()) -> False() 748.91/299.85 , eqChar(J(), E()) -> False() 748.91/299.85 , eqChar(J(), H()) -> False() 748.91/299.85 , eqChar(J(), Clpar()) -> False() 748.91/299.85 , eqChar(J(), Y()) -> False() 748.91/299.85 , eqChar(J(), O()) -> False() 748.91/299.85 , eqChar(J(), Q()) -> False() 748.91/299.85 , eqChar(J(), X()) -> False() 748.91/299.85 , eqChar(J(), Cstar()) -> False() 748.91/299.85 , eqChar(J(), W()) -> False() 748.91/299.85 , eqChar(J(), P()) -> False() 748.91/299.85 , eqChar(J(), I()) -> False() 748.91/299.85 , eqChar(J(), Cdot()) -> False() 748.91/299.85 , eqChar(J(), V()) -> False() 748.91/299.85 , eqChar(J(), A()) -> False() 748.91/299.85 , eqChar(J(), R()) -> False() 748.91/299.85 , eqChar(J(), M()) -> False() 748.91/299.85 , eqChar(J(), T()) -> False() 748.91/299.85 , eqChar(J(), F()) -> False() 748.91/299.85 , eqChar(Cslash(), L()) -> False() 748.91/299.85 , eqChar(Cslash(), U()) -> False() 748.91/299.85 , eqChar(Cslash(), K()) -> False() 748.91/299.85 , eqChar(Cslash(), D()) -> False() 748.91/299.85 , eqChar(Cslash(), Crpar()) -> False() 748.91/299.85 , eqChar(Cslash(), C()) -> False() 748.91/299.85 , eqChar(Cslash(), B()) -> False() 748.91/299.85 , eqChar(Cslash(), N()) -> False() 748.91/299.85 , eqChar(Cslash(), J()) -> False() 748.91/299.85 , eqChar(Cslash(), Cslash()) -> True() 748.91/299.85 , eqChar(Cslash(), G()) -> False() 748.91/299.85 , eqChar(Cslash(), Z()) -> False() 748.91/299.85 , eqChar(Cslash(), S()) -> False() 748.91/299.85 , eqChar(Cslash(), E()) -> False() 748.91/299.85 , eqChar(Cslash(), H()) -> False() 748.91/299.85 , eqChar(Cslash(), Clpar()) -> False() 748.91/299.85 , eqChar(Cslash(), Y()) -> False() 748.91/299.85 , eqChar(Cslash(), O()) -> False() 748.91/299.85 , eqChar(Cslash(), Q()) -> False() 748.91/299.85 , eqChar(Cslash(), X()) -> False() 748.91/299.85 , eqChar(Cslash(), Cstar()) -> False() 748.91/299.85 , eqChar(Cslash(), W()) -> False() 748.91/299.85 , eqChar(Cslash(), P()) -> False() 748.91/299.85 , eqChar(Cslash(), I()) -> False() 748.91/299.85 , eqChar(Cslash(), Cdot()) -> False() 748.91/299.85 , eqChar(Cslash(), V()) -> False() 748.91/299.85 , eqChar(Cslash(), A()) -> False() 748.91/299.85 , eqChar(Cslash(), R()) -> False() 748.91/299.85 , eqChar(Cslash(), M()) -> False() 748.91/299.85 , eqChar(Cslash(), T()) -> False() 748.91/299.85 , eqChar(Cslash(), F()) -> False() 748.91/299.85 , eqChar(G(), L()) -> False() 748.91/299.85 , eqChar(G(), U()) -> False() 748.91/299.85 , eqChar(G(), K()) -> False() 748.91/299.85 , eqChar(G(), D()) -> False() 748.91/299.85 , eqChar(G(), Crpar()) -> False() 748.91/299.85 , eqChar(G(), C()) -> False() 748.91/299.85 , eqChar(G(), B()) -> False() 748.91/299.85 , eqChar(G(), N()) -> False() 748.91/299.85 , eqChar(G(), J()) -> False() 748.91/299.85 , eqChar(G(), Cslash()) -> False() 748.91/299.85 , eqChar(G(), G()) -> True() 748.91/299.85 , eqChar(G(), Z()) -> False() 748.91/299.85 , eqChar(G(), S()) -> False() 748.91/299.85 , eqChar(G(), E()) -> False() 748.91/299.85 , eqChar(G(), H()) -> False() 748.91/299.85 , eqChar(G(), Clpar()) -> False() 748.91/299.85 , eqChar(G(), Y()) -> False() 748.91/299.85 , eqChar(G(), O()) -> False() 748.91/299.85 , eqChar(G(), Q()) -> False() 748.91/299.85 , eqChar(G(), X()) -> False() 748.91/299.85 , eqChar(G(), Cstar()) -> False() 748.91/299.85 , eqChar(G(), W()) -> False() 748.91/299.85 , eqChar(G(), P()) -> False() 748.91/299.85 , eqChar(G(), I()) -> False() 748.91/299.85 , eqChar(G(), Cdot()) -> False() 748.91/299.85 , eqChar(G(), V()) -> False() 748.91/299.85 , eqChar(G(), A()) -> False() 748.91/299.85 , eqChar(G(), R()) -> False() 748.91/299.85 , eqChar(G(), M()) -> False() 748.91/299.85 , eqChar(G(), T()) -> False() 748.91/299.85 , eqChar(G(), F()) -> False() 748.91/299.85 , eqChar(Z(), L()) -> False() 748.91/299.85 , eqChar(Z(), U()) -> False() 748.91/299.85 , eqChar(Z(), K()) -> False() 748.91/299.85 , eqChar(Z(), D()) -> False() 748.91/299.85 , eqChar(Z(), Crpar()) -> False() 748.91/299.85 , eqChar(Z(), C()) -> False() 748.91/299.85 , eqChar(Z(), B()) -> False() 748.91/299.85 , eqChar(Z(), N()) -> False() 748.91/299.85 , eqChar(Z(), J()) -> False() 748.91/299.85 , eqChar(Z(), Cslash()) -> False() 748.91/299.85 , eqChar(Z(), G()) -> False() 748.91/299.85 , eqChar(Z(), Z()) -> True() 748.91/299.85 , eqChar(Z(), S()) -> False() 748.91/299.85 , eqChar(Z(), E()) -> False() 748.91/299.85 , eqChar(Z(), H()) -> False() 748.91/299.85 , eqChar(Z(), Clpar()) -> False() 748.91/299.85 , eqChar(Z(), Y()) -> False() 748.91/299.85 , eqChar(Z(), O()) -> False() 748.91/299.85 , eqChar(Z(), Q()) -> False() 748.91/299.85 , eqChar(Z(), X()) -> False() 748.91/299.85 , eqChar(Z(), Cstar()) -> False() 748.91/299.85 , eqChar(Z(), W()) -> False() 748.91/299.85 , eqChar(Z(), P()) -> False() 748.91/299.85 , eqChar(Z(), I()) -> False() 748.91/299.85 , eqChar(Z(), Cdot()) -> False() 748.91/299.85 , eqChar(Z(), V()) -> False() 748.91/299.85 , eqChar(Z(), A()) -> False() 748.91/299.85 , eqChar(Z(), R()) -> False() 748.91/299.85 , eqChar(Z(), M()) -> False() 748.91/299.85 , eqChar(Z(), T()) -> False() 748.91/299.85 , eqChar(Z(), F()) -> False() 748.91/299.85 , eqChar(S(), L()) -> False() 748.91/299.85 , eqChar(S(), U()) -> False() 748.91/299.85 , eqChar(S(), K()) -> False() 748.91/299.85 , eqChar(S(), D()) -> False() 748.91/299.85 , eqChar(S(), Crpar()) -> False() 748.91/299.85 , eqChar(S(), C()) -> False() 748.91/299.85 , eqChar(S(), B()) -> False() 748.91/299.85 , eqChar(S(), N()) -> False() 748.91/299.85 , eqChar(S(), J()) -> False() 748.91/299.85 , eqChar(S(), Cslash()) -> False() 748.91/299.85 , eqChar(S(), G()) -> False() 748.91/299.85 , eqChar(S(), Z()) -> False() 748.91/299.85 , eqChar(S(), S()) -> True() 748.91/299.85 , eqChar(S(), E()) -> False() 748.91/299.85 , eqChar(S(), H()) -> False() 748.91/299.85 , eqChar(S(), Clpar()) -> False() 748.91/299.85 , eqChar(S(), Y()) -> False() 748.91/299.85 , eqChar(S(), O()) -> False() 748.91/299.85 , eqChar(S(), Q()) -> False() 748.91/299.85 , eqChar(S(), X()) -> False() 748.91/299.85 , eqChar(S(), Cstar()) -> False() 748.91/299.85 , eqChar(S(), W()) -> False() 748.91/299.85 , eqChar(S(), P()) -> False() 748.91/299.85 , eqChar(S(), I()) -> False() 748.91/299.85 , eqChar(S(), Cdot()) -> False() 748.91/299.85 , eqChar(S(), V()) -> False() 748.91/299.85 , eqChar(S(), A()) -> False() 748.91/299.85 , eqChar(S(), R()) -> False() 748.91/299.85 , eqChar(S(), M()) -> False() 748.91/299.85 , eqChar(S(), T()) -> False() 748.91/299.85 , eqChar(S(), F()) -> False() 748.91/299.85 , eqChar(E(), L()) -> False() 748.91/299.85 , eqChar(E(), U()) -> False() 748.91/299.85 , eqChar(E(), K()) -> False() 748.91/299.85 , eqChar(E(), D()) -> False() 748.91/299.85 , eqChar(E(), Crpar()) -> False() 748.91/299.85 , eqChar(E(), C()) -> False() 748.91/299.85 , eqChar(E(), B()) -> False() 748.91/299.85 , eqChar(E(), N()) -> False() 748.91/299.85 , eqChar(E(), J()) -> False() 748.91/299.85 , eqChar(E(), Cslash()) -> False() 748.91/299.85 , eqChar(E(), G()) -> False() 748.91/299.85 , eqChar(E(), Z()) -> False() 748.91/299.85 , eqChar(E(), S()) -> False() 748.91/299.85 , eqChar(E(), E()) -> True() 748.91/299.85 , eqChar(E(), H()) -> False() 748.91/299.85 , eqChar(E(), Clpar()) -> False() 748.91/299.85 , eqChar(E(), Y()) -> False() 748.91/299.85 , eqChar(E(), O()) -> False() 748.91/299.85 , eqChar(E(), Q()) -> False() 748.91/299.85 , eqChar(E(), X()) -> False() 748.91/299.85 , eqChar(E(), Cstar()) -> False() 748.91/299.85 , eqChar(E(), W()) -> False() 748.91/299.85 , eqChar(E(), P()) -> False() 748.91/299.85 , eqChar(E(), I()) -> False() 748.91/299.85 , eqChar(E(), Cdot()) -> False() 748.91/299.85 , eqChar(E(), V()) -> False() 748.91/299.85 , eqChar(E(), A()) -> False() 748.91/299.85 , eqChar(E(), R()) -> False() 748.91/299.85 , eqChar(E(), M()) -> False() 748.91/299.85 , eqChar(E(), T()) -> False() 748.91/299.85 , eqChar(E(), F()) -> False() 748.91/299.85 , eqChar(H(), L()) -> False() 748.91/299.85 , eqChar(H(), U()) -> False() 748.91/299.85 , eqChar(H(), K()) -> False() 748.91/299.85 , eqChar(H(), D()) -> False() 748.91/299.85 , eqChar(H(), Crpar()) -> False() 748.91/299.85 , eqChar(H(), C()) -> False() 748.91/299.85 , eqChar(H(), B()) -> False() 748.91/299.85 , eqChar(H(), N()) -> False() 748.91/299.85 , eqChar(H(), J()) -> False() 748.91/299.85 , eqChar(H(), Cslash()) -> False() 748.91/299.85 , eqChar(H(), G()) -> False() 748.91/299.85 , eqChar(H(), Z()) -> False() 748.91/299.85 , eqChar(H(), S()) -> False() 748.91/299.85 , eqChar(H(), E()) -> False() 748.91/299.85 , eqChar(H(), H()) -> True() 748.91/299.85 , eqChar(H(), Clpar()) -> False() 748.91/299.85 , eqChar(H(), Y()) -> False() 748.91/299.85 , eqChar(H(), O()) -> False() 748.91/299.85 , eqChar(H(), Q()) -> False() 748.91/299.85 , eqChar(H(), X()) -> False() 748.91/299.85 , eqChar(H(), Cstar()) -> False() 748.91/299.85 , eqChar(H(), W()) -> False() 748.91/299.85 , eqChar(H(), P()) -> False() 748.91/299.85 , eqChar(H(), I()) -> False() 748.91/299.85 , eqChar(H(), Cdot()) -> False() 748.91/299.85 , eqChar(H(), V()) -> False() 748.91/299.85 , eqChar(H(), A()) -> False() 748.91/299.85 , eqChar(H(), R()) -> False() 748.91/299.85 , eqChar(H(), M()) -> False() 748.91/299.85 , eqChar(H(), T()) -> False() 748.91/299.85 , eqChar(H(), F()) -> False() 748.91/299.85 , eqChar(Clpar(), L()) -> False() 748.91/299.85 , eqChar(Clpar(), U()) -> False() 748.91/299.85 , eqChar(Clpar(), K()) -> False() 748.91/299.85 , eqChar(Clpar(), D()) -> False() 748.91/299.85 , eqChar(Clpar(), Crpar()) -> False() 748.91/299.85 , eqChar(Clpar(), C()) -> False() 748.91/299.85 , eqChar(Clpar(), B()) -> False() 748.91/299.85 , eqChar(Clpar(), N()) -> False() 748.91/299.85 , eqChar(Clpar(), J()) -> False() 748.91/299.85 , eqChar(Clpar(), Cslash()) -> False() 748.91/299.85 , eqChar(Clpar(), G()) -> False() 748.91/299.85 , eqChar(Clpar(), Z()) -> False() 748.91/299.85 , eqChar(Clpar(), S()) -> False() 748.91/299.85 , eqChar(Clpar(), E()) -> False() 748.91/299.85 , eqChar(Clpar(), H()) -> False() 748.91/299.85 , eqChar(Clpar(), Clpar()) -> True() 748.91/299.85 , eqChar(Clpar(), Y()) -> False() 748.91/299.85 , eqChar(Clpar(), O()) -> False() 748.91/299.85 , eqChar(Clpar(), Q()) -> False() 748.91/299.85 , eqChar(Clpar(), X()) -> False() 748.91/299.85 , eqChar(Clpar(), Cstar()) -> False() 748.91/299.85 , eqChar(Clpar(), W()) -> False() 748.91/299.85 , eqChar(Clpar(), P()) -> False() 748.91/299.85 , eqChar(Clpar(), I()) -> False() 748.91/299.85 , eqChar(Clpar(), Cdot()) -> False() 748.91/299.85 , eqChar(Clpar(), V()) -> False() 748.91/299.85 , eqChar(Clpar(), A()) -> False() 748.91/299.85 , eqChar(Clpar(), R()) -> False() 748.91/299.85 , eqChar(Clpar(), M()) -> False() 748.91/299.85 , eqChar(Clpar(), T()) -> False() 748.91/299.85 , eqChar(Clpar(), F()) -> False() 748.91/299.85 , eqChar(Y(), L()) -> False() 748.91/299.85 , eqChar(Y(), U()) -> False() 748.91/299.85 , eqChar(Y(), K()) -> False() 748.91/299.85 , eqChar(Y(), D()) -> False() 748.91/299.85 , eqChar(Y(), Crpar()) -> False() 748.91/299.85 , eqChar(Y(), C()) -> False() 748.91/299.85 , eqChar(Y(), B()) -> False() 748.91/299.85 , eqChar(Y(), N()) -> False() 748.91/299.85 , eqChar(Y(), J()) -> False() 748.91/299.85 , eqChar(Y(), Cslash()) -> False() 748.91/299.85 , eqChar(Y(), G()) -> False() 748.91/299.85 , eqChar(Y(), Z()) -> False() 748.91/299.85 , eqChar(Y(), S()) -> False() 748.91/299.85 , eqChar(Y(), E()) -> False() 748.91/299.85 , eqChar(Y(), H()) -> False() 748.91/299.85 , eqChar(Y(), Clpar()) -> False() 748.91/299.85 , eqChar(Y(), Y()) -> True() 748.91/299.85 , eqChar(Y(), O()) -> False() 748.91/299.85 , eqChar(Y(), Q()) -> False() 748.91/299.85 , eqChar(Y(), X()) -> False() 748.91/299.85 , eqChar(Y(), Cstar()) -> False() 748.91/299.85 , eqChar(Y(), W()) -> False() 748.91/299.85 , eqChar(Y(), P()) -> False() 748.91/299.85 , eqChar(Y(), I()) -> False() 748.91/299.85 , eqChar(Y(), Cdot()) -> False() 748.91/299.85 , eqChar(Y(), V()) -> False() 748.91/299.85 , eqChar(Y(), A()) -> False() 748.91/299.85 , eqChar(Y(), R()) -> False() 748.91/299.85 , eqChar(Y(), M()) -> False() 748.91/299.85 , eqChar(Y(), T()) -> False() 748.91/299.85 , eqChar(Y(), F()) -> False() 748.91/299.85 , eqChar(O(), L()) -> False() 748.91/299.85 , eqChar(O(), U()) -> False() 748.91/299.85 , eqChar(O(), K()) -> False() 748.91/299.85 , eqChar(O(), D()) -> False() 748.91/299.85 , eqChar(O(), Crpar()) -> False() 748.91/299.85 , eqChar(O(), C()) -> False() 748.91/299.85 , eqChar(O(), B()) -> False() 748.91/299.85 , eqChar(O(), N()) -> False() 748.91/299.85 , eqChar(O(), J()) -> False() 748.91/299.85 , eqChar(O(), Cslash()) -> False() 748.91/299.85 , eqChar(O(), G()) -> False() 748.91/299.85 , eqChar(O(), Z()) -> False() 748.91/299.85 , eqChar(O(), S()) -> False() 748.91/299.85 , eqChar(O(), E()) -> False() 748.91/299.85 , eqChar(O(), H()) -> False() 748.91/299.85 , eqChar(O(), Clpar()) -> False() 748.91/299.85 , eqChar(O(), Y()) -> False() 748.91/299.85 , eqChar(O(), O()) -> True() 748.91/299.85 , eqChar(O(), Q()) -> False() 748.91/299.85 , eqChar(O(), X()) -> False() 748.91/299.85 , eqChar(O(), Cstar()) -> False() 748.91/299.85 , eqChar(O(), W()) -> False() 748.91/299.85 , eqChar(O(), P()) -> False() 748.91/299.85 , eqChar(O(), I()) -> False() 748.91/299.85 , eqChar(O(), Cdot()) -> False() 748.91/299.85 , eqChar(O(), V()) -> False() 748.91/299.85 , eqChar(O(), A()) -> False() 748.91/299.85 , eqChar(O(), R()) -> False() 748.91/299.85 , eqChar(O(), M()) -> False() 748.91/299.85 , eqChar(O(), T()) -> False() 748.91/299.85 , eqChar(O(), F()) -> False() 748.91/299.85 , eqChar(Q(), L()) -> False() 748.91/299.85 , eqChar(Q(), U()) -> False() 748.91/299.85 , eqChar(Q(), K()) -> False() 748.91/299.85 , eqChar(Q(), D()) -> False() 748.91/299.85 , eqChar(Q(), Crpar()) -> False() 748.91/299.85 , eqChar(Q(), C()) -> False() 748.91/299.85 , eqChar(Q(), B()) -> False() 748.91/299.85 , eqChar(Q(), N()) -> False() 748.91/299.85 , eqChar(Q(), J()) -> False() 748.91/299.85 , eqChar(Q(), Cslash()) -> False() 748.91/299.85 , eqChar(Q(), G()) -> False() 748.91/299.85 , eqChar(Q(), Z()) -> False() 748.91/299.85 , eqChar(Q(), S()) -> False() 748.91/299.85 , eqChar(Q(), E()) -> False() 748.91/299.85 , eqChar(Q(), H()) -> False() 748.91/299.85 , eqChar(Q(), Clpar()) -> False() 748.91/299.85 , eqChar(Q(), Y()) -> False() 748.91/299.85 , eqChar(Q(), O()) -> False() 748.91/299.85 , eqChar(Q(), Q()) -> True() 748.91/299.85 , eqChar(Q(), X()) -> False() 748.91/299.85 , eqChar(Q(), Cstar()) -> False() 748.91/299.85 , eqChar(Q(), W()) -> False() 748.91/299.85 , eqChar(Q(), P()) -> False() 748.91/299.85 , eqChar(Q(), I()) -> False() 748.91/299.85 , eqChar(Q(), Cdot()) -> False() 748.91/299.85 , eqChar(Q(), V()) -> False() 748.91/299.85 , eqChar(Q(), A()) -> False() 748.91/299.85 , eqChar(Q(), R()) -> False() 748.91/299.85 , eqChar(Q(), M()) -> False() 748.91/299.85 , eqChar(Q(), T()) -> False() 748.91/299.85 , eqChar(Q(), F()) -> False() 748.91/299.85 , eqChar(X(), L()) -> False() 748.91/299.85 , eqChar(X(), U()) -> False() 748.91/299.85 , eqChar(X(), K()) -> False() 748.91/299.85 , eqChar(X(), D()) -> False() 748.91/299.85 , eqChar(X(), Crpar()) -> False() 748.91/299.85 , eqChar(X(), C()) -> False() 748.91/299.85 , eqChar(X(), B()) -> False() 748.91/299.85 , eqChar(X(), N()) -> False() 748.91/299.85 , eqChar(X(), J()) -> False() 748.91/299.85 , eqChar(X(), Cslash()) -> False() 748.91/299.85 , eqChar(X(), G()) -> False() 748.91/299.85 , eqChar(X(), Z()) -> False() 748.91/299.85 , eqChar(X(), S()) -> False() 748.91/299.85 , eqChar(X(), E()) -> False() 748.91/299.85 , eqChar(X(), H()) -> False() 748.91/299.85 , eqChar(X(), Clpar()) -> False() 748.91/299.85 , eqChar(X(), Y()) -> False() 748.91/299.85 , eqChar(X(), O()) -> False() 748.91/299.85 , eqChar(X(), Q()) -> False() 748.91/299.85 , eqChar(X(), X()) -> True() 748.91/299.85 , eqChar(X(), Cstar()) -> False() 748.91/299.85 , eqChar(X(), W()) -> False() 748.91/299.85 , eqChar(X(), P()) -> False() 748.91/299.85 , eqChar(X(), I()) -> False() 748.91/299.85 , eqChar(X(), Cdot()) -> False() 748.91/299.85 , eqChar(X(), V()) -> False() 748.91/299.85 , eqChar(X(), A()) -> False() 748.91/299.85 , eqChar(X(), R()) -> False() 748.91/299.85 , eqChar(X(), M()) -> False() 748.91/299.85 , eqChar(X(), T()) -> False() 748.91/299.85 , eqChar(X(), F()) -> False() 748.91/299.85 , eqChar(Cstar(), L()) -> False() 748.91/299.85 , eqChar(Cstar(), U()) -> False() 748.91/299.85 , eqChar(Cstar(), K()) -> False() 748.91/299.85 , eqChar(Cstar(), D()) -> False() 748.91/299.85 , eqChar(Cstar(), Crpar()) -> False() 748.91/299.85 , eqChar(Cstar(), C()) -> False() 748.91/299.85 , eqChar(Cstar(), B()) -> False() 748.91/299.85 , eqChar(Cstar(), N()) -> False() 748.91/299.85 , eqChar(Cstar(), J()) -> False() 748.91/299.85 , eqChar(Cstar(), Cslash()) -> False() 748.91/299.85 , eqChar(Cstar(), G()) -> False() 748.91/299.85 , eqChar(Cstar(), Z()) -> False() 748.91/299.85 , eqChar(Cstar(), S()) -> False() 748.91/299.85 , eqChar(Cstar(), E()) -> False() 748.91/299.85 , eqChar(Cstar(), H()) -> False() 748.91/299.85 , eqChar(Cstar(), Clpar()) -> False() 748.91/299.85 , eqChar(Cstar(), Y()) -> False() 748.91/299.85 , eqChar(Cstar(), O()) -> False() 748.91/299.85 , eqChar(Cstar(), Q()) -> False() 748.91/299.85 , eqChar(Cstar(), X()) -> False() 748.91/299.85 , eqChar(Cstar(), Cstar()) -> True() 748.91/299.85 , eqChar(Cstar(), W()) -> False() 748.91/299.85 , eqChar(Cstar(), P()) -> False() 748.91/299.85 , eqChar(Cstar(), I()) -> False() 748.91/299.85 , eqChar(Cstar(), Cdot()) -> False() 748.91/299.85 , eqChar(Cstar(), V()) -> False() 748.91/299.85 , eqChar(Cstar(), A()) -> False() 748.91/299.85 , eqChar(Cstar(), R()) -> False() 748.91/299.85 , eqChar(Cstar(), M()) -> False() 748.91/299.85 , eqChar(Cstar(), T()) -> False() 748.91/299.85 , eqChar(Cstar(), F()) -> False() 748.91/299.85 , eqChar(W(), L()) -> False() 748.91/299.85 , eqChar(W(), U()) -> False() 748.91/299.85 , eqChar(W(), K()) -> False() 748.91/299.85 , eqChar(W(), D()) -> False() 748.91/299.85 , eqChar(W(), Crpar()) -> False() 748.91/299.85 , eqChar(W(), C()) -> False() 748.91/299.85 , eqChar(W(), B()) -> False() 748.91/299.85 , eqChar(W(), N()) -> False() 748.91/299.85 , eqChar(W(), J()) -> False() 748.91/299.85 , eqChar(W(), Cslash()) -> False() 748.91/299.85 , eqChar(W(), G()) -> False() 748.91/299.85 , eqChar(W(), Z()) -> False() 748.91/299.85 , eqChar(W(), S()) -> False() 748.91/299.85 , eqChar(W(), E()) -> False() 748.91/299.85 , eqChar(W(), H()) -> False() 748.91/299.85 , eqChar(W(), Clpar()) -> False() 748.91/299.85 , eqChar(W(), Y()) -> False() 748.91/299.85 , eqChar(W(), O()) -> False() 748.91/299.85 , eqChar(W(), Q()) -> False() 748.91/299.85 , eqChar(W(), X()) -> False() 748.91/299.85 , eqChar(W(), Cstar()) -> False() 748.91/299.85 , eqChar(W(), W()) -> True() 748.91/299.85 , eqChar(W(), P()) -> False() 748.91/299.85 , eqChar(W(), I()) -> False() 748.91/299.85 , eqChar(W(), Cdot()) -> False() 748.91/299.85 , eqChar(W(), V()) -> False() 748.91/299.85 , eqChar(W(), A()) -> False() 748.91/299.85 , eqChar(W(), R()) -> False() 748.91/299.85 , eqChar(W(), M()) -> False() 748.91/299.85 , eqChar(W(), T()) -> False() 748.91/299.85 , eqChar(W(), F()) -> False() 748.91/299.85 , eqChar(P(), L()) -> False() 748.91/299.85 , eqChar(P(), U()) -> False() 748.91/299.85 , eqChar(P(), K()) -> False() 748.91/299.85 , eqChar(P(), D()) -> False() 748.91/299.85 , eqChar(P(), Crpar()) -> False() 748.91/299.85 , eqChar(P(), C()) -> False() 748.91/299.85 , eqChar(P(), B()) -> False() 748.91/299.85 , eqChar(P(), N()) -> False() 748.91/299.85 , eqChar(P(), J()) -> False() 748.91/299.85 , eqChar(P(), Cslash()) -> False() 748.91/299.85 , eqChar(P(), G()) -> False() 748.91/299.85 , eqChar(P(), Z()) -> False() 748.91/299.85 , eqChar(P(), S()) -> False() 748.91/299.85 , eqChar(P(), E()) -> False() 748.91/299.85 , eqChar(P(), H()) -> False() 748.91/299.85 , eqChar(P(), Clpar()) -> False() 748.91/299.85 , eqChar(P(), Y()) -> False() 748.91/299.85 , eqChar(P(), O()) -> False() 748.91/299.85 , eqChar(P(), Q()) -> False() 748.91/299.85 , eqChar(P(), X()) -> False() 748.91/299.85 , eqChar(P(), Cstar()) -> False() 748.91/299.85 , eqChar(P(), W()) -> False() 748.91/299.85 , eqChar(P(), P()) -> True() 748.91/299.85 , eqChar(P(), I()) -> False() 748.91/299.85 , eqChar(P(), Cdot()) -> False() 748.91/299.85 , eqChar(P(), V()) -> False() 748.91/299.85 , eqChar(P(), A()) -> False() 748.91/299.85 , eqChar(P(), R()) -> False() 748.91/299.85 , eqChar(P(), M()) -> False() 748.91/299.85 , eqChar(P(), T()) -> False() 748.91/299.85 , eqChar(P(), F()) -> False() 748.91/299.85 , eqChar(I(), L()) -> False() 748.91/299.85 , eqChar(I(), U()) -> False() 748.91/299.85 , eqChar(I(), K()) -> False() 748.91/299.85 , eqChar(I(), D()) -> False() 748.91/299.85 , eqChar(I(), Crpar()) -> False() 748.91/299.85 , eqChar(I(), C()) -> False() 748.91/299.85 , eqChar(I(), B()) -> False() 748.91/299.85 , eqChar(I(), N()) -> False() 748.91/299.85 , eqChar(I(), J()) -> False() 748.91/299.85 , eqChar(I(), Cslash()) -> False() 748.91/299.85 , eqChar(I(), G()) -> False() 748.91/299.85 , eqChar(I(), Z()) -> False() 748.91/299.85 , eqChar(I(), S()) -> False() 748.91/299.85 , eqChar(I(), E()) -> False() 748.91/299.85 , eqChar(I(), H()) -> False() 748.91/299.85 , eqChar(I(), Clpar()) -> False() 748.91/299.85 , eqChar(I(), Y()) -> False() 748.91/299.85 , eqChar(I(), O()) -> False() 748.91/299.85 , eqChar(I(), Q()) -> False() 748.91/299.85 , eqChar(I(), X()) -> False() 748.91/299.85 , eqChar(I(), Cstar()) -> False() 748.91/299.85 , eqChar(I(), W()) -> False() 748.91/299.85 , eqChar(I(), P()) -> False() 748.91/299.85 , eqChar(I(), I()) -> True() 748.91/299.85 , eqChar(I(), Cdot()) -> False() 748.91/299.85 , eqChar(I(), V()) -> False() 748.91/299.85 , eqChar(I(), A()) -> False() 748.91/299.85 , eqChar(I(), R()) -> False() 748.91/299.85 , eqChar(I(), M()) -> False() 748.91/299.85 , eqChar(I(), T()) -> False() 748.91/299.85 , eqChar(I(), F()) -> False() 748.91/299.85 , eqChar(Cdot(), L()) -> False() 748.91/299.85 , eqChar(Cdot(), U()) -> False() 748.91/299.85 , eqChar(Cdot(), K()) -> False() 748.91/299.85 , eqChar(Cdot(), D()) -> False() 748.91/299.85 , eqChar(Cdot(), Crpar()) -> False() 748.91/299.85 , eqChar(Cdot(), C()) -> False() 748.91/299.85 , eqChar(Cdot(), B()) -> False() 748.91/299.85 , eqChar(Cdot(), N()) -> False() 748.91/299.85 , eqChar(Cdot(), J()) -> False() 748.91/299.85 , eqChar(Cdot(), Cslash()) -> False() 748.91/299.85 , eqChar(Cdot(), G()) -> False() 748.91/299.85 , eqChar(Cdot(), Z()) -> False() 748.91/299.85 , eqChar(Cdot(), S()) -> False() 748.91/299.85 , eqChar(Cdot(), E()) -> False() 748.91/299.85 , eqChar(Cdot(), H()) -> False() 748.91/299.85 , eqChar(Cdot(), Clpar()) -> False() 748.91/299.85 , eqChar(Cdot(), Y()) -> False() 748.91/299.85 , eqChar(Cdot(), O()) -> False() 748.91/299.85 , eqChar(Cdot(), Q()) -> False() 748.91/299.85 , eqChar(Cdot(), X()) -> False() 748.91/299.85 , eqChar(Cdot(), Cstar()) -> False() 748.91/299.85 , eqChar(Cdot(), W()) -> False() 748.91/299.85 , eqChar(Cdot(), P()) -> False() 748.91/299.85 , eqChar(Cdot(), I()) -> False() 748.91/299.85 , eqChar(Cdot(), Cdot()) -> True() 748.91/299.85 , eqChar(Cdot(), V()) -> False() 748.91/299.85 , eqChar(Cdot(), A()) -> False() 748.91/299.85 , eqChar(Cdot(), R()) -> False() 748.91/299.85 , eqChar(Cdot(), M()) -> False() 748.91/299.85 , eqChar(Cdot(), T()) -> False() 748.91/299.85 , eqChar(Cdot(), F()) -> False() 748.91/299.85 , eqChar(V(), L()) -> False() 748.91/299.85 , eqChar(V(), U()) -> False() 748.91/299.85 , eqChar(V(), K()) -> False() 748.91/299.85 , eqChar(V(), D()) -> False() 748.91/299.85 , eqChar(V(), Crpar()) -> False() 748.91/299.85 , eqChar(V(), C()) -> False() 748.91/299.85 , eqChar(V(), B()) -> False() 748.91/299.85 , eqChar(V(), N()) -> False() 748.91/299.85 , eqChar(V(), J()) -> False() 748.91/299.85 , eqChar(V(), Cslash()) -> False() 748.91/299.85 , eqChar(V(), G()) -> False() 748.91/299.85 , eqChar(V(), Z()) -> False() 748.91/299.85 , eqChar(V(), S()) -> False() 748.91/299.85 , eqChar(V(), E()) -> False() 748.91/299.85 , eqChar(V(), H()) -> False() 748.91/299.85 , eqChar(V(), Clpar()) -> False() 748.91/299.85 , eqChar(V(), Y()) -> False() 748.91/299.85 , eqChar(V(), O()) -> False() 748.91/299.85 , eqChar(V(), Q()) -> False() 748.91/299.85 , eqChar(V(), X()) -> False() 748.91/299.85 , eqChar(V(), Cstar()) -> False() 748.91/299.85 , eqChar(V(), W()) -> False() 748.91/299.85 , eqChar(V(), P()) -> False() 748.91/299.85 , eqChar(V(), I()) -> False() 748.91/299.85 , eqChar(V(), Cdot()) -> False() 748.91/299.85 , eqChar(V(), V()) -> True() 748.91/299.85 , eqChar(V(), A()) -> False() 748.91/299.85 , eqChar(V(), R()) -> False() 748.91/299.85 , eqChar(V(), M()) -> False() 748.91/299.85 , eqChar(V(), T()) -> False() 748.91/299.85 , eqChar(V(), F()) -> False() 748.91/299.85 , eqChar(A(), L()) -> False() 748.91/299.85 , eqChar(A(), U()) -> False() 748.91/299.85 , eqChar(A(), K()) -> False() 748.91/299.85 , eqChar(A(), D()) -> False() 748.91/299.85 , eqChar(A(), Crpar()) -> False() 748.91/299.85 , eqChar(A(), C()) -> False() 748.91/299.85 , eqChar(A(), B()) -> False() 748.91/299.85 , eqChar(A(), N()) -> False() 748.91/299.85 , eqChar(A(), J()) -> False() 748.91/299.85 , eqChar(A(), Cslash()) -> False() 748.91/299.85 , eqChar(A(), G()) -> False() 748.91/299.85 , eqChar(A(), Z()) -> False() 748.91/299.85 , eqChar(A(), S()) -> False() 748.91/299.85 , eqChar(A(), E()) -> False() 748.91/299.85 , eqChar(A(), H()) -> False() 748.91/299.85 , eqChar(A(), Clpar()) -> False() 748.91/299.85 , eqChar(A(), Y()) -> False() 748.91/299.85 , eqChar(A(), O()) -> False() 748.91/299.85 , eqChar(A(), Q()) -> False() 748.91/299.85 , eqChar(A(), X()) -> False() 748.91/299.85 , eqChar(A(), Cstar()) -> False() 748.91/299.85 , eqChar(A(), W()) -> False() 748.91/299.85 , eqChar(A(), P()) -> False() 748.91/299.85 , eqChar(A(), I()) -> False() 748.91/299.85 , eqChar(A(), Cdot()) -> False() 748.91/299.85 , eqChar(A(), V()) -> False() 748.91/299.85 , eqChar(A(), A()) -> True() 748.91/299.85 , eqChar(A(), R()) -> False() 748.91/299.85 , eqChar(A(), M()) -> False() 748.91/299.85 , eqChar(A(), T()) -> False() 748.91/299.85 , eqChar(A(), F()) -> False() 748.91/299.85 , eqChar(R(), L()) -> False() 748.91/299.85 , eqChar(R(), U()) -> False() 748.91/299.85 , eqChar(R(), K()) -> False() 748.91/299.85 , eqChar(R(), D()) -> False() 748.91/299.85 , eqChar(R(), Crpar()) -> False() 748.91/299.85 , eqChar(R(), C()) -> False() 748.91/299.85 , eqChar(R(), B()) -> False() 748.91/299.85 , eqChar(R(), N()) -> False() 748.91/299.85 , eqChar(R(), J()) -> False() 748.91/299.85 , eqChar(R(), Cslash()) -> False() 748.91/299.85 , eqChar(R(), G()) -> False() 748.91/299.85 , eqChar(R(), Z()) -> False() 748.91/299.85 , eqChar(R(), S()) -> False() 748.91/299.85 , eqChar(R(), E()) -> False() 748.91/299.85 , eqChar(R(), H()) -> False() 748.91/299.85 , eqChar(R(), Clpar()) -> False() 748.91/299.85 , eqChar(R(), Y()) -> False() 748.91/299.85 , eqChar(R(), O()) -> False() 748.91/299.85 , eqChar(R(), Q()) -> False() 748.91/299.85 , eqChar(R(), X()) -> False() 748.91/299.85 , eqChar(R(), Cstar()) -> False() 748.91/299.85 , eqChar(R(), W()) -> False() 748.91/299.85 , eqChar(R(), P()) -> False() 748.91/299.85 , eqChar(R(), I()) -> False() 748.91/299.85 , eqChar(R(), Cdot()) -> False() 748.91/299.85 , eqChar(R(), V()) -> False() 748.91/299.85 , eqChar(R(), A()) -> False() 748.91/299.85 , eqChar(R(), R()) -> True() 748.91/299.85 , eqChar(R(), M()) -> False() 748.91/299.85 , eqChar(R(), T()) -> False() 748.91/299.85 , eqChar(R(), F()) -> False() 748.91/299.85 , eqChar(M(), L()) -> False() 748.91/299.85 , eqChar(M(), U()) -> False() 748.91/299.85 , eqChar(M(), K()) -> False() 748.91/299.85 , eqChar(M(), D()) -> False() 748.91/299.85 , eqChar(M(), Crpar()) -> False() 748.91/299.85 , eqChar(M(), C()) -> False() 748.91/299.85 , eqChar(M(), B()) -> False() 748.91/299.85 , eqChar(M(), N()) -> False() 748.91/299.85 , eqChar(M(), J()) -> False() 748.91/299.85 , eqChar(M(), Cslash()) -> False() 748.91/299.85 , eqChar(M(), G()) -> False() 748.91/299.85 , eqChar(M(), Z()) -> False() 748.91/299.85 , eqChar(M(), S()) -> False() 748.91/299.85 , eqChar(M(), E()) -> False() 748.91/299.85 , eqChar(M(), H()) -> False() 748.91/299.85 , eqChar(M(), Clpar()) -> False() 748.91/299.85 , eqChar(M(), Y()) -> False() 748.91/299.85 , eqChar(M(), O()) -> False() 748.91/299.85 , eqChar(M(), Q()) -> False() 748.91/299.85 , eqChar(M(), X()) -> False() 748.91/299.85 , eqChar(M(), Cstar()) -> False() 748.91/299.85 , eqChar(M(), W()) -> False() 748.91/299.85 , eqChar(M(), P()) -> False() 748.91/299.85 , eqChar(M(), I()) -> False() 748.91/299.85 , eqChar(M(), Cdot()) -> False() 748.91/299.85 , eqChar(M(), V()) -> False() 748.91/299.85 , eqChar(M(), A()) -> False() 748.91/299.85 , eqChar(M(), R()) -> False() 748.91/299.85 , eqChar(M(), M()) -> True() 748.91/299.85 , eqChar(M(), T()) -> False() 748.91/299.85 , eqChar(M(), F()) -> False() 748.91/299.85 , eqChar(T(), L()) -> False() 748.91/299.85 , eqChar(T(), U()) -> False() 748.91/299.85 , eqChar(T(), K()) -> False() 748.91/299.85 , eqChar(T(), D()) -> False() 748.91/299.85 , eqChar(T(), Crpar()) -> False() 748.91/299.85 , eqChar(T(), C()) -> False() 748.91/299.85 , eqChar(T(), B()) -> False() 748.91/299.85 , eqChar(T(), N()) -> False() 748.91/299.85 , eqChar(T(), J()) -> False() 748.91/299.85 , eqChar(T(), Cslash()) -> False() 748.91/299.85 , eqChar(T(), G()) -> False() 748.91/299.85 , eqChar(T(), Z()) -> False() 748.91/299.85 , eqChar(T(), S()) -> False() 748.91/299.85 , eqChar(T(), E()) -> False() 748.91/299.85 , eqChar(T(), H()) -> False() 748.91/299.85 , eqChar(T(), Clpar()) -> False() 748.91/299.85 , eqChar(T(), Y()) -> False() 748.91/299.85 , eqChar(T(), O()) -> False() 748.91/299.85 , eqChar(T(), Q()) -> False() 748.91/299.85 , eqChar(T(), X()) -> False() 748.91/299.85 , eqChar(T(), Cstar()) -> False() 748.91/299.85 , eqChar(T(), W()) -> False() 748.91/299.85 , eqChar(T(), P()) -> False() 748.91/299.85 , eqChar(T(), I()) -> False() 748.91/299.85 , eqChar(T(), Cdot()) -> False() 748.91/299.85 , eqChar(T(), V()) -> False() 748.91/299.85 , eqChar(T(), A()) -> False() 748.91/299.85 , eqChar(T(), R()) -> False() 748.91/299.85 , eqChar(T(), M()) -> False() 748.91/299.85 , eqChar(T(), T()) -> True() 748.91/299.85 , eqChar(T(), F()) -> False() 748.91/299.85 , eqChar(F(), L()) -> False() 748.91/299.85 , eqChar(F(), U()) -> False() 748.91/299.85 , eqChar(F(), K()) -> False() 748.91/299.85 , eqChar(F(), D()) -> False() 748.91/299.85 , eqChar(F(), Crpar()) -> False() 748.91/299.85 , eqChar(F(), C()) -> False() 748.91/299.85 , eqChar(F(), B()) -> False() 748.91/299.85 , eqChar(F(), N()) -> False() 748.91/299.85 , eqChar(F(), J()) -> False() 748.91/299.85 , eqChar(F(), Cslash()) -> False() 748.91/299.85 , eqChar(F(), G()) -> False() 748.91/299.85 , eqChar(F(), Z()) -> False() 748.91/299.85 , eqChar(F(), S()) -> False() 748.91/299.85 , eqChar(F(), E()) -> False() 748.91/299.85 , eqChar(F(), H()) -> False() 748.91/299.85 , eqChar(F(), Clpar()) -> False() 748.91/299.85 , eqChar(F(), Y()) -> False() 748.91/299.85 , eqChar(F(), O()) -> False() 748.91/299.85 , eqChar(F(), Q()) -> False() 748.91/299.85 , eqChar(F(), X()) -> False() 748.91/299.85 , eqChar(F(), Cstar()) -> False() 748.91/299.85 , eqChar(F(), W()) -> False() 748.91/299.85 , eqChar(F(), P()) -> False() 748.91/299.85 , eqChar(F(), I()) -> False() 748.91/299.85 , eqChar(F(), Cdot()) -> False() 748.91/299.85 , eqChar(F(), V()) -> False() 748.91/299.85 , eqChar(F(), A()) -> False() 748.91/299.85 , eqChar(F(), R()) -> False() 748.91/299.85 , eqChar(F(), M()) -> False() 748.91/299.85 , eqChar(F(), T()) -> False() 748.91/299.85 , eqChar(F(), F()) -> True() 748.91/299.85 , domatchseq(cs, rest, Cons(x, xs)) -> 748.91/299.85 domatchseq[Ite][True][Let](cs, rest, Cons(x, xs), domatch(x, cs)) 748.91/299.86 , domatchseq(cs, rest, Nil()) -> @(cs, rest) 748.91/299.86 , domatchchar(Cons(L(), xs), L()) -> Cons(L(), xs) 748.91/299.86 , domatchchar(Cons(L(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(L(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), U()) -> Cons(U(), xs) 748.91/299.86 , domatchchar(Cons(U(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(U(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), K()) -> Cons(K(), xs) 748.91/299.86 , domatchchar(Cons(K(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(K(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), D()) -> Cons(D(), xs) 748.91/299.86 , domatchchar(Cons(D(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(D(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Crpar()) -> Cons(Crpar(), xs) 748.91/299.86 , domatchchar(Cons(Crpar(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Crpar(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), C()) -> Cons(C(), xs) 748.91/299.86 , domatchchar(Cons(C(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(C(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), B()) -> Cons(B(), xs) 748.91/299.86 , domatchchar(Cons(B(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(B(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), N()) -> Cons(N(), xs) 748.91/299.86 , domatchchar(Cons(N(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(N(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), J()) -> Cons(J(), xs) 748.91/299.86 , domatchchar(Cons(J(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(J(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Cslash()) -> Cons(Cslash(), xs) 748.91/299.86 , domatchchar(Cons(Cslash(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cslash(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), G()) -> Cons(G(), xs) 748.91/299.86 , domatchchar(Cons(G(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(G(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Z()) -> Cons(Z(), xs) 748.91/299.86 , domatchchar(Cons(Z(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Z(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), S()) -> Cons(S(), xs) 748.91/299.86 , domatchchar(Cons(S(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(S(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), E()) -> Cons(E(), xs) 748.91/299.86 , domatchchar(Cons(E(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(E(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), H()) -> Cons(H(), xs) 748.91/299.86 , domatchchar(Cons(H(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(H(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Clpar()) -> Cons(Clpar(), xs) 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Clpar(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Y()) -> Cons(Y(), xs) 748.91/299.86 , domatchchar(Cons(Y(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Y(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), O()) -> Cons(O(), xs) 748.91/299.86 , domatchchar(Cons(O(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(O(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Q()) -> Cons(Q(), xs) 748.91/299.86 , domatchchar(Cons(Q(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Q(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), X()) -> Cons(X(), xs) 748.91/299.86 , domatchchar(Cons(X(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(X(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Cstar()) -> Cons(Cstar(), xs) 748.91/299.86 , domatchchar(Cons(Cstar(), xs), W()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(Cstar(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Cslash()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), G()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Z()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), S()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), E()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), H()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Clpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Y()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), O()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Q()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), X()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Cstar()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), W()) -> Cons(W(), xs) 748.91/299.86 , domatchchar(Cons(W(), xs), P()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), I()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), Cdot()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), V()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), A()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), R()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), M()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), T()) -> Nil() 748.91/299.86 , domatchchar(Cons(W(), xs), F()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), L()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), U()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), K()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), D()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), Crpar()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), C()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), B()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), N()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), J()) -> Nil() 748.91/299.86 , domatchchar(Cons(P(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), P()) -> Cons(P(), xs) 748.91/299.87 , domatchchar(Cons(P(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(P(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), I()) -> Cons(I(), xs) 748.91/299.87 , domatchchar(Cons(I(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(I(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), Cdot()) -> Cons(Cdot(), xs) 748.91/299.87 , domatchchar(Cons(Cdot(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(Cdot(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), V()) -> Cons(V(), xs) 748.91/299.87 , domatchchar(Cons(V(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(V(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), A()) -> Cons(A(), xs) 748.91/299.87 , domatchchar(Cons(A(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(A(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), R()) -> Cons(R(), xs) 748.91/299.87 , domatchchar(Cons(R(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(R(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), M()) -> Cons(M(), xs) 748.91/299.87 , domatchchar(Cons(M(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(M(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(T(), xs), T()) -> Cons(T(), xs) 748.91/299.87 , domatchchar(Cons(T(), xs), F()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), L()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), U()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), K()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), D()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Crpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), C()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), B()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), N()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), J()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Cslash()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), G()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Z()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), S()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), E()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), H()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Clpar()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Y()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), O()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Q()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), X()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Cstar()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), W()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), P()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), I()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), Cdot()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), V()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), A()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), R()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), M()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), T()) -> Nil() 748.91/299.87 , domatchchar(Cons(F(), xs), F()) -> Cons(F(), xs) 748.91/299.87 , domatchchar(Nil(), c) -> Nil() 748.91/299.87 , domatchdot(Cons(x, xs)) -> Cons(x, xs) 748.91/299.87 , domatchdot(Nil()) -> Nil() 748.91/299.87 , parsepopenb(Cons(x, xs), seq, stack) -> 748.91/299.87 parsep(xs, Pseq(Nil()), Cons(seq, stack)) 748.91/299.87 , isSpecialChar(L(), cs) -> False() 748.91/299.87 , isSpecialChar(U(), cs) -> False() 748.91/299.87 , isSpecialChar(K(), cs) -> False() 748.91/299.87 , isSpecialChar(D(), cs) -> False() 748.91/299.87 , isSpecialChar(Crpar(), Crpar()) -> True() 748.91/299.87 , isSpecialChar(Crpar(), Cslash()) -> False() 748.91/299.87 , isSpecialChar(Crpar(), Clpar()) -> False() 748.91/299.87 , isSpecialChar(Crpar(), Cstar()) -> False() 748.91/299.87 , isSpecialChar(Crpar(), Cdot()) -> False() 748.91/299.87 , isSpecialChar(C(), cs) -> False() 748.91/299.87 , isSpecialChar(B(), cs) -> False() 748.91/299.87 , isSpecialChar(N(), cs) -> False() 748.91/299.87 , isSpecialChar(J(), cs) -> False() 748.91/299.87 , isSpecialChar(Cslash(), Crpar()) -> False() 748.91/299.87 , isSpecialChar(Cslash(), Cslash()) -> True() 748.91/299.87 , isSpecialChar(Cslash(), Clpar()) -> False() 748.91/299.87 , isSpecialChar(Cslash(), Cstar()) -> False() 748.91/299.87 , isSpecialChar(Cslash(), Cdot()) -> False() 748.91/299.87 , isSpecialChar(G(), cs) -> False() 748.91/299.87 , isSpecialChar(Z(), cs) -> False() 748.91/299.87 , isSpecialChar(S(), cs) -> False() 748.91/299.87 , isSpecialChar(E(), cs) -> False() 748.91/299.87 , isSpecialChar(H(), cs) -> False() 748.91/299.87 , isSpecialChar(Clpar(), Crpar()) -> False() 748.91/299.87 , isSpecialChar(Clpar(), Cslash()) -> False() 748.91/299.87 , isSpecialChar(Clpar(), Clpar()) -> True() 748.91/299.87 , isSpecialChar(Clpar(), Cstar()) -> False() 748.91/299.87 , isSpecialChar(Clpar(), Cdot()) -> False() 748.91/299.87 , isSpecialChar(Y(), cs) -> False() 748.91/299.87 , isSpecialChar(O(), cs) -> False() 748.91/299.87 , isSpecialChar(Q(), cs) -> False() 748.91/299.87 , isSpecialChar(X(), cs) -> False() 748.91/299.87 , isSpecialChar(Cstar(), Crpar()) -> False() 748.91/299.87 , isSpecialChar(Cstar(), Cslash()) -> False() 748.91/299.87 , isSpecialChar(Cstar(), Clpar()) -> False() 748.91/299.87 , isSpecialChar(Cstar(), Cstar()) -> True() 748.91/299.87 , isSpecialChar(Cstar(), Cdot()) -> False() 748.91/299.87 , isSpecialChar(W(), cs) -> False() 748.91/299.87 , isSpecialChar(P(), cs) -> False() 748.91/299.87 , isSpecialChar(I(), cs) -> False() 748.91/299.87 , isSpecialChar(Cdot(), Crpar()) -> False() 748.91/299.87 , isSpecialChar(Cdot(), Cslash()) -> False() 748.91/299.87 , isSpecialChar(Cdot(), Clpar()) -> False() 748.91/299.87 , isSpecialChar(Cdot(), Cstar()) -> False() 748.91/299.87 , isSpecialChar(Cdot(), Cdot()) -> True() 748.91/299.87 , isSpecialChar(V(), cs) -> False() 748.91/299.87 , isSpecialChar(A(), cs) -> False() 748.91/299.87 , isSpecialChar(R(), cs) -> False() 748.91/299.87 , isSpecialChar(M(), cs) -> False() 748.91/299.87 , isSpecialChar(T(), cs) -> False() 748.91/299.87 , isSpecialChar(F(), cs) -> False() 748.91/299.87 , parsepchar(Cons(x, xs), Pseq(xs'), stack) -> 748.91/299.87 parsep(xs, Pseq(Cons(Pchar(x), xs')), stack) 748.91/299.87 , parsepchar(Nil(), Pseq(xs), stack) -> 748.91/299.87 parsep(Nil(), Pseq(Cons(Pchar(Cslash()), xs)), stack) 748.91/299.87 , rematch(patstr, x) -> 748.91/299.87 rematch[Let](patstr, x, domatch(parsepat(patstr), x)) 748.91/299.87 , notEmpty(Cons(x, xs)) -> True() 748.91/299.87 , notEmpty(Nil()) -> False() 748.91/299.87 , parsepdot(Cons(x, xs'), Pseq(xs), stack) -> 748.91/299.87 parsep(xs', Pseq(Cons(Pdot(), xs)), stack) 748.91/299.87 , @(Cons(x, xs), ys) -> Cons(x, @(xs, ys)) 748.91/299.87 , @(Nil(), ys) -> ys 748.91/299.87 , parsepcloseb(patchars, seq, Nil()) -> Error() 748.91/299.87 , parsepcloseb(Cons(x', xs''), Pseq(xs'), Cons(x, xs)) -> 748.91/299.87 parsep(xs'', 748.91/299.87 Pseq(@(reverse(xs'), 748.91/299.87 parsepcloseb[Ite][True][Match][Pseq][Match](xs', 748.91/299.87 Cons(x', xs''), 748.91/299.87 Cons(x, xs), 748.91/299.87 x))), 748.91/299.87 xs) 748.91/299.87 , parsepstar(Cons(x, xs), seq, Nil()) -> 748.91/299.87 parsep(xs, Pseq(Cons(Pchar(Cstar()), Nil())), Nil()) 748.91/299.87 , parsepstar(Cons(x', xs'), Pseq(Cons(x, xs)), Cons(x'', xs'')) -> 748.91/299.87 parsep(xs', Pseq(Cons(Pstar(x), xs)), Cons(x'', xs'')) 748.91/299.87 , reverse(Cons(c, cs)) -> @(reverse(cs), Cons(c, Nil())) 748.91/299.87 , reverse(Nil()) -> Nil() 748.91/299.87 , domatch(Pdot(), Cons(x, xs)) -> Cons(x, xs) 748.91/299.87 , domatch(Pdot(), Nil()) -> Nil() 748.91/299.87 , domatch(Pseq(pats), cs) -> domatchseq(cs, Nil(), pats) 748.91/299.87 , domatch(EmptyP(), cs) -> cs 748.91/299.87 , domatch(Pchar(c), Nil()) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(L(), xs)) -> Cons(L(), xs) 748.91/299.87 , domatch(Pchar(L()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(L()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(U(), xs)) -> Cons(U(), xs) 748.91/299.87 , domatch(Pchar(U()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(U()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(K(), xs)) -> Cons(K(), xs) 748.91/299.87 , domatch(Pchar(K()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(K()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(D(), xs)) -> Cons(D(), xs) 748.91/299.87 , domatch(Pchar(D()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(D()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Crpar(), xs)) -> Cons(Crpar(), xs) 748.91/299.87 , domatch(Pchar(Crpar()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Crpar()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(C(), xs)) -> Cons(C(), xs) 748.91/299.87 , domatch(Pchar(C()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(C()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(B(), xs)) -> Cons(B(), xs) 748.91/299.87 , domatch(Pchar(B()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(B()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(N(), xs)) -> Cons(N(), xs) 748.91/299.87 , domatch(Pchar(N()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(N()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(J(), xs)) -> Cons(J(), xs) 748.91/299.87 , domatch(Pchar(J()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(J()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Cslash(), xs)) -> 748.91/299.87 Cons(Cslash(), xs) 748.91/299.87 , domatch(Pchar(Cslash()), Cons(G(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Z(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(S(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(E(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(H(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Clpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Y(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(O(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Q(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(X(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Cstar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(W(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(P(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(I(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(Cdot(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(V(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(A(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(R(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(M(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(T(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(Cslash()), Cons(F(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(L(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(U(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(K(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(D(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(Crpar(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(C(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(B(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(N(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(J(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(Cslash(), xs)) -> Nil() 748.91/299.87 , domatch(Pchar(G()), Cons(G(), xs)) -> Cons(G(), xs) 748.91/299.87 , domatch(Pchar(G()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(G()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Z(), xs)) -> Cons(Z(), xs) 748.91/299.88 , domatch(Pchar(Z()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Z()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(S(), xs)) -> Cons(S(), xs) 748.91/299.88 , domatch(Pchar(S()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(S()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(E(), xs)) -> Cons(E(), xs) 748.91/299.88 , domatch(Pchar(E()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(E()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(H(), xs)) -> Cons(H(), xs) 748.91/299.88 , domatch(Pchar(H()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(H()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Clpar(), xs)) -> Cons(Clpar(), xs) 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Clpar()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Y(), xs)) -> Cons(Y(), xs) 748.91/299.88 , domatch(Pchar(Y()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Y()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(O(), xs)) -> Cons(O(), xs) 748.91/299.88 , domatch(Pchar(O()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(O()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Q(), xs)) -> Cons(Q(), xs) 748.91/299.88 , domatch(Pchar(Q()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Q()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(X(), xs)) -> Cons(X(), xs) 748.91/299.88 , domatch(Pchar(X()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(X()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Cstar(), xs)) -> Cons(Cstar(), xs) 748.91/299.88 , domatch(Pchar(Cstar()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cstar()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(W(), xs)) -> Cons(W(), xs) 748.91/299.88 , domatch(Pchar(W()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(W()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(P(), xs)) -> Cons(P(), xs) 748.91/299.88 , domatch(Pchar(P()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(P()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(I(), xs)) -> Cons(I(), xs) 748.91/299.88 , domatch(Pchar(I()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(I()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(Cdot(), xs)) -> Cons(Cdot(), xs) 748.91/299.88 , domatch(Pchar(Cdot()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(Cdot()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(V(), xs)) -> Cons(V(), xs) 748.91/299.88 , domatch(Pchar(V()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(V()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(A(), xs)) -> Cons(A(), xs) 748.91/299.88 , domatch(Pchar(A()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(A()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(R(), xs)) -> Cons(R(), xs) 748.91/299.88 , domatch(Pchar(R()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(R()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(M(), xs)) -> Cons(M(), xs) 748.91/299.88 , domatch(Pchar(M()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(M()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(T()), Cons(T(), xs)) -> Cons(T(), xs) 748.91/299.88 , domatch(Pchar(T()), Cons(F(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(L(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(U(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(K(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(D(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Crpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(C(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(B(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(N(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(J(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Cslash(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(G(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Z(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(S(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(E(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(H(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Clpar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Y(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(O(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Q(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(X(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Cstar(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(W(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(P(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(I(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(Cdot(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(V(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(A(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(R(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(M(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(T(), xs)) -> Nil() 748.91/299.88 , domatch(Pchar(F()), Cons(F(), xs)) -> Cons(F(), xs) 748.91/299.88 , domatch(Pstar(pat2), cs) -> domatchstar(cs, pat2, Nil()) 748.91/299.88 , parsep(Cons(L(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(L(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(U(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(U(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(K(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(K(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(D(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(D(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Crpar(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Crpar(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(C(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(C(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(B(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(B(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(N(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(N(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(J(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(J(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Cslash(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Cslash(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(G(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(G(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Z(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Z(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(S(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(S(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(E(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(E(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(H(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(H(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Clpar(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Clpar(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Y(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Y(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(O(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(O(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Q(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(Q(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(X(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(X(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Cstar(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](True(), 748.91/299.88 Cons(Cstar(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(W(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(W(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(P(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(P(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(I(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(I(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(Cdot(), xs), seq, stack) -> 748.91/299.88 parsepdot(Cons(Cdot(), xs), seq, stack) 748.91/299.88 , parsep(Cons(V(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(V(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(A(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(A(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(R(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(R(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(M(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(M(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(T(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(T(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Cons(F(), xs), seq, stack) -> 748.91/299.88 parsep[Ite][True][Ite][False][Ite](False(), 748.91/299.88 Cons(F(), xs), 748.91/299.88 seq, 748.91/299.88 stack) 748.91/299.88 , parsep(Nil(), seq, Cons(x, xs)) -> Error() 748.91/299.88 , parsep(Nil(), seq, Nil()) -> 748.91/299.88 parsep[Ite][False][Ite][False][Match](Nil(), Nil(), seq) 748.91/299.88 , stringlist(x) -> x 748.91/299.88 , liststring(x) -> x 748.91/299.88 , dummy(x) -> x 748.91/299.88 , parsepat(x) -> parsep(x, Pseq(Nil()), Nil()) } 748.91/299.88 Weak Trs: 748.91/299.88 { rematch[Let](patstr, str, Cons(x, xs)) -> 748.91/299.88 @(liststring(reverse(Cons(x, xs))), Cons(x, xs)) 748.91/299.88 , rematch[Let](patstr, str, Nil()) -> Nil() 748.91/299.88 , domatchseq[Ite][True][Let](cs, rest, pats, Cons(x, xs)) -> 748.91/299.88 domatchseq[Ite][True][Let][Ite](True(), 748.91/299.88 cs, 748.91/299.88 rest, 748.91/299.88 pats, 748.91/299.88 Cons(x, xs)) 748.91/299.88 , domatchseq[Ite][True][Let](cs, rest, pats, Nil()) -> 748.91/299.88 domatchseq[Ite][True][Let][Ite](False(), cs, rest, pats, Nil()) 748.91/299.88 , domatchstar[Ite][True][Let](cs, pat, init, Cons(x, xs)) -> 748.91/299.88 domatchstar[Ite][True][Let][Ite](True(), 748.91/299.88 cs, 748.91/299.88 pat, 748.91/299.88 init, 748.91/299.88 Cons(x, xs)) 748.91/299.88 , domatchstar[Ite][True][Let](cs, pat, init, Nil()) -> 748.91/299.88 domatchstar[Ite][True][Let][Ite](False(), cs, pat, init, Nil()) } 748.91/299.88 Obligation: 748.91/299.88 innermost runtime complexity 748.91/299.88 Answer: 748.91/299.88 MAYBE 748.91/299.88 748.91/299.88 None of the processors succeeded. 748.91/299.88 748.91/299.88 Details of failed attempt(s): 748.91/299.88 ----------------------------- 748.91/299.88 1) 'empty' failed due to the following reason: 748.91/299.88 748.91/299.88 Empty strict component of the problem is NOT empty. 748.91/299.88 748.91/299.88 2) 'Best' failed due to the following reason: 748.91/299.88 748.91/299.88 None of the processors succeeded. 748.91/299.88 748.91/299.88 Details of failed attempt(s): 748.91/299.88 ----------------------------- 748.91/299.88 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 748.91/299.88 following reason: 748.91/299.88 748.91/299.88 Computation stopped due to timeout after 297.0 seconds. 748.91/299.88 748.91/299.89 2) 'Best' failed due to the following reason: 748.91/299.89 748.91/299.89 None of the processors succeeded. 748.91/299.89 748.91/299.89 Details of failed attempt(s): 748.91/299.89 ----------------------------- 748.91/299.89 1) 'With Problem ... (timeout of 148 seconds) (timeout of 297 748.91/299.89 seconds)' failed due to the following reason: 748.91/299.89 748.91/299.89 Computation stopped due to timeout after 148.0 seconds. 748.91/299.89 748.91/299.89 2) 'Best' failed due to the following reason: 748.91/299.89 748.91/299.89 None of the processors succeeded. 748.91/299.89 748.91/299.89 Details of failed attempt(s): 748.91/299.89 ----------------------------- 748.91/299.89 1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 748.91/299.89 to the following reason: 748.91/299.89 748.91/299.89 The input cannot be shown compatible 748.91/299.89 748.91/299.89 2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 748.91/299.89 following reason: 748.91/299.89 748.91/299.89 The input cannot be shown compatible 748.91/299.89 748.91/299.89 748.91/299.89 3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 748.91/299.89 failed due to the following reason: 748.91/299.89 748.91/299.89 None of the processors succeeded. 748.91/299.89 748.91/299.89 Details of failed attempt(s): 748.91/299.89 ----------------------------- 748.91/299.89 1) 'Bounds with minimal-enrichment and initial automaton 'match'' 748.91/299.89 failed due to the following reason: 748.91/299.89 748.91/299.89 match-boundness of the problem could not be verified. 748.91/299.89 748.91/299.89 2) 'Bounds with perSymbol-enrichment and initial automaton 'match'' 748.91/299.89 failed due to the following reason: 748.91/299.89 748.91/299.89 match-boundness of the problem could not be verified. 748.91/299.89 748.91/299.89 748.91/299.89 748.91/299.89 748.91/299.89 748.91/299.89 Arrrr.. 749.05/299.90 EOF