(STRATEGY INNERMOST) (VAR c cs init pat pat2 patchars pats patstr rest seq stack str x x' x'' xs xs' xs'' ys) (DATATYPES A = µX.< Cons(X, X), Nil, Pchar(X), Cslash, Clpar, Crpar, Cstar, Cdot, Z, Y, X, W, V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A, parsep[Ite][True][Ite][False][Ite](X, X, X, X), False, True, Pseq(X), Pstar(X), parsepcloseb[Ite][True][Match][Pseq][Match](X, X, X, X), Error, parsep[Ite][False][Ite][False][Match](X, X, X), Pdot, EmptyP, domatchstar[Ite][True][Let][Ite](X, X, X, X, X), domatchseq[Ite][True][Let][Ite](X, X, X, X, X) >) (SIGNATURES @ :: [A x A] -> A domatch :: [A x A] -> A parsep :: [A x A x A] -> A domatchchar :: [A x A] -> A parsepstar :: [A x A x A] -> A parsepcloseb :: [A x A x A] -> A parsepchar :: [A x A x A] -> A domatchstar :: [A x A x A] -> A domatchseq :: [A x A x A] -> A domatchdot :: [A] -> A rematch :: [A x A] -> A parsepat :: [A] -> A isSpecialChar :: [A x A] -> A eqChar :: [A x A] -> A stringlist :: [A] -> A liststring :: [A] -> A reverse :: [A] -> A parsepdot :: [A x A x A] -> A notEmpty :: [A] -> A dummy :: [A] -> A parsepopenb :: [A x A x A] -> A rematch[Let] :: [A x A x A] -> A domatchstar[Ite][True][Let] :: [A x A x A x A] -> A domatchseq[Ite][True][Let] :: [A x A x A x A] -> A) (RULES @(Cons(x,xs),ys) -> Cons(x ,@(xs,ys)) @(Nil(),ys) -> ys domatch(Pchar(Cslash()) ,Cons(Cslash(),xs)) -> Cons(Cslash(),xs) domatch(Pchar(Clpar()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Clpar(),xs)) -> Cons(Clpar(),xs) domatch(Pchar(Crpar()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Crpar(),xs)) -> Cons(Crpar(),xs) domatch(Pchar(Cstar()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Cstar(),xs)) -> Cons(Cstar(),xs) domatch(Pchar(Cdot()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Cdot(),xs)) -> Cons(Cdot() ,xs) domatch(Pchar(Z()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Z(),xs)) -> Cons(Z(),xs) domatch(Pchar(Y()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Z(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Y(),xs)) -> Cons(Y(),xs) domatch(Pchar(X()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Y(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(X(),xs)) -> Cons(X(),xs) domatch(Pchar(W()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(X(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(W(),xs)) -> Cons(W(),xs) domatch(Pchar(V()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(W(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(V(),xs)) -> Cons(V(),xs) domatch(Pchar(U()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(V(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(U(),xs)) -> Cons(U(),xs) domatch(Pchar(T()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(U(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(T(),xs)) -> Cons(T(),xs) domatch(Pchar(S()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(T(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(S(),xs)) -> Cons(S(),xs) domatch(Pchar(R()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(S(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(R(),xs)) -> Cons(R(),xs) domatch(Pchar(Q()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(R(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(Q(),xs)) -> Cons(Q(),xs) domatch(Pchar(P()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(Q(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(P(),xs)) -> Cons(P(),xs) domatch(Pchar(O()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(P(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(O(),xs)) -> Cons(O(),xs) domatch(Pchar(N()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(O(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(N(),xs)) -> Cons(N(),xs) domatch(Pchar(M()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(N(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(M(),xs)) -> Cons(M(),xs) domatch(Pchar(L()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(M(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(L(),xs)) -> Cons(L(),xs) domatch(Pchar(K()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(L(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(K(),xs)) -> Cons(K(),xs) domatch(Pchar(J()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(K(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(J(),xs)) -> Cons(J(),xs) domatch(Pchar(I()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(J(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(I(),xs)) -> Cons(I(),xs) domatch(Pchar(H()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(I(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(H(),xs)) -> Cons(H(),xs) domatch(Pchar(G()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(H(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(G(),xs)) -> Cons(G(),xs) domatch(Pchar(F()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(G(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(F(),xs)) -> Cons(F(),xs) domatch(Pchar(E()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(F(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(E(),xs)) -> Cons(E(),xs) domatch(Pchar(D()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(E(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(D(),xs)) -> Cons(D(),xs) domatch(Pchar(C()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(D(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(C(),xs)) -> Cons(C(),xs) domatch(Pchar(B()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(C(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(B(),xs)) -> Cons(B(),xs) domatch(Pchar(A()) ,Cons(B(),xs)) -> Nil() domatch(Pchar(Cslash()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Clpar()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Crpar()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Cstar()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Cdot()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Z()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Y()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(X()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(W()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(V()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(U()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(T()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(S()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(R()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(Q()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(P()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(O()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(N()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(M()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(L()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(K()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(J()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(I()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(H()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(G()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(F()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(E()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(D()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(C()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(B()) ,Cons(A(),xs)) -> Nil() domatch(Pchar(A()) ,Cons(A(),xs)) -> Cons(A(),xs) domatch(Pchar(c),Nil()) -> Nil() parsep(Cons(Cslash(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Cslash(),xs) ,seq ,stack) parsep(Cons(Clpar(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Clpar(),xs) ,seq ,stack) parsep(Cons(Crpar(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Crpar(),xs) ,seq ,stack) parsep(Cons(Cstar(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](True() ,Cons(Cstar(),xs) ,seq ,stack) parsep(Cons(Cdot(),xs) ,seq ,stack) -> parsepdot(Cons(Cdot() ,xs) ,seq ,stack) parsep(Cons(Z(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Z(),xs) ,seq ,stack) parsep(Cons(Y(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Y(),xs) ,seq ,stack) parsep(Cons(X(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(X(),xs) ,seq ,stack) parsep(Cons(W(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(W(),xs) ,seq ,stack) parsep(Cons(V(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(V(),xs) ,seq ,stack) parsep(Cons(U(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(U(),xs) ,seq ,stack) parsep(Cons(T(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(T(),xs) ,seq ,stack) parsep(Cons(S(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(S(),xs) ,seq ,stack) parsep(Cons(R(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(R(),xs) ,seq ,stack) parsep(Cons(Q(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Q(),xs) ,seq ,stack) parsep(Cons(P(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(P(),xs) ,seq ,stack) parsep(Cons(O(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(O(),xs) ,seq ,stack) parsep(Cons(N(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(N(),xs) ,seq ,stack) parsep(Cons(M(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(M(),xs) ,seq ,stack) parsep(Cons(L(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(L(),xs) ,seq ,stack) parsep(Cons(K(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(K(),xs) ,seq ,stack) parsep(Cons(J(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(J(),xs) ,seq ,stack) parsep(Cons(I(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(I(),xs) ,seq ,stack) parsep(Cons(H(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(H(),xs) ,seq ,stack) parsep(Cons(G(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(G(),xs) ,seq ,stack) parsep(Cons(F(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(F(),xs) ,seq ,stack) parsep(Cons(E(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(E(),xs) ,seq ,stack) parsep(Cons(D(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(D(),xs) ,seq ,stack) parsep(Cons(C(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(C(),xs) ,seq ,stack) parsep(Cons(B(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(B(),xs) ,seq ,stack) parsep(Cons(A(),xs) ,seq ,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(A(),xs) ,seq ,stack) domatchchar(Cons(Cslash(),xs) ,Cslash()) -> Cons(Cslash(),xs) domatchchar(Cons(Cslash(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Z()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Y()) -> Nil() domatchchar(Cons(Cslash(),xs) ,X()) -> Nil() domatchchar(Cons(Cslash(),xs) ,W()) -> Nil() domatchchar(Cons(Cslash(),xs) ,V()) -> Nil() domatchchar(Cons(Cslash(),xs) ,U()) -> Nil() domatchchar(Cons(Cslash(),xs) ,T()) -> Nil() domatchchar(Cons(Cslash(),xs) ,S()) -> Nil() domatchchar(Cons(Cslash(),xs) ,R()) -> Nil() domatchchar(Cons(Cslash(),xs) ,Q()) -> Nil() domatchchar(Cons(Cslash(),xs) ,P()) -> Nil() domatchchar(Cons(Cslash(),xs) ,O()) -> Nil() domatchchar(Cons(Cslash(),xs) ,N()) -> Nil() domatchchar(Cons(Cslash(),xs) ,M()) -> Nil() domatchchar(Cons(Cslash(),xs) ,L()) -> Nil() domatchchar(Cons(Cslash(),xs) ,K()) -> Nil() domatchchar(Cons(Cslash(),xs) ,J()) -> Nil() domatchchar(Cons(Cslash(),xs) ,I()) -> Nil() domatchchar(Cons(Cslash(),xs) ,H()) -> Nil() domatchchar(Cons(Cslash(),xs) ,G()) -> Nil() domatchchar(Cons(Cslash(),xs) ,F()) -> Nil() domatchchar(Cons(Cslash(),xs) ,E()) -> Nil() domatchchar(Cons(Cslash(),xs) ,D()) -> Nil() domatchchar(Cons(Cslash(),xs) ,C()) -> Nil() domatchchar(Cons(Cslash(),xs) ,B()) -> Nil() domatchchar(Cons(Cslash(),xs) ,A()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Clpar()) -> Cons(Clpar(),xs) domatchchar(Cons(Clpar(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Z()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Y()) -> Nil() domatchchar(Cons(Clpar(),xs) ,X()) -> Nil() domatchchar(Cons(Clpar(),xs) ,W()) -> Nil() domatchchar(Cons(Clpar(),xs) ,V()) -> Nil() domatchchar(Cons(Clpar(),xs) ,U()) -> Nil() domatchchar(Cons(Clpar(),xs) ,T()) -> Nil() domatchchar(Cons(Clpar(),xs) ,S()) -> Nil() domatchchar(Cons(Clpar(),xs) ,R()) -> Nil() domatchchar(Cons(Clpar(),xs) ,Q()) -> Nil() domatchchar(Cons(Clpar(),xs) ,P()) -> Nil() domatchchar(Cons(Clpar(),xs) ,O()) -> Nil() domatchchar(Cons(Clpar(),xs) ,N()) -> Nil() domatchchar(Cons(Clpar(),xs) ,M()) -> Nil() domatchchar(Cons(Clpar(),xs) ,L()) -> Nil() domatchchar(Cons(Clpar(),xs) ,K()) -> Nil() domatchchar(Cons(Clpar(),xs) ,J()) -> Nil() domatchchar(Cons(Clpar(),xs) ,I()) -> Nil() domatchchar(Cons(Clpar(),xs) ,H()) -> Nil() domatchchar(Cons(Clpar(),xs) ,G()) -> Nil() domatchchar(Cons(Clpar(),xs) ,F()) -> Nil() domatchchar(Cons(Clpar(),xs) ,E()) -> Nil() domatchchar(Cons(Clpar(),xs) ,D()) -> Nil() domatchchar(Cons(Clpar(),xs) ,C()) -> Nil() domatchchar(Cons(Clpar(),xs) ,B()) -> Nil() domatchchar(Cons(Clpar(),xs) ,A()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Crpar()) -> Cons(Crpar(),xs) domatchchar(Cons(Crpar(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Z()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Y()) -> Nil() domatchchar(Cons(Crpar(),xs) ,X()) -> Nil() domatchchar(Cons(Crpar(),xs) ,W()) -> Nil() domatchchar(Cons(Crpar(),xs) ,V()) -> Nil() domatchchar(Cons(Crpar(),xs) ,U()) -> Nil() domatchchar(Cons(Crpar(),xs) ,T()) -> Nil() domatchchar(Cons(Crpar(),xs) ,S()) -> Nil() domatchchar(Cons(Crpar(),xs) ,R()) -> Nil() domatchchar(Cons(Crpar(),xs) ,Q()) -> Nil() domatchchar(Cons(Crpar(),xs) ,P()) -> Nil() domatchchar(Cons(Crpar(),xs) ,O()) -> Nil() domatchchar(Cons(Crpar(),xs) ,N()) -> Nil() domatchchar(Cons(Crpar(),xs) ,M()) -> Nil() domatchchar(Cons(Crpar(),xs) ,L()) -> Nil() domatchchar(Cons(Crpar(),xs) ,K()) -> Nil() domatchchar(Cons(Crpar(),xs) ,J()) -> Nil() domatchchar(Cons(Crpar(),xs) ,I()) -> Nil() domatchchar(Cons(Crpar(),xs) ,H()) -> Nil() domatchchar(Cons(Crpar(),xs) ,G()) -> Nil() domatchchar(Cons(Crpar(),xs) ,F()) -> Nil() domatchchar(Cons(Crpar(),xs) ,E()) -> Nil() domatchchar(Cons(Crpar(),xs) ,D()) -> Nil() domatchchar(Cons(Crpar(),xs) ,C()) -> Nil() domatchchar(Cons(Crpar(),xs) ,B()) -> Nil() domatchchar(Cons(Crpar(),xs) ,A()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Cstar()) -> Cons(Cstar(),xs) domatchchar(Cons(Cstar(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Z()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Y()) -> Nil() domatchchar(Cons(Cstar(),xs) ,X()) -> Nil() domatchchar(Cons(Cstar(),xs) ,W()) -> Nil() domatchchar(Cons(Cstar(),xs) ,V()) -> Nil() domatchchar(Cons(Cstar(),xs) ,U()) -> Nil() domatchchar(Cons(Cstar(),xs) ,T()) -> Nil() domatchchar(Cons(Cstar(),xs) ,S()) -> Nil() domatchchar(Cons(Cstar(),xs) ,R()) -> Nil() domatchchar(Cons(Cstar(),xs) ,Q()) -> Nil() domatchchar(Cons(Cstar(),xs) ,P()) -> Nil() domatchchar(Cons(Cstar(),xs) ,O()) -> Nil() domatchchar(Cons(Cstar(),xs) ,N()) -> Nil() domatchchar(Cons(Cstar(),xs) ,M()) -> Nil() domatchchar(Cons(Cstar(),xs) ,L()) -> Nil() domatchchar(Cons(Cstar(),xs) ,K()) -> Nil() domatchchar(Cons(Cstar(),xs) ,J()) -> Nil() domatchchar(Cons(Cstar(),xs) ,I()) -> Nil() domatchchar(Cons(Cstar(),xs) ,H()) -> Nil() domatchchar(Cons(Cstar(),xs) ,G()) -> Nil() domatchchar(Cons(Cstar(),xs) ,F()) -> Nil() domatchchar(Cons(Cstar(),xs) ,E()) -> Nil() domatchchar(Cons(Cstar(),xs) ,D()) -> Nil() domatchchar(Cons(Cstar(),xs) ,C()) -> Nil() domatchchar(Cons(Cstar(),xs) ,B()) -> Nil() domatchchar(Cons(Cstar(),xs) ,A()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Cdot()) -> Cons(Cdot(),xs) domatchchar(Cons(Cdot(),xs) ,Z()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Y()) -> Nil() domatchchar(Cons(Cdot(),xs) ,X()) -> Nil() domatchchar(Cons(Cdot(),xs) ,W()) -> Nil() domatchchar(Cons(Cdot(),xs) ,V()) -> Nil() domatchchar(Cons(Cdot(),xs) ,U()) -> Nil() domatchchar(Cons(Cdot(),xs) ,T()) -> Nil() domatchchar(Cons(Cdot(),xs) ,S()) -> Nil() domatchchar(Cons(Cdot(),xs) ,R()) -> Nil() domatchchar(Cons(Cdot(),xs) ,Q()) -> Nil() domatchchar(Cons(Cdot(),xs) ,P()) -> Nil() domatchchar(Cons(Cdot(),xs) ,O()) -> Nil() domatchchar(Cons(Cdot(),xs) ,N()) -> Nil() domatchchar(Cons(Cdot(),xs) ,M()) -> Nil() domatchchar(Cons(Cdot(),xs) ,L()) -> Nil() domatchchar(Cons(Cdot(),xs) ,K()) -> Nil() domatchchar(Cons(Cdot(),xs) ,J()) -> Nil() domatchchar(Cons(Cdot(),xs) ,I()) -> Nil() domatchchar(Cons(Cdot(),xs) ,H()) -> Nil() domatchchar(Cons(Cdot(),xs) ,G()) -> Nil() domatchchar(Cons(Cdot(),xs) ,F()) -> Nil() domatchchar(Cons(Cdot(),xs) ,E()) -> Nil() domatchchar(Cons(Cdot(),xs) ,D()) -> Nil() domatchchar(Cons(Cdot(),xs) ,C()) -> Nil() domatchchar(Cons(Cdot(),xs) ,B()) -> Nil() domatchchar(Cons(Cdot(),xs) ,A()) -> Nil() domatchchar(Cons(Z(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Z(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Z(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Z(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Z(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Z(),xs),Z()) -> Cons(Z(),xs) domatchchar(Cons(Z(),xs),Y()) -> Nil() domatchchar(Cons(Z(),xs),X()) -> Nil() domatchchar(Cons(Z(),xs),W()) -> Nil() domatchchar(Cons(Z(),xs),V()) -> Nil() domatchchar(Cons(Z(),xs),U()) -> Nil() domatchchar(Cons(Z(),xs),T()) -> Nil() domatchchar(Cons(Z(),xs),S()) -> Nil() domatchchar(Cons(Z(),xs),R()) -> Nil() domatchchar(Cons(Z(),xs),Q()) -> Nil() domatchchar(Cons(Z(),xs),P()) -> Nil() domatchchar(Cons(Z(),xs),O()) -> Nil() domatchchar(Cons(Z(),xs),N()) -> Nil() domatchchar(Cons(Z(),xs),M()) -> Nil() domatchchar(Cons(Z(),xs),L()) -> Nil() domatchchar(Cons(Z(),xs),K()) -> Nil() domatchchar(Cons(Z(),xs),J()) -> Nil() domatchchar(Cons(Z(),xs),I()) -> Nil() domatchchar(Cons(Z(),xs),H()) -> Nil() domatchchar(Cons(Z(),xs),G()) -> Nil() domatchchar(Cons(Z(),xs),F()) -> Nil() domatchchar(Cons(Z(),xs),E()) -> Nil() domatchchar(Cons(Z(),xs),D()) -> Nil() domatchchar(Cons(Z(),xs),C()) -> Nil() domatchchar(Cons(Z(),xs),B()) -> Nil() domatchchar(Cons(Z(),xs),A()) -> Nil() domatchchar(Cons(Y(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Y(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Y(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Y(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Y(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Y(),xs),Z()) -> Nil() domatchchar(Cons(Y(),xs),Y()) -> Cons(Y(),xs) domatchchar(Cons(Y(),xs),X()) -> Nil() domatchchar(Cons(Y(),xs),W()) -> Nil() domatchchar(Cons(Y(),xs),V()) -> Nil() domatchchar(Cons(Y(),xs),U()) -> Nil() domatchchar(Cons(Y(),xs),T()) -> Nil() domatchchar(Cons(Y(),xs),S()) -> Nil() domatchchar(Cons(Y(),xs),R()) -> Nil() domatchchar(Cons(Y(),xs),Q()) -> Nil() domatchchar(Cons(Y(),xs),P()) -> Nil() domatchchar(Cons(Y(),xs),O()) -> Nil() domatchchar(Cons(Y(),xs),N()) -> Nil() domatchchar(Cons(Y(),xs),M()) -> Nil() domatchchar(Cons(Y(),xs),L()) -> Nil() domatchchar(Cons(Y(),xs),K()) -> Nil() domatchchar(Cons(Y(),xs),J()) -> Nil() domatchchar(Cons(Y(),xs),I()) -> Nil() domatchchar(Cons(Y(),xs),H()) -> Nil() domatchchar(Cons(Y(),xs),G()) -> Nil() domatchchar(Cons(Y(),xs),F()) -> Nil() domatchchar(Cons(Y(),xs),E()) -> Nil() domatchchar(Cons(Y(),xs),D()) -> Nil() domatchchar(Cons(Y(),xs),C()) -> Nil() domatchchar(Cons(Y(),xs),B()) -> Nil() domatchchar(Cons(Y(),xs),A()) -> Nil() domatchchar(Cons(X(),xs) ,Cslash()) -> Nil() domatchchar(Cons(X(),xs) ,Clpar()) -> Nil() domatchchar(Cons(X(),xs) ,Crpar()) -> Nil() domatchchar(Cons(X(),xs) ,Cstar()) -> Nil() domatchchar(Cons(X(),xs) ,Cdot()) -> Nil() domatchchar(Cons(X(),xs),Z()) -> Nil() domatchchar(Cons(X(),xs),Y()) -> Nil() domatchchar(Cons(X(),xs),X()) -> Cons(X(),xs) domatchchar(Cons(X(),xs),W()) -> Nil() domatchchar(Cons(X(),xs),V()) -> Nil() domatchchar(Cons(X(),xs),U()) -> Nil() domatchchar(Cons(X(),xs),T()) -> Nil() domatchchar(Cons(X(),xs),S()) -> Nil() domatchchar(Cons(X(),xs),R()) -> Nil() domatchchar(Cons(X(),xs),Q()) -> Nil() domatchchar(Cons(X(),xs),P()) -> Nil() domatchchar(Cons(X(),xs),O()) -> Nil() domatchchar(Cons(X(),xs),N()) -> Nil() domatchchar(Cons(X(),xs),M()) -> Nil() domatchchar(Cons(X(),xs),L()) -> Nil() domatchchar(Cons(X(),xs),K()) -> Nil() domatchchar(Cons(X(),xs),J()) -> Nil() domatchchar(Cons(X(),xs),I()) -> Nil() domatchchar(Cons(X(),xs),H()) -> Nil() domatchchar(Cons(X(),xs),G()) -> Nil() domatchchar(Cons(X(),xs),F()) -> Nil() domatchchar(Cons(X(),xs),E()) -> Nil() domatchchar(Cons(X(),xs),D()) -> Nil() domatchchar(Cons(X(),xs),C()) -> Nil() domatchchar(Cons(X(),xs),B()) -> Nil() domatchchar(Cons(X(),xs),A()) -> Nil() domatchchar(Cons(W(),xs) ,Cslash()) -> Nil() domatchchar(Cons(W(),xs) ,Clpar()) -> Nil() domatchchar(Cons(W(),xs) ,Crpar()) -> Nil() domatchchar(Cons(W(),xs) ,Cstar()) -> Nil() domatchchar(Cons(W(),xs) ,Cdot()) -> Nil() domatchchar(Cons(W(),xs),Z()) -> Nil() domatchchar(Cons(W(),xs),Y()) -> Nil() domatchchar(Cons(W(),xs),X()) -> Nil() domatchchar(Cons(W(),xs),W()) -> Cons(W(),xs) domatchchar(Cons(W(),xs),V()) -> Nil() domatchchar(Cons(W(),xs),U()) -> Nil() domatchchar(Cons(W(),xs),T()) -> Nil() domatchchar(Cons(W(),xs),S()) -> Nil() domatchchar(Cons(W(),xs),R()) -> Nil() domatchchar(Cons(W(),xs),Q()) -> Nil() domatchchar(Cons(W(),xs),P()) -> Nil() domatchchar(Cons(W(),xs),O()) -> Nil() domatchchar(Cons(W(),xs),N()) -> Nil() domatchchar(Cons(W(),xs),M()) -> Nil() domatchchar(Cons(W(),xs),L()) -> Nil() domatchchar(Cons(W(),xs),K()) -> Nil() domatchchar(Cons(W(),xs),J()) -> Nil() domatchchar(Cons(W(),xs),I()) -> Nil() domatchchar(Cons(W(),xs),H()) -> Nil() domatchchar(Cons(W(),xs),G()) -> Nil() domatchchar(Cons(W(),xs),F()) -> Nil() domatchchar(Cons(W(),xs),E()) -> Nil() domatchchar(Cons(W(),xs),D()) -> Nil() domatchchar(Cons(W(),xs),C()) -> Nil() domatchchar(Cons(W(),xs),B()) -> Nil() domatchchar(Cons(W(),xs),A()) -> Nil() domatchchar(Cons(V(),xs) ,Cslash()) -> Nil() domatchchar(Cons(V(),xs) ,Clpar()) -> Nil() domatchchar(Cons(V(),xs) ,Crpar()) -> Nil() domatchchar(Cons(V(),xs) ,Cstar()) -> Nil() domatchchar(Cons(V(),xs) ,Cdot()) -> Nil() domatchchar(Cons(V(),xs),Z()) -> Nil() domatchchar(Cons(V(),xs),Y()) -> Nil() domatchchar(Cons(V(),xs),X()) -> Nil() domatchchar(Cons(V(),xs),W()) -> Nil() domatchchar(Cons(V(),xs),V()) -> Cons(V(),xs) domatchchar(Cons(V(),xs),U()) -> Nil() domatchchar(Cons(V(),xs),T()) -> Nil() domatchchar(Cons(V(),xs),S()) -> Nil() domatchchar(Cons(V(),xs),R()) -> Nil() domatchchar(Cons(V(),xs),Q()) -> Nil() domatchchar(Cons(V(),xs),P()) -> Nil() domatchchar(Cons(V(),xs),O()) -> Nil() domatchchar(Cons(V(),xs),N()) -> Nil() domatchchar(Cons(V(),xs),M()) -> Nil() domatchchar(Cons(V(),xs),L()) -> Nil() domatchchar(Cons(V(),xs),K()) -> Nil() domatchchar(Cons(V(),xs),J()) -> Nil() domatchchar(Cons(V(),xs),I()) -> Nil() domatchchar(Cons(V(),xs),H()) -> Nil() domatchchar(Cons(V(),xs),G()) -> Nil() domatchchar(Cons(V(),xs),F()) -> Nil() domatchchar(Cons(V(),xs),E()) -> Nil() domatchchar(Cons(V(),xs),D()) -> Nil() domatchchar(Cons(V(),xs),C()) -> Nil() domatchchar(Cons(V(),xs),B()) -> Nil() domatchchar(Cons(V(),xs),A()) -> Nil() domatchchar(Cons(U(),xs) ,Cslash()) -> Nil() domatchchar(Cons(U(),xs) ,Clpar()) -> Nil() domatchchar(Cons(U(),xs) ,Crpar()) -> Nil() domatchchar(Cons(U(),xs) ,Cstar()) -> Nil() domatchchar(Cons(U(),xs) ,Cdot()) -> Nil() domatchchar(Cons(U(),xs),Z()) -> Nil() domatchchar(Cons(U(),xs),Y()) -> Nil() domatchchar(Cons(U(),xs),X()) -> Nil() domatchchar(Cons(U(),xs),W()) -> Nil() domatchchar(Cons(U(),xs),V()) -> Nil() domatchchar(Cons(U(),xs),U()) -> Cons(U(),xs) domatchchar(Cons(U(),xs),T()) -> Nil() domatchchar(Cons(U(),xs),S()) -> Nil() domatchchar(Cons(U(),xs),R()) -> Nil() domatchchar(Cons(U(),xs),Q()) -> Nil() domatchchar(Cons(U(),xs),P()) -> Nil() domatchchar(Cons(U(),xs),O()) -> Nil() domatchchar(Cons(U(),xs),N()) -> Nil() domatchchar(Cons(U(),xs),M()) -> Nil() domatchchar(Cons(U(),xs),L()) -> Nil() domatchchar(Cons(U(),xs),K()) -> Nil() domatchchar(Cons(U(),xs),J()) -> Nil() domatchchar(Cons(U(),xs),I()) -> Nil() domatchchar(Cons(U(),xs),H()) -> Nil() domatchchar(Cons(U(),xs),G()) -> Nil() domatchchar(Cons(U(),xs),F()) -> Nil() domatchchar(Cons(U(),xs),E()) -> Nil() domatchchar(Cons(U(),xs),D()) -> Nil() domatchchar(Cons(U(),xs),C()) -> Nil() domatchchar(Cons(U(),xs),B()) -> Nil() domatchchar(Cons(U(),xs),A()) -> Nil() domatchchar(Cons(T(),xs) ,Cslash()) -> Nil() domatchchar(Cons(T(),xs) ,Clpar()) -> Nil() domatchchar(Cons(T(),xs) ,Crpar()) -> Nil() domatchchar(Cons(T(),xs) ,Cstar()) -> Nil() domatchchar(Cons(T(),xs) ,Cdot()) -> Nil() domatchchar(Cons(T(),xs),Z()) -> Nil() domatchchar(Cons(T(),xs),Y()) -> Nil() domatchchar(Cons(T(),xs),X()) -> Nil() domatchchar(Cons(T(),xs),W()) -> Nil() domatchchar(Cons(T(),xs),V()) -> Nil() domatchchar(Cons(T(),xs),U()) -> Nil() domatchchar(Cons(T(),xs),T()) -> Cons(T(),xs) domatchchar(Cons(T(),xs),S()) -> Nil() domatchchar(Cons(T(),xs),R()) -> Nil() domatchchar(Cons(T(),xs),Q()) -> Nil() domatchchar(Cons(T(),xs),P()) -> Nil() domatchchar(Cons(T(),xs),O()) -> Nil() domatchchar(Cons(T(),xs),N()) -> Nil() domatchchar(Cons(T(),xs),M()) -> Nil() domatchchar(Cons(T(),xs),L()) -> Nil() domatchchar(Cons(T(),xs),K()) -> Nil() domatchchar(Cons(T(),xs),J()) -> Nil() domatchchar(Cons(T(),xs),I()) -> Nil() domatchchar(Cons(T(),xs),H()) -> Nil() domatchchar(Cons(T(),xs),G()) -> Nil() domatchchar(Cons(T(),xs),F()) -> Nil() domatchchar(Cons(T(),xs),E()) -> Nil() domatchchar(Cons(T(),xs),D()) -> Nil() domatchchar(Cons(T(),xs),C()) -> Nil() domatchchar(Cons(T(),xs),B()) -> Nil() domatchchar(Cons(T(),xs),A()) -> Nil() domatchchar(Cons(S(),xs) ,Cslash()) -> Nil() domatchchar(Cons(S(),xs) ,Clpar()) -> Nil() domatchchar(Cons(S(),xs) ,Crpar()) -> Nil() domatchchar(Cons(S(),xs) ,Cstar()) -> Nil() domatchchar(Cons(S(),xs) ,Cdot()) -> Nil() domatchchar(Cons(S(),xs),Z()) -> Nil() domatchchar(Cons(S(),xs),Y()) -> Nil() domatchchar(Cons(S(),xs),X()) -> Nil() domatchchar(Cons(S(),xs),W()) -> Nil() domatchchar(Cons(S(),xs),V()) -> Nil() domatchchar(Cons(S(),xs),U()) -> Nil() domatchchar(Cons(S(),xs),T()) -> Nil() domatchchar(Cons(S(),xs),S()) -> Cons(S(),xs) domatchchar(Cons(S(),xs),R()) -> Nil() domatchchar(Cons(S(),xs),Q()) -> Nil() domatchchar(Cons(S(),xs),P()) -> Nil() domatchchar(Cons(S(),xs),O()) -> Nil() domatchchar(Cons(S(),xs),N()) -> Nil() domatchchar(Cons(S(),xs),M()) -> Nil() domatchchar(Cons(S(),xs),L()) -> Nil() domatchchar(Cons(S(),xs),K()) -> Nil() domatchchar(Cons(S(),xs),J()) -> Nil() domatchchar(Cons(S(),xs),I()) -> Nil() domatchchar(Cons(S(),xs),H()) -> Nil() domatchchar(Cons(S(),xs),G()) -> Nil() domatchchar(Cons(S(),xs),F()) -> Nil() domatchchar(Cons(S(),xs),E()) -> Nil() domatchchar(Cons(S(),xs),D()) -> Nil() domatchchar(Cons(S(),xs),C()) -> Nil() domatchchar(Cons(S(),xs),B()) -> Nil() domatchchar(Cons(S(),xs),A()) -> Nil() domatchchar(Cons(R(),xs) ,Cslash()) -> Nil() domatchchar(Cons(R(),xs) ,Clpar()) -> Nil() domatchchar(Cons(R(),xs) ,Crpar()) -> Nil() domatchchar(Cons(R(),xs) ,Cstar()) -> Nil() domatchchar(Cons(R(),xs) ,Cdot()) -> Nil() domatchchar(Cons(R(),xs),Z()) -> Nil() domatchchar(Cons(R(),xs),Y()) -> Nil() domatchchar(Cons(R(),xs),X()) -> Nil() domatchchar(Cons(R(),xs),W()) -> Nil() domatchchar(Cons(R(),xs),V()) -> Nil() domatchchar(Cons(R(),xs),U()) -> Nil() domatchchar(Cons(R(),xs),T()) -> Nil() domatchchar(Cons(R(),xs),S()) -> Nil() domatchchar(Cons(R(),xs),R()) -> Cons(R(),xs) domatchchar(Cons(R(),xs),Q()) -> Nil() domatchchar(Cons(R(),xs),P()) -> Nil() domatchchar(Cons(R(),xs),O()) -> Nil() domatchchar(Cons(R(),xs),N()) -> Nil() domatchchar(Cons(R(),xs),M()) -> Nil() domatchchar(Cons(R(),xs),L()) -> Nil() domatchchar(Cons(R(),xs),K()) -> Nil() domatchchar(Cons(R(),xs),J()) -> Nil() domatchchar(Cons(R(),xs),I()) -> Nil() domatchchar(Cons(R(),xs),H()) -> Nil() domatchchar(Cons(R(),xs),G()) -> Nil() domatchchar(Cons(R(),xs),F()) -> Nil() domatchchar(Cons(R(),xs),E()) -> Nil() domatchchar(Cons(R(),xs),D()) -> Nil() domatchchar(Cons(R(),xs),C()) -> Nil() domatchchar(Cons(R(),xs),B()) -> Nil() domatchchar(Cons(R(),xs),A()) -> Nil() domatchchar(Cons(Q(),xs) ,Cslash()) -> Nil() domatchchar(Cons(Q(),xs) ,Clpar()) -> Nil() domatchchar(Cons(Q(),xs) ,Crpar()) -> Nil() domatchchar(Cons(Q(),xs) ,Cstar()) -> Nil() domatchchar(Cons(Q(),xs) ,Cdot()) -> Nil() domatchchar(Cons(Q(),xs),Z()) -> Nil() domatchchar(Cons(Q(),xs),Y()) -> Nil() domatchchar(Cons(Q(),xs),X()) -> Nil() domatchchar(Cons(Q(),xs),W()) -> Nil() domatchchar(Cons(Q(),xs),V()) -> Nil() domatchchar(Cons(Q(),xs),U()) -> Nil() domatchchar(Cons(Q(),xs),T()) -> Nil() domatchchar(Cons(Q(),xs),S()) -> Nil() domatchchar(Cons(Q(),xs),R()) -> Nil() domatchchar(Cons(Q(),xs),Q()) -> Cons(Q(),xs) domatchchar(Cons(Q(),xs),P()) -> Nil() domatchchar(Cons(Q(),xs),O()) -> Nil() domatchchar(Cons(Q(),xs),N()) -> Nil() domatchchar(Cons(Q(),xs),M()) -> Nil() domatchchar(Cons(Q(),xs),L()) -> Nil() domatchchar(Cons(Q(),xs),K()) -> Nil() domatchchar(Cons(Q(),xs),J()) -> Nil() domatchchar(Cons(Q(),xs),I()) -> Nil() domatchchar(Cons(Q(),xs),H()) -> Nil() domatchchar(Cons(Q(),xs),G()) -> Nil() domatchchar(Cons(Q(),xs),F()) -> Nil() domatchchar(Cons(Q(),xs),E()) -> Nil() domatchchar(Cons(Q(),xs),D()) -> Nil() domatchchar(Cons(Q(),xs),C()) -> Nil() domatchchar(Cons(Q(),xs),B()) -> Nil() domatchchar(Cons(Q(),xs),A()) -> Nil() domatchchar(Cons(P(),xs) ,Cslash()) -> Nil() domatchchar(Cons(P(),xs) ,Clpar()) -> Nil() domatchchar(Cons(P(),xs) ,Crpar()) -> Nil() domatchchar(Cons(P(),xs) ,Cstar()) -> Nil() domatchchar(Cons(P(),xs) ,Cdot()) -> Nil() domatchchar(Cons(P(),xs),Z()) -> Nil() domatchchar(Cons(P(),xs),Y()) -> Nil() domatchchar(Cons(P(),xs),X()) -> Nil() domatchchar(Cons(P(),xs),W()) -> Nil() domatchchar(Cons(P(),xs),V()) -> Nil() domatchchar(Cons(P(),xs),U()) -> Nil() domatchchar(Cons(P(),xs),T()) -> Nil() domatchchar(Cons(P(),xs),S()) -> Nil() domatchchar(Cons(P(),xs),R()) -> Nil() domatchchar(Cons(P(),xs),Q()) -> Nil() domatchchar(Cons(P(),xs),P()) -> Cons(P(),xs) domatchchar(Cons(P(),xs),O()) -> Nil() domatchchar(Cons(P(),xs),N()) -> Nil() domatchchar(Cons(P(),xs),M()) -> Nil() domatchchar(Cons(P(),xs),L()) -> Nil() domatchchar(Cons(P(),xs),K()) -> Nil() domatchchar(Cons(P(),xs),J()) -> Nil() domatchchar(Cons(P(),xs),I()) -> Nil() domatchchar(Cons(P(),xs),H()) -> Nil() domatchchar(Cons(P(),xs),G()) -> Nil() domatchchar(Cons(P(),xs),F()) -> Nil() domatchchar(Cons(P(),xs),E()) -> Nil() domatchchar(Cons(P(),xs),D()) -> Nil() domatchchar(Cons(P(),xs),C()) -> Nil() domatchchar(Cons(P(),xs),B()) -> Nil() domatchchar(Cons(P(),xs),A()) -> Nil() domatchchar(Cons(O(),xs) ,Cslash()) -> Nil() domatchchar(Cons(O(),xs) ,Clpar()) -> Nil() domatchchar(Cons(O(),xs) ,Crpar()) -> Nil() domatchchar(Cons(O(),xs) ,Cstar()) -> Nil() domatchchar(Cons(O(),xs) ,Cdot()) -> Nil() domatchchar(Cons(O(),xs),Z()) -> Nil() domatchchar(Cons(O(),xs),Y()) -> Nil() domatchchar(Cons(O(),xs),X()) -> Nil() domatchchar(Cons(O(),xs),W()) -> Nil() domatchchar(Cons(O(),xs),V()) -> Nil() domatchchar(Cons(O(),xs),U()) -> Nil() domatchchar(Cons(O(),xs),T()) -> Nil() domatchchar(Cons(O(),xs),S()) -> Nil() domatchchar(Cons(O(),xs),R()) -> Nil() domatchchar(Cons(O(),xs),Q()) -> Nil() domatchchar(Cons(O(),xs),P()) -> Nil() domatchchar(Cons(O(),xs),O()) -> Cons(O(),xs) domatchchar(Cons(O(),xs),N()) -> Nil() domatchchar(Cons(O(),xs),M()) -> Nil() domatchchar(Cons(O(),xs),L()) -> Nil() domatchchar(Cons(O(),xs),K()) -> Nil() domatchchar(Cons(O(),xs),J()) -> Nil() domatchchar(Cons(O(),xs),I()) -> Nil() domatchchar(Cons(O(),xs),H()) -> Nil() domatchchar(Cons(O(),xs),G()) -> Nil() domatchchar(Cons(O(),xs),F()) -> Nil() domatchchar(Cons(O(),xs),E()) -> Nil() domatchchar(Cons(O(),xs),D()) -> Nil() domatchchar(Cons(O(),xs),C()) -> Nil() domatchchar(Cons(O(),xs),B()) -> Nil() domatchchar(Cons(O(),xs),A()) -> Nil() domatchchar(Cons(N(),xs) ,Cslash()) -> Nil() domatchchar(Cons(N(),xs) ,Clpar()) -> Nil() domatchchar(Cons(N(),xs) ,Crpar()) -> Nil() domatchchar(Cons(N(),xs) ,Cstar()) -> Nil() domatchchar(Cons(N(),xs) ,Cdot()) -> Nil() domatchchar(Cons(N(),xs),Z()) -> Nil() domatchchar(Cons(N(),xs),Y()) -> Nil() domatchchar(Cons(N(),xs),X()) -> Nil() domatchchar(Cons(N(),xs),W()) -> Nil() domatchchar(Cons(N(),xs),V()) -> Nil() domatchchar(Cons(N(),xs),U()) -> Nil() domatchchar(Cons(N(),xs),T()) -> Nil() domatchchar(Cons(N(),xs),S()) -> Nil() domatchchar(Cons(N(),xs),R()) -> Nil() domatchchar(Cons(N(),xs),Q()) -> Nil() domatchchar(Cons(N(),xs),P()) -> Nil() domatchchar(Cons(N(),xs),O()) -> Nil() domatchchar(Cons(N(),xs),N()) -> Cons(N(),xs) domatchchar(Cons(N(),xs),M()) -> Nil() domatchchar(Cons(N(),xs),L()) -> Nil() domatchchar(Cons(N(),xs),K()) -> Nil() domatchchar(Cons(N(),xs),J()) -> Nil() domatchchar(Cons(N(),xs),I()) -> Nil() domatchchar(Cons(N(),xs),H()) -> Nil() domatchchar(Cons(N(),xs),G()) -> Nil() domatchchar(Cons(N(),xs),F()) -> Nil() domatchchar(Cons(N(),xs),E()) -> Nil() domatchchar(Cons(N(),xs),D()) -> Nil() domatchchar(Cons(N(),xs),C()) -> Nil() domatchchar(Cons(N(),xs),B()) -> Nil() domatchchar(Cons(N(),xs),A()) -> Nil() domatchchar(Cons(M(),xs) ,Cslash()) -> Nil() domatchchar(Cons(M(),xs) ,Clpar()) -> Nil() domatchchar(Cons(M(),xs) ,Crpar()) -> Nil() domatchchar(Cons(M(),xs) ,Cstar()) -> Nil() domatchchar(Cons(M(),xs) ,Cdot()) -> Nil() domatchchar(Cons(M(),xs),Z()) -> Nil() domatchchar(Cons(M(),xs),Y()) -> Nil() domatchchar(Cons(M(),xs),X()) -> Nil() domatchchar(Cons(M(),xs),W()) -> Nil() domatchchar(Cons(M(),xs),V()) -> Nil() domatchchar(Cons(M(),xs),U()) -> Nil() domatchchar(Cons(M(),xs),T()) -> Nil() domatchchar(Cons(M(),xs),S()) -> Nil() domatchchar(Cons(M(),xs),R()) -> Nil() domatchchar(Cons(M(),xs),Q()) -> Nil() domatchchar(Cons(M(),xs),P()) -> Nil() domatchchar(Cons(M(),xs),O()) -> Nil() domatchchar(Cons(M(),xs),N()) -> Nil() domatchchar(Cons(M(),xs),M()) -> Cons(M(),xs) domatchchar(Cons(M(),xs),L()) -> Nil() domatchchar(Cons(M(),xs),K()) -> Nil() domatchchar(Cons(M(),xs),J()) -> Nil() domatchchar(Cons(M(),xs),I()) -> Nil() domatchchar(Cons(M(),xs),H()) -> Nil() domatchchar(Cons(M(),xs),G()) -> Nil() domatchchar(Cons(M(),xs),F()) -> Nil() domatchchar(Cons(M(),xs),E()) -> Nil() domatchchar(Cons(M(),xs),D()) -> Nil() domatchchar(Cons(M(),xs),C()) -> Nil() domatchchar(Cons(M(),xs),B()) -> Nil() domatchchar(Cons(M(),xs),A()) -> Nil() domatchchar(Cons(L(),xs) ,Cslash()) -> Nil() domatchchar(Cons(L(),xs) ,Clpar()) -> Nil() domatchchar(Cons(L(),xs) ,Crpar()) -> Nil() domatchchar(Cons(L(),xs) ,Cstar()) -> Nil() domatchchar(Cons(L(),xs) ,Cdot()) -> Nil() domatchchar(Cons(L(),xs),Z()) -> Nil() domatchchar(Cons(L(),xs),Y()) -> Nil() domatchchar(Cons(L(),xs),X()) -> Nil() domatchchar(Cons(L(),xs),W()) -> Nil() domatchchar(Cons(L(),xs),V()) -> Nil() domatchchar(Cons(L(),xs),U()) -> Nil() domatchchar(Cons(L(),xs),T()) -> Nil() domatchchar(Cons(L(),xs),S()) -> Nil() domatchchar(Cons(L(),xs),R()) -> Nil() domatchchar(Cons(L(),xs),Q()) -> Nil() domatchchar(Cons(L(),xs),P()) -> Nil() domatchchar(Cons(L(),xs),O()) -> Nil() domatchchar(Cons(L(),xs),N()) -> Nil() domatchchar(Cons(L(),xs),M()) -> Nil() domatchchar(Cons(L(),xs),L()) -> Cons(L(),xs) domatchchar(Cons(L(),xs),K()) -> Nil() domatchchar(Cons(L(),xs),J()) -> Nil() domatchchar(Cons(L(),xs),I()) -> Nil() domatchchar(Cons(L(),xs),H()) -> Nil() domatchchar(Cons(L(),xs),G()) -> Nil() domatchchar(Cons(L(),xs),F()) -> Nil() domatchchar(Cons(L(),xs),E()) -> Nil() domatchchar(Cons(L(),xs),D()) -> Nil() domatchchar(Cons(L(),xs),C()) -> Nil() domatchchar(Cons(L(),xs),B()) -> Nil() domatchchar(Cons(L(),xs),A()) -> Nil() domatchchar(Cons(K(),xs) ,Cslash()) -> Nil() domatchchar(Cons(K(),xs) ,Clpar()) -> Nil() domatchchar(Cons(K(),xs) ,Crpar()) -> Nil() domatchchar(Cons(K(),xs) ,Cstar()) -> Nil() domatchchar(Cons(K(),xs) ,Cdot()) -> Nil() domatchchar(Cons(K(),xs),Z()) -> Nil() domatchchar(Cons(K(),xs),Y()) -> Nil() domatchchar(Cons(K(),xs),X()) -> Nil() domatchchar(Cons(K(),xs),W()) -> Nil() domatchchar(Cons(K(),xs),V()) -> Nil() domatchchar(Cons(K(),xs),U()) -> Nil() domatchchar(Cons(K(),xs),T()) -> Nil() domatchchar(Cons(K(),xs),S()) -> Nil() domatchchar(Cons(K(),xs),R()) -> Nil() domatchchar(Cons(K(),xs),Q()) -> Nil() domatchchar(Cons(K(),xs),P()) -> Nil() domatchchar(Cons(K(),xs),O()) -> Nil() domatchchar(Cons(K(),xs),N()) -> Nil() domatchchar(Cons(K(),xs),M()) -> Nil() domatchchar(Cons(K(),xs),L()) -> Nil() domatchchar(Cons(K(),xs),K()) -> Cons(K(),xs) domatchchar(Cons(K(),xs),J()) -> Nil() domatchchar(Cons(K(),xs),I()) -> Nil() domatchchar(Cons(K(),xs),H()) -> Nil() domatchchar(Cons(K(),xs),G()) -> Nil() domatchchar(Cons(K(),xs),F()) -> Nil() domatchchar(Cons(K(),xs),E()) -> Nil() domatchchar(Cons(K(),xs),D()) -> Nil() domatchchar(Cons(K(),xs),C()) -> Nil() domatchchar(Cons(K(),xs),B()) -> Nil() domatchchar(Cons(K(),xs),A()) -> Nil() domatchchar(Cons(J(),xs) ,Cslash()) -> Nil() domatchchar(Cons(J(),xs) ,Clpar()) -> Nil() domatchchar(Cons(J(),xs) ,Crpar()) -> Nil() domatchchar(Cons(J(),xs) ,Cstar()) -> Nil() domatchchar(Cons(J(),xs) ,Cdot()) -> Nil() domatchchar(Cons(J(),xs),Z()) -> Nil() domatchchar(Cons(J(),xs),Y()) -> Nil() domatchchar(Cons(J(),xs),X()) -> Nil() domatchchar(Cons(J(),xs),W()) -> Nil() domatchchar(Cons(J(),xs),V()) -> Nil() domatchchar(Cons(J(),xs),U()) -> Nil() domatchchar(Cons(J(),xs),T()) -> Nil() domatchchar(Cons(J(),xs),S()) -> Nil() domatchchar(Cons(J(),xs),R()) -> Nil() domatchchar(Cons(J(),xs),Q()) -> Nil() domatchchar(Cons(J(),xs),P()) -> Nil() domatchchar(Cons(J(),xs),O()) -> Nil() domatchchar(Cons(J(),xs),N()) -> Nil() domatchchar(Cons(J(),xs),M()) -> Nil() domatchchar(Cons(J(),xs),L()) -> Nil() domatchchar(Cons(J(),xs),K()) -> Nil() domatchchar(Cons(J(),xs),J()) -> Cons(J(),xs) domatchchar(Cons(J(),xs),I()) -> Nil() domatchchar(Cons(J(),xs),H()) -> Nil() domatchchar(Cons(J(),xs),G()) -> Nil() domatchchar(Cons(J(),xs),F()) -> Nil() domatchchar(Cons(J(),xs),E()) -> Nil() domatchchar(Cons(J(),xs),D()) -> Nil() domatchchar(Cons(J(),xs),C()) -> Nil() domatchchar(Cons(J(),xs),B()) -> Nil() domatchchar(Cons(J(),xs),A()) -> Nil() domatchchar(Cons(I(),xs) ,Cslash()) -> Nil() domatchchar(Cons(I(),xs) ,Clpar()) -> Nil() domatchchar(Cons(I(),xs) ,Crpar()) -> Nil() domatchchar(Cons(I(),xs) ,Cstar()) -> Nil() domatchchar(Cons(I(),xs) ,Cdot()) -> Nil() domatchchar(Cons(I(),xs),Z()) -> Nil() domatchchar(Cons(I(),xs),Y()) -> Nil() domatchchar(Cons(I(),xs),X()) -> Nil() domatchchar(Cons(I(),xs),W()) -> Nil() domatchchar(Cons(I(),xs),V()) -> Nil() domatchchar(Cons(I(),xs),U()) -> Nil() domatchchar(Cons(I(),xs),T()) -> Nil() domatchchar(Cons(I(),xs),S()) -> Nil() domatchchar(Cons(I(),xs),R()) -> Nil() domatchchar(Cons(I(),xs),Q()) -> Nil() domatchchar(Cons(I(),xs),P()) -> Nil() domatchchar(Cons(I(),xs),O()) -> Nil() domatchchar(Cons(I(),xs),N()) -> Nil() domatchchar(Cons(I(),xs),M()) -> Nil() domatchchar(Cons(I(),xs),L()) -> Nil() domatchchar(Cons(I(),xs),K()) -> Nil() domatchchar(Cons(I(),xs),J()) -> Nil() domatchchar(Cons(I(),xs),I()) -> Cons(I(),xs) domatchchar(Cons(I(),xs),H()) -> Nil() domatchchar(Cons(I(),xs),G()) -> Nil() domatchchar(Cons(I(),xs),F()) -> Nil() domatchchar(Cons(I(),xs),E()) -> Nil() domatchchar(Cons(I(),xs),D()) -> Nil() domatchchar(Cons(I(),xs),C()) -> Nil() domatchchar(Cons(I(),xs),B()) -> Nil() domatchchar(Cons(I(),xs),A()) -> Nil() domatchchar(Cons(H(),xs) ,Cslash()) -> Nil() domatchchar(Cons(H(),xs) ,Clpar()) -> Nil() domatchchar(Cons(H(),xs) ,Crpar()) -> Nil() domatchchar(Cons(H(),xs) ,Cstar()) -> Nil() domatchchar(Cons(H(),xs) ,Cdot()) -> Nil() domatchchar(Cons(H(),xs),Z()) -> Nil() domatchchar(Cons(H(),xs),Y()) -> Nil() domatchchar(Cons(H(),xs),X()) -> Nil() domatchchar(Cons(H(),xs),W()) -> Nil() domatchchar(Cons(H(),xs),V()) -> Nil() domatchchar(Cons(H(),xs),U()) -> Nil() domatchchar(Cons(H(),xs),T()) -> Nil() domatchchar(Cons(H(),xs),S()) -> Nil() domatchchar(Cons(H(),xs),R()) -> Nil() domatchchar(Cons(H(),xs),Q()) -> Nil() domatchchar(Cons(H(),xs),P()) -> Nil() domatchchar(Cons(H(),xs),O()) -> Nil() domatchchar(Cons(H(),xs),N()) -> Nil() domatchchar(Cons(H(),xs),M()) -> Nil() domatchchar(Cons(H(),xs),L()) -> Nil() domatchchar(Cons(H(),xs),K()) -> Nil() domatchchar(Cons(H(),xs),J()) -> Nil() domatchchar(Cons(H(),xs),I()) -> Nil() domatchchar(Cons(H(),xs),H()) -> Cons(H(),xs) domatchchar(Cons(H(),xs),G()) -> Nil() domatchchar(Cons(H(),xs),F()) -> Nil() domatchchar(Cons(H(),xs),E()) -> Nil() domatchchar(Cons(H(),xs),D()) -> Nil() domatchchar(Cons(H(),xs),C()) -> Nil() domatchchar(Cons(H(),xs),B()) -> Nil() domatchchar(Cons(H(),xs),A()) -> Nil() domatchchar(Cons(G(),xs) ,Cslash()) -> Nil() domatchchar(Cons(G(),xs) ,Clpar()) -> Nil() domatchchar(Cons(G(),xs) ,Crpar()) -> Nil() domatchchar(Cons(G(),xs) ,Cstar()) -> Nil() domatchchar(Cons(G(),xs) ,Cdot()) -> Nil() domatchchar(Cons(G(),xs),Z()) -> Nil() domatchchar(Cons(G(),xs),Y()) -> Nil() domatchchar(Cons(G(),xs),X()) -> Nil() domatchchar(Cons(G(),xs),W()) -> Nil() domatchchar(Cons(G(),xs),V()) -> Nil() domatchchar(Cons(G(),xs),U()) -> Nil() domatchchar(Cons(G(),xs),T()) -> Nil() domatchchar(Cons(G(),xs),S()) -> Nil() domatchchar(Cons(G(),xs),R()) -> Nil() domatchchar(Cons(G(),xs),Q()) -> Nil() domatchchar(Cons(G(),xs),P()) -> Nil() domatchchar(Cons(G(),xs),O()) -> Nil() domatchchar(Cons(G(),xs),N()) -> Nil() domatchchar(Cons(G(),xs),M()) -> Nil() domatchchar(Cons(G(),xs),L()) -> Nil() domatchchar(Cons(G(),xs),K()) -> Nil() domatchchar(Cons(G(),xs),J()) -> Nil() domatchchar(Cons(G(),xs),I()) -> Nil() domatchchar(Cons(G(),xs),H()) -> Nil() domatchchar(Cons(G(),xs),G()) -> Cons(G(),xs) domatchchar(Cons(G(),xs),F()) -> Nil() domatchchar(Cons(G(),xs),E()) -> Nil() domatchchar(Cons(G(),xs),D()) -> Nil() domatchchar(Cons(G(),xs),C()) -> Nil() domatchchar(Cons(G(),xs),B()) -> Nil() domatchchar(Cons(G(),xs),A()) -> Nil() domatchchar(Cons(F(),xs) ,Cslash()) -> Nil() domatchchar(Cons(F(),xs) ,Clpar()) -> Nil() domatchchar(Cons(F(),xs) ,Crpar()) -> Nil() domatchchar(Cons(F(),xs) ,Cstar()) -> Nil() domatchchar(Cons(F(),xs) ,Cdot()) -> Nil() domatchchar(Cons(F(),xs),Z()) -> Nil() domatchchar(Cons(F(),xs),Y()) -> Nil() domatchchar(Cons(F(),xs),X()) -> Nil() domatchchar(Cons(F(),xs),W()) -> Nil() domatchchar(Cons(F(),xs),V()) -> Nil() domatchchar(Cons(F(),xs),U()) -> Nil() domatchchar(Cons(F(),xs),T()) -> Nil() domatchchar(Cons(F(),xs),S()) -> Nil() domatchchar(Cons(F(),xs),R()) -> Nil() domatchchar(Cons(F(),xs),Q()) -> Nil() domatchchar(Cons(F(),xs),P()) -> Nil() domatchchar(Cons(F(),xs),O()) -> Nil() domatchchar(Cons(F(),xs),N()) -> Nil() domatchchar(Cons(F(),xs),M()) -> Nil() domatchchar(Cons(F(),xs),L()) -> Nil() domatchchar(Cons(F(),xs),K()) -> Nil() domatchchar(Cons(F(),xs),J()) -> Nil() domatchchar(Cons(F(),xs),I()) -> Nil() domatchchar(Cons(F(),xs),H()) -> Nil() domatchchar(Cons(F(),xs),G()) -> Nil() domatchchar(Cons(F(),xs),F()) -> Cons(F(),xs) domatchchar(Cons(F(),xs),E()) -> Nil() domatchchar(Cons(F(),xs),D()) -> Nil() domatchchar(Cons(F(),xs),C()) -> Nil() domatchchar(Cons(F(),xs),B()) -> Nil() domatchchar(Cons(F(),xs),A()) -> Nil() domatchchar(Cons(E(),xs) ,Cslash()) -> Nil() domatchchar(Cons(E(),xs) ,Clpar()) -> Nil() domatchchar(Cons(E(),xs) ,Crpar()) -> Nil() domatchchar(Cons(E(),xs) ,Cstar()) -> Nil() domatchchar(Cons(E(),xs) ,Cdot()) -> Nil() domatchchar(Cons(E(),xs),Z()) -> Nil() domatchchar(Cons(E(),xs),Y()) -> Nil() domatchchar(Cons(E(),xs),X()) -> Nil() domatchchar(Cons(E(),xs),W()) -> Nil() domatchchar(Cons(E(),xs),V()) -> Nil() domatchchar(Cons(E(),xs),U()) -> Nil() domatchchar(Cons(E(),xs),T()) -> Nil() domatchchar(Cons(E(),xs),S()) -> Nil() domatchchar(Cons(E(),xs),R()) -> Nil() domatchchar(Cons(E(),xs),Q()) -> Nil() domatchchar(Cons(E(),xs),P()) -> Nil() domatchchar(Cons(E(),xs),O()) -> Nil() domatchchar(Cons(E(),xs),N()) -> Nil() domatchchar(Cons(E(),xs),M()) -> Nil() domatchchar(Cons(E(),xs),L()) -> Nil() domatchchar(Cons(E(),xs),K()) -> Nil() domatchchar(Cons(E(),xs),J()) -> Nil() domatchchar(Cons(E(),xs),I()) -> Nil() domatchchar(Cons(E(),xs),H()) -> Nil() domatchchar(Cons(E(),xs),G()) -> Nil() domatchchar(Cons(E(),xs),F()) -> Nil() domatchchar(Cons(E(),xs),E()) -> Cons(E(),xs) domatchchar(Cons(E(),xs),D()) -> Nil() domatchchar(Cons(E(),xs),C()) -> Nil() domatchchar(Cons(E(),xs),B()) -> Nil() domatchchar(Cons(E(),xs),A()) -> Nil() domatchchar(Cons(D(),xs) ,Cslash()) -> Nil() domatchchar(Cons(D(),xs) ,Clpar()) -> Nil() domatchchar(Cons(D(),xs) ,Crpar()) -> Nil() domatchchar(Cons(D(),xs) ,Cstar()) -> Nil() domatchchar(Cons(D(),xs) ,Cdot()) -> Nil() domatchchar(Cons(D(),xs),Z()) -> Nil() domatchchar(Cons(D(),xs),Y()) -> Nil() domatchchar(Cons(D(),xs),X()) -> Nil() domatchchar(Cons(D(),xs),W()) -> Nil() domatchchar(Cons(D(),xs),V()) -> Nil() domatchchar(Cons(D(),xs),U()) -> Nil() domatchchar(Cons(D(),xs),T()) -> Nil() domatchchar(Cons(D(),xs),S()) -> Nil() domatchchar(Cons(D(),xs),R()) -> Nil() domatchchar(Cons(D(),xs),Q()) -> Nil() domatchchar(Cons(D(),xs),P()) -> Nil() domatchchar(Cons(D(),xs),O()) -> Nil() domatchchar(Cons(D(),xs),N()) -> Nil() domatchchar(Cons(D(),xs),M()) -> Nil() domatchchar(Cons(D(),xs),L()) -> Nil() domatchchar(Cons(D(),xs),K()) -> Nil() domatchchar(Cons(D(),xs),J()) -> Nil() domatchchar(Cons(D(),xs),I()) -> Nil() domatchchar(Cons(D(),xs),H()) -> Nil() domatchchar(Cons(D(),xs),G()) -> Nil() domatchchar(Cons(D(),xs),F()) -> Nil() domatchchar(Cons(D(),xs),E()) -> Nil() domatchchar(Cons(D(),xs),D()) -> Cons(D(),xs) domatchchar(Cons(D(),xs),C()) -> Nil() domatchchar(Cons(D(),xs),B()) -> Nil() domatchchar(Cons(D(),xs),A()) -> Nil() domatchchar(Cons(C(),xs) ,Cslash()) -> Nil() domatchchar(Cons(C(),xs) ,Clpar()) -> Nil() domatchchar(Cons(C(),xs) ,Crpar()) -> Nil() domatchchar(Cons(C(),xs) ,Cstar()) -> Nil() domatchchar(Cons(C(),xs) ,Cdot()) -> Nil() domatchchar(Cons(C(),xs),Z()) -> Nil() domatchchar(Cons(C(),xs),Y()) -> Nil() domatchchar(Cons(C(),xs),X()) -> Nil() domatchchar(Cons(C(),xs),W()) -> Nil() domatchchar(Cons(C(),xs),V()) -> Nil() domatchchar(Cons(C(),xs),U()) -> Nil() domatchchar(Cons(C(),xs),T()) -> Nil() domatchchar(Cons(C(),xs),S()) -> Nil() domatchchar(Cons(C(),xs),R()) -> Nil() domatchchar(Cons(C(),xs),Q()) -> Nil() domatchchar(Cons(C(),xs),P()) -> Nil() domatchchar(Cons(C(),xs),O()) -> Nil() domatchchar(Cons(C(),xs),N()) -> Nil() domatchchar(Cons(C(),xs),M()) -> Nil() domatchchar(Cons(C(),xs),L()) -> Nil() domatchchar(Cons(C(),xs),K()) -> Nil() domatchchar(Cons(C(),xs),J()) -> Nil() domatchchar(Cons(C(),xs),I()) -> Nil() domatchchar(Cons(C(),xs),H()) -> Nil() domatchchar(Cons(C(),xs),G()) -> Nil() domatchchar(Cons(C(),xs),F()) -> Nil() domatchchar(Cons(C(),xs),E()) -> Nil() domatchchar(Cons(C(),xs),D()) -> Nil() domatchchar(Cons(C(),xs),C()) -> Cons(C(),xs) domatchchar(Cons(C(),xs),B()) -> Nil() domatchchar(Cons(C(),xs),A()) -> Nil() domatchchar(Cons(B(),xs) ,Cslash()) -> Nil() domatchchar(Cons(B(),xs) ,Clpar()) -> Nil() domatchchar(Cons(B(),xs) ,Crpar()) -> Nil() domatchchar(Cons(B(),xs) ,Cstar()) -> Nil() domatchchar(Cons(B(),xs) ,Cdot()) -> Nil() domatchchar(Cons(B(),xs),Z()) -> Nil() domatchchar(Cons(B(),xs),Y()) -> Nil() domatchchar(Cons(B(),xs),X()) -> Nil() domatchchar(Cons(B(),xs),W()) -> Nil() domatchchar(Cons(B(),xs),V()) -> Nil() domatchchar(Cons(B(),xs),U()) -> Nil() domatchchar(Cons(B(),xs),T()) -> Nil() domatchchar(Cons(B(),xs),S()) -> Nil() domatchchar(Cons(B(),xs),R()) -> Nil() domatchchar(Cons(B(),xs),Q()) -> Nil() domatchchar(Cons(B(),xs),P()) -> Nil() domatchchar(Cons(B(),xs),O()) -> Nil() domatchchar(Cons(B(),xs),N()) -> Nil() domatchchar(Cons(B(),xs),M()) -> Nil() domatchchar(Cons(B(),xs),L()) -> Nil() domatchchar(Cons(B(),xs),K()) -> Nil() domatchchar(Cons(B(),xs),J()) -> Nil() domatchchar(Cons(B(),xs),I()) -> Nil() domatchchar(Cons(B(),xs),H()) -> Nil() domatchchar(Cons(B(),xs),G()) -> Nil() domatchchar(Cons(B(),xs),F()) -> Nil() domatchchar(Cons(B(),xs),E()) -> Nil() domatchchar(Cons(B(),xs),D()) -> Nil() domatchchar(Cons(B(),xs),C()) -> Nil() domatchchar(Cons(B(),xs),B()) -> Cons(B(),xs) domatchchar(Cons(B(),xs),A()) -> Nil() domatchchar(Cons(A(),xs) ,Cslash()) -> Nil() domatchchar(Cons(A(),xs) ,Clpar()) -> Nil() domatchchar(Cons(A(),xs) ,Crpar()) -> Nil() domatchchar(Cons(A(),xs) ,Cstar()) -> Nil() domatchchar(Cons(A(),xs) ,Cdot()) -> Nil() domatchchar(Cons(A(),xs),Z()) -> Nil() domatchchar(Cons(A(),xs),Y()) -> Nil() domatchchar(Cons(A(),xs),X()) -> Nil() domatchchar(Cons(A(),xs),W()) -> Nil() domatchchar(Cons(A(),xs),V()) -> Nil() domatchchar(Cons(A(),xs),U()) -> Nil() domatchchar(Cons(A(),xs),T()) -> Nil() domatchchar(Cons(A(),xs),S()) -> Nil() domatchchar(Cons(A(),xs),R()) -> Nil() domatchchar(Cons(A(),xs),Q()) -> Nil() domatchchar(Cons(A(),xs),P()) -> Nil() domatchchar(Cons(A(),xs),O()) -> Nil() domatchchar(Cons(A(),xs),N()) -> Nil() domatchchar(Cons(A(),xs),M()) -> Nil() domatchchar(Cons(A(),xs),L()) -> Nil() domatchchar(Cons(A(),xs),K()) -> Nil() domatchchar(Cons(A(),xs),J()) -> Nil() domatchchar(Cons(A(),xs),I()) -> Nil() domatchchar(Cons(A(),xs),H()) -> Nil() domatchchar(Cons(A(),xs),G()) -> Nil() domatchchar(Cons(A(),xs),F()) -> Nil() domatchchar(Cons(A(),xs),E()) -> Nil() domatchchar(Cons(A(),xs),D()) -> Nil() domatchchar(Cons(A(),xs),C()) -> Nil() domatchchar(Cons(A(),xs),B()) -> Nil() domatchchar(Cons(A(),xs),A()) -> Cons(A(),xs) parsepstar(Cons(x',xs') ,Pseq(Cons(x,xs)) ,Cons(x'',xs'')) -> parsep(xs' ,Pseq(Cons(Pstar(x),xs)) ,Cons(x'',xs'')) parsepcloseb(Cons(x',xs'') ,Pseq(xs') ,Cons(x,xs)) -> parsep(xs'' ,Pseq(@(reverse(xs') ,parsepcloseb[Ite][True][Match][Pseq][Match](xs' ,Cons(x' ,xs'') ,Cons(x ,xs) ,x))) ,xs) parsep(Nil(),seq,Cons(x,xs)) -> Error() parsep(Nil(),seq,Nil()) -> parsep[Ite][False][Ite][False][Match](Nil() ,Nil() ,seq) domatch(Pdot(),Cons(x,xs)) -> Cons(x,xs) domatch(Pdot(),Nil()) -> Nil() parsepstar(Cons(x,xs) ,seq ,Nil()) -> parsep(xs ,Pseq(Cons(Pchar(Cstar()) ,Nil())) ,Nil()) parsepcloseb(patchars ,seq ,Nil()) -> Error() parsepchar(Cons(x,xs) ,Pseq(xs') ,stack) -> parsep(xs ,Pseq(Cons(Pchar(x),xs')) ,stack) parsepchar(Nil() ,Pseq(xs) ,stack) -> parsep(Nil() ,Pseq(Cons(Pchar(Cslash()),xs)) ,stack) domatchstar(Cons(x,xs) ,pat ,init) -> domatchstar[Ite][True][Let](Cons(x ,xs) ,pat ,init ,domatch(pat,Cons(x,xs))) domatchstar(Nil(),pat,init) -> @(init,Nil()) domatchseq(cs ,rest ,Cons(x,xs)) -> domatchseq[Ite][True][Let](cs ,rest ,Cons(x,xs) ,domatch(x,cs)) domatchseq(cs,rest,Nil()) -> @(cs,rest) domatchdot(Cons(x,xs)) -> Cons(x ,xs) domatchdot(Nil()) -> Nil() domatchchar(Nil(),c) -> Nil() rematch(patstr,x) -> rematch[Let](patstr ,x ,domatch(parsepat(patstr),x)) parsepat(x) -> parsep(x ,Pseq(Nil()) ,Nil()) isSpecialChar(Cslash() ,Cslash()) -> True() isSpecialChar(Cslash() ,Clpar()) -> False() isSpecialChar(Cslash() ,Crpar()) -> False() isSpecialChar(Cslash() ,Cstar()) -> False() isSpecialChar(Cslash() ,Cdot()) -> False() isSpecialChar(Clpar() ,Cslash()) -> False() isSpecialChar(Clpar() ,Clpar()) -> True() isSpecialChar(Clpar() ,Crpar()) -> False() isSpecialChar(Clpar() ,Cstar()) -> False() isSpecialChar(Clpar(),Cdot()) -> False() isSpecialChar(Crpar() ,Cslash()) -> False() isSpecialChar(Crpar() ,Clpar()) -> False() isSpecialChar(Crpar() ,Crpar()) -> True() isSpecialChar(Crpar() ,Cstar()) -> False() isSpecialChar(Crpar(),Cdot()) -> False() isSpecialChar(Cstar() ,Cslash()) -> False() isSpecialChar(Cstar() ,Clpar()) -> False() isSpecialChar(Cstar() ,Crpar()) -> False() isSpecialChar(Cstar() ,Cstar()) -> True() isSpecialChar(Cstar(),Cdot()) -> False() isSpecialChar(Cdot() ,Cslash()) -> False() isSpecialChar(Cdot(),Clpar()) -> False() isSpecialChar(Cdot(),Crpar()) -> False() isSpecialChar(Cdot(),Cstar()) -> False() isSpecialChar(Cdot(),Cdot()) -> True() eqChar(Cslash(),Cslash()) -> True() eqChar(Cslash(),Clpar()) -> False() eqChar(Cslash(),Crpar()) -> False() eqChar(Cslash(),Cstar()) -> False() eqChar(Cslash(),Cdot()) -> False() eqChar(Cslash(),Z()) -> False() eqChar(Cslash(),Y()) -> False() eqChar(Cslash(),X()) -> False() eqChar(Cslash(),W()) -> False() eqChar(Cslash(),V()) -> False() eqChar(Cslash(),U()) -> False() eqChar(Cslash(),T()) -> False() eqChar(Cslash(),S()) -> False() eqChar(Cslash(),R()) -> False() eqChar(Cslash(),Q()) -> False() eqChar(Cslash(),P()) -> False() eqChar(Cslash(),O()) -> False() eqChar(Cslash(),N()) -> False() eqChar(Cslash(),M()) -> False() eqChar(Cslash(),L()) -> False() eqChar(Cslash(),K()) -> False() eqChar(Cslash(),J()) -> False() eqChar(Cslash(),I()) -> False() eqChar(Cslash(),H()) -> False() eqChar(Cslash(),G()) -> False() eqChar(Cslash(),F()) -> False() eqChar(Cslash(),E()) -> False() eqChar(Cslash(),D()) -> False() eqChar(Cslash(),C()) -> False() eqChar(Cslash(),B()) -> False() eqChar(Cslash(),A()) -> False() eqChar(Clpar(),Cslash()) -> False() eqChar(Clpar(),Clpar()) -> True() eqChar(Clpar(),Crpar()) -> False() eqChar(Clpar(),Cstar()) -> False() eqChar(Clpar(),Cdot()) -> False() eqChar(Clpar(),Z()) -> False() eqChar(Clpar(),Y()) -> False() eqChar(Clpar(),X()) -> False() eqChar(Clpar(),W()) -> False() eqChar(Clpar(),V()) -> False() eqChar(Clpar(),U()) -> False() eqChar(Clpar(),T()) -> False() eqChar(Clpar(),S()) -> False() eqChar(Clpar(),R()) -> False() eqChar(Clpar(),Q()) -> False() eqChar(Clpar(),P()) -> False() eqChar(Clpar(),O()) -> False() eqChar(Clpar(),N()) -> False() eqChar(Clpar(),M()) -> False() eqChar(Clpar(),L()) -> False() eqChar(Clpar(),K()) -> False() eqChar(Clpar(),J()) -> False() eqChar(Clpar(),I()) -> False() eqChar(Clpar(),H()) -> False() eqChar(Clpar(),G()) -> False() eqChar(Clpar(),F()) -> False() eqChar(Clpar(),E()) -> False() eqChar(Clpar(),D()) -> False() eqChar(Clpar(),C()) -> False() eqChar(Clpar(),B()) -> False() eqChar(Clpar(),A()) -> False() eqChar(Crpar(),Cslash()) -> False() eqChar(Crpar(),Clpar()) -> False() eqChar(Crpar(),Crpar()) -> True() eqChar(Crpar(),Cstar()) -> False() eqChar(Crpar(),Cdot()) -> False() eqChar(Crpar(),Z()) -> False() eqChar(Crpar(),Y()) -> False() eqChar(Crpar(),X()) -> False() eqChar(Crpar(),W()) -> False() eqChar(Crpar(),V()) -> False() eqChar(Crpar(),U()) -> False() eqChar(Crpar(),T()) -> False() eqChar(Crpar(),S()) -> False() eqChar(Crpar(),R()) -> False() eqChar(Crpar(),Q()) -> False() eqChar(Crpar(),P()) -> False() eqChar(Crpar(),O()) -> False() eqChar(Crpar(),N()) -> False() eqChar(Crpar(),M()) -> False() eqChar(Crpar(),L()) -> False() eqChar(Crpar(),K()) -> False() eqChar(Crpar(),J()) -> False() eqChar(Crpar(),I()) -> False() eqChar(Crpar(),H()) -> False() eqChar(Crpar(),G()) -> False() eqChar(Crpar(),F()) -> False() eqChar(Crpar(),E()) -> False() eqChar(Crpar(),D()) -> False() eqChar(Crpar(),C()) -> False() eqChar(Crpar(),B()) -> False() eqChar(Crpar(),A()) -> False() eqChar(Cstar(),Cslash()) -> False() eqChar(Cstar(),Clpar()) -> False() eqChar(Cstar(),Crpar()) -> False() eqChar(Cstar(),Cstar()) -> True() eqChar(Cstar(),Cdot()) -> False() eqChar(Cstar(),Z()) -> False() eqChar(Cstar(),Y()) -> False() eqChar(Cstar(),X()) -> False() eqChar(Cstar(),W()) -> False() eqChar(Cstar(),V()) -> False() eqChar(Cstar(),U()) -> False() eqChar(Cstar(),T()) -> False() eqChar(Cstar(),S()) -> False() eqChar(Cstar(),R()) -> False() eqChar(Cstar(),Q()) -> False() eqChar(Cstar(),P()) -> False() eqChar(Cstar(),O()) -> False() eqChar(Cstar(),N()) -> False() eqChar(Cstar(),M()) -> False() eqChar(Cstar(),L()) -> False() eqChar(Cstar(),K()) -> False() eqChar(Cstar(),J()) -> False() eqChar(Cstar(),I()) -> False() eqChar(Cstar(),H()) -> False() eqChar(Cstar(),G()) -> False() eqChar(Cstar(),F()) -> False() eqChar(Cstar(),E()) -> False() eqChar(Cstar(),D()) -> False() eqChar(Cstar(),C()) -> False() eqChar(Cstar(),B()) -> False() eqChar(Cstar(),A()) -> False() eqChar(Cdot(),Cslash()) -> False() eqChar(Cdot(),Clpar()) -> False() eqChar(Cdot(),Crpar()) -> False() eqChar(Cdot(),Cstar()) -> False() eqChar(Cdot(),Cdot()) -> True() eqChar(Cdot(),Z()) -> False() eqChar(Cdot(),Y()) -> False() eqChar(Cdot(),X()) -> False() eqChar(Cdot(),W()) -> False() eqChar(Cdot(),V()) -> False() eqChar(Cdot(),U()) -> False() eqChar(Cdot(),T()) -> False() eqChar(Cdot(),S()) -> False() eqChar(Cdot(),R()) -> False() eqChar(Cdot(),Q()) -> False() eqChar(Cdot(),P()) -> False() eqChar(Cdot(),O()) -> False() eqChar(Cdot(),N()) -> False() eqChar(Cdot(),M()) -> False() eqChar(Cdot(),L()) -> False() eqChar(Cdot(),K()) -> False() eqChar(Cdot(),J()) -> False() eqChar(Cdot(),I()) -> False() eqChar(Cdot(),H()) -> False() eqChar(Cdot(),G()) -> False() eqChar(Cdot(),F()) -> False() eqChar(Cdot(),E()) -> False() eqChar(Cdot(),D()) -> False() eqChar(Cdot(),C()) -> False() eqChar(Cdot(),B()) -> False() eqChar(Cdot(),A()) -> False() eqChar(Z(),Cslash()) -> False() eqChar(Z(),Clpar()) -> False() eqChar(Z(),Crpar()) -> False() eqChar(Z(),Cstar()) -> False() eqChar(Z(),Cdot()) -> False() eqChar(Z(),Z()) -> True() eqChar(Z(),Y()) -> False() eqChar(Z(),X()) -> False() eqChar(Z(),W()) -> False() eqChar(Z(),V()) -> False() eqChar(Z(),U()) -> False() eqChar(Z(),T()) -> False() eqChar(Z(),S()) -> False() eqChar(Z(),R()) -> False() eqChar(Z(),Q()) -> False() eqChar(Z(),P()) -> False() eqChar(Z(),O()) -> False() eqChar(Z(),N()) -> False() eqChar(Z(),M()) -> False() eqChar(Z(),L()) -> False() eqChar(Z(),K()) -> False() eqChar(Z(),J()) -> False() eqChar(Z(),I()) -> False() eqChar(Z(),H()) -> False() eqChar(Z(),G()) -> False() eqChar(Z(),F()) -> False() eqChar(Z(),E()) -> False() eqChar(Z(),D()) -> False() eqChar(Z(),C()) -> False() eqChar(Z(),B()) -> False() eqChar(Z(),A()) -> False() eqChar(Y(),Cslash()) -> False() eqChar(Y(),Clpar()) -> False() eqChar(Y(),Crpar()) -> False() eqChar(Y(),Cstar()) -> False() eqChar(Y(),Cdot()) -> False() eqChar(Y(),Z()) -> False() eqChar(Y(),Y()) -> True() eqChar(Y(),X()) -> False() eqChar(Y(),W()) -> False() eqChar(Y(),V()) -> False() eqChar(Y(),U()) -> False() eqChar(Y(),T()) -> False() eqChar(Y(),S()) -> False() eqChar(Y(),R()) -> False() eqChar(Y(),Q()) -> False() eqChar(Y(),P()) -> False() eqChar(Y(),O()) -> False() eqChar(Y(),N()) -> False() eqChar(Y(),M()) -> False() eqChar(Y(),L()) -> False() eqChar(Y(),K()) -> False() eqChar(Y(),J()) -> False() eqChar(Y(),I()) -> False() eqChar(Y(),H()) -> False() eqChar(Y(),G()) -> False() eqChar(Y(),F()) -> False() eqChar(Y(),E()) -> False() eqChar(Y(),D()) -> False() eqChar(Y(),C()) -> False() eqChar(Y(),B()) -> False() eqChar(Y(),A()) -> False() eqChar(X(),Cslash()) -> False() eqChar(X(),Clpar()) -> False() eqChar(X(),Crpar()) -> False() eqChar(X(),Cstar()) -> False() eqChar(X(),Cdot()) -> False() eqChar(X(),Z()) -> False() eqChar(X(),Y()) -> False() eqChar(X(),X()) -> True() eqChar(X(),W()) -> False() eqChar(X(),V()) -> False() eqChar(X(),U()) -> False() eqChar(X(),T()) -> False() eqChar(X(),S()) -> False() eqChar(X(),R()) -> False() eqChar(X(),Q()) -> False() eqChar(X(),P()) -> False() eqChar(X(),O()) -> False() eqChar(X(),N()) -> False() eqChar(X(),M()) -> False() eqChar(X(),L()) -> False() eqChar(X(),K()) -> False() eqChar(X(),J()) -> False() eqChar(X(),I()) -> False() eqChar(X(),H()) -> False() eqChar(X(),G()) -> False() eqChar(X(),F()) -> False() eqChar(X(),E()) -> False() eqChar(X(),D()) -> False() eqChar(X(),C()) -> False() eqChar(X(),B()) -> False() eqChar(X(),A()) -> False() eqChar(W(),Cslash()) -> False() eqChar(W(),Clpar()) -> False() eqChar(W(),Crpar()) -> False() eqChar(W(),Cstar()) -> False() eqChar(W(),Cdot()) -> False() eqChar(W(),Z()) -> False() eqChar(W(),Y()) -> False() eqChar(W(),X()) -> False() eqChar(W(),W()) -> True() eqChar(W(),V()) -> False() eqChar(W(),U()) -> False() eqChar(W(),T()) -> False() eqChar(W(),S()) -> False() eqChar(W(),R()) -> False() eqChar(W(),Q()) -> False() eqChar(W(),P()) -> False() eqChar(W(),O()) -> False() eqChar(W(),N()) -> False() eqChar(W(),M()) -> False() eqChar(W(),L()) -> False() eqChar(W(),K()) -> False() eqChar(W(),J()) -> False() eqChar(W(),I()) -> False() eqChar(W(),H()) -> False() eqChar(W(),G()) -> False() eqChar(W(),F()) -> False() eqChar(W(),E()) -> False() eqChar(W(),D()) -> False() eqChar(W(),C()) -> False() eqChar(W(),B()) -> False() eqChar(W(),A()) -> False() eqChar(V(),Cslash()) -> False() eqChar(V(),Clpar()) -> False() eqChar(V(),Crpar()) -> False() eqChar(V(),Cstar()) -> False() eqChar(V(),Cdot()) -> False() eqChar(V(),Z()) -> False() eqChar(V(),Y()) -> False() eqChar(V(),X()) -> False() eqChar(V(),W()) -> False() eqChar(V(),V()) -> True() eqChar(V(),U()) -> False() eqChar(V(),T()) -> False() eqChar(V(),S()) -> False() eqChar(V(),R()) -> False() eqChar(V(),Q()) -> False() eqChar(V(),P()) -> False() eqChar(V(),O()) -> False() eqChar(V(),N()) -> False() eqChar(V(),M()) -> False() eqChar(V(),L()) -> False() eqChar(V(),K()) -> False() eqChar(V(),J()) -> False() eqChar(V(),I()) -> False() eqChar(V(),H()) -> False() eqChar(V(),G()) -> False() eqChar(V(),F()) -> False() eqChar(V(),E()) -> False() eqChar(V(),D()) -> False() eqChar(V(),C()) -> False() eqChar(V(),B()) -> False() eqChar(V(),A()) -> False() eqChar(U(),Cslash()) -> False() eqChar(U(),Clpar()) -> False() eqChar(U(),Crpar()) -> False() eqChar(U(),Cstar()) -> False() eqChar(U(),Cdot()) -> False() eqChar(U(),Z()) -> False() eqChar(U(),Y()) -> False() eqChar(U(),X()) -> False() eqChar(U(),W()) -> False() eqChar(U(),V()) -> False() eqChar(U(),U()) -> True() eqChar(U(),T()) -> False() eqChar(U(),S()) -> False() eqChar(U(),R()) -> False() eqChar(U(),Q()) -> False() eqChar(U(),P()) -> False() eqChar(U(),O()) -> False() eqChar(U(),N()) -> False() eqChar(U(),M()) -> False() eqChar(U(),L()) -> False() eqChar(U(),K()) -> False() eqChar(U(),J()) -> False() eqChar(U(),I()) -> False() eqChar(U(),H()) -> False() eqChar(U(),G()) -> False() eqChar(U(),F()) -> False() eqChar(U(),E()) -> False() eqChar(U(),D()) -> False() eqChar(U(),C()) -> False() eqChar(U(),B()) -> False() eqChar(U(),A()) -> False() eqChar(T(),Cslash()) -> False() eqChar(T(),Clpar()) -> False() eqChar(T(),Crpar()) -> False() eqChar(T(),Cstar()) -> False() eqChar(T(),Cdot()) -> False() eqChar(T(),Z()) -> False() eqChar(T(),Y()) -> False() eqChar(T(),X()) -> False() eqChar(T(),W()) -> False() eqChar(T(),V()) -> False() eqChar(T(),U()) -> False() eqChar(T(),T()) -> True() eqChar(T(),S()) -> False() eqChar(T(),R()) -> False() eqChar(T(),Q()) -> False() eqChar(T(),P()) -> False() eqChar(T(),O()) -> False() eqChar(T(),N()) -> False() eqChar(T(),M()) -> False() eqChar(T(),L()) -> False() eqChar(T(),K()) -> False() eqChar(T(),J()) -> False() eqChar(T(),I()) -> False() eqChar(T(),H()) -> False() eqChar(T(),G()) -> False() eqChar(T(),F()) -> False() eqChar(T(),E()) -> False() eqChar(T(),D()) -> False() eqChar(T(),C()) -> False() eqChar(T(),B()) -> False() eqChar(T(),A()) -> False() eqChar(S(),Cslash()) -> False() eqChar(S(),Clpar()) -> False() eqChar(S(),Crpar()) -> False() eqChar(S(),Cstar()) -> False() eqChar(S(),Cdot()) -> False() eqChar(S(),Z()) -> False() eqChar(S(),Y()) -> False() eqChar(S(),X()) -> False() eqChar(S(),W()) -> False() eqChar(S(),V()) -> False() eqChar(S(),U()) -> False() eqChar(S(),T()) -> False() eqChar(S(),S()) -> True() eqChar(S(),R()) -> False() eqChar(S(),Q()) -> False() eqChar(S(),P()) -> False() eqChar(S(),O()) -> False() eqChar(S(),N()) -> False() eqChar(S(),M()) -> False() eqChar(S(),L()) -> False() eqChar(S(),K()) -> False() eqChar(S(),J()) -> False() eqChar(S(),I()) -> False() eqChar(S(),H()) -> False() eqChar(S(),G()) -> False() eqChar(S(),F()) -> False() eqChar(S(),E()) -> False() eqChar(S(),D()) -> False() eqChar(S(),C()) -> False() eqChar(S(),B()) -> False() eqChar(S(),A()) -> False() eqChar(R(),Cslash()) -> False() eqChar(R(),Clpar()) -> False() eqChar(R(),Crpar()) -> False() eqChar(R(),Cstar()) -> False() eqChar(R(),Cdot()) -> False() eqChar(R(),Z()) -> False() eqChar(R(),Y()) -> False() eqChar(R(),X()) -> False() eqChar(R(),W()) -> False() eqChar(R(),V()) -> False() eqChar(R(),U()) -> False() eqChar(R(),T()) -> False() eqChar(R(),S()) -> False() eqChar(R(),R()) -> True() eqChar(R(),Q()) -> False() eqChar(R(),P()) -> False() eqChar(R(),O()) -> False() eqChar(R(),N()) -> False() eqChar(R(),M()) -> False() eqChar(R(),L()) -> False() eqChar(R(),K()) -> False() eqChar(R(),J()) -> False() eqChar(R(),I()) -> False() eqChar(R(),H()) -> False() eqChar(R(),G()) -> False() eqChar(R(),F()) -> False() eqChar(R(),E()) -> False() eqChar(R(),D()) -> False() eqChar(R(),C()) -> False() eqChar(R(),B()) -> False() eqChar(R(),A()) -> False() eqChar(Q(),Cslash()) -> False() eqChar(Q(),Clpar()) -> False() eqChar(Q(),Crpar()) -> False() eqChar(Q(),Cstar()) -> False() eqChar(Q(),Cdot()) -> False() eqChar(Q(),Z()) -> False() eqChar(Q(),Y()) -> False() eqChar(Q(),X()) -> False() eqChar(Q(),W()) -> False() eqChar(Q(),V()) -> False() eqChar(Q(),U()) -> False() eqChar(Q(),T()) -> False() eqChar(Q(),S()) -> False() eqChar(Q(),R()) -> False() eqChar(Q(),Q()) -> True() eqChar(Q(),P()) -> False() eqChar(Q(),O()) -> False() eqChar(Q(),N()) -> False() eqChar(Q(),M()) -> False() eqChar(Q(),L()) -> False() eqChar(Q(),K()) -> False() eqChar(Q(),J()) -> False() eqChar(Q(),I()) -> False() eqChar(Q(),H()) -> False() eqChar(Q(),G()) -> False() eqChar(Q(),F()) -> False() eqChar(Q(),E()) -> False() eqChar(Q(),D()) -> False() eqChar(Q(),C()) -> False() eqChar(Q(),B()) -> False() eqChar(Q(),A()) -> False() eqChar(P(),Cslash()) -> False() eqChar(P(),Clpar()) -> False() eqChar(P(),Crpar()) -> False() eqChar(P(),Cstar()) -> False() eqChar(P(),Cdot()) -> False() eqChar(P(),Z()) -> False() eqChar(P(),Y()) -> False() eqChar(P(),X()) -> False() eqChar(P(),W()) -> False() eqChar(P(),V()) -> False() eqChar(P(),U()) -> False() eqChar(P(),T()) -> False() eqChar(P(),S()) -> False() eqChar(P(),R()) -> False() eqChar(P(),Q()) -> False() eqChar(P(),P()) -> True() eqChar(P(),O()) -> False() eqChar(P(),N()) -> False() eqChar(P(),M()) -> False() eqChar(P(),L()) -> False() eqChar(P(),K()) -> False() eqChar(P(),J()) -> False() eqChar(P(),I()) -> False() eqChar(P(),H()) -> False() eqChar(P(),G()) -> False() eqChar(P(),F()) -> False() eqChar(P(),E()) -> False() eqChar(P(),D()) -> False() eqChar(P(),C()) -> False() eqChar(P(),B()) -> False() eqChar(P(),A()) -> False() eqChar(O(),Cslash()) -> False() eqChar(O(),Clpar()) -> False() eqChar(O(),Crpar()) -> False() eqChar(O(),Cstar()) -> False() eqChar(O(),Cdot()) -> False() eqChar(O(),Z()) -> False() eqChar(O(),Y()) -> False() eqChar(O(),X()) -> False() eqChar(O(),W()) -> False() eqChar(O(),V()) -> False() eqChar(O(),U()) -> False() eqChar(O(),T()) -> False() eqChar(O(),S()) -> False() eqChar(O(),R()) -> False() eqChar(O(),Q()) -> False() eqChar(O(),P()) -> False() eqChar(O(),O()) -> True() eqChar(O(),N()) -> False() eqChar(O(),M()) -> False() eqChar(O(),L()) -> False() eqChar(O(),K()) -> False() eqChar(O(),J()) -> False() eqChar(O(),I()) -> False() eqChar(O(),H()) -> False() eqChar(O(),G()) -> False() eqChar(O(),F()) -> False() eqChar(O(),E()) -> False() eqChar(O(),D()) -> False() eqChar(O(),C()) -> False() eqChar(O(),B()) -> False() eqChar(O(),A()) -> False() eqChar(N(),Cslash()) -> False() eqChar(N(),Clpar()) -> False() eqChar(N(),Crpar()) -> False() eqChar(N(),Cstar()) -> False() eqChar(N(),Cdot()) -> False() eqChar(N(),Z()) -> False() eqChar(N(),Y()) -> False() eqChar(N(),X()) -> False() eqChar(N(),W()) -> False() eqChar(N(),V()) -> False() eqChar(N(),U()) -> False() eqChar(N(),T()) -> False() eqChar(N(),S()) -> False() eqChar(N(),R()) -> False() eqChar(N(),Q()) -> False() eqChar(N(),P()) -> False() eqChar(N(),O()) -> False() eqChar(N(),N()) -> True() eqChar(N(),M()) -> False() eqChar(N(),L()) -> False() eqChar(N(),K()) -> False() eqChar(N(),J()) -> False() eqChar(N(),I()) -> False() eqChar(N(),H()) -> False() eqChar(N(),G()) -> False() eqChar(N(),F()) -> False() eqChar(N(),E()) -> False() eqChar(N(),D()) -> False() eqChar(N(),C()) -> False() eqChar(N(),B()) -> False() eqChar(N(),A()) -> False() eqChar(M(),Cslash()) -> False() eqChar(M(),Clpar()) -> False() eqChar(M(),Crpar()) -> False() eqChar(M(),Cstar()) -> False() eqChar(M(),Cdot()) -> False() eqChar(M(),Z()) -> False() eqChar(M(),Y()) -> False() eqChar(M(),X()) -> False() eqChar(M(),W()) -> False() eqChar(M(),V()) -> False() eqChar(M(),U()) -> False() eqChar(M(),T()) -> False() eqChar(M(),S()) -> False() eqChar(M(),R()) -> False() eqChar(M(),Q()) -> False() eqChar(M(),P()) -> False() eqChar(M(),O()) -> False() eqChar(M(),N()) -> False() eqChar(M(),M()) -> True() eqChar(M(),L()) -> False() eqChar(M(),K()) -> False() eqChar(M(),J()) -> False() eqChar(M(),I()) -> False() eqChar(M(),H()) -> False() eqChar(M(),G()) -> False() eqChar(M(),F()) -> False() eqChar(M(),E()) -> False() eqChar(M(),D()) -> False() eqChar(M(),C()) -> False() eqChar(M(),B()) -> False() eqChar(M(),A()) -> False() eqChar(L(),Cslash()) -> False() eqChar(L(),Clpar()) -> False() eqChar(L(),Crpar()) -> False() eqChar(L(),Cstar()) -> False() eqChar(L(),Cdot()) -> False() eqChar(L(),Z()) -> False() eqChar(L(),Y()) -> False() eqChar(L(),X()) -> False() eqChar(L(),W()) -> False() eqChar(L(),V()) -> False() eqChar(L(),U()) -> False() eqChar(L(),T()) -> False() eqChar(L(),S()) -> False() eqChar(L(),R()) -> False() eqChar(L(),Q()) -> False() eqChar(L(),P()) -> False() eqChar(L(),O()) -> False() eqChar(L(),N()) -> False() eqChar(L(),M()) -> False() eqChar(L(),L()) -> True() eqChar(L(),K()) -> False() eqChar(L(),J()) -> False() eqChar(L(),I()) -> False() eqChar(L(),H()) -> False() eqChar(L(),G()) -> False() eqChar(L(),F()) -> False() eqChar(L(),E()) -> False() eqChar(L(),D()) -> False() eqChar(L(),C()) -> False() eqChar(L(),B()) -> False() eqChar(L(),A()) -> False() eqChar(K(),Cslash()) -> False() eqChar(K(),Clpar()) -> False() eqChar(K(),Crpar()) -> False() eqChar(K(),Cstar()) -> False() eqChar(K(),Cdot()) -> False() eqChar(K(),Z()) -> False() eqChar(K(),Y()) -> False() eqChar(K(),X()) -> False() eqChar(K(),W()) -> False() eqChar(K(),V()) -> False() eqChar(K(),U()) -> False() eqChar(K(),T()) -> False() eqChar(K(),S()) -> False() eqChar(K(),R()) -> False() eqChar(K(),Q()) -> False() eqChar(K(),P()) -> False() eqChar(K(),O()) -> False() eqChar(K(),N()) -> False() eqChar(K(),M()) -> False() eqChar(K(),L()) -> False() eqChar(K(),K()) -> True() eqChar(K(),J()) -> False() eqChar(K(),I()) -> False() eqChar(K(),H()) -> False() eqChar(K(),G()) -> False() eqChar(K(),F()) -> False() eqChar(K(),E()) -> False() eqChar(K(),D()) -> False() eqChar(K(),C()) -> False() eqChar(K(),B()) -> False() eqChar(K(),A()) -> False() eqChar(J(),Cslash()) -> False() eqChar(J(),Clpar()) -> False() eqChar(J(),Crpar()) -> False() eqChar(J(),Cstar()) -> False() eqChar(J(),Cdot()) -> False() eqChar(J(),Z()) -> False() eqChar(J(),Y()) -> False() eqChar(J(),X()) -> False() eqChar(J(),W()) -> False() eqChar(J(),V()) -> False() eqChar(J(),U()) -> False() eqChar(J(),T()) -> False() eqChar(J(),S()) -> False() eqChar(J(),R()) -> False() eqChar(J(),Q()) -> False() eqChar(J(),P()) -> False() eqChar(J(),O()) -> False() eqChar(J(),N()) -> False() eqChar(J(),M()) -> False() eqChar(J(),L()) -> False() eqChar(J(),K()) -> False() eqChar(J(),J()) -> True() eqChar(J(),I()) -> False() eqChar(J(),H()) -> False() eqChar(J(),G()) -> False() eqChar(J(),F()) -> False() eqChar(J(),E()) -> False() eqChar(J(),D()) -> False() eqChar(J(),C()) -> False() eqChar(J(),B()) -> False() eqChar(J(),A()) -> False() eqChar(I(),Cslash()) -> False() eqChar(I(),Clpar()) -> False() eqChar(I(),Crpar()) -> False() eqChar(I(),Cstar()) -> False() eqChar(I(),Cdot()) -> False() eqChar(I(),Z()) -> False() eqChar(I(),Y()) -> False() eqChar(I(),X()) -> False() eqChar(I(),W()) -> False() eqChar(I(),V()) -> False() eqChar(I(),U()) -> False() eqChar(I(),T()) -> False() eqChar(I(),S()) -> False() eqChar(I(),R()) -> False() eqChar(I(),Q()) -> False() eqChar(I(),P()) -> False() eqChar(I(),O()) -> False() eqChar(I(),N()) -> False() eqChar(I(),M()) -> False() eqChar(I(),L()) -> False() eqChar(I(),K()) -> False() eqChar(I(),J()) -> False() eqChar(I(),I()) -> True() eqChar(I(),H()) -> False() eqChar(I(),G()) -> False() eqChar(I(),F()) -> False() eqChar(I(),E()) -> False() eqChar(I(),D()) -> False() eqChar(I(),C()) -> False() eqChar(I(),B()) -> False() eqChar(I(),A()) -> False() eqChar(H(),Cslash()) -> False() eqChar(H(),Clpar()) -> False() eqChar(H(),Crpar()) -> False() eqChar(H(),Cstar()) -> False() eqChar(H(),Cdot()) -> False() eqChar(H(),Z()) -> False() eqChar(H(),Y()) -> False() eqChar(H(),X()) -> False() eqChar(H(),W()) -> False() eqChar(H(),V()) -> False() eqChar(H(),U()) -> False() eqChar(H(),T()) -> False() eqChar(H(),S()) -> False() eqChar(H(),R()) -> False() eqChar(H(),Q()) -> False() eqChar(H(),P()) -> False() eqChar(H(),O()) -> False() eqChar(H(),N()) -> False() eqChar(H(),M()) -> False() eqChar(H(),L()) -> False() eqChar(H(),K()) -> False() eqChar(H(),J()) -> False() eqChar(H(),I()) -> False() eqChar(H(),H()) -> True() eqChar(H(),G()) -> False() eqChar(H(),F()) -> False() eqChar(H(),E()) -> False() eqChar(H(),D()) -> False() eqChar(H(),C()) -> False() eqChar(H(),B()) -> False() eqChar(H(),A()) -> False() eqChar(G(),Cslash()) -> False() eqChar(G(),Clpar()) -> False() eqChar(G(),Crpar()) -> False() eqChar(G(),Cstar()) -> False() eqChar(G(),Cdot()) -> False() eqChar(G(),Z()) -> False() eqChar(G(),Y()) -> False() eqChar(G(),X()) -> False() eqChar(G(),W()) -> False() eqChar(G(),V()) -> False() eqChar(G(),U()) -> False() eqChar(G(),T()) -> False() eqChar(G(),S()) -> False() eqChar(G(),R()) -> False() eqChar(G(),Q()) -> False() eqChar(G(),P()) -> False() eqChar(G(),O()) -> False() eqChar(G(),N()) -> False() eqChar(G(),M()) -> False() eqChar(G(),L()) -> False() eqChar(G(),K()) -> False() eqChar(G(),J()) -> False() eqChar(G(),I()) -> False() eqChar(G(),H()) -> False() eqChar(G(),G()) -> True() eqChar(G(),F()) -> False() eqChar(G(),E()) -> False() eqChar(G(),D()) -> False() eqChar(G(),C()) -> False() eqChar(G(),B()) -> False() eqChar(G(),A()) -> False() eqChar(F(),Cslash()) -> False() eqChar(F(),Clpar()) -> False() eqChar(F(),Crpar()) -> False() eqChar(F(),Cstar()) -> False() eqChar(F(),Cdot()) -> False() eqChar(F(),Z()) -> False() eqChar(F(),Y()) -> False() eqChar(F(),X()) -> False() eqChar(F(),W()) -> False() eqChar(F(),V()) -> False() eqChar(F(),U()) -> False() eqChar(F(),T()) -> False() eqChar(F(),S()) -> False() eqChar(F(),R()) -> False() eqChar(F(),Q()) -> False() eqChar(F(),P()) -> False() eqChar(F(),O()) -> False() eqChar(F(),N()) -> False() eqChar(F(),M()) -> False() eqChar(F(),L()) -> False() eqChar(F(),K()) -> False() eqChar(F(),J()) -> False() eqChar(F(),I()) -> False() eqChar(F(),H()) -> False() eqChar(F(),G()) -> False() eqChar(F(),F()) -> True() eqChar(F(),E()) -> False() eqChar(F(),D()) -> False() eqChar(F(),C()) -> False() eqChar(F(),B()) -> False() eqChar(F(),A()) -> False() eqChar(E(),Cslash()) -> False() eqChar(E(),Clpar()) -> False() eqChar(E(),Crpar()) -> False() eqChar(E(),Cstar()) -> False() eqChar(E(),Cdot()) -> False() eqChar(E(),Z()) -> False() eqChar(E(),Y()) -> False() eqChar(E(),X()) -> False() eqChar(E(),W()) -> False() eqChar(E(),V()) -> False() eqChar(E(),U()) -> False() eqChar(E(),T()) -> False() eqChar(E(),S()) -> False() eqChar(E(),R()) -> False() eqChar(E(),Q()) -> False() eqChar(E(),P()) -> False() eqChar(E(),O()) -> False() eqChar(E(),N()) -> False() eqChar(E(),M()) -> False() eqChar(E(),L()) -> False() eqChar(E(),K()) -> False() eqChar(E(),J()) -> False() eqChar(E(),I()) -> False() eqChar(E(),H()) -> False() eqChar(E(),G()) -> False() eqChar(E(),F()) -> False() eqChar(E(),E()) -> True() eqChar(E(),D()) -> False() eqChar(E(),C()) -> False() eqChar(E(),B()) -> False() eqChar(E(),A()) -> False() eqChar(D(),Cslash()) -> False() eqChar(D(),Clpar()) -> False() eqChar(D(),Crpar()) -> False() eqChar(D(),Cstar()) -> False() eqChar(D(),Cdot()) -> False() eqChar(D(),Z()) -> False() eqChar(D(),Y()) -> False() eqChar(D(),X()) -> False() eqChar(D(),W()) -> False() eqChar(D(),V()) -> False() eqChar(D(),U()) -> False() eqChar(D(),T()) -> False() eqChar(D(),S()) -> False() eqChar(D(),R()) -> False() eqChar(D(),Q()) -> False() eqChar(D(),P()) -> False() eqChar(D(),O()) -> False() eqChar(D(),N()) -> False() eqChar(D(),M()) -> False() eqChar(D(),L()) -> False() eqChar(D(),K()) -> False() eqChar(D(),J()) -> False() eqChar(D(),I()) -> False() eqChar(D(),H()) -> False() eqChar(D(),G()) -> False() eqChar(D(),F()) -> False() eqChar(D(),E()) -> False() eqChar(D(),D()) -> True() eqChar(D(),C()) -> False() eqChar(D(),B()) -> False() eqChar(D(),A()) -> False() eqChar(C(),Cslash()) -> False() eqChar(C(),Clpar()) -> False() eqChar(C(),Crpar()) -> False() eqChar(C(),Cstar()) -> False() eqChar(C(),Cdot()) -> False() eqChar(C(),Z()) -> False() eqChar(C(),Y()) -> False() eqChar(C(),X()) -> False() eqChar(C(),W()) -> False() eqChar(C(),V()) -> False() eqChar(C(),U()) -> False() eqChar(C(),T()) -> False() eqChar(C(),S()) -> False() eqChar(C(),R()) -> False() eqChar(C(),Q()) -> False() eqChar(C(),P()) -> False() eqChar(C(),O()) -> False() eqChar(C(),N()) -> False() eqChar(C(),M()) -> False() eqChar(C(),L()) -> False() eqChar(C(),K()) -> False() eqChar(C(),J()) -> False() eqChar(C(),I()) -> False() eqChar(C(),H()) -> False() eqChar(C(),G()) -> False() eqChar(C(),F()) -> False() eqChar(C(),E()) -> False() eqChar(C(),D()) -> False() eqChar(C(),C()) -> True() eqChar(C(),B()) -> False() eqChar(C(),A()) -> False() eqChar(B(),Cslash()) -> False() eqChar(B(),Clpar()) -> False() eqChar(B(),Crpar()) -> False() eqChar(B(),Cstar()) -> False() eqChar(B(),Cdot()) -> False() eqChar(B(),Z()) -> False() eqChar(B(),Y()) -> False() eqChar(B(),X()) -> False() eqChar(B(),W()) -> False() eqChar(B(),V()) -> False() eqChar(B(),U()) -> False() eqChar(B(),T()) -> False() eqChar(B(),S()) -> False() eqChar(B(),R()) -> False() eqChar(B(),Q()) -> False() eqChar(B(),P()) -> False() eqChar(B(),O()) -> False() eqChar(B(),N()) -> False() eqChar(B(),M()) -> False() eqChar(B(),L()) -> False() eqChar(B(),K()) -> False() eqChar(B(),J()) -> False() eqChar(B(),I()) -> False() eqChar(B(),H()) -> False() eqChar(B(),G()) -> False() eqChar(B(),F()) -> False() eqChar(B(),E()) -> False() eqChar(B(),D()) -> False() eqChar(B(),C()) -> False() eqChar(B(),B()) -> True() eqChar(B(),A()) -> False() eqChar(A(),Cslash()) -> False() eqChar(A(),Clpar()) -> False() eqChar(A(),Crpar()) -> False() eqChar(A(),Cstar()) -> False() eqChar(A(),Cdot()) -> False() eqChar(A(),Z()) -> False() eqChar(A(),Y()) -> False() eqChar(A(),X()) -> False() eqChar(A(),W()) -> False() eqChar(A(),V()) -> False() eqChar(A(),U()) -> False() eqChar(A(),T()) -> False() eqChar(A(),S()) -> False() eqChar(A(),R()) -> False() eqChar(A(),Q()) -> False() eqChar(A(),P()) -> False() eqChar(A(),O()) -> False() eqChar(A(),N()) -> False() eqChar(A(),M()) -> False() eqChar(A(),L()) -> False() eqChar(A(),K()) -> False() eqChar(A(),J()) -> False() eqChar(A(),I()) -> False() eqChar(A(),H()) -> False() eqChar(A(),G()) -> False() eqChar(A(),F()) -> False() eqChar(A(),E()) -> False() eqChar(A(),D()) -> False() eqChar(A(),C()) -> False() eqChar(A(),B()) -> False() eqChar(A(),A()) -> True() stringlist(x) -> x liststring(x) -> x reverse(Cons(c,cs)) -> @(reverse(cs),Cons(c,Nil())) reverse(Nil()) -> Nil() parsepdot(Cons(x,xs') ,Pseq(xs) ,stack) -> parsep(xs' ,Pseq(Cons(Pdot(),xs)) ,stack) notEmpty(Cons(x,xs)) -> True() notEmpty(Nil()) -> False() isSpecialChar(Z(),cs) -> False() isSpecialChar(Y(),cs) -> False() isSpecialChar(X(),cs) -> False() isSpecialChar(W(),cs) -> False() isSpecialChar(V(),cs) -> False() isSpecialChar(U(),cs) -> False() isSpecialChar(T(),cs) -> False() isSpecialChar(S(),cs) -> False() isSpecialChar(R(),cs) -> False() isSpecialChar(Q(),cs) -> False() isSpecialChar(P(),cs) -> False() isSpecialChar(O(),cs) -> False() isSpecialChar(N(),cs) -> False() isSpecialChar(M(),cs) -> False() isSpecialChar(L(),cs) -> False() isSpecialChar(K(),cs) -> False() isSpecialChar(J(),cs) -> False() isSpecialChar(I(),cs) -> False() isSpecialChar(H(),cs) -> False() isSpecialChar(G(),cs) -> False() isSpecialChar(F(),cs) -> False() isSpecialChar(E(),cs) -> False() isSpecialChar(D(),cs) -> False() isSpecialChar(C(),cs) -> False() isSpecialChar(B(),cs) -> False() isSpecialChar(A(),cs) -> False() dummy(x) -> x domatch(Pseq(pats),cs) -> domatchseq(cs,Nil(),pats) domatch(Pstar(pat2),cs) -> domatchstar(cs,pat2,Nil()) domatch(EmptyP(),cs) -> cs parsepopenb(Cons(x,xs) ,seq ,stack) -> parsep(xs ,Pseq(Nil()) ,Cons(seq,stack)) rematch[Let](patstr ,str ,Cons(x,xs)) ->= @(liststring(reverse(Cons(x ,xs))) ,Cons(x,xs)) rematch[Let](patstr ,str ,Nil()) ->= Nil() domatchstar[Ite][True][Let](cs ,pat ,init ,Cons(x,xs)) ->= domatchstar[Ite][True][Let][Ite](True() ,cs ,pat ,init ,Cons(x,xs)) domatchstar[Ite][True][Let](cs ,pat ,init ,Nil()) ->= domatchstar[Ite][True][Let][Ite](False() ,cs ,pat ,init ,Nil()) domatchseq[Ite][True][Let](cs ,rest ,pats ,Cons(x,xs)) ->= domatchseq[Ite][True][Let][Ite](True() ,cs ,rest ,pats ,Cons(x,xs)) domatchseq[Ite][True][Let](cs ,rest ,pats ,Nil()) ->= domatchseq[Ite][True][Let][Ite](False() ,cs ,rest ,pats ,Nil()))