MAYBE * Step 1: Failure MAYBE + Considered Problem: - Strict TRS: @(Cons(x,xs),ys) -> Cons(x,@(xs,ys)) @(Nil(),ys) -> ys domatch(EmptyP(),cs) -> cs domatch(Pchar(c),Nil()) -> Nil() domatch(Pchar(A()),Cons(A(),xs)) -> Cons(A(),xs) domatch(Pchar(A()),Cons(B(),xs)) -> Nil() domatch(Pchar(A()),Cons(C(),xs)) -> Nil() domatch(Pchar(A()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(A()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(A()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(A()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(A()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(A()),Cons(D(),xs)) -> Nil() domatch(Pchar(A()),Cons(E(),xs)) -> Nil() domatch(Pchar(A()),Cons(F(),xs)) -> Nil() domatch(Pchar(A()),Cons(G(),xs)) -> Nil() domatch(Pchar(A()),Cons(H(),xs)) -> Nil() domatch(Pchar(A()),Cons(I(),xs)) -> Nil() domatch(Pchar(A()),Cons(J(),xs)) -> Nil() domatch(Pchar(A()),Cons(K(),xs)) -> Nil() domatch(Pchar(A()),Cons(L(),xs)) -> Nil() domatch(Pchar(A()),Cons(M(),xs)) -> Nil() domatch(Pchar(A()),Cons(N(),xs)) -> Nil() domatch(Pchar(A()),Cons(O(),xs)) -> Nil() domatch(Pchar(A()),Cons(P(),xs)) -> Nil() domatch(Pchar(A()),Cons(Q(),xs)) -> Nil() domatch(Pchar(A()),Cons(R(),xs)) -> Nil() domatch(Pchar(A()),Cons(S(),xs)) -> Nil() domatch(Pchar(A()),Cons(T(),xs)) -> Nil() domatch(Pchar(A()),Cons(U(),xs)) -> Nil() domatch(Pchar(A()),Cons(V(),xs)) -> Nil() domatch(Pchar(A()),Cons(W(),xs)) -> Nil() domatch(Pchar(A()),Cons(X(),xs)) -> Nil() domatch(Pchar(A()),Cons(Y(),xs)) -> Nil() domatch(Pchar(A()),Cons(Z(),xs)) -> Nil() domatch(Pchar(B()),Cons(A(),xs)) -> Nil() domatch(Pchar(B()),Cons(B(),xs)) -> Cons(B(),xs) domatch(Pchar(B()),Cons(C(),xs)) -> Nil() domatch(Pchar(B()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(B()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(B()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(B()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(B()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(B()),Cons(D(),xs)) -> Nil() domatch(Pchar(B()),Cons(E(),xs)) -> Nil() domatch(Pchar(B()),Cons(F(),xs)) -> Nil() domatch(Pchar(B()),Cons(G(),xs)) -> Nil() domatch(Pchar(B()),Cons(H(),xs)) -> Nil() domatch(Pchar(B()),Cons(I(),xs)) -> Nil() domatch(Pchar(B()),Cons(J(),xs)) -> Nil() domatch(Pchar(B()),Cons(K(),xs)) -> Nil() domatch(Pchar(B()),Cons(L(),xs)) -> Nil() domatch(Pchar(B()),Cons(M(),xs)) -> Nil() domatch(Pchar(B()),Cons(N(),xs)) -> Nil() domatch(Pchar(B()),Cons(O(),xs)) -> Nil() domatch(Pchar(B()),Cons(P(),xs)) -> Nil() domatch(Pchar(B()),Cons(Q(),xs)) -> Nil() domatch(Pchar(B()),Cons(R(),xs)) -> Nil() domatch(Pchar(B()),Cons(S(),xs)) -> Nil() domatch(Pchar(B()),Cons(T(),xs)) -> Nil() domatch(Pchar(B()),Cons(U(),xs)) -> Nil() domatch(Pchar(B()),Cons(V(),xs)) -> Nil() domatch(Pchar(B()),Cons(W(),xs)) -> Nil() domatch(Pchar(B()),Cons(X(),xs)) -> Nil() domatch(Pchar(B()),Cons(Y(),xs)) -> Nil() domatch(Pchar(B()),Cons(Z(),xs)) -> Nil() domatch(Pchar(C()),Cons(A(),xs)) -> Nil() domatch(Pchar(C()),Cons(B(),xs)) -> Nil() domatch(Pchar(C()),Cons(C(),xs)) -> Cons(C(),xs) domatch(Pchar(C()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(C()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(C()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(C()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(C()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(C()),Cons(D(),xs)) -> Nil() domatch(Pchar(C()),Cons(E(),xs)) -> Nil() domatch(Pchar(C()),Cons(F(),xs)) -> Nil() domatch(Pchar(C()),Cons(G(),xs)) -> Nil() domatch(Pchar(C()),Cons(H(),xs)) -> Nil() domatch(Pchar(C()),Cons(I(),xs)) -> Nil() domatch(Pchar(C()),Cons(J(),xs)) -> Nil() domatch(Pchar(C()),Cons(K(),xs)) -> Nil() domatch(Pchar(C()),Cons(L(),xs)) -> Nil() domatch(Pchar(C()),Cons(M(),xs)) -> Nil() domatch(Pchar(C()),Cons(N(),xs)) -> Nil() domatch(Pchar(C()),Cons(O(),xs)) -> Nil() domatch(Pchar(C()),Cons(P(),xs)) -> Nil() domatch(Pchar(C()),Cons(Q(),xs)) -> Nil() domatch(Pchar(C()),Cons(R(),xs)) -> Nil() domatch(Pchar(C()),Cons(S(),xs)) -> Nil() domatch(Pchar(C()),Cons(T(),xs)) -> Nil() domatch(Pchar(C()),Cons(U(),xs)) -> Nil() domatch(Pchar(C()),Cons(V(),xs)) -> Nil() domatch(Pchar(C()),Cons(W(),xs)) -> Nil() domatch(Pchar(C()),Cons(X(),xs)) -> Nil() domatch(Pchar(C()),Cons(Y(),xs)) -> Nil() domatch(Pchar(C()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(A(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(B(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(C(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Cdot(),xs)) -> Cons(Cdot(),xs) domatch(Pchar(Cdot()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(D(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(E(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(F(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(G(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(H(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(I(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(J(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(K(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(L(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(M(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(N(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(O(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(P(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(R(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(S(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(T(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(U(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(V(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(W(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(X(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Cdot()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(A(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(B(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(C(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Clpar(),xs)) -> Cons(Clpar(),xs) domatch(Pchar(Clpar()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(D(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(E(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(F(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(G(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(H(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(I(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(J(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(K(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(L(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(M(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(N(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(O(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(P(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(R(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(S(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(T(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(U(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(V(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(W(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(X(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Clpar()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(A(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(B(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(C(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Crpar(),xs)) -> Cons(Crpar(),xs) domatch(Pchar(Crpar()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(D(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(E(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(F(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(G(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(H(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(I(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(J(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(K(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(L(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(M(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(N(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(O(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(P(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(R(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(S(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(T(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(U(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(V(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(W(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(X(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Crpar()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(A(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(B(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(C(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Cslash(),xs)) -> Cons(Cslash(),xs) domatch(Pchar(Cslash()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(D(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(E(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(F(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(G(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(H(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(I(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(J(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(K(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(L(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(M(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(N(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(O(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(P(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(R(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(S(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(T(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(U(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(V(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(W(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(X(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Cslash()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(A(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(B(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(C(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Cstar(),xs)) -> Cons(Cstar(),xs) domatch(Pchar(Cstar()),Cons(D(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(E(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(F(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(G(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(H(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(I(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(J(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(K(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(L(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(M(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(N(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(O(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(P(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(R(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(S(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(T(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(U(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(V(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(W(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(X(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Cstar()),Cons(Z(),xs)) -> Nil() domatch(Pchar(D()),Cons(A(),xs)) -> Nil() domatch(Pchar(D()),Cons(B(),xs)) -> Nil() domatch(Pchar(D()),Cons(C(),xs)) -> Nil() domatch(Pchar(D()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(D()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(D()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(D()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(D()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(D()),Cons(D(),xs)) -> Cons(D(),xs) domatch(Pchar(D()),Cons(E(),xs)) -> Nil() domatch(Pchar(D()),Cons(F(),xs)) -> Nil() domatch(Pchar(D()),Cons(G(),xs)) -> Nil() domatch(Pchar(D()),Cons(H(),xs)) -> Nil() domatch(Pchar(D()),Cons(I(),xs)) -> Nil() domatch(Pchar(D()),Cons(J(),xs)) -> Nil() domatch(Pchar(D()),Cons(K(),xs)) -> Nil() domatch(Pchar(D()),Cons(L(),xs)) -> Nil() domatch(Pchar(D()),Cons(M(),xs)) -> Nil() domatch(Pchar(D()),Cons(N(),xs)) -> Nil() domatch(Pchar(D()),Cons(O(),xs)) -> Nil() domatch(Pchar(D()),Cons(P(),xs)) -> Nil() domatch(Pchar(D()),Cons(Q(),xs)) -> Nil() domatch(Pchar(D()),Cons(R(),xs)) -> Nil() domatch(Pchar(D()),Cons(S(),xs)) -> Nil() domatch(Pchar(D()),Cons(T(),xs)) -> Nil() domatch(Pchar(D()),Cons(U(),xs)) -> Nil() domatch(Pchar(D()),Cons(V(),xs)) -> Nil() domatch(Pchar(D()),Cons(W(),xs)) -> Nil() domatch(Pchar(D()),Cons(X(),xs)) -> Nil() domatch(Pchar(D()),Cons(Y(),xs)) -> Nil() domatch(Pchar(D()),Cons(Z(),xs)) -> Nil() domatch(Pchar(E()),Cons(A(),xs)) -> Nil() domatch(Pchar(E()),Cons(B(),xs)) -> Nil() domatch(Pchar(E()),Cons(C(),xs)) -> Nil() domatch(Pchar(E()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(E()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(E()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(E()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(E()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(E()),Cons(D(),xs)) -> Nil() domatch(Pchar(E()),Cons(E(),xs)) -> Cons(E(),xs) domatch(Pchar(E()),Cons(F(),xs)) -> Nil() domatch(Pchar(E()),Cons(G(),xs)) -> Nil() domatch(Pchar(E()),Cons(H(),xs)) -> Nil() domatch(Pchar(E()),Cons(I(),xs)) -> Nil() domatch(Pchar(E()),Cons(J(),xs)) -> Nil() domatch(Pchar(E()),Cons(K(),xs)) -> Nil() domatch(Pchar(E()),Cons(L(),xs)) -> Nil() domatch(Pchar(E()),Cons(M(),xs)) -> Nil() domatch(Pchar(E()),Cons(N(),xs)) -> Nil() domatch(Pchar(E()),Cons(O(),xs)) -> Nil() domatch(Pchar(E()),Cons(P(),xs)) -> Nil() domatch(Pchar(E()),Cons(Q(),xs)) -> Nil() domatch(Pchar(E()),Cons(R(),xs)) -> Nil() domatch(Pchar(E()),Cons(S(),xs)) -> Nil() domatch(Pchar(E()),Cons(T(),xs)) -> Nil() domatch(Pchar(E()),Cons(U(),xs)) -> Nil() domatch(Pchar(E()),Cons(V(),xs)) -> Nil() domatch(Pchar(E()),Cons(W(),xs)) -> Nil() domatch(Pchar(E()),Cons(X(),xs)) -> Nil() domatch(Pchar(E()),Cons(Y(),xs)) -> Nil() domatch(Pchar(E()),Cons(Z(),xs)) -> Nil() domatch(Pchar(F()),Cons(A(),xs)) -> Nil() domatch(Pchar(F()),Cons(B(),xs)) -> Nil() domatch(Pchar(F()),Cons(C(),xs)) -> Nil() domatch(Pchar(F()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(F()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(F()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(F()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(F()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(F()),Cons(D(),xs)) -> Nil() domatch(Pchar(F()),Cons(E(),xs)) -> Nil() domatch(Pchar(F()),Cons(F(),xs)) -> Cons(F(),xs) domatch(Pchar(F()),Cons(G(),xs)) -> Nil() domatch(Pchar(F()),Cons(H(),xs)) -> Nil() domatch(Pchar(F()),Cons(I(),xs)) -> Nil() domatch(Pchar(F()),Cons(J(),xs)) -> Nil() domatch(Pchar(F()),Cons(K(),xs)) -> Nil() domatch(Pchar(F()),Cons(L(),xs)) -> Nil() domatch(Pchar(F()),Cons(M(),xs)) -> Nil() domatch(Pchar(F()),Cons(N(),xs)) -> Nil() domatch(Pchar(F()),Cons(O(),xs)) -> Nil() domatch(Pchar(F()),Cons(P(),xs)) -> Nil() domatch(Pchar(F()),Cons(Q(),xs)) -> Nil() domatch(Pchar(F()),Cons(R(),xs)) -> Nil() domatch(Pchar(F()),Cons(S(),xs)) -> Nil() domatch(Pchar(F()),Cons(T(),xs)) -> Nil() domatch(Pchar(F()),Cons(U(),xs)) -> Nil() domatch(Pchar(F()),Cons(V(),xs)) -> Nil() domatch(Pchar(F()),Cons(W(),xs)) -> Nil() domatch(Pchar(F()),Cons(X(),xs)) -> Nil() domatch(Pchar(F()),Cons(Y(),xs)) -> Nil() domatch(Pchar(F()),Cons(Z(),xs)) -> Nil() domatch(Pchar(G()),Cons(A(),xs)) -> Nil() domatch(Pchar(G()),Cons(B(),xs)) -> Nil() domatch(Pchar(G()),Cons(C(),xs)) -> Nil() domatch(Pchar(G()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(G()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(G()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(G()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(G()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(G()),Cons(D(),xs)) -> Nil() domatch(Pchar(G()),Cons(E(),xs)) -> Nil() domatch(Pchar(G()),Cons(F(),xs)) -> Nil() domatch(Pchar(G()),Cons(G(),xs)) -> Cons(G(),xs) domatch(Pchar(G()),Cons(H(),xs)) -> Nil() domatch(Pchar(G()),Cons(I(),xs)) -> Nil() domatch(Pchar(G()),Cons(J(),xs)) -> Nil() domatch(Pchar(G()),Cons(K(),xs)) -> Nil() domatch(Pchar(G()),Cons(L(),xs)) -> Nil() domatch(Pchar(G()),Cons(M(),xs)) -> Nil() domatch(Pchar(G()),Cons(N(),xs)) -> Nil() domatch(Pchar(G()),Cons(O(),xs)) -> Nil() domatch(Pchar(G()),Cons(P(),xs)) -> Nil() domatch(Pchar(G()),Cons(Q(),xs)) -> Nil() domatch(Pchar(G()),Cons(R(),xs)) -> Nil() domatch(Pchar(G()),Cons(S(),xs)) -> Nil() domatch(Pchar(G()),Cons(T(),xs)) -> Nil() domatch(Pchar(G()),Cons(U(),xs)) -> Nil() domatch(Pchar(G()),Cons(V(),xs)) -> Nil() domatch(Pchar(G()),Cons(W(),xs)) -> Nil() domatch(Pchar(G()),Cons(X(),xs)) -> Nil() domatch(Pchar(G()),Cons(Y(),xs)) -> Nil() domatch(Pchar(G()),Cons(Z(),xs)) -> Nil() domatch(Pchar(H()),Cons(A(),xs)) -> Nil() domatch(Pchar(H()),Cons(B(),xs)) -> Nil() domatch(Pchar(H()),Cons(C(),xs)) -> Nil() domatch(Pchar(H()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(H()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(H()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(H()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(H()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(H()),Cons(D(),xs)) -> Nil() domatch(Pchar(H()),Cons(E(),xs)) -> Nil() domatch(Pchar(H()),Cons(F(),xs)) -> Nil() domatch(Pchar(H()),Cons(G(),xs)) -> Nil() domatch(Pchar(H()),Cons(H(),xs)) -> Cons(H(),xs) domatch(Pchar(H()),Cons(I(),xs)) -> Nil() domatch(Pchar(H()),Cons(J(),xs)) -> Nil() domatch(Pchar(H()),Cons(K(),xs)) -> Nil() domatch(Pchar(H()),Cons(L(),xs)) -> Nil() domatch(Pchar(H()),Cons(M(),xs)) -> Nil() domatch(Pchar(H()),Cons(N(),xs)) -> Nil() domatch(Pchar(H()),Cons(O(),xs)) -> Nil() domatch(Pchar(H()),Cons(P(),xs)) -> Nil() domatch(Pchar(H()),Cons(Q(),xs)) -> Nil() domatch(Pchar(H()),Cons(R(),xs)) -> Nil() domatch(Pchar(H()),Cons(S(),xs)) -> Nil() domatch(Pchar(H()),Cons(T(),xs)) -> Nil() domatch(Pchar(H()),Cons(U(),xs)) -> Nil() domatch(Pchar(H()),Cons(V(),xs)) -> Nil() domatch(Pchar(H()),Cons(W(),xs)) -> Nil() domatch(Pchar(H()),Cons(X(),xs)) -> Nil() domatch(Pchar(H()),Cons(Y(),xs)) -> Nil() domatch(Pchar(H()),Cons(Z(),xs)) -> Nil() domatch(Pchar(I()),Cons(A(),xs)) -> Nil() domatch(Pchar(I()),Cons(B(),xs)) -> Nil() domatch(Pchar(I()),Cons(C(),xs)) -> Nil() domatch(Pchar(I()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(I()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(I()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(I()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(I()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(I()),Cons(D(),xs)) -> Nil() domatch(Pchar(I()),Cons(E(),xs)) -> Nil() domatch(Pchar(I()),Cons(F(),xs)) -> Nil() domatch(Pchar(I()),Cons(G(),xs)) -> Nil() domatch(Pchar(I()),Cons(H(),xs)) -> Nil() domatch(Pchar(I()),Cons(I(),xs)) -> Cons(I(),xs) domatch(Pchar(I()),Cons(J(),xs)) -> Nil() domatch(Pchar(I()),Cons(K(),xs)) -> Nil() domatch(Pchar(I()),Cons(L(),xs)) -> Nil() domatch(Pchar(I()),Cons(M(),xs)) -> Nil() domatch(Pchar(I()),Cons(N(),xs)) -> Nil() domatch(Pchar(I()),Cons(O(),xs)) -> Nil() domatch(Pchar(I()),Cons(P(),xs)) -> Nil() domatch(Pchar(I()),Cons(Q(),xs)) -> Nil() domatch(Pchar(I()),Cons(R(),xs)) -> Nil() domatch(Pchar(I()),Cons(S(),xs)) -> Nil() domatch(Pchar(I()),Cons(T(),xs)) -> Nil() domatch(Pchar(I()),Cons(U(),xs)) -> Nil() domatch(Pchar(I()),Cons(V(),xs)) -> Nil() domatch(Pchar(I()),Cons(W(),xs)) -> Nil() domatch(Pchar(I()),Cons(X(),xs)) -> Nil() domatch(Pchar(I()),Cons(Y(),xs)) -> Nil() domatch(Pchar(I()),Cons(Z(),xs)) -> Nil() domatch(Pchar(J()),Cons(A(),xs)) -> Nil() domatch(Pchar(J()),Cons(B(),xs)) -> Nil() domatch(Pchar(J()),Cons(C(),xs)) -> Nil() domatch(Pchar(J()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(J()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(J()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(J()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(J()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(J()),Cons(D(),xs)) -> Nil() domatch(Pchar(J()),Cons(E(),xs)) -> Nil() domatch(Pchar(J()),Cons(F(),xs)) -> Nil() domatch(Pchar(J()),Cons(G(),xs)) -> Nil() domatch(Pchar(J()),Cons(H(),xs)) -> Nil() domatch(Pchar(J()),Cons(I(),xs)) -> Nil() domatch(Pchar(J()),Cons(J(),xs)) -> Cons(J(),xs) domatch(Pchar(J()),Cons(K(),xs)) -> Nil() domatch(Pchar(J()),Cons(L(),xs)) -> Nil() domatch(Pchar(J()),Cons(M(),xs)) -> Nil() domatch(Pchar(J()),Cons(N(),xs)) -> Nil() domatch(Pchar(J()),Cons(O(),xs)) -> Nil() domatch(Pchar(J()),Cons(P(),xs)) -> Nil() domatch(Pchar(J()),Cons(Q(),xs)) -> Nil() domatch(Pchar(J()),Cons(R(),xs)) -> Nil() domatch(Pchar(J()),Cons(S(),xs)) -> Nil() domatch(Pchar(J()),Cons(T(),xs)) -> Nil() domatch(Pchar(J()),Cons(U(),xs)) -> Nil() domatch(Pchar(J()),Cons(V(),xs)) -> Nil() domatch(Pchar(J()),Cons(W(),xs)) -> Nil() domatch(Pchar(J()),Cons(X(),xs)) -> Nil() domatch(Pchar(J()),Cons(Y(),xs)) -> Nil() domatch(Pchar(J()),Cons(Z(),xs)) -> Nil() domatch(Pchar(K()),Cons(A(),xs)) -> Nil() domatch(Pchar(K()),Cons(B(),xs)) -> Nil() domatch(Pchar(K()),Cons(C(),xs)) -> Nil() domatch(Pchar(K()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(K()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(K()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(K()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(K()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(K()),Cons(D(),xs)) -> Nil() domatch(Pchar(K()),Cons(E(),xs)) -> Nil() domatch(Pchar(K()),Cons(F(),xs)) -> Nil() domatch(Pchar(K()),Cons(G(),xs)) -> Nil() domatch(Pchar(K()),Cons(H(),xs)) -> Nil() domatch(Pchar(K()),Cons(I(),xs)) -> Nil() domatch(Pchar(K()),Cons(J(),xs)) -> Nil() domatch(Pchar(K()),Cons(K(),xs)) -> Cons(K(),xs) domatch(Pchar(K()),Cons(L(),xs)) -> Nil() domatch(Pchar(K()),Cons(M(),xs)) -> Nil() domatch(Pchar(K()),Cons(N(),xs)) -> Nil() domatch(Pchar(K()),Cons(O(),xs)) -> Nil() domatch(Pchar(K()),Cons(P(),xs)) -> Nil() domatch(Pchar(K()),Cons(Q(),xs)) -> Nil() domatch(Pchar(K()),Cons(R(),xs)) -> Nil() domatch(Pchar(K()),Cons(S(),xs)) -> Nil() domatch(Pchar(K()),Cons(T(),xs)) -> Nil() domatch(Pchar(K()),Cons(U(),xs)) -> Nil() domatch(Pchar(K()),Cons(V(),xs)) -> Nil() domatch(Pchar(K()),Cons(W(),xs)) -> Nil() domatch(Pchar(K()),Cons(X(),xs)) -> Nil() domatch(Pchar(K()),Cons(Y(),xs)) -> Nil() domatch(Pchar(K()),Cons(Z(),xs)) -> Nil() domatch(Pchar(L()),Cons(A(),xs)) -> Nil() domatch(Pchar(L()),Cons(B(),xs)) -> Nil() domatch(Pchar(L()),Cons(C(),xs)) -> Nil() domatch(Pchar(L()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(L()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(L()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(L()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(L()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(L()),Cons(D(),xs)) -> Nil() domatch(Pchar(L()),Cons(E(),xs)) -> Nil() domatch(Pchar(L()),Cons(F(),xs)) -> Nil() domatch(Pchar(L()),Cons(G(),xs)) -> Nil() domatch(Pchar(L()),Cons(H(),xs)) -> Nil() domatch(Pchar(L()),Cons(I(),xs)) -> Nil() domatch(Pchar(L()),Cons(J(),xs)) -> Nil() domatch(Pchar(L()),Cons(K(),xs)) -> Nil() domatch(Pchar(L()),Cons(L(),xs)) -> Cons(L(),xs) domatch(Pchar(L()),Cons(M(),xs)) -> Nil() domatch(Pchar(L()),Cons(N(),xs)) -> Nil() domatch(Pchar(L()),Cons(O(),xs)) -> Nil() domatch(Pchar(L()),Cons(P(),xs)) -> Nil() domatch(Pchar(L()),Cons(Q(),xs)) -> Nil() domatch(Pchar(L()),Cons(R(),xs)) -> Nil() domatch(Pchar(L()),Cons(S(),xs)) -> Nil() domatch(Pchar(L()),Cons(T(),xs)) -> Nil() domatch(Pchar(L()),Cons(U(),xs)) -> Nil() domatch(Pchar(L()),Cons(V(),xs)) -> Nil() domatch(Pchar(L()),Cons(W(),xs)) -> Nil() domatch(Pchar(L()),Cons(X(),xs)) -> Nil() domatch(Pchar(L()),Cons(Y(),xs)) -> Nil() domatch(Pchar(L()),Cons(Z(),xs)) -> Nil() domatch(Pchar(M()),Cons(A(),xs)) -> Nil() domatch(Pchar(M()),Cons(B(),xs)) -> Nil() domatch(Pchar(M()),Cons(C(),xs)) -> Nil() domatch(Pchar(M()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(M()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(M()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(M()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(M()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(M()),Cons(D(),xs)) -> Nil() domatch(Pchar(M()),Cons(E(),xs)) -> Nil() domatch(Pchar(M()),Cons(F(),xs)) -> Nil() domatch(Pchar(M()),Cons(G(),xs)) -> Nil() domatch(Pchar(M()),Cons(H(),xs)) -> Nil() domatch(Pchar(M()),Cons(I(),xs)) -> Nil() domatch(Pchar(M()),Cons(J(),xs)) -> Nil() domatch(Pchar(M()),Cons(K(),xs)) -> Nil() domatch(Pchar(M()),Cons(L(),xs)) -> Nil() domatch(Pchar(M()),Cons(M(),xs)) -> Cons(M(),xs) domatch(Pchar(M()),Cons(N(),xs)) -> Nil() domatch(Pchar(M()),Cons(O(),xs)) -> Nil() domatch(Pchar(M()),Cons(P(),xs)) -> Nil() domatch(Pchar(M()),Cons(Q(),xs)) -> Nil() domatch(Pchar(M()),Cons(R(),xs)) -> Nil() domatch(Pchar(M()),Cons(S(),xs)) -> Nil() domatch(Pchar(M()),Cons(T(),xs)) -> Nil() domatch(Pchar(M()),Cons(U(),xs)) -> Nil() domatch(Pchar(M()),Cons(V(),xs)) -> Nil() domatch(Pchar(M()),Cons(W(),xs)) -> Nil() domatch(Pchar(M()),Cons(X(),xs)) -> Nil() domatch(Pchar(M()),Cons(Y(),xs)) -> Nil() domatch(Pchar(M()),Cons(Z(),xs)) -> Nil() domatch(Pchar(N()),Cons(A(),xs)) -> Nil() domatch(Pchar(N()),Cons(B(),xs)) -> Nil() domatch(Pchar(N()),Cons(C(),xs)) -> Nil() domatch(Pchar(N()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(N()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(N()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(N()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(N()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(N()),Cons(D(),xs)) -> Nil() domatch(Pchar(N()),Cons(E(),xs)) -> Nil() domatch(Pchar(N()),Cons(F(),xs)) -> Nil() domatch(Pchar(N()),Cons(G(),xs)) -> Nil() domatch(Pchar(N()),Cons(H(),xs)) -> Nil() domatch(Pchar(N()),Cons(I(),xs)) -> Nil() domatch(Pchar(N()),Cons(J(),xs)) -> Nil() domatch(Pchar(N()),Cons(K(),xs)) -> Nil() domatch(Pchar(N()),Cons(L(),xs)) -> Nil() domatch(Pchar(N()),Cons(M(),xs)) -> Nil() domatch(Pchar(N()),Cons(N(),xs)) -> Cons(N(),xs) domatch(Pchar(N()),Cons(O(),xs)) -> Nil() domatch(Pchar(N()),Cons(P(),xs)) -> Nil() domatch(Pchar(N()),Cons(Q(),xs)) -> Nil() domatch(Pchar(N()),Cons(R(),xs)) -> Nil() domatch(Pchar(N()),Cons(S(),xs)) -> Nil() domatch(Pchar(N()),Cons(T(),xs)) -> Nil() domatch(Pchar(N()),Cons(U(),xs)) -> Nil() domatch(Pchar(N()),Cons(V(),xs)) -> Nil() domatch(Pchar(N()),Cons(W(),xs)) -> Nil() domatch(Pchar(N()),Cons(X(),xs)) -> Nil() domatch(Pchar(N()),Cons(Y(),xs)) -> Nil() domatch(Pchar(N()),Cons(Z(),xs)) -> Nil() domatch(Pchar(O()),Cons(A(),xs)) -> Nil() domatch(Pchar(O()),Cons(B(),xs)) -> Nil() domatch(Pchar(O()),Cons(C(),xs)) -> Nil() domatch(Pchar(O()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(O()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(O()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(O()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(O()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(O()),Cons(D(),xs)) -> Nil() domatch(Pchar(O()),Cons(E(),xs)) -> Nil() domatch(Pchar(O()),Cons(F(),xs)) -> Nil() domatch(Pchar(O()),Cons(G(),xs)) -> Nil() domatch(Pchar(O()),Cons(H(),xs)) -> Nil() domatch(Pchar(O()),Cons(I(),xs)) -> Nil() domatch(Pchar(O()),Cons(J(),xs)) -> Nil() domatch(Pchar(O()),Cons(K(),xs)) -> Nil() domatch(Pchar(O()),Cons(L(),xs)) -> Nil() domatch(Pchar(O()),Cons(M(),xs)) -> Nil() domatch(Pchar(O()),Cons(N(),xs)) -> Nil() domatch(Pchar(O()),Cons(O(),xs)) -> Cons(O(),xs) domatch(Pchar(O()),Cons(P(),xs)) -> Nil() domatch(Pchar(O()),Cons(Q(),xs)) -> Nil() domatch(Pchar(O()),Cons(R(),xs)) -> Nil() domatch(Pchar(O()),Cons(S(),xs)) -> Nil() domatch(Pchar(O()),Cons(T(),xs)) -> Nil() domatch(Pchar(O()),Cons(U(),xs)) -> Nil() domatch(Pchar(O()),Cons(V(),xs)) -> Nil() domatch(Pchar(O()),Cons(W(),xs)) -> Nil() domatch(Pchar(O()),Cons(X(),xs)) -> Nil() domatch(Pchar(O()),Cons(Y(),xs)) -> Nil() domatch(Pchar(O()),Cons(Z(),xs)) -> Nil() domatch(Pchar(P()),Cons(A(),xs)) -> Nil() domatch(Pchar(P()),Cons(B(),xs)) -> Nil() domatch(Pchar(P()),Cons(C(),xs)) -> Nil() domatch(Pchar(P()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(P()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(P()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(P()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(P()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(P()),Cons(D(),xs)) -> Nil() domatch(Pchar(P()),Cons(E(),xs)) -> Nil() domatch(Pchar(P()),Cons(F(),xs)) -> Nil() domatch(Pchar(P()),Cons(G(),xs)) -> Nil() domatch(Pchar(P()),Cons(H(),xs)) -> Nil() domatch(Pchar(P()),Cons(I(),xs)) -> Nil() domatch(Pchar(P()),Cons(J(),xs)) -> Nil() domatch(Pchar(P()),Cons(K(),xs)) -> Nil() domatch(Pchar(P()),Cons(L(),xs)) -> Nil() domatch(Pchar(P()),Cons(M(),xs)) -> Nil() domatch(Pchar(P()),Cons(N(),xs)) -> Nil() domatch(Pchar(P()),Cons(O(),xs)) -> Nil() domatch(Pchar(P()),Cons(P(),xs)) -> Cons(P(),xs) domatch(Pchar(P()),Cons(Q(),xs)) -> Nil() domatch(Pchar(P()),Cons(R(),xs)) -> Nil() domatch(Pchar(P()),Cons(S(),xs)) -> Nil() domatch(Pchar(P()),Cons(T(),xs)) -> Nil() domatch(Pchar(P()),Cons(U(),xs)) -> Nil() domatch(Pchar(P()),Cons(V(),xs)) -> Nil() domatch(Pchar(P()),Cons(W(),xs)) -> Nil() domatch(Pchar(P()),Cons(X(),xs)) -> Nil() domatch(Pchar(P()),Cons(Y(),xs)) -> Nil() domatch(Pchar(P()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Q()),Cons(A(),xs)) -> Nil() domatch(Pchar(Q()),Cons(B(),xs)) -> Nil() domatch(Pchar(Q()),Cons(C(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Q()),Cons(D(),xs)) -> Nil() domatch(Pchar(Q()),Cons(E(),xs)) -> Nil() domatch(Pchar(Q()),Cons(F(),xs)) -> Nil() domatch(Pchar(Q()),Cons(G(),xs)) -> Nil() domatch(Pchar(Q()),Cons(H(),xs)) -> Nil() domatch(Pchar(Q()),Cons(I(),xs)) -> Nil() domatch(Pchar(Q()),Cons(J(),xs)) -> Nil() domatch(Pchar(Q()),Cons(K(),xs)) -> Nil() domatch(Pchar(Q()),Cons(L(),xs)) -> Nil() domatch(Pchar(Q()),Cons(M(),xs)) -> Nil() domatch(Pchar(Q()),Cons(N(),xs)) -> Nil() domatch(Pchar(Q()),Cons(O(),xs)) -> Nil() domatch(Pchar(Q()),Cons(P(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Q(),xs)) -> Cons(Q(),xs) domatch(Pchar(Q()),Cons(R(),xs)) -> Nil() domatch(Pchar(Q()),Cons(S(),xs)) -> Nil() domatch(Pchar(Q()),Cons(T(),xs)) -> Nil() domatch(Pchar(Q()),Cons(U(),xs)) -> Nil() domatch(Pchar(Q()),Cons(V(),xs)) -> Nil() domatch(Pchar(Q()),Cons(W(),xs)) -> Nil() domatch(Pchar(Q()),Cons(X(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Q()),Cons(Z(),xs)) -> Nil() domatch(Pchar(R()),Cons(A(),xs)) -> Nil() domatch(Pchar(R()),Cons(B(),xs)) -> Nil() domatch(Pchar(R()),Cons(C(),xs)) -> Nil() domatch(Pchar(R()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(R()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(R()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(R()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(R()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(R()),Cons(D(),xs)) -> Nil() domatch(Pchar(R()),Cons(E(),xs)) -> Nil() domatch(Pchar(R()),Cons(F(),xs)) -> Nil() domatch(Pchar(R()),Cons(G(),xs)) -> Nil() domatch(Pchar(R()),Cons(H(),xs)) -> Nil() domatch(Pchar(R()),Cons(I(),xs)) -> Nil() domatch(Pchar(R()),Cons(J(),xs)) -> Nil() domatch(Pchar(R()),Cons(K(),xs)) -> Nil() domatch(Pchar(R()),Cons(L(),xs)) -> Nil() domatch(Pchar(R()),Cons(M(),xs)) -> Nil() domatch(Pchar(R()),Cons(N(),xs)) -> Nil() domatch(Pchar(R()),Cons(O(),xs)) -> Nil() domatch(Pchar(R()),Cons(P(),xs)) -> Nil() domatch(Pchar(R()),Cons(Q(),xs)) -> Nil() domatch(Pchar(R()),Cons(R(),xs)) -> Cons(R(),xs) domatch(Pchar(R()),Cons(S(),xs)) -> Nil() domatch(Pchar(R()),Cons(T(),xs)) -> Nil() domatch(Pchar(R()),Cons(U(),xs)) -> Nil() domatch(Pchar(R()),Cons(V(),xs)) -> Nil() domatch(Pchar(R()),Cons(W(),xs)) -> Nil() domatch(Pchar(R()),Cons(X(),xs)) -> Nil() domatch(Pchar(R()),Cons(Y(),xs)) -> Nil() domatch(Pchar(R()),Cons(Z(),xs)) -> Nil() domatch(Pchar(S()),Cons(A(),xs)) -> Nil() domatch(Pchar(S()),Cons(B(),xs)) -> Nil() domatch(Pchar(S()),Cons(C(),xs)) -> Nil() domatch(Pchar(S()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(S()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(S()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(S()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(S()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(S()),Cons(D(),xs)) -> Nil() domatch(Pchar(S()),Cons(E(),xs)) -> Nil() domatch(Pchar(S()),Cons(F(),xs)) -> Nil() domatch(Pchar(S()),Cons(G(),xs)) -> Nil() domatch(Pchar(S()),Cons(H(),xs)) -> Nil() domatch(Pchar(S()),Cons(I(),xs)) -> Nil() domatch(Pchar(S()),Cons(J(),xs)) -> Nil() domatch(Pchar(S()),Cons(K(),xs)) -> Nil() domatch(Pchar(S()),Cons(L(),xs)) -> Nil() domatch(Pchar(S()),Cons(M(),xs)) -> Nil() domatch(Pchar(S()),Cons(N(),xs)) -> Nil() domatch(Pchar(S()),Cons(O(),xs)) -> Nil() domatch(Pchar(S()),Cons(P(),xs)) -> Nil() domatch(Pchar(S()),Cons(Q(),xs)) -> Nil() domatch(Pchar(S()),Cons(R(),xs)) -> Nil() domatch(Pchar(S()),Cons(S(),xs)) -> Cons(S(),xs) domatch(Pchar(S()),Cons(T(),xs)) -> Nil() domatch(Pchar(S()),Cons(U(),xs)) -> Nil() domatch(Pchar(S()),Cons(V(),xs)) -> Nil() domatch(Pchar(S()),Cons(W(),xs)) -> Nil() domatch(Pchar(S()),Cons(X(),xs)) -> Nil() domatch(Pchar(S()),Cons(Y(),xs)) -> Nil() domatch(Pchar(S()),Cons(Z(),xs)) -> Nil() domatch(Pchar(T()),Cons(A(),xs)) -> Nil() domatch(Pchar(T()),Cons(B(),xs)) -> Nil() domatch(Pchar(T()),Cons(C(),xs)) -> Nil() domatch(Pchar(T()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(T()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(T()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(T()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(T()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(T()),Cons(D(),xs)) -> Nil() domatch(Pchar(T()),Cons(E(),xs)) -> Nil() domatch(Pchar(T()),Cons(F(),xs)) -> Nil() domatch(Pchar(T()),Cons(G(),xs)) -> Nil() domatch(Pchar(T()),Cons(H(),xs)) -> Nil() domatch(Pchar(T()),Cons(I(),xs)) -> Nil() domatch(Pchar(T()),Cons(J(),xs)) -> Nil() domatch(Pchar(T()),Cons(K(),xs)) -> Nil() domatch(Pchar(T()),Cons(L(),xs)) -> Nil() domatch(Pchar(T()),Cons(M(),xs)) -> Nil() domatch(Pchar(T()),Cons(N(),xs)) -> Nil() domatch(Pchar(T()),Cons(O(),xs)) -> Nil() domatch(Pchar(T()),Cons(P(),xs)) -> Nil() domatch(Pchar(T()),Cons(Q(),xs)) -> Nil() domatch(Pchar(T()),Cons(R(),xs)) -> Nil() domatch(Pchar(T()),Cons(S(),xs)) -> Nil() domatch(Pchar(T()),Cons(T(),xs)) -> Cons(T(),xs) domatch(Pchar(T()),Cons(U(),xs)) -> Nil() domatch(Pchar(T()),Cons(V(),xs)) -> Nil() domatch(Pchar(T()),Cons(W(),xs)) -> Nil() domatch(Pchar(T()),Cons(X(),xs)) -> Nil() domatch(Pchar(T()),Cons(Y(),xs)) -> Nil() domatch(Pchar(T()),Cons(Z(),xs)) -> Nil() domatch(Pchar(U()),Cons(A(),xs)) -> Nil() domatch(Pchar(U()),Cons(B(),xs)) -> Nil() domatch(Pchar(U()),Cons(C(),xs)) -> Nil() domatch(Pchar(U()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(U()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(U()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(U()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(U()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(U()),Cons(D(),xs)) -> Nil() domatch(Pchar(U()),Cons(E(),xs)) -> Nil() domatch(Pchar(U()),Cons(F(),xs)) -> Nil() domatch(Pchar(U()),Cons(G(),xs)) -> Nil() domatch(Pchar(U()),Cons(H(),xs)) -> Nil() domatch(Pchar(U()),Cons(I(),xs)) -> Nil() domatch(Pchar(U()),Cons(J(),xs)) -> Nil() domatch(Pchar(U()),Cons(K(),xs)) -> Nil() domatch(Pchar(U()),Cons(L(),xs)) -> Nil() domatch(Pchar(U()),Cons(M(),xs)) -> Nil() domatch(Pchar(U()),Cons(N(),xs)) -> Nil() domatch(Pchar(U()),Cons(O(),xs)) -> Nil() domatch(Pchar(U()),Cons(P(),xs)) -> Nil() domatch(Pchar(U()),Cons(Q(),xs)) -> Nil() domatch(Pchar(U()),Cons(R(),xs)) -> Nil() domatch(Pchar(U()),Cons(S(),xs)) -> Nil() domatch(Pchar(U()),Cons(T(),xs)) -> Nil() domatch(Pchar(U()),Cons(U(),xs)) -> Cons(U(),xs) domatch(Pchar(U()),Cons(V(),xs)) -> Nil() domatch(Pchar(U()),Cons(W(),xs)) -> Nil() domatch(Pchar(U()),Cons(X(),xs)) -> Nil() domatch(Pchar(U()),Cons(Y(),xs)) -> Nil() domatch(Pchar(U()),Cons(Z(),xs)) -> Nil() domatch(Pchar(V()),Cons(A(),xs)) -> Nil() domatch(Pchar(V()),Cons(B(),xs)) -> Nil() domatch(Pchar(V()),Cons(C(),xs)) -> Nil() domatch(Pchar(V()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(V()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(V()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(V()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(V()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(V()),Cons(D(),xs)) -> Nil() domatch(Pchar(V()),Cons(E(),xs)) -> Nil() domatch(Pchar(V()),Cons(F(),xs)) -> Nil() domatch(Pchar(V()),Cons(G(),xs)) -> Nil() domatch(Pchar(V()),Cons(H(),xs)) -> Nil() domatch(Pchar(V()),Cons(I(),xs)) -> Nil() domatch(Pchar(V()),Cons(J(),xs)) -> Nil() domatch(Pchar(V()),Cons(K(),xs)) -> Nil() domatch(Pchar(V()),Cons(L(),xs)) -> Nil() domatch(Pchar(V()),Cons(M(),xs)) -> Nil() domatch(Pchar(V()),Cons(N(),xs)) -> Nil() domatch(Pchar(V()),Cons(O(),xs)) -> Nil() domatch(Pchar(V()),Cons(P(),xs)) -> Nil() domatch(Pchar(V()),Cons(Q(),xs)) -> Nil() domatch(Pchar(V()),Cons(R(),xs)) -> Nil() domatch(Pchar(V()),Cons(S(),xs)) -> Nil() domatch(Pchar(V()),Cons(T(),xs)) -> Nil() domatch(Pchar(V()),Cons(U(),xs)) -> Nil() domatch(Pchar(V()),Cons(V(),xs)) -> Cons(V(),xs) domatch(Pchar(V()),Cons(W(),xs)) -> Nil() domatch(Pchar(V()),Cons(X(),xs)) -> Nil() domatch(Pchar(V()),Cons(Y(),xs)) -> Nil() domatch(Pchar(V()),Cons(Z(),xs)) -> Nil() domatch(Pchar(W()),Cons(A(),xs)) -> Nil() domatch(Pchar(W()),Cons(B(),xs)) -> Nil() domatch(Pchar(W()),Cons(C(),xs)) -> Nil() domatch(Pchar(W()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(W()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(W()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(W()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(W()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(W()),Cons(D(),xs)) -> Nil() domatch(Pchar(W()),Cons(E(),xs)) -> Nil() domatch(Pchar(W()),Cons(F(),xs)) -> Nil() domatch(Pchar(W()),Cons(G(),xs)) -> Nil() domatch(Pchar(W()),Cons(H(),xs)) -> Nil() domatch(Pchar(W()),Cons(I(),xs)) -> Nil() domatch(Pchar(W()),Cons(J(),xs)) -> Nil() domatch(Pchar(W()),Cons(K(),xs)) -> Nil() domatch(Pchar(W()),Cons(L(),xs)) -> Nil() domatch(Pchar(W()),Cons(M(),xs)) -> Nil() domatch(Pchar(W()),Cons(N(),xs)) -> Nil() domatch(Pchar(W()),Cons(O(),xs)) -> Nil() domatch(Pchar(W()),Cons(P(),xs)) -> Nil() domatch(Pchar(W()),Cons(Q(),xs)) -> Nil() domatch(Pchar(W()),Cons(R(),xs)) -> Nil() domatch(Pchar(W()),Cons(S(),xs)) -> Nil() domatch(Pchar(W()),Cons(T(),xs)) -> Nil() domatch(Pchar(W()),Cons(U(),xs)) -> Nil() domatch(Pchar(W()),Cons(V(),xs)) -> Nil() domatch(Pchar(W()),Cons(W(),xs)) -> Cons(W(),xs) domatch(Pchar(W()),Cons(X(),xs)) -> Nil() domatch(Pchar(W()),Cons(Y(),xs)) -> Nil() domatch(Pchar(W()),Cons(Z(),xs)) -> Nil() domatch(Pchar(X()),Cons(A(),xs)) -> Nil() domatch(Pchar(X()),Cons(B(),xs)) -> Nil() domatch(Pchar(X()),Cons(C(),xs)) -> Nil() domatch(Pchar(X()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(X()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(X()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(X()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(X()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(X()),Cons(D(),xs)) -> Nil() domatch(Pchar(X()),Cons(E(),xs)) -> Nil() domatch(Pchar(X()),Cons(F(),xs)) -> Nil() domatch(Pchar(X()),Cons(G(),xs)) -> Nil() domatch(Pchar(X()),Cons(H(),xs)) -> Nil() domatch(Pchar(X()),Cons(I(),xs)) -> Nil() domatch(Pchar(X()),Cons(J(),xs)) -> Nil() domatch(Pchar(X()),Cons(K(),xs)) -> Nil() domatch(Pchar(X()),Cons(L(),xs)) -> Nil() domatch(Pchar(X()),Cons(M(),xs)) -> Nil() domatch(Pchar(X()),Cons(N(),xs)) -> Nil() domatch(Pchar(X()),Cons(O(),xs)) -> Nil() domatch(Pchar(X()),Cons(P(),xs)) -> Nil() domatch(Pchar(X()),Cons(Q(),xs)) -> Nil() domatch(Pchar(X()),Cons(R(),xs)) -> Nil() domatch(Pchar(X()),Cons(S(),xs)) -> Nil() domatch(Pchar(X()),Cons(T(),xs)) -> Nil() domatch(Pchar(X()),Cons(U(),xs)) -> Nil() domatch(Pchar(X()),Cons(V(),xs)) -> Nil() domatch(Pchar(X()),Cons(W(),xs)) -> Nil() domatch(Pchar(X()),Cons(X(),xs)) -> Cons(X(),xs) domatch(Pchar(X()),Cons(Y(),xs)) -> Nil() domatch(Pchar(X()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Y()),Cons(A(),xs)) -> Nil() domatch(Pchar(Y()),Cons(B(),xs)) -> Nil() domatch(Pchar(Y()),Cons(C(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Y()),Cons(D(),xs)) -> Nil() domatch(Pchar(Y()),Cons(E(),xs)) -> Nil() domatch(Pchar(Y()),Cons(F(),xs)) -> Nil() domatch(Pchar(Y()),Cons(G(),xs)) -> Nil() domatch(Pchar(Y()),Cons(H(),xs)) -> Nil() domatch(Pchar(Y()),Cons(I(),xs)) -> Nil() domatch(Pchar(Y()),Cons(J(),xs)) -> Nil() domatch(Pchar(Y()),Cons(K(),xs)) -> Nil() domatch(Pchar(Y()),Cons(L(),xs)) -> Nil() domatch(Pchar(Y()),Cons(M(),xs)) -> Nil() domatch(Pchar(Y()),Cons(N(),xs)) -> Nil() domatch(Pchar(Y()),Cons(O(),xs)) -> Nil() domatch(Pchar(Y()),Cons(P(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Y()),Cons(R(),xs)) -> Nil() domatch(Pchar(Y()),Cons(S(),xs)) -> Nil() domatch(Pchar(Y()),Cons(T(),xs)) -> Nil() domatch(Pchar(Y()),Cons(U(),xs)) -> Nil() domatch(Pchar(Y()),Cons(V(),xs)) -> Nil() domatch(Pchar(Y()),Cons(W(),xs)) -> Nil() domatch(Pchar(Y()),Cons(X(),xs)) -> Nil() domatch(Pchar(Y()),Cons(Y(),xs)) -> Cons(Y(),xs) domatch(Pchar(Y()),Cons(Z(),xs)) -> Nil() domatch(Pchar(Z()),Cons(A(),xs)) -> Nil() domatch(Pchar(Z()),Cons(B(),xs)) -> Nil() domatch(Pchar(Z()),Cons(C(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Cdot(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Clpar(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Crpar(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Cslash(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Cstar(),xs)) -> Nil() domatch(Pchar(Z()),Cons(D(),xs)) -> Nil() domatch(Pchar(Z()),Cons(E(),xs)) -> Nil() domatch(Pchar(Z()),Cons(F(),xs)) -> Nil() domatch(Pchar(Z()),Cons(G(),xs)) -> Nil() domatch(Pchar(Z()),Cons(H(),xs)) -> Nil() domatch(Pchar(Z()),Cons(I(),xs)) -> Nil() domatch(Pchar(Z()),Cons(J(),xs)) -> Nil() domatch(Pchar(Z()),Cons(K(),xs)) -> Nil() domatch(Pchar(Z()),Cons(L(),xs)) -> Nil() domatch(Pchar(Z()),Cons(M(),xs)) -> Nil() domatch(Pchar(Z()),Cons(N(),xs)) -> Nil() domatch(Pchar(Z()),Cons(O(),xs)) -> Nil() domatch(Pchar(Z()),Cons(P(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Q(),xs)) -> Nil() domatch(Pchar(Z()),Cons(R(),xs)) -> Nil() domatch(Pchar(Z()),Cons(S(),xs)) -> Nil() domatch(Pchar(Z()),Cons(T(),xs)) -> Nil() domatch(Pchar(Z()),Cons(U(),xs)) -> Nil() domatch(Pchar(Z()),Cons(V(),xs)) -> Nil() domatch(Pchar(Z()),Cons(W(),xs)) -> Nil() domatch(Pchar(Z()),Cons(X(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Y(),xs)) -> Nil() domatch(Pchar(Z()),Cons(Z(),xs)) -> Cons(Z(),xs) domatch(Pdot(),Cons(x,xs)) -> Cons(x,xs) domatch(Pdot(),Nil()) -> Nil() domatch(Pseq(pats),cs) -> domatchseq(cs,Nil(),pats) domatch(Pstar(pat2),cs) -> domatchstar(cs,pat2,Nil()) domatchchar(Cons(A(),xs),A()) -> Cons(A(),xs) domatchchar(Cons(A(),xs),B()) -> Nil() domatchchar(Cons(A(),xs),C()) -> Nil() domatchchar(Cons(A(),xs),Cdot()) -> Nil() domatchchar(Cons(A(),xs),Clpar()) -> Nil() domatchchar(Cons(A(),xs),Crpar()) -> Nil() domatchchar(Cons(A(),xs),Cslash()) -> Nil() domatchchar(Cons(A(),xs),Cstar()) -> Nil() domatchchar(Cons(A(),xs),D()) -> Nil() domatchchar(Cons(A(),xs),E()) -> Nil() domatchchar(Cons(A(),xs),F()) -> Nil() domatchchar(Cons(A(),xs),G()) -> Nil() domatchchar(Cons(A(),xs),H()) -> Nil() domatchchar(Cons(A(),xs),I()) -> Nil() domatchchar(Cons(A(),xs),J()) -> Nil() domatchchar(Cons(A(),xs),K()) -> Nil() domatchchar(Cons(A(),xs),L()) -> Nil() domatchchar(Cons(A(),xs),M()) -> Nil() domatchchar(Cons(A(),xs),N()) -> Nil() domatchchar(Cons(A(),xs),O()) -> Nil() domatchchar(Cons(A(),xs),P()) -> Nil() domatchchar(Cons(A(),xs),Q()) -> Nil() domatchchar(Cons(A(),xs),R()) -> Nil() domatchchar(Cons(A(),xs),S()) -> Nil() domatchchar(Cons(A(),xs),T()) -> Nil() domatchchar(Cons(A(),xs),U()) -> Nil() domatchchar(Cons(A(),xs),V()) -> Nil() domatchchar(Cons(A(),xs),W()) -> Nil() domatchchar(Cons(A(),xs),X()) -> Nil() domatchchar(Cons(A(),xs),Y()) -> Nil() domatchchar(Cons(A(),xs),Z()) -> Nil() domatchchar(Cons(B(),xs),A()) -> Nil() domatchchar(Cons(B(),xs),B()) -> Cons(B(),xs) domatchchar(Cons(B(),xs),C()) -> Nil() domatchchar(Cons(B(),xs),Cdot()) -> Nil() domatchchar(Cons(B(),xs),Clpar()) -> Nil() domatchchar(Cons(B(),xs),Crpar()) -> Nil() domatchchar(Cons(B(),xs),Cslash()) -> Nil() domatchchar(Cons(B(),xs),Cstar()) -> Nil() domatchchar(Cons(B(),xs),D()) -> Nil() domatchchar(Cons(B(),xs),E()) -> Nil() domatchchar(Cons(B(),xs),F()) -> Nil() domatchchar(Cons(B(),xs),G()) -> Nil() domatchchar(Cons(B(),xs),H()) -> Nil() domatchchar(Cons(B(),xs),I()) -> Nil() domatchchar(Cons(B(),xs),J()) -> Nil() domatchchar(Cons(B(),xs),K()) -> Nil() domatchchar(Cons(B(),xs),L()) -> Nil() domatchchar(Cons(B(),xs),M()) -> Nil() domatchchar(Cons(B(),xs),N()) -> Nil() domatchchar(Cons(B(),xs),O()) -> Nil() domatchchar(Cons(B(),xs),P()) -> Nil() domatchchar(Cons(B(),xs),Q()) -> Nil() domatchchar(Cons(B(),xs),R()) -> Nil() domatchchar(Cons(B(),xs),S()) -> Nil() domatchchar(Cons(B(),xs),T()) -> Nil() domatchchar(Cons(B(),xs),U()) -> Nil() domatchchar(Cons(B(),xs),V()) -> Nil() domatchchar(Cons(B(),xs),W()) -> Nil() domatchchar(Cons(B(),xs),X()) -> Nil() domatchchar(Cons(B(),xs),Y()) -> Nil() domatchchar(Cons(B(),xs),Z()) -> Nil() domatchchar(Cons(C(),xs),A()) -> Nil() domatchchar(Cons(C(),xs),B()) -> Nil() domatchchar(Cons(C(),xs),C()) -> Cons(C(),xs) domatchchar(Cons(C(),xs),Cdot()) -> Nil() domatchchar(Cons(C(),xs),Clpar()) -> Nil() domatchchar(Cons(C(),xs),Crpar()) -> Nil() domatchchar(Cons(C(),xs),Cslash()) -> Nil() domatchchar(Cons(C(),xs),Cstar()) -> Nil() domatchchar(Cons(C(),xs),D()) -> Nil() domatchchar(Cons(C(),xs),E()) -> Nil() domatchchar(Cons(C(),xs),F()) -> Nil() domatchchar(Cons(C(),xs),G()) -> Nil() domatchchar(Cons(C(),xs),H()) -> Nil() domatchchar(Cons(C(),xs),I()) -> Nil() domatchchar(Cons(C(),xs),J()) -> Nil() domatchchar(Cons(C(),xs),K()) -> Nil() domatchchar(Cons(C(),xs),L()) -> Nil() domatchchar(Cons(C(),xs),M()) -> Nil() domatchchar(Cons(C(),xs),N()) -> Nil() domatchchar(Cons(C(),xs),O()) -> Nil() domatchchar(Cons(C(),xs),P()) -> Nil() domatchchar(Cons(C(),xs),Q()) -> Nil() domatchchar(Cons(C(),xs),R()) -> Nil() domatchchar(Cons(C(),xs),S()) -> Nil() domatchchar(Cons(C(),xs),T()) -> Nil() domatchchar(Cons(C(),xs),U()) -> Nil() domatchchar(Cons(C(),xs),V()) -> Nil() domatchchar(Cons(C(),xs),W()) -> Nil() domatchchar(Cons(C(),xs),X()) -> Nil() domatchchar(Cons(C(),xs),Y()) -> Nil() domatchchar(Cons(C(),xs),Z()) -> Nil() domatchchar(Cons(Cdot(),xs),A()) -> Nil() domatchchar(Cons(Cdot(),xs),B()) -> Nil() domatchchar(Cons(Cdot(),xs),C()) -> Nil() domatchchar(Cons(Cdot(),xs),Cdot()) -> Cons(Cdot(),xs) domatchchar(Cons(Cdot(),xs),Clpar()) -> Nil() domatchchar(Cons(Cdot(),xs),Crpar()) -> Nil() domatchchar(Cons(Cdot(),xs),Cslash()) -> Nil() domatchchar(Cons(Cdot(),xs),Cstar()) -> Nil() domatchchar(Cons(Cdot(),xs),D()) -> Nil() domatchchar(Cons(Cdot(),xs),E()) -> Nil() domatchchar(Cons(Cdot(),xs),F()) -> Nil() domatchchar(Cons(Cdot(),xs),G()) -> Nil() domatchchar(Cons(Cdot(),xs),H()) -> Nil() domatchchar(Cons(Cdot(),xs),I()) -> Nil() domatchchar(Cons(Cdot(),xs),J()) -> Nil() domatchchar(Cons(Cdot(),xs),K()) -> Nil() domatchchar(Cons(Cdot(),xs),L()) -> Nil() domatchchar(Cons(Cdot(),xs),M()) -> Nil() domatchchar(Cons(Cdot(),xs),N()) -> Nil() domatchchar(Cons(Cdot(),xs),O()) -> Nil() domatchchar(Cons(Cdot(),xs),P()) -> Nil() domatchchar(Cons(Cdot(),xs),Q()) -> Nil() domatchchar(Cons(Cdot(),xs),R()) -> Nil() domatchchar(Cons(Cdot(),xs),S()) -> Nil() domatchchar(Cons(Cdot(),xs),T()) -> Nil() domatchchar(Cons(Cdot(),xs),U()) -> Nil() domatchchar(Cons(Cdot(),xs),V()) -> Nil() domatchchar(Cons(Cdot(),xs),W()) -> Nil() domatchchar(Cons(Cdot(),xs),X()) -> Nil() domatchchar(Cons(Cdot(),xs),Y()) -> Nil() domatchchar(Cons(Cdot(),xs),Z()) -> Nil() domatchchar(Cons(Clpar(),xs),A()) -> Nil() domatchchar(Cons(Clpar(),xs),B()) -> Nil() domatchchar(Cons(Clpar(),xs),C()) -> Nil() domatchchar(Cons(Clpar(),xs),Cdot()) -> Nil() domatchchar(Cons(Clpar(),xs),Clpar()) -> Cons(Clpar(),xs) domatchchar(Cons(Clpar(),xs),Crpar()) -> Nil() domatchchar(Cons(Clpar(),xs),Cslash()) -> Nil() domatchchar(Cons(Clpar(),xs),Cstar()) -> Nil() domatchchar(Cons(Clpar(),xs),D()) -> Nil() domatchchar(Cons(Clpar(),xs),E()) -> Nil() domatchchar(Cons(Clpar(),xs),F()) -> Nil() domatchchar(Cons(Clpar(),xs),G()) -> Nil() domatchchar(Cons(Clpar(),xs),H()) -> Nil() domatchchar(Cons(Clpar(),xs),I()) -> Nil() domatchchar(Cons(Clpar(),xs),J()) -> Nil() domatchchar(Cons(Clpar(),xs),K()) -> Nil() domatchchar(Cons(Clpar(),xs),L()) -> Nil() domatchchar(Cons(Clpar(),xs),M()) -> Nil() domatchchar(Cons(Clpar(),xs),N()) -> Nil() domatchchar(Cons(Clpar(),xs),O()) -> Nil() domatchchar(Cons(Clpar(),xs),P()) -> Nil() domatchchar(Cons(Clpar(),xs),Q()) -> Nil() domatchchar(Cons(Clpar(),xs),R()) -> Nil() domatchchar(Cons(Clpar(),xs),S()) -> Nil() domatchchar(Cons(Clpar(),xs),T()) -> Nil() domatchchar(Cons(Clpar(),xs),U()) -> Nil() domatchchar(Cons(Clpar(),xs),V()) -> Nil() domatchchar(Cons(Clpar(),xs),W()) -> Nil() domatchchar(Cons(Clpar(),xs),X()) -> Nil() domatchchar(Cons(Clpar(),xs),Y()) -> Nil() domatchchar(Cons(Clpar(),xs),Z()) -> Nil() domatchchar(Cons(Crpar(),xs),A()) -> Nil() domatchchar(Cons(Crpar(),xs),B()) -> Nil() domatchchar(Cons(Crpar(),xs),C()) -> Nil() domatchchar(Cons(Crpar(),xs),Cdot()) -> Nil() domatchchar(Cons(Crpar(),xs),Clpar()) -> Nil() domatchchar(Cons(Crpar(),xs),Crpar()) -> Cons(Crpar(),xs) domatchchar(Cons(Crpar(),xs),Cslash()) -> Nil() domatchchar(Cons(Crpar(),xs),Cstar()) -> Nil() domatchchar(Cons(Crpar(),xs),D()) -> Nil() domatchchar(Cons(Crpar(),xs),E()) -> Nil() domatchchar(Cons(Crpar(),xs),F()) -> Nil() domatchchar(Cons(Crpar(),xs),G()) -> Nil() domatchchar(Cons(Crpar(),xs),H()) -> Nil() domatchchar(Cons(Crpar(),xs),I()) -> Nil() domatchchar(Cons(Crpar(),xs),J()) -> Nil() domatchchar(Cons(Crpar(),xs),K()) -> Nil() domatchchar(Cons(Crpar(),xs),L()) -> Nil() domatchchar(Cons(Crpar(),xs),M()) -> Nil() domatchchar(Cons(Crpar(),xs),N()) -> Nil() domatchchar(Cons(Crpar(),xs),O()) -> Nil() domatchchar(Cons(Crpar(),xs),P()) -> Nil() domatchchar(Cons(Crpar(),xs),Q()) -> Nil() domatchchar(Cons(Crpar(),xs),R()) -> Nil() domatchchar(Cons(Crpar(),xs),S()) -> Nil() domatchchar(Cons(Crpar(),xs),T()) -> Nil() domatchchar(Cons(Crpar(),xs),U()) -> Nil() domatchchar(Cons(Crpar(),xs),V()) -> Nil() domatchchar(Cons(Crpar(),xs),W()) -> Nil() domatchchar(Cons(Crpar(),xs),X()) -> Nil() domatchchar(Cons(Crpar(),xs),Y()) -> Nil() domatchchar(Cons(Crpar(),xs),Z()) -> Nil() domatchchar(Cons(Cslash(),xs),A()) -> Nil() domatchchar(Cons(Cslash(),xs),B()) -> Nil() domatchchar(Cons(Cslash(),xs),C()) -> Nil() domatchchar(Cons(Cslash(),xs),Cdot()) -> Nil() domatchchar(Cons(Cslash(),xs),Clpar()) -> Nil() domatchchar(Cons(Cslash(),xs),Crpar()) -> Nil() domatchchar(Cons(Cslash(),xs),Cslash()) -> Cons(Cslash(),xs) domatchchar(Cons(Cslash(),xs),Cstar()) -> Nil() domatchchar(Cons(Cslash(),xs),D()) -> Nil() domatchchar(Cons(Cslash(),xs),E()) -> Nil() domatchchar(Cons(Cslash(),xs),F()) -> Nil() domatchchar(Cons(Cslash(),xs),G()) -> Nil() domatchchar(Cons(Cslash(),xs),H()) -> Nil() domatchchar(Cons(Cslash(),xs),I()) -> Nil() domatchchar(Cons(Cslash(),xs),J()) -> Nil() domatchchar(Cons(Cslash(),xs),K()) -> Nil() domatchchar(Cons(Cslash(),xs),L()) -> Nil() domatchchar(Cons(Cslash(),xs),M()) -> Nil() domatchchar(Cons(Cslash(),xs),N()) -> Nil() domatchchar(Cons(Cslash(),xs),O()) -> Nil() domatchchar(Cons(Cslash(),xs),P()) -> Nil() domatchchar(Cons(Cslash(),xs),Q()) -> Nil() domatchchar(Cons(Cslash(),xs),R()) -> Nil() domatchchar(Cons(Cslash(),xs),S()) -> Nil() domatchchar(Cons(Cslash(),xs),T()) -> Nil() domatchchar(Cons(Cslash(),xs),U()) -> Nil() domatchchar(Cons(Cslash(),xs),V()) -> Nil() domatchchar(Cons(Cslash(),xs),W()) -> Nil() domatchchar(Cons(Cslash(),xs),X()) -> Nil() domatchchar(Cons(Cslash(),xs),Y()) -> Nil() domatchchar(Cons(Cslash(),xs),Z()) -> Nil() domatchchar(Cons(Cstar(),xs),A()) -> Nil() domatchchar(Cons(Cstar(),xs),B()) -> Nil() domatchchar(Cons(Cstar(),xs),C()) -> Nil() domatchchar(Cons(Cstar(),xs),Cdot()) -> Nil() domatchchar(Cons(Cstar(),xs),Clpar()) -> Nil() domatchchar(Cons(Cstar(),xs),Crpar()) -> Nil() domatchchar(Cons(Cstar(),xs),Cslash()) -> Nil() domatchchar(Cons(Cstar(),xs),Cstar()) -> Cons(Cstar(),xs) domatchchar(Cons(Cstar(),xs),D()) -> Nil() domatchchar(Cons(Cstar(),xs),E()) -> Nil() domatchchar(Cons(Cstar(),xs),F()) -> Nil() domatchchar(Cons(Cstar(),xs),G()) -> Nil() domatchchar(Cons(Cstar(),xs),H()) -> Nil() domatchchar(Cons(Cstar(),xs),I()) -> Nil() domatchchar(Cons(Cstar(),xs),J()) -> Nil() domatchchar(Cons(Cstar(),xs),K()) -> Nil() domatchchar(Cons(Cstar(),xs),L()) -> Nil() domatchchar(Cons(Cstar(),xs),M()) -> Nil() domatchchar(Cons(Cstar(),xs),N()) -> Nil() domatchchar(Cons(Cstar(),xs),O()) -> Nil() domatchchar(Cons(Cstar(),xs),P()) -> Nil() domatchchar(Cons(Cstar(),xs),Q()) -> Nil() domatchchar(Cons(Cstar(),xs),R()) -> Nil() domatchchar(Cons(Cstar(),xs),S()) -> Nil() domatchchar(Cons(Cstar(),xs),T()) -> Nil() domatchchar(Cons(Cstar(),xs),U()) -> Nil() domatchchar(Cons(Cstar(),xs),V()) -> Nil() domatchchar(Cons(Cstar(),xs),W()) -> Nil() domatchchar(Cons(Cstar(),xs),X()) -> Nil() domatchchar(Cons(Cstar(),xs),Y()) -> Nil() domatchchar(Cons(Cstar(),xs),Z()) -> Nil() domatchchar(Cons(D(),xs),A()) -> Nil() domatchchar(Cons(D(),xs),B()) -> Nil() domatchchar(Cons(D(),xs),C()) -> Nil() domatchchar(Cons(D(),xs),Cdot()) -> Nil() domatchchar(Cons(D(),xs),Clpar()) -> Nil() domatchchar(Cons(D(),xs),Crpar()) -> Nil() domatchchar(Cons(D(),xs),Cslash()) -> Nil() domatchchar(Cons(D(),xs),Cstar()) -> Nil() domatchchar(Cons(D(),xs),D()) -> Cons(D(),xs) domatchchar(Cons(D(),xs),E()) -> Nil() domatchchar(Cons(D(),xs),F()) -> Nil() domatchchar(Cons(D(),xs),G()) -> Nil() domatchchar(Cons(D(),xs),H()) -> Nil() domatchchar(Cons(D(),xs),I()) -> Nil() domatchchar(Cons(D(),xs),J()) -> Nil() domatchchar(Cons(D(),xs),K()) -> Nil() domatchchar(Cons(D(),xs),L()) -> Nil() domatchchar(Cons(D(),xs),M()) -> Nil() domatchchar(Cons(D(),xs),N()) -> Nil() domatchchar(Cons(D(),xs),O()) -> Nil() domatchchar(Cons(D(),xs),P()) -> Nil() domatchchar(Cons(D(),xs),Q()) -> Nil() domatchchar(Cons(D(),xs),R()) -> Nil() domatchchar(Cons(D(),xs),S()) -> Nil() domatchchar(Cons(D(),xs),T()) -> Nil() domatchchar(Cons(D(),xs),U()) -> Nil() domatchchar(Cons(D(),xs),V()) -> Nil() domatchchar(Cons(D(),xs),W()) -> Nil() domatchchar(Cons(D(),xs),X()) -> Nil() domatchchar(Cons(D(),xs),Y()) -> Nil() domatchchar(Cons(D(),xs),Z()) -> Nil() domatchchar(Cons(E(),xs),A()) -> Nil() domatchchar(Cons(E(),xs),B()) -> Nil() domatchchar(Cons(E(),xs),C()) -> Nil() domatchchar(Cons(E(),xs),Cdot()) -> Nil() domatchchar(Cons(E(),xs),Clpar()) -> Nil() domatchchar(Cons(E(),xs),Crpar()) -> Nil() domatchchar(Cons(E(),xs),Cslash()) -> Nil() domatchchar(Cons(E(),xs),Cstar()) -> Nil() domatchchar(Cons(E(),xs),D()) -> Nil() domatchchar(Cons(E(),xs),E()) -> Cons(E(),xs) domatchchar(Cons(E(),xs),F()) -> Nil() domatchchar(Cons(E(),xs),G()) -> Nil() domatchchar(Cons(E(),xs),H()) -> Nil() domatchchar(Cons(E(),xs),I()) -> Nil() domatchchar(Cons(E(),xs),J()) -> Nil() domatchchar(Cons(E(),xs),K()) -> Nil() domatchchar(Cons(E(),xs),L()) -> Nil() domatchchar(Cons(E(),xs),M()) -> Nil() domatchchar(Cons(E(),xs),N()) -> Nil() domatchchar(Cons(E(),xs),O()) -> Nil() domatchchar(Cons(E(),xs),P()) -> Nil() domatchchar(Cons(E(),xs),Q()) -> Nil() domatchchar(Cons(E(),xs),R()) -> Nil() domatchchar(Cons(E(),xs),S()) -> Nil() domatchchar(Cons(E(),xs),T()) -> Nil() domatchchar(Cons(E(),xs),U()) -> Nil() domatchchar(Cons(E(),xs),V()) -> Nil() domatchchar(Cons(E(),xs),W()) -> Nil() domatchchar(Cons(E(),xs),X()) -> Nil() domatchchar(Cons(E(),xs),Y()) -> Nil() domatchchar(Cons(E(),xs),Z()) -> Nil() domatchchar(Cons(F(),xs),A()) -> Nil() domatchchar(Cons(F(),xs),B()) -> Nil() domatchchar(Cons(F(),xs),C()) -> Nil() domatchchar(Cons(F(),xs),Cdot()) -> Nil() domatchchar(Cons(F(),xs),Clpar()) -> Nil() domatchchar(Cons(F(),xs),Crpar()) -> Nil() domatchchar(Cons(F(),xs),Cslash()) -> Nil() domatchchar(Cons(F(),xs),Cstar()) -> Nil() domatchchar(Cons(F(),xs),D()) -> Nil() domatchchar(Cons(F(),xs),E()) -> Nil() domatchchar(Cons(F(),xs),F()) -> Cons(F(),xs) domatchchar(Cons(F(),xs),G()) -> Nil() domatchchar(Cons(F(),xs),H()) -> Nil() domatchchar(Cons(F(),xs),I()) -> Nil() domatchchar(Cons(F(),xs),J()) -> Nil() domatchchar(Cons(F(),xs),K()) -> Nil() domatchchar(Cons(F(),xs),L()) -> Nil() domatchchar(Cons(F(),xs),M()) -> Nil() domatchchar(Cons(F(),xs),N()) -> Nil() domatchchar(Cons(F(),xs),O()) -> Nil() domatchchar(Cons(F(),xs),P()) -> Nil() domatchchar(Cons(F(),xs),Q()) -> Nil() domatchchar(Cons(F(),xs),R()) -> Nil() domatchchar(Cons(F(),xs),S()) -> Nil() domatchchar(Cons(F(),xs),T()) -> Nil() domatchchar(Cons(F(),xs),U()) -> Nil() domatchchar(Cons(F(),xs),V()) -> Nil() domatchchar(Cons(F(),xs),W()) -> Nil() domatchchar(Cons(F(),xs),X()) -> Nil() domatchchar(Cons(F(),xs),Y()) -> Nil() domatchchar(Cons(F(),xs),Z()) -> Nil() domatchchar(Cons(G(),xs),A()) -> Nil() domatchchar(Cons(G(),xs),B()) -> Nil() domatchchar(Cons(G(),xs),C()) -> Nil() domatchchar(Cons(G(),xs),Cdot()) -> Nil() domatchchar(Cons(G(),xs),Clpar()) -> Nil() domatchchar(Cons(G(),xs),Crpar()) -> Nil() domatchchar(Cons(G(),xs),Cslash()) -> Nil() domatchchar(Cons(G(),xs),Cstar()) -> Nil() domatchchar(Cons(G(),xs),D()) -> Nil() domatchchar(Cons(G(),xs),E()) -> Nil() domatchchar(Cons(G(),xs),F()) -> Nil() domatchchar(Cons(G(),xs),G()) -> Cons(G(),xs) domatchchar(Cons(G(),xs),H()) -> Nil() domatchchar(Cons(G(),xs),I()) -> Nil() domatchchar(Cons(G(),xs),J()) -> Nil() domatchchar(Cons(G(),xs),K()) -> Nil() domatchchar(Cons(G(),xs),L()) -> Nil() domatchchar(Cons(G(),xs),M()) -> Nil() domatchchar(Cons(G(),xs),N()) -> Nil() domatchchar(Cons(G(),xs),O()) -> Nil() domatchchar(Cons(G(),xs),P()) -> Nil() domatchchar(Cons(G(),xs),Q()) -> Nil() domatchchar(Cons(G(),xs),R()) -> Nil() domatchchar(Cons(G(),xs),S()) -> Nil() domatchchar(Cons(G(),xs),T()) -> Nil() domatchchar(Cons(G(),xs),U()) -> Nil() domatchchar(Cons(G(),xs),V()) -> Nil() domatchchar(Cons(G(),xs),W()) -> Nil() domatchchar(Cons(G(),xs),X()) -> Nil() domatchchar(Cons(G(),xs),Y()) -> Nil() domatchchar(Cons(G(),xs),Z()) -> Nil() domatchchar(Cons(H(),xs),A()) -> Nil() domatchchar(Cons(H(),xs),B()) -> Nil() domatchchar(Cons(H(),xs),C()) -> Nil() domatchchar(Cons(H(),xs),Cdot()) -> Nil() domatchchar(Cons(H(),xs),Clpar()) -> Nil() domatchchar(Cons(H(),xs),Crpar()) -> Nil() domatchchar(Cons(H(),xs),Cslash()) -> Nil() domatchchar(Cons(H(),xs),Cstar()) -> Nil() domatchchar(Cons(H(),xs),D()) -> Nil() domatchchar(Cons(H(),xs),E()) -> Nil() domatchchar(Cons(H(),xs),F()) -> Nil() domatchchar(Cons(H(),xs),G()) -> Nil() domatchchar(Cons(H(),xs),H()) -> Cons(H(),xs) domatchchar(Cons(H(),xs),I()) -> Nil() domatchchar(Cons(H(),xs),J()) -> Nil() domatchchar(Cons(H(),xs),K()) -> Nil() domatchchar(Cons(H(),xs),L()) -> Nil() domatchchar(Cons(H(),xs),M()) -> Nil() domatchchar(Cons(H(),xs),N()) -> Nil() domatchchar(Cons(H(),xs),O()) -> Nil() domatchchar(Cons(H(),xs),P()) -> Nil() domatchchar(Cons(H(),xs),Q()) -> Nil() domatchchar(Cons(H(),xs),R()) -> Nil() domatchchar(Cons(H(),xs),S()) -> Nil() domatchchar(Cons(H(),xs),T()) -> Nil() domatchchar(Cons(H(),xs),U()) -> Nil() domatchchar(Cons(H(),xs),V()) -> Nil() domatchchar(Cons(H(),xs),W()) -> Nil() domatchchar(Cons(H(),xs),X()) -> Nil() domatchchar(Cons(H(),xs),Y()) -> Nil() domatchchar(Cons(H(),xs),Z()) -> Nil() domatchchar(Cons(I(),xs),A()) -> Nil() domatchchar(Cons(I(),xs),B()) -> Nil() domatchchar(Cons(I(),xs),C()) -> Nil() domatchchar(Cons(I(),xs),Cdot()) -> Nil() domatchchar(Cons(I(),xs),Clpar()) -> Nil() domatchchar(Cons(I(),xs),Crpar()) -> Nil() domatchchar(Cons(I(),xs),Cslash()) -> Nil() domatchchar(Cons(I(),xs),Cstar()) -> Nil() domatchchar(Cons(I(),xs),D()) -> Nil() domatchchar(Cons(I(),xs),E()) -> Nil() domatchchar(Cons(I(),xs),F()) -> Nil() domatchchar(Cons(I(),xs),G()) -> Nil() domatchchar(Cons(I(),xs),H()) -> Nil() domatchchar(Cons(I(),xs),I()) -> Cons(I(),xs) domatchchar(Cons(I(),xs),J()) -> Nil() domatchchar(Cons(I(),xs),K()) -> Nil() domatchchar(Cons(I(),xs),L()) -> Nil() domatchchar(Cons(I(),xs),M()) -> Nil() domatchchar(Cons(I(),xs),N()) -> Nil() domatchchar(Cons(I(),xs),O()) -> Nil() domatchchar(Cons(I(),xs),P()) -> Nil() domatchchar(Cons(I(),xs),Q()) -> Nil() domatchchar(Cons(I(),xs),R()) -> Nil() domatchchar(Cons(I(),xs),S()) -> Nil() domatchchar(Cons(I(),xs),T()) -> Nil() domatchchar(Cons(I(),xs),U()) -> Nil() domatchchar(Cons(I(),xs),V()) -> Nil() domatchchar(Cons(I(),xs),W()) -> Nil() domatchchar(Cons(I(),xs),X()) -> Nil() domatchchar(Cons(I(),xs),Y()) -> Nil() domatchchar(Cons(I(),xs),Z()) -> Nil() domatchchar(Cons(J(),xs),A()) -> Nil() domatchchar(Cons(J(),xs),B()) -> Nil() domatchchar(Cons(J(),xs),C()) -> Nil() domatchchar(Cons(J(),xs),Cdot()) -> Nil() domatchchar(Cons(J(),xs),Clpar()) -> Nil() domatchchar(Cons(J(),xs),Crpar()) -> Nil() domatchchar(Cons(J(),xs),Cslash()) -> Nil() domatchchar(Cons(J(),xs),Cstar()) -> Nil() domatchchar(Cons(J(),xs),D()) -> Nil() domatchchar(Cons(J(),xs),E()) -> Nil() domatchchar(Cons(J(),xs),F()) -> Nil() domatchchar(Cons(J(),xs),G()) -> Nil() domatchchar(Cons(J(),xs),H()) -> Nil() domatchchar(Cons(J(),xs),I()) -> Nil() domatchchar(Cons(J(),xs),J()) -> Cons(J(),xs) domatchchar(Cons(J(),xs),K()) -> Nil() domatchchar(Cons(J(),xs),L()) -> Nil() domatchchar(Cons(J(),xs),M()) -> Nil() domatchchar(Cons(J(),xs),N()) -> Nil() domatchchar(Cons(J(),xs),O()) -> Nil() domatchchar(Cons(J(),xs),P()) -> Nil() domatchchar(Cons(J(),xs),Q()) -> Nil() domatchchar(Cons(J(),xs),R()) -> Nil() domatchchar(Cons(J(),xs),S()) -> Nil() domatchchar(Cons(J(),xs),T()) -> Nil() domatchchar(Cons(J(),xs),U()) -> Nil() domatchchar(Cons(J(),xs),V()) -> Nil() domatchchar(Cons(J(),xs),W()) -> Nil() domatchchar(Cons(J(),xs),X()) -> Nil() domatchchar(Cons(J(),xs),Y()) -> Nil() domatchchar(Cons(J(),xs),Z()) -> Nil() domatchchar(Cons(K(),xs),A()) -> Nil() domatchchar(Cons(K(),xs),B()) -> Nil() domatchchar(Cons(K(),xs),C()) -> Nil() domatchchar(Cons(K(),xs),Cdot()) -> Nil() domatchchar(Cons(K(),xs),Clpar()) -> Nil() domatchchar(Cons(K(),xs),Crpar()) -> Nil() domatchchar(Cons(K(),xs),Cslash()) -> Nil() domatchchar(Cons(K(),xs),Cstar()) -> Nil() domatchchar(Cons(K(),xs),D()) -> Nil() domatchchar(Cons(K(),xs),E()) -> Nil() domatchchar(Cons(K(),xs),F()) -> Nil() domatchchar(Cons(K(),xs),G()) -> Nil() domatchchar(Cons(K(),xs),H()) -> Nil() domatchchar(Cons(K(),xs),I()) -> Nil() domatchchar(Cons(K(),xs),J()) -> Nil() domatchchar(Cons(K(),xs),K()) -> Cons(K(),xs) domatchchar(Cons(K(),xs),L()) -> Nil() domatchchar(Cons(K(),xs),M()) -> Nil() domatchchar(Cons(K(),xs),N()) -> Nil() domatchchar(Cons(K(),xs),O()) -> Nil() domatchchar(Cons(K(),xs),P()) -> Nil() domatchchar(Cons(K(),xs),Q()) -> Nil() domatchchar(Cons(K(),xs),R()) -> Nil() domatchchar(Cons(K(),xs),S()) -> Nil() domatchchar(Cons(K(),xs),T()) -> Nil() domatchchar(Cons(K(),xs),U()) -> Nil() domatchchar(Cons(K(),xs),V()) -> Nil() domatchchar(Cons(K(),xs),W()) -> Nil() domatchchar(Cons(K(),xs),X()) -> Nil() domatchchar(Cons(K(),xs),Y()) -> Nil() domatchchar(Cons(K(),xs),Z()) -> Nil() domatchchar(Cons(L(),xs),A()) -> Nil() domatchchar(Cons(L(),xs),B()) -> Nil() domatchchar(Cons(L(),xs),C()) -> Nil() domatchchar(Cons(L(),xs),Cdot()) -> Nil() domatchchar(Cons(L(),xs),Clpar()) -> Nil() domatchchar(Cons(L(),xs),Crpar()) -> Nil() domatchchar(Cons(L(),xs),Cslash()) -> Nil() domatchchar(Cons(L(),xs),Cstar()) -> Nil() domatchchar(Cons(L(),xs),D()) -> Nil() domatchchar(Cons(L(),xs),E()) -> Nil() domatchchar(Cons(L(),xs),F()) -> Nil() domatchchar(Cons(L(),xs),G()) -> Nil() domatchchar(Cons(L(),xs),H()) -> Nil() domatchchar(Cons(L(),xs),I()) -> Nil() domatchchar(Cons(L(),xs),J()) -> Nil() domatchchar(Cons(L(),xs),K()) -> Nil() domatchchar(Cons(L(),xs),L()) -> Cons(L(),xs) domatchchar(Cons(L(),xs),M()) -> Nil() domatchchar(Cons(L(),xs),N()) -> Nil() domatchchar(Cons(L(),xs),O()) -> Nil() domatchchar(Cons(L(),xs),P()) -> Nil() domatchchar(Cons(L(),xs),Q()) -> Nil() domatchchar(Cons(L(),xs),R()) -> Nil() domatchchar(Cons(L(),xs),S()) -> Nil() domatchchar(Cons(L(),xs),T()) -> Nil() domatchchar(Cons(L(),xs),U()) -> Nil() domatchchar(Cons(L(),xs),V()) -> Nil() domatchchar(Cons(L(),xs),W()) -> Nil() domatchchar(Cons(L(),xs),X()) -> Nil() domatchchar(Cons(L(),xs),Y()) -> Nil() domatchchar(Cons(L(),xs),Z()) -> Nil() domatchchar(Cons(M(),xs),A()) -> Nil() domatchchar(Cons(M(),xs),B()) -> Nil() domatchchar(Cons(M(),xs),C()) -> Nil() domatchchar(Cons(M(),xs),Cdot()) -> Nil() domatchchar(Cons(M(),xs),Clpar()) -> Nil() domatchchar(Cons(M(),xs),Crpar()) -> Nil() domatchchar(Cons(M(),xs),Cslash()) -> Nil() domatchchar(Cons(M(),xs),Cstar()) -> Nil() domatchchar(Cons(M(),xs),D()) -> Nil() domatchchar(Cons(M(),xs),E()) -> Nil() domatchchar(Cons(M(),xs),F()) -> Nil() domatchchar(Cons(M(),xs),G()) -> Nil() domatchchar(Cons(M(),xs),H()) -> Nil() domatchchar(Cons(M(),xs),I()) -> Nil() domatchchar(Cons(M(),xs),J()) -> Nil() domatchchar(Cons(M(),xs),K()) -> Nil() domatchchar(Cons(M(),xs),L()) -> Nil() domatchchar(Cons(M(),xs),M()) -> Cons(M(),xs) domatchchar(Cons(M(),xs),N()) -> Nil() domatchchar(Cons(M(),xs),O()) -> Nil() domatchchar(Cons(M(),xs),P()) -> Nil() domatchchar(Cons(M(),xs),Q()) -> Nil() domatchchar(Cons(M(),xs),R()) -> Nil() domatchchar(Cons(M(),xs),S()) -> Nil() domatchchar(Cons(M(),xs),T()) -> Nil() domatchchar(Cons(M(),xs),U()) -> Nil() domatchchar(Cons(M(),xs),V()) -> Nil() domatchchar(Cons(M(),xs),W()) -> Nil() domatchchar(Cons(M(),xs),X()) -> Nil() domatchchar(Cons(M(),xs),Y()) -> Nil() domatchchar(Cons(M(),xs),Z()) -> Nil() domatchchar(Cons(N(),xs),A()) -> Nil() domatchchar(Cons(N(),xs),B()) -> Nil() domatchchar(Cons(N(),xs),C()) -> Nil() domatchchar(Cons(N(),xs),Cdot()) -> Nil() domatchchar(Cons(N(),xs),Clpar()) -> Nil() domatchchar(Cons(N(),xs),Crpar()) -> Nil() domatchchar(Cons(N(),xs),Cslash()) -> Nil() domatchchar(Cons(N(),xs),Cstar()) -> Nil() domatchchar(Cons(N(),xs),D()) -> Nil() domatchchar(Cons(N(),xs),E()) -> Nil() domatchchar(Cons(N(),xs),F()) -> Nil() domatchchar(Cons(N(),xs),G()) -> Nil() domatchchar(Cons(N(),xs),H()) -> Nil() domatchchar(Cons(N(),xs),I()) -> Nil() domatchchar(Cons(N(),xs),J()) -> Nil() domatchchar(Cons(N(),xs),K()) -> Nil() domatchchar(Cons(N(),xs),L()) -> Nil() domatchchar(Cons(N(),xs),M()) -> Nil() domatchchar(Cons(N(),xs),N()) -> Cons(N(),xs) domatchchar(Cons(N(),xs),O()) -> Nil() domatchchar(Cons(N(),xs),P()) -> Nil() domatchchar(Cons(N(),xs),Q()) -> Nil() domatchchar(Cons(N(),xs),R()) -> Nil() domatchchar(Cons(N(),xs),S()) -> Nil() domatchchar(Cons(N(),xs),T()) -> Nil() domatchchar(Cons(N(),xs),U()) -> Nil() domatchchar(Cons(N(),xs),V()) -> Nil() domatchchar(Cons(N(),xs),W()) -> Nil() domatchchar(Cons(N(),xs),X()) -> Nil() domatchchar(Cons(N(),xs),Y()) -> Nil() domatchchar(Cons(N(),xs),Z()) -> Nil() domatchchar(Cons(O(),xs),A()) -> Nil() domatchchar(Cons(O(),xs),B()) -> Nil() domatchchar(Cons(O(),xs),C()) -> Nil() domatchchar(Cons(O(),xs),Cdot()) -> Nil() domatchchar(Cons(O(),xs),Clpar()) -> Nil() domatchchar(Cons(O(),xs),Crpar()) -> Nil() domatchchar(Cons(O(),xs),Cslash()) -> Nil() domatchchar(Cons(O(),xs),Cstar()) -> Nil() domatchchar(Cons(O(),xs),D()) -> Nil() domatchchar(Cons(O(),xs),E()) -> Nil() domatchchar(Cons(O(),xs),F()) -> Nil() domatchchar(Cons(O(),xs),G()) -> Nil() domatchchar(Cons(O(),xs),H()) -> Nil() domatchchar(Cons(O(),xs),I()) -> Nil() domatchchar(Cons(O(),xs),J()) -> Nil() domatchchar(Cons(O(),xs),K()) -> Nil() domatchchar(Cons(O(),xs),L()) -> Nil() domatchchar(Cons(O(),xs),M()) -> Nil() domatchchar(Cons(O(),xs),N()) -> Nil() domatchchar(Cons(O(),xs),O()) -> Cons(O(),xs) domatchchar(Cons(O(),xs),P()) -> Nil() domatchchar(Cons(O(),xs),Q()) -> Nil() domatchchar(Cons(O(),xs),R()) -> Nil() domatchchar(Cons(O(),xs),S()) -> Nil() domatchchar(Cons(O(),xs),T()) -> Nil() domatchchar(Cons(O(),xs),U()) -> Nil() domatchchar(Cons(O(),xs),V()) -> Nil() domatchchar(Cons(O(),xs),W()) -> Nil() domatchchar(Cons(O(),xs),X()) -> Nil() domatchchar(Cons(O(),xs),Y()) -> Nil() domatchchar(Cons(O(),xs),Z()) -> Nil() domatchchar(Cons(P(),xs),A()) -> Nil() domatchchar(Cons(P(),xs),B()) -> Nil() domatchchar(Cons(P(),xs),C()) -> Nil() domatchchar(Cons(P(),xs),Cdot()) -> Nil() domatchchar(Cons(P(),xs),Clpar()) -> Nil() domatchchar(Cons(P(),xs),Crpar()) -> Nil() domatchchar(Cons(P(),xs),Cslash()) -> Nil() domatchchar(Cons(P(),xs),Cstar()) -> Nil() domatchchar(Cons(P(),xs),D()) -> Nil() domatchchar(Cons(P(),xs),E()) -> Nil() domatchchar(Cons(P(),xs),F()) -> Nil() domatchchar(Cons(P(),xs),G()) -> Nil() domatchchar(Cons(P(),xs),H()) -> Nil() domatchchar(Cons(P(),xs),I()) -> Nil() domatchchar(Cons(P(),xs),J()) -> Nil() domatchchar(Cons(P(),xs),K()) -> Nil() domatchchar(Cons(P(),xs),L()) -> Nil() domatchchar(Cons(P(),xs),M()) -> Nil() domatchchar(Cons(P(),xs),N()) -> Nil() domatchchar(Cons(P(),xs),O()) -> Nil() domatchchar(Cons(P(),xs),P()) -> Cons(P(),xs) domatchchar(Cons(P(),xs),Q()) -> Nil() domatchchar(Cons(P(),xs),R()) -> Nil() domatchchar(Cons(P(),xs),S()) -> Nil() domatchchar(Cons(P(),xs),T()) -> Nil() domatchchar(Cons(P(),xs),U()) -> Nil() domatchchar(Cons(P(),xs),V()) -> Nil() domatchchar(Cons(P(),xs),W()) -> Nil() domatchchar(Cons(P(),xs),X()) -> Nil() domatchchar(Cons(P(),xs),Y()) -> Nil() domatchchar(Cons(P(),xs),Z()) -> Nil() domatchchar(Cons(Q(),xs),A()) -> Nil() domatchchar(Cons(Q(),xs),B()) -> Nil() domatchchar(Cons(Q(),xs),C()) -> Nil() domatchchar(Cons(Q(),xs),Cdot()) -> Nil() domatchchar(Cons(Q(),xs),Clpar()) -> Nil() domatchchar(Cons(Q(),xs),Crpar()) -> Nil() domatchchar(Cons(Q(),xs),Cslash()) -> Nil() domatchchar(Cons(Q(),xs),Cstar()) -> Nil() domatchchar(Cons(Q(),xs),D()) -> Nil() domatchchar(Cons(Q(),xs),E()) -> Nil() domatchchar(Cons(Q(),xs),F()) -> Nil() domatchchar(Cons(Q(),xs),G()) -> Nil() domatchchar(Cons(Q(),xs),H()) -> Nil() domatchchar(Cons(Q(),xs),I()) -> Nil() domatchchar(Cons(Q(),xs),J()) -> Nil() domatchchar(Cons(Q(),xs),K()) -> Nil() domatchchar(Cons(Q(),xs),L()) -> Nil() domatchchar(Cons(Q(),xs),M()) -> Nil() domatchchar(Cons(Q(),xs),N()) -> Nil() domatchchar(Cons(Q(),xs),O()) -> Nil() domatchchar(Cons(Q(),xs),P()) -> Nil() domatchchar(Cons(Q(),xs),Q()) -> Cons(Q(),xs) domatchchar(Cons(Q(),xs),R()) -> Nil() domatchchar(Cons(Q(),xs),S()) -> Nil() domatchchar(Cons(Q(),xs),T()) -> Nil() domatchchar(Cons(Q(),xs),U()) -> Nil() domatchchar(Cons(Q(),xs),V()) -> Nil() domatchchar(Cons(Q(),xs),W()) -> Nil() domatchchar(Cons(Q(),xs),X()) -> Nil() domatchchar(Cons(Q(),xs),Y()) -> Nil() domatchchar(Cons(Q(),xs),Z()) -> Nil() domatchchar(Cons(R(),xs),A()) -> Nil() domatchchar(Cons(R(),xs),B()) -> Nil() domatchchar(Cons(R(),xs),C()) -> Nil() domatchchar(Cons(R(),xs),Cdot()) -> Nil() domatchchar(Cons(R(),xs),Clpar()) -> Nil() domatchchar(Cons(R(),xs),Crpar()) -> Nil() domatchchar(Cons(R(),xs),Cslash()) -> Nil() domatchchar(Cons(R(),xs),Cstar()) -> Nil() domatchchar(Cons(R(),xs),D()) -> Nil() domatchchar(Cons(R(),xs),E()) -> Nil() domatchchar(Cons(R(),xs),F()) -> Nil() domatchchar(Cons(R(),xs),G()) -> Nil() domatchchar(Cons(R(),xs),H()) -> Nil() domatchchar(Cons(R(),xs),I()) -> Nil() domatchchar(Cons(R(),xs),J()) -> Nil() domatchchar(Cons(R(),xs),K()) -> Nil() domatchchar(Cons(R(),xs),L()) -> Nil() domatchchar(Cons(R(),xs),M()) -> Nil() domatchchar(Cons(R(),xs),N()) -> Nil() domatchchar(Cons(R(),xs),O()) -> Nil() domatchchar(Cons(R(),xs),P()) -> Nil() domatchchar(Cons(R(),xs),Q()) -> Nil() domatchchar(Cons(R(),xs),R()) -> Cons(R(),xs) domatchchar(Cons(R(),xs),S()) -> Nil() domatchchar(Cons(R(),xs),T()) -> Nil() domatchchar(Cons(R(),xs),U()) -> Nil() domatchchar(Cons(R(),xs),V()) -> Nil() domatchchar(Cons(R(),xs),W()) -> Nil() domatchchar(Cons(R(),xs),X()) -> Nil() domatchchar(Cons(R(),xs),Y()) -> Nil() domatchchar(Cons(R(),xs),Z()) -> Nil() domatchchar(Cons(S(),xs),A()) -> Nil() domatchchar(Cons(S(),xs),B()) -> Nil() domatchchar(Cons(S(),xs),C()) -> Nil() domatchchar(Cons(S(),xs),Cdot()) -> Nil() domatchchar(Cons(S(),xs),Clpar()) -> Nil() domatchchar(Cons(S(),xs),Crpar()) -> Nil() domatchchar(Cons(S(),xs),Cslash()) -> Nil() domatchchar(Cons(S(),xs),Cstar()) -> Nil() domatchchar(Cons(S(),xs),D()) -> Nil() domatchchar(Cons(S(),xs),E()) -> Nil() domatchchar(Cons(S(),xs),F()) -> Nil() domatchchar(Cons(S(),xs),G()) -> Nil() domatchchar(Cons(S(),xs),H()) -> Nil() domatchchar(Cons(S(),xs),I()) -> Nil() domatchchar(Cons(S(),xs),J()) -> Nil() domatchchar(Cons(S(),xs),K()) -> Nil() domatchchar(Cons(S(),xs),L()) -> Nil() domatchchar(Cons(S(),xs),M()) -> Nil() domatchchar(Cons(S(),xs),N()) -> Nil() domatchchar(Cons(S(),xs),O()) -> Nil() domatchchar(Cons(S(),xs),P()) -> Nil() domatchchar(Cons(S(),xs),Q()) -> Nil() domatchchar(Cons(S(),xs),R()) -> Nil() domatchchar(Cons(S(),xs),S()) -> Cons(S(),xs) domatchchar(Cons(S(),xs),T()) -> Nil() domatchchar(Cons(S(),xs),U()) -> Nil() domatchchar(Cons(S(),xs),V()) -> Nil() domatchchar(Cons(S(),xs),W()) -> Nil() domatchchar(Cons(S(),xs),X()) -> Nil() domatchchar(Cons(S(),xs),Y()) -> Nil() domatchchar(Cons(S(),xs),Z()) -> Nil() domatchchar(Cons(T(),xs),A()) -> Nil() domatchchar(Cons(T(),xs),B()) -> Nil() domatchchar(Cons(T(),xs),C()) -> Nil() domatchchar(Cons(T(),xs),Cdot()) -> Nil() domatchchar(Cons(T(),xs),Clpar()) -> Nil() domatchchar(Cons(T(),xs),Crpar()) -> Nil() domatchchar(Cons(T(),xs),Cslash()) -> Nil() domatchchar(Cons(T(),xs),Cstar()) -> Nil() domatchchar(Cons(T(),xs),D()) -> Nil() domatchchar(Cons(T(),xs),E()) -> Nil() domatchchar(Cons(T(),xs),F()) -> Nil() domatchchar(Cons(T(),xs),G()) -> Nil() domatchchar(Cons(T(),xs),H()) -> Nil() domatchchar(Cons(T(),xs),I()) -> Nil() domatchchar(Cons(T(),xs),J()) -> Nil() domatchchar(Cons(T(),xs),K()) -> Nil() domatchchar(Cons(T(),xs),L()) -> Nil() domatchchar(Cons(T(),xs),M()) -> Nil() domatchchar(Cons(T(),xs),N()) -> Nil() domatchchar(Cons(T(),xs),O()) -> Nil() domatchchar(Cons(T(),xs),P()) -> Nil() domatchchar(Cons(T(),xs),Q()) -> Nil() domatchchar(Cons(T(),xs),R()) -> Nil() domatchchar(Cons(T(),xs),S()) -> Nil() domatchchar(Cons(T(),xs),T()) -> Cons(T(),xs) domatchchar(Cons(T(),xs),U()) -> Nil() domatchchar(Cons(T(),xs),V()) -> Nil() domatchchar(Cons(T(),xs),W()) -> Nil() domatchchar(Cons(T(),xs),X()) -> Nil() domatchchar(Cons(T(),xs),Y()) -> Nil() domatchchar(Cons(T(),xs),Z()) -> Nil() domatchchar(Cons(U(),xs),A()) -> Nil() domatchchar(Cons(U(),xs),B()) -> Nil() domatchchar(Cons(U(),xs),C()) -> Nil() domatchchar(Cons(U(),xs),Cdot()) -> Nil() domatchchar(Cons(U(),xs),Clpar()) -> Nil() domatchchar(Cons(U(),xs),Crpar()) -> Nil() domatchchar(Cons(U(),xs),Cslash()) -> Nil() domatchchar(Cons(U(),xs),Cstar()) -> Nil() domatchchar(Cons(U(),xs),D()) -> Nil() domatchchar(Cons(U(),xs),E()) -> Nil() domatchchar(Cons(U(),xs),F()) -> Nil() domatchchar(Cons(U(),xs),G()) -> Nil() domatchchar(Cons(U(),xs),H()) -> Nil() domatchchar(Cons(U(),xs),I()) -> Nil() domatchchar(Cons(U(),xs),J()) -> Nil() domatchchar(Cons(U(),xs),K()) -> Nil() domatchchar(Cons(U(),xs),L()) -> Nil() domatchchar(Cons(U(),xs),M()) -> Nil() domatchchar(Cons(U(),xs),N()) -> Nil() domatchchar(Cons(U(),xs),O()) -> Nil() domatchchar(Cons(U(),xs),P()) -> Nil() domatchchar(Cons(U(),xs),Q()) -> Nil() domatchchar(Cons(U(),xs),R()) -> Nil() domatchchar(Cons(U(),xs),S()) -> Nil() domatchchar(Cons(U(),xs),T()) -> Nil() domatchchar(Cons(U(),xs),U()) -> Cons(U(),xs) domatchchar(Cons(U(),xs),V()) -> Nil() domatchchar(Cons(U(),xs),W()) -> Nil() domatchchar(Cons(U(),xs),X()) -> Nil() domatchchar(Cons(U(),xs),Y()) -> Nil() domatchchar(Cons(U(),xs),Z()) -> Nil() domatchchar(Cons(V(),xs),A()) -> Nil() domatchchar(Cons(V(),xs),B()) -> Nil() domatchchar(Cons(V(),xs),C()) -> Nil() domatchchar(Cons(V(),xs),Cdot()) -> Nil() domatchchar(Cons(V(),xs),Clpar()) -> Nil() domatchchar(Cons(V(),xs),Crpar()) -> Nil() domatchchar(Cons(V(),xs),Cslash()) -> Nil() domatchchar(Cons(V(),xs),Cstar()) -> Nil() domatchchar(Cons(V(),xs),D()) -> Nil() domatchchar(Cons(V(),xs),E()) -> Nil() domatchchar(Cons(V(),xs),F()) -> Nil() domatchchar(Cons(V(),xs),G()) -> Nil() domatchchar(Cons(V(),xs),H()) -> Nil() domatchchar(Cons(V(),xs),I()) -> Nil() domatchchar(Cons(V(),xs),J()) -> Nil() domatchchar(Cons(V(),xs),K()) -> Nil() domatchchar(Cons(V(),xs),L()) -> Nil() domatchchar(Cons(V(),xs),M()) -> Nil() domatchchar(Cons(V(),xs),N()) -> Nil() domatchchar(Cons(V(),xs),O()) -> Nil() domatchchar(Cons(V(),xs),P()) -> Nil() domatchchar(Cons(V(),xs),Q()) -> Nil() domatchchar(Cons(V(),xs),R()) -> Nil() domatchchar(Cons(V(),xs),S()) -> Nil() domatchchar(Cons(V(),xs),T()) -> Nil() domatchchar(Cons(V(),xs),U()) -> Nil() domatchchar(Cons(V(),xs),V()) -> Cons(V(),xs) domatchchar(Cons(V(),xs),W()) -> Nil() domatchchar(Cons(V(),xs),X()) -> Nil() domatchchar(Cons(V(),xs),Y()) -> Nil() domatchchar(Cons(V(),xs),Z()) -> Nil() domatchchar(Cons(W(),xs),A()) -> Nil() domatchchar(Cons(W(),xs),B()) -> Nil() domatchchar(Cons(W(),xs),C()) -> Nil() domatchchar(Cons(W(),xs),Cdot()) -> Nil() domatchchar(Cons(W(),xs),Clpar()) -> Nil() domatchchar(Cons(W(),xs),Crpar()) -> Nil() domatchchar(Cons(W(),xs),Cslash()) -> Nil() domatchchar(Cons(W(),xs),Cstar()) -> Nil() domatchchar(Cons(W(),xs),D()) -> Nil() domatchchar(Cons(W(),xs),E()) -> Nil() domatchchar(Cons(W(),xs),F()) -> Nil() domatchchar(Cons(W(),xs),G()) -> Nil() domatchchar(Cons(W(),xs),H()) -> Nil() domatchchar(Cons(W(),xs),I()) -> Nil() domatchchar(Cons(W(),xs),J()) -> Nil() domatchchar(Cons(W(),xs),K()) -> Nil() domatchchar(Cons(W(),xs),L()) -> Nil() domatchchar(Cons(W(),xs),M()) -> Nil() domatchchar(Cons(W(),xs),N()) -> Nil() domatchchar(Cons(W(),xs),O()) -> Nil() domatchchar(Cons(W(),xs),P()) -> Nil() domatchchar(Cons(W(),xs),Q()) -> Nil() domatchchar(Cons(W(),xs),R()) -> Nil() domatchchar(Cons(W(),xs),S()) -> Nil() domatchchar(Cons(W(),xs),T()) -> Nil() domatchchar(Cons(W(),xs),U()) -> Nil() domatchchar(Cons(W(),xs),V()) -> Nil() domatchchar(Cons(W(),xs),W()) -> Cons(W(),xs) domatchchar(Cons(W(),xs),X()) -> Nil() domatchchar(Cons(W(),xs),Y()) -> Nil() domatchchar(Cons(W(),xs),Z()) -> Nil() domatchchar(Cons(X(),xs),A()) -> Nil() domatchchar(Cons(X(),xs),B()) -> Nil() domatchchar(Cons(X(),xs),C()) -> Nil() domatchchar(Cons(X(),xs),Cdot()) -> Nil() domatchchar(Cons(X(),xs),Clpar()) -> Nil() domatchchar(Cons(X(),xs),Crpar()) -> Nil() domatchchar(Cons(X(),xs),Cslash()) -> Nil() domatchchar(Cons(X(),xs),Cstar()) -> Nil() domatchchar(Cons(X(),xs),D()) -> Nil() domatchchar(Cons(X(),xs),E()) -> Nil() domatchchar(Cons(X(),xs),F()) -> Nil() domatchchar(Cons(X(),xs),G()) -> Nil() domatchchar(Cons(X(),xs),H()) -> Nil() domatchchar(Cons(X(),xs),I()) -> Nil() domatchchar(Cons(X(),xs),J()) -> Nil() domatchchar(Cons(X(),xs),K()) -> Nil() domatchchar(Cons(X(),xs),L()) -> Nil() domatchchar(Cons(X(),xs),M()) -> Nil() domatchchar(Cons(X(),xs),N()) -> Nil() domatchchar(Cons(X(),xs),O()) -> Nil() domatchchar(Cons(X(),xs),P()) -> Nil() domatchchar(Cons(X(),xs),Q()) -> Nil() domatchchar(Cons(X(),xs),R()) -> Nil() domatchchar(Cons(X(),xs),S()) -> Nil() domatchchar(Cons(X(),xs),T()) -> Nil() domatchchar(Cons(X(),xs),U()) -> Nil() domatchchar(Cons(X(),xs),V()) -> Nil() domatchchar(Cons(X(),xs),W()) -> Nil() domatchchar(Cons(X(),xs),X()) -> Cons(X(),xs) domatchchar(Cons(X(),xs),Y()) -> Nil() domatchchar(Cons(X(),xs),Z()) -> Nil() domatchchar(Cons(Y(),xs),A()) -> Nil() domatchchar(Cons(Y(),xs),B()) -> Nil() domatchchar(Cons(Y(),xs),C()) -> Nil() domatchchar(Cons(Y(),xs),Cdot()) -> Nil() domatchchar(Cons(Y(),xs),Clpar()) -> Nil() domatchchar(Cons(Y(),xs),Crpar()) -> Nil() domatchchar(Cons(Y(),xs),Cslash()) -> Nil() domatchchar(Cons(Y(),xs),Cstar()) -> Nil() domatchchar(Cons(Y(),xs),D()) -> Nil() domatchchar(Cons(Y(),xs),E()) -> Nil() domatchchar(Cons(Y(),xs),F()) -> Nil() domatchchar(Cons(Y(),xs),G()) -> Nil() domatchchar(Cons(Y(),xs),H()) -> Nil() domatchchar(Cons(Y(),xs),I()) -> Nil() domatchchar(Cons(Y(),xs),J()) -> Nil() domatchchar(Cons(Y(),xs),K()) -> Nil() domatchchar(Cons(Y(),xs),L()) -> Nil() domatchchar(Cons(Y(),xs),M()) -> Nil() domatchchar(Cons(Y(),xs),N()) -> Nil() domatchchar(Cons(Y(),xs),O()) -> Nil() domatchchar(Cons(Y(),xs),P()) -> Nil() domatchchar(Cons(Y(),xs),Q()) -> Nil() domatchchar(Cons(Y(),xs),R()) -> Nil() domatchchar(Cons(Y(),xs),S()) -> Nil() domatchchar(Cons(Y(),xs),T()) -> Nil() domatchchar(Cons(Y(),xs),U()) -> Nil() domatchchar(Cons(Y(),xs),V()) -> Nil() domatchchar(Cons(Y(),xs),W()) -> Nil() domatchchar(Cons(Y(),xs),X()) -> Nil() domatchchar(Cons(Y(),xs),Y()) -> Cons(Y(),xs) domatchchar(Cons(Y(),xs),Z()) -> Nil() domatchchar(Cons(Z(),xs),A()) -> Nil() domatchchar(Cons(Z(),xs),B()) -> Nil() domatchchar(Cons(Z(),xs),C()) -> Nil() domatchchar(Cons(Z(),xs),Cdot()) -> Nil() domatchchar(Cons(Z(),xs),Clpar()) -> Nil() domatchchar(Cons(Z(),xs),Crpar()) -> Nil() domatchchar(Cons(Z(),xs),Cslash()) -> Nil() domatchchar(Cons(Z(),xs),Cstar()) -> Nil() domatchchar(Cons(Z(),xs),D()) -> Nil() domatchchar(Cons(Z(),xs),E()) -> Nil() domatchchar(Cons(Z(),xs),F()) -> Nil() domatchchar(Cons(Z(),xs),G()) -> Nil() domatchchar(Cons(Z(),xs),H()) -> Nil() domatchchar(Cons(Z(),xs),I()) -> Nil() domatchchar(Cons(Z(),xs),J()) -> Nil() domatchchar(Cons(Z(),xs),K()) -> Nil() domatchchar(Cons(Z(),xs),L()) -> Nil() domatchchar(Cons(Z(),xs),M()) -> Nil() domatchchar(Cons(Z(),xs),N()) -> Nil() domatchchar(Cons(Z(),xs),O()) -> Nil() domatchchar(Cons(Z(),xs),P()) -> Nil() domatchchar(Cons(Z(),xs),Q()) -> Nil() domatchchar(Cons(Z(),xs),R()) -> Nil() domatchchar(Cons(Z(),xs),S()) -> Nil() domatchchar(Cons(Z(),xs),T()) -> Nil() domatchchar(Cons(Z(),xs),U()) -> Nil() domatchchar(Cons(Z(),xs),V()) -> Nil() domatchchar(Cons(Z(),xs),W()) -> Nil() domatchchar(Cons(Z(),xs),X()) -> Nil() domatchchar(Cons(Z(),xs),Y()) -> Nil() domatchchar(Cons(Z(),xs),Z()) -> Cons(Z(),xs) domatchchar(Nil(),c) -> Nil() domatchdot(Cons(x,xs)) -> Cons(x,xs) domatchdot(Nil()) -> 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) 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()) dummy(x) -> x eqChar(A(),A()) -> True() eqChar(A(),B()) -> False() eqChar(A(),C()) -> False() eqChar(A(),Cdot()) -> False() eqChar(A(),Clpar()) -> False() eqChar(A(),Crpar()) -> False() eqChar(A(),Cslash()) -> False() eqChar(A(),Cstar()) -> False() eqChar(A(),D()) -> False() eqChar(A(),E()) -> False() eqChar(A(),F()) -> False() eqChar(A(),G()) -> False() eqChar(A(),H()) -> False() eqChar(A(),I()) -> False() eqChar(A(),J()) -> False() eqChar(A(),K()) -> False() eqChar(A(),L()) -> False() eqChar(A(),M()) -> False() eqChar(A(),N()) -> False() eqChar(A(),O()) -> False() eqChar(A(),P()) -> False() eqChar(A(),Q()) -> False() eqChar(A(),R()) -> False() eqChar(A(),S()) -> False() eqChar(A(),T()) -> False() eqChar(A(),U()) -> False() eqChar(A(),V()) -> False() eqChar(A(),W()) -> False() eqChar(A(),X()) -> False() eqChar(A(),Y()) -> False() eqChar(A(),Z()) -> False() eqChar(B(),A()) -> False() eqChar(B(),B()) -> True() eqChar(B(),C()) -> False() eqChar(B(),Cdot()) -> False() eqChar(B(),Clpar()) -> False() eqChar(B(),Crpar()) -> False() eqChar(B(),Cslash()) -> False() eqChar(B(),Cstar()) -> False() eqChar(B(),D()) -> False() eqChar(B(),E()) -> False() eqChar(B(),F()) -> False() eqChar(B(),G()) -> False() eqChar(B(),H()) -> False() eqChar(B(),I()) -> False() eqChar(B(),J()) -> False() eqChar(B(),K()) -> False() eqChar(B(),L()) -> False() eqChar(B(),M()) -> False() eqChar(B(),N()) -> False() eqChar(B(),O()) -> False() eqChar(B(),P()) -> False() eqChar(B(),Q()) -> False() eqChar(B(),R()) -> False() eqChar(B(),S()) -> False() eqChar(B(),T()) -> False() eqChar(B(),U()) -> False() eqChar(B(),V()) -> False() eqChar(B(),W()) -> False() eqChar(B(),X()) -> False() eqChar(B(),Y()) -> False() eqChar(B(),Z()) -> False() eqChar(C(),A()) -> False() eqChar(C(),B()) -> False() eqChar(C(),C()) -> True() eqChar(C(),Cdot()) -> False() eqChar(C(),Clpar()) -> False() eqChar(C(),Crpar()) -> False() eqChar(C(),Cslash()) -> False() eqChar(C(),Cstar()) -> False() eqChar(C(),D()) -> False() eqChar(C(),E()) -> False() eqChar(C(),F()) -> False() eqChar(C(),G()) -> False() eqChar(C(),H()) -> False() eqChar(C(),I()) -> False() eqChar(C(),J()) -> False() eqChar(C(),K()) -> False() eqChar(C(),L()) -> False() eqChar(C(),M()) -> False() eqChar(C(),N()) -> False() eqChar(C(),O()) -> False() eqChar(C(),P()) -> False() eqChar(C(),Q()) -> False() eqChar(C(),R()) -> False() eqChar(C(),S()) -> False() eqChar(C(),T()) -> False() eqChar(C(),U()) -> False() eqChar(C(),V()) -> False() eqChar(C(),W()) -> False() eqChar(C(),X()) -> False() eqChar(C(),Y()) -> False() eqChar(C(),Z()) -> False() eqChar(Cdot(),A()) -> False() eqChar(Cdot(),B()) -> False() eqChar(Cdot(),C()) -> False() eqChar(Cdot(),Cdot()) -> True() eqChar(Cdot(),Clpar()) -> False() eqChar(Cdot(),Crpar()) -> False() eqChar(Cdot(),Cslash()) -> False() eqChar(Cdot(),Cstar()) -> False() eqChar(Cdot(),D()) -> False() eqChar(Cdot(),E()) -> False() eqChar(Cdot(),F()) -> False() eqChar(Cdot(),G()) -> False() eqChar(Cdot(),H()) -> False() eqChar(Cdot(),I()) -> False() eqChar(Cdot(),J()) -> False() eqChar(Cdot(),K()) -> False() eqChar(Cdot(),L()) -> False() eqChar(Cdot(),M()) -> False() eqChar(Cdot(),N()) -> False() eqChar(Cdot(),O()) -> False() eqChar(Cdot(),P()) -> False() eqChar(Cdot(),Q()) -> False() eqChar(Cdot(),R()) -> False() eqChar(Cdot(),S()) -> False() eqChar(Cdot(),T()) -> False() eqChar(Cdot(),U()) -> False() eqChar(Cdot(),V()) -> False() eqChar(Cdot(),W()) -> False() eqChar(Cdot(),X()) -> False() eqChar(Cdot(),Y()) -> False() eqChar(Cdot(),Z()) -> False() eqChar(Clpar(),A()) -> False() eqChar(Clpar(),B()) -> False() eqChar(Clpar(),C()) -> False() eqChar(Clpar(),Cdot()) -> False() eqChar(Clpar(),Clpar()) -> True() eqChar(Clpar(),Crpar()) -> False() eqChar(Clpar(),Cslash()) -> False() eqChar(Clpar(),Cstar()) -> False() eqChar(Clpar(),D()) -> False() eqChar(Clpar(),E()) -> False() eqChar(Clpar(),F()) -> False() eqChar(Clpar(),G()) -> False() eqChar(Clpar(),H()) -> False() eqChar(Clpar(),I()) -> False() eqChar(Clpar(),J()) -> False() eqChar(Clpar(),K()) -> False() eqChar(Clpar(),L()) -> False() eqChar(Clpar(),M()) -> False() eqChar(Clpar(),N()) -> False() eqChar(Clpar(),O()) -> False() eqChar(Clpar(),P()) -> False() eqChar(Clpar(),Q()) -> False() eqChar(Clpar(),R()) -> False() eqChar(Clpar(),S()) -> False() eqChar(Clpar(),T()) -> False() eqChar(Clpar(),U()) -> False() eqChar(Clpar(),V()) -> False() eqChar(Clpar(),W()) -> False() eqChar(Clpar(),X()) -> False() eqChar(Clpar(),Y()) -> False() eqChar(Clpar(),Z()) -> False() eqChar(Crpar(),A()) -> False() eqChar(Crpar(),B()) -> False() eqChar(Crpar(),C()) -> False() eqChar(Crpar(),Cdot()) -> False() eqChar(Crpar(),Clpar()) -> False() eqChar(Crpar(),Crpar()) -> True() eqChar(Crpar(),Cslash()) -> False() eqChar(Crpar(),Cstar()) -> False() eqChar(Crpar(),D()) -> False() eqChar(Crpar(),E()) -> False() eqChar(Crpar(),F()) -> False() eqChar(Crpar(),G()) -> False() eqChar(Crpar(),H()) -> False() eqChar(Crpar(),I()) -> False() eqChar(Crpar(),J()) -> False() eqChar(Crpar(),K()) -> False() eqChar(Crpar(),L()) -> False() eqChar(Crpar(),M()) -> False() eqChar(Crpar(),N()) -> False() eqChar(Crpar(),O()) -> False() eqChar(Crpar(),P()) -> False() eqChar(Crpar(),Q()) -> False() eqChar(Crpar(),R()) -> False() eqChar(Crpar(),S()) -> False() eqChar(Crpar(),T()) -> False() eqChar(Crpar(),U()) -> False() eqChar(Crpar(),V()) -> False() eqChar(Crpar(),W()) -> False() eqChar(Crpar(),X()) -> False() eqChar(Crpar(),Y()) -> False() eqChar(Crpar(),Z()) -> False() eqChar(Cslash(),A()) -> False() eqChar(Cslash(),B()) -> False() eqChar(Cslash(),C()) -> False() eqChar(Cslash(),Cdot()) -> False() eqChar(Cslash(),Clpar()) -> False() eqChar(Cslash(),Crpar()) -> False() eqChar(Cslash(),Cslash()) -> True() eqChar(Cslash(),Cstar()) -> False() eqChar(Cslash(),D()) -> False() eqChar(Cslash(),E()) -> False() eqChar(Cslash(),F()) -> False() eqChar(Cslash(),G()) -> False() eqChar(Cslash(),H()) -> False() eqChar(Cslash(),I()) -> False() eqChar(Cslash(),J()) -> False() eqChar(Cslash(),K()) -> False() eqChar(Cslash(),L()) -> False() eqChar(Cslash(),M()) -> False() eqChar(Cslash(),N()) -> False() eqChar(Cslash(),O()) -> False() eqChar(Cslash(),P()) -> False() eqChar(Cslash(),Q()) -> False() eqChar(Cslash(),R()) -> False() eqChar(Cslash(),S()) -> False() eqChar(Cslash(),T()) -> False() eqChar(Cslash(),U()) -> False() eqChar(Cslash(),V()) -> False() eqChar(Cslash(),W()) -> False() eqChar(Cslash(),X()) -> False() eqChar(Cslash(),Y()) -> False() eqChar(Cslash(),Z()) -> False() eqChar(Cstar(),A()) -> False() eqChar(Cstar(),B()) -> False() eqChar(Cstar(),C()) -> False() eqChar(Cstar(),Cdot()) -> False() eqChar(Cstar(),Clpar()) -> False() eqChar(Cstar(),Crpar()) -> False() eqChar(Cstar(),Cslash()) -> False() eqChar(Cstar(),Cstar()) -> True() eqChar(Cstar(),D()) -> False() eqChar(Cstar(),E()) -> False() eqChar(Cstar(),F()) -> False() eqChar(Cstar(),G()) -> False() eqChar(Cstar(),H()) -> False() eqChar(Cstar(),I()) -> False() eqChar(Cstar(),J()) -> False() eqChar(Cstar(),K()) -> False() eqChar(Cstar(),L()) -> False() eqChar(Cstar(),M()) -> False() eqChar(Cstar(),N()) -> False() eqChar(Cstar(),O()) -> False() eqChar(Cstar(),P()) -> False() eqChar(Cstar(),Q()) -> False() eqChar(Cstar(),R()) -> False() eqChar(Cstar(),S()) -> False() eqChar(Cstar(),T()) -> False() eqChar(Cstar(),U()) -> False() eqChar(Cstar(),V()) -> False() eqChar(Cstar(),W()) -> False() eqChar(Cstar(),X()) -> False() eqChar(Cstar(),Y()) -> False() eqChar(Cstar(),Z()) -> False() eqChar(D(),A()) -> False() eqChar(D(),B()) -> False() eqChar(D(),C()) -> False() eqChar(D(),Cdot()) -> False() eqChar(D(),Clpar()) -> False() eqChar(D(),Crpar()) -> False() eqChar(D(),Cslash()) -> False() eqChar(D(),Cstar()) -> False() eqChar(D(),D()) -> True() eqChar(D(),E()) -> False() eqChar(D(),F()) -> False() eqChar(D(),G()) -> False() eqChar(D(),H()) -> False() eqChar(D(),I()) -> False() eqChar(D(),J()) -> False() eqChar(D(),K()) -> False() eqChar(D(),L()) -> False() eqChar(D(),M()) -> False() eqChar(D(),N()) -> False() eqChar(D(),O()) -> False() eqChar(D(),P()) -> False() eqChar(D(),Q()) -> False() eqChar(D(),R()) -> False() eqChar(D(),S()) -> False() eqChar(D(),T()) -> False() eqChar(D(),U()) -> False() eqChar(D(),V()) -> False() eqChar(D(),W()) -> False() eqChar(D(),X()) -> False() eqChar(D(),Y()) -> False() eqChar(D(),Z()) -> False() eqChar(E(),A()) -> False() eqChar(E(),B()) -> False() eqChar(E(),C()) -> False() eqChar(E(),Cdot()) -> False() eqChar(E(),Clpar()) -> False() eqChar(E(),Crpar()) -> False() eqChar(E(),Cslash()) -> False() eqChar(E(),Cstar()) -> False() eqChar(E(),D()) -> False() eqChar(E(),E()) -> True() eqChar(E(),F()) -> False() eqChar(E(),G()) -> False() eqChar(E(),H()) -> False() eqChar(E(),I()) -> False() eqChar(E(),J()) -> False() eqChar(E(),K()) -> False() eqChar(E(),L()) -> False() eqChar(E(),M()) -> False() eqChar(E(),N()) -> False() eqChar(E(),O()) -> False() eqChar(E(),P()) -> False() eqChar(E(),Q()) -> False() eqChar(E(),R()) -> False() eqChar(E(),S()) -> False() eqChar(E(),T()) -> False() eqChar(E(),U()) -> False() eqChar(E(),V()) -> False() eqChar(E(),W()) -> False() eqChar(E(),X()) -> False() eqChar(E(),Y()) -> False() eqChar(E(),Z()) -> False() eqChar(F(),A()) -> False() eqChar(F(),B()) -> False() eqChar(F(),C()) -> False() eqChar(F(),Cdot()) -> False() eqChar(F(),Clpar()) -> False() eqChar(F(),Crpar()) -> False() eqChar(F(),Cslash()) -> False() eqChar(F(),Cstar()) -> False() eqChar(F(),D()) -> False() eqChar(F(),E()) -> False() eqChar(F(),F()) -> True() eqChar(F(),G()) -> False() eqChar(F(),H()) -> False() eqChar(F(),I()) -> False() eqChar(F(),J()) -> False() eqChar(F(),K()) -> False() eqChar(F(),L()) -> False() eqChar(F(),M()) -> False() eqChar(F(),N()) -> False() eqChar(F(),O()) -> False() eqChar(F(),P()) -> False() eqChar(F(),Q()) -> False() eqChar(F(),R()) -> False() eqChar(F(),S()) -> False() eqChar(F(),T()) -> False() eqChar(F(),U()) -> False() eqChar(F(),V()) -> False() eqChar(F(),W()) -> False() eqChar(F(),X()) -> False() eqChar(F(),Y()) -> False() eqChar(F(),Z()) -> False() eqChar(G(),A()) -> False() eqChar(G(),B()) -> False() eqChar(G(),C()) -> False() eqChar(G(),Cdot()) -> False() eqChar(G(),Clpar()) -> False() eqChar(G(),Crpar()) -> False() eqChar(G(),Cslash()) -> False() eqChar(G(),Cstar()) -> False() eqChar(G(),D()) -> False() eqChar(G(),E()) -> False() eqChar(G(),F()) -> False() eqChar(G(),G()) -> True() eqChar(G(),H()) -> False() eqChar(G(),I()) -> False() eqChar(G(),J()) -> False() eqChar(G(),K()) -> False() eqChar(G(),L()) -> False() eqChar(G(),M()) -> False() eqChar(G(),N()) -> False() eqChar(G(),O()) -> False() eqChar(G(),P()) -> False() eqChar(G(),Q()) -> False() eqChar(G(),R()) -> False() eqChar(G(),S()) -> False() eqChar(G(),T()) -> False() eqChar(G(),U()) -> False() eqChar(G(),V()) -> False() eqChar(G(),W()) -> False() eqChar(G(),X()) -> False() eqChar(G(),Y()) -> False() eqChar(G(),Z()) -> False() eqChar(H(),A()) -> False() eqChar(H(),B()) -> False() eqChar(H(),C()) -> False() eqChar(H(),Cdot()) -> False() eqChar(H(),Clpar()) -> False() eqChar(H(),Crpar()) -> False() eqChar(H(),Cslash()) -> False() eqChar(H(),Cstar()) -> False() eqChar(H(),D()) -> False() eqChar(H(),E()) -> False() eqChar(H(),F()) -> False() eqChar(H(),G()) -> False() eqChar(H(),H()) -> True() eqChar(H(),I()) -> False() eqChar(H(),J()) -> False() eqChar(H(),K()) -> False() eqChar(H(),L()) -> False() eqChar(H(),M()) -> False() eqChar(H(),N()) -> False() eqChar(H(),O()) -> False() eqChar(H(),P()) -> False() eqChar(H(),Q()) -> False() eqChar(H(),R()) -> False() eqChar(H(),S()) -> False() eqChar(H(),T()) -> False() eqChar(H(),U()) -> False() eqChar(H(),V()) -> False() eqChar(H(),W()) -> False() eqChar(H(),X()) -> False() eqChar(H(),Y()) -> False() eqChar(H(),Z()) -> False() eqChar(I(),A()) -> False() eqChar(I(),B()) -> False() eqChar(I(),C()) -> False() eqChar(I(),Cdot()) -> False() eqChar(I(),Clpar()) -> False() eqChar(I(),Crpar()) -> False() eqChar(I(),Cslash()) -> False() eqChar(I(),Cstar()) -> False() eqChar(I(),D()) -> False() eqChar(I(),E()) -> False() eqChar(I(),F()) -> False() eqChar(I(),G()) -> False() eqChar(I(),H()) -> False() eqChar(I(),I()) -> True() eqChar(I(),J()) -> False() eqChar(I(),K()) -> False() eqChar(I(),L()) -> False() eqChar(I(),M()) -> False() eqChar(I(),N()) -> False() eqChar(I(),O()) -> False() eqChar(I(),P()) -> False() eqChar(I(),Q()) -> False() eqChar(I(),R()) -> False() eqChar(I(),S()) -> False() eqChar(I(),T()) -> False() eqChar(I(),U()) -> False() eqChar(I(),V()) -> False() eqChar(I(),W()) -> False() eqChar(I(),X()) -> False() eqChar(I(),Y()) -> False() eqChar(I(),Z()) -> False() eqChar(J(),A()) -> False() eqChar(J(),B()) -> False() eqChar(J(),C()) -> False() eqChar(J(),Cdot()) -> False() eqChar(J(),Clpar()) -> False() eqChar(J(),Crpar()) -> False() eqChar(J(),Cslash()) -> False() eqChar(J(),Cstar()) -> False() eqChar(J(),D()) -> False() eqChar(J(),E()) -> False() eqChar(J(),F()) -> False() eqChar(J(),G()) -> False() eqChar(J(),H()) -> False() eqChar(J(),I()) -> False() eqChar(J(),J()) -> True() eqChar(J(),K()) -> False() eqChar(J(),L()) -> False() eqChar(J(),M()) -> False() eqChar(J(),N()) -> False() eqChar(J(),O()) -> False() eqChar(J(),P()) -> False() eqChar(J(),Q()) -> False() eqChar(J(),R()) -> False() eqChar(J(),S()) -> False() eqChar(J(),T()) -> False() eqChar(J(),U()) -> False() eqChar(J(),V()) -> False() eqChar(J(),W()) -> False() eqChar(J(),X()) -> False() eqChar(J(),Y()) -> False() eqChar(J(),Z()) -> False() eqChar(K(),A()) -> False() eqChar(K(),B()) -> False() eqChar(K(),C()) -> False() eqChar(K(),Cdot()) -> False() eqChar(K(),Clpar()) -> False() eqChar(K(),Crpar()) -> False() eqChar(K(),Cslash()) -> False() eqChar(K(),Cstar()) -> False() eqChar(K(),D()) -> False() eqChar(K(),E()) -> False() eqChar(K(),F()) -> False() eqChar(K(),G()) -> False() eqChar(K(),H()) -> False() eqChar(K(),I()) -> False() eqChar(K(),J()) -> False() eqChar(K(),K()) -> True() eqChar(K(),L()) -> False() eqChar(K(),M()) -> False() eqChar(K(),N()) -> False() eqChar(K(),O()) -> False() eqChar(K(),P()) -> False() eqChar(K(),Q()) -> False() eqChar(K(),R()) -> False() eqChar(K(),S()) -> False() eqChar(K(),T()) -> False() eqChar(K(),U()) -> False() eqChar(K(),V()) -> False() eqChar(K(),W()) -> False() eqChar(K(),X()) -> False() eqChar(K(),Y()) -> False() eqChar(K(),Z()) -> False() eqChar(L(),A()) -> False() eqChar(L(),B()) -> False() eqChar(L(),C()) -> False() eqChar(L(),Cdot()) -> False() eqChar(L(),Clpar()) -> False() eqChar(L(),Crpar()) -> False() eqChar(L(),Cslash()) -> False() eqChar(L(),Cstar()) -> False() eqChar(L(),D()) -> False() eqChar(L(),E()) -> False() eqChar(L(),F()) -> False() eqChar(L(),G()) -> False() eqChar(L(),H()) -> False() eqChar(L(),I()) -> False() eqChar(L(),J()) -> False() eqChar(L(),K()) -> False() eqChar(L(),L()) -> True() eqChar(L(),M()) -> False() eqChar(L(),N()) -> False() eqChar(L(),O()) -> False() eqChar(L(),P()) -> False() eqChar(L(),Q()) -> False() eqChar(L(),R()) -> False() eqChar(L(),S()) -> False() eqChar(L(),T()) -> False() eqChar(L(),U()) -> False() eqChar(L(),V()) -> False() eqChar(L(),W()) -> False() eqChar(L(),X()) -> False() eqChar(L(),Y()) -> False() eqChar(L(),Z()) -> False() eqChar(M(),A()) -> False() eqChar(M(),B()) -> False() eqChar(M(),C()) -> False() eqChar(M(),Cdot()) -> False() eqChar(M(),Clpar()) -> False() eqChar(M(),Crpar()) -> False() eqChar(M(),Cslash()) -> False() eqChar(M(),Cstar()) -> False() eqChar(M(),D()) -> False() eqChar(M(),E()) -> False() eqChar(M(),F()) -> False() eqChar(M(),G()) -> False() eqChar(M(),H()) -> False() eqChar(M(),I()) -> False() eqChar(M(),J()) -> False() eqChar(M(),K()) -> False() eqChar(M(),L()) -> False() eqChar(M(),M()) -> True() eqChar(M(),N()) -> False() eqChar(M(),O()) -> False() eqChar(M(),P()) -> False() eqChar(M(),Q()) -> False() eqChar(M(),R()) -> False() eqChar(M(),S()) -> False() eqChar(M(),T()) -> False() eqChar(M(),U()) -> False() eqChar(M(),V()) -> False() eqChar(M(),W()) -> False() eqChar(M(),X()) -> False() eqChar(M(),Y()) -> False() eqChar(M(),Z()) -> False() eqChar(N(),A()) -> False() eqChar(N(),B()) -> False() eqChar(N(),C()) -> False() eqChar(N(),Cdot()) -> False() eqChar(N(),Clpar()) -> False() eqChar(N(),Crpar()) -> False() eqChar(N(),Cslash()) -> False() eqChar(N(),Cstar()) -> False() eqChar(N(),D()) -> False() eqChar(N(),E()) -> False() eqChar(N(),F()) -> False() eqChar(N(),G()) -> False() eqChar(N(),H()) -> False() eqChar(N(),I()) -> False() eqChar(N(),J()) -> False() eqChar(N(),K()) -> False() eqChar(N(),L()) -> False() eqChar(N(),M()) -> False() eqChar(N(),N()) -> True() eqChar(N(),O()) -> False() eqChar(N(),P()) -> False() eqChar(N(),Q()) -> False() eqChar(N(),R()) -> False() eqChar(N(),S()) -> False() eqChar(N(),T()) -> False() eqChar(N(),U()) -> False() eqChar(N(),V()) -> False() eqChar(N(),W()) -> False() eqChar(N(),X()) -> False() eqChar(N(),Y()) -> False() eqChar(N(),Z()) -> False() eqChar(O(),A()) -> False() eqChar(O(),B()) -> False() eqChar(O(),C()) -> False() eqChar(O(),Cdot()) -> False() eqChar(O(),Clpar()) -> False() eqChar(O(),Crpar()) -> False() eqChar(O(),Cslash()) -> False() eqChar(O(),Cstar()) -> False() eqChar(O(),D()) -> False() eqChar(O(),E()) -> False() eqChar(O(),F()) -> False() eqChar(O(),G()) -> False() eqChar(O(),H()) -> False() eqChar(O(),I()) -> False() eqChar(O(),J()) -> False() eqChar(O(),K()) -> False() eqChar(O(),L()) -> False() eqChar(O(),M()) -> False() eqChar(O(),N()) -> False() eqChar(O(),O()) -> True() eqChar(O(),P()) -> False() eqChar(O(),Q()) -> False() eqChar(O(),R()) -> False() eqChar(O(),S()) -> False() eqChar(O(),T()) -> False() eqChar(O(),U()) -> False() eqChar(O(),V()) -> False() eqChar(O(),W()) -> False() eqChar(O(),X()) -> False() eqChar(O(),Y()) -> False() eqChar(O(),Z()) -> False() eqChar(P(),A()) -> False() eqChar(P(),B()) -> False() eqChar(P(),C()) -> False() eqChar(P(),Cdot()) -> False() eqChar(P(),Clpar()) -> False() eqChar(P(),Crpar()) -> False() eqChar(P(),Cslash()) -> False() eqChar(P(),Cstar()) -> False() eqChar(P(),D()) -> False() eqChar(P(),E()) -> False() eqChar(P(),F()) -> False() eqChar(P(),G()) -> False() eqChar(P(),H()) -> False() eqChar(P(),I()) -> False() eqChar(P(),J()) -> False() eqChar(P(),K()) -> False() eqChar(P(),L()) -> False() eqChar(P(),M()) -> False() eqChar(P(),N()) -> False() eqChar(P(),O()) -> False() eqChar(P(),P()) -> True() eqChar(P(),Q()) -> False() eqChar(P(),R()) -> False() eqChar(P(),S()) -> False() eqChar(P(),T()) -> False() eqChar(P(),U()) -> False() eqChar(P(),V()) -> False() eqChar(P(),W()) -> False() eqChar(P(),X()) -> False() eqChar(P(),Y()) -> False() eqChar(P(),Z()) -> False() eqChar(Q(),A()) -> False() eqChar(Q(),B()) -> False() eqChar(Q(),C()) -> False() eqChar(Q(),Cdot()) -> False() eqChar(Q(),Clpar()) -> False() eqChar(Q(),Crpar()) -> False() eqChar(Q(),Cslash()) -> False() eqChar(Q(),Cstar()) -> False() eqChar(Q(),D()) -> False() eqChar(Q(),E()) -> False() eqChar(Q(),F()) -> False() eqChar(Q(),G()) -> False() eqChar(Q(),H()) -> False() eqChar(Q(),I()) -> False() eqChar(Q(),J()) -> False() eqChar(Q(),K()) -> False() eqChar(Q(),L()) -> False() eqChar(Q(),M()) -> False() eqChar(Q(),N()) -> False() eqChar(Q(),O()) -> False() eqChar(Q(),P()) -> False() eqChar(Q(),Q()) -> True() eqChar(Q(),R()) -> False() eqChar(Q(),S()) -> False() eqChar(Q(),T()) -> False() eqChar(Q(),U()) -> False() eqChar(Q(),V()) -> False() eqChar(Q(),W()) -> False() eqChar(Q(),X()) -> False() eqChar(Q(),Y()) -> False() eqChar(Q(),Z()) -> False() eqChar(R(),A()) -> False() eqChar(R(),B()) -> False() eqChar(R(),C()) -> False() eqChar(R(),Cdot()) -> False() eqChar(R(),Clpar()) -> False() eqChar(R(),Crpar()) -> False() eqChar(R(),Cslash()) -> False() eqChar(R(),Cstar()) -> False() eqChar(R(),D()) -> False() eqChar(R(),E()) -> False() eqChar(R(),F()) -> False() eqChar(R(),G()) -> False() eqChar(R(),H()) -> False() eqChar(R(),I()) -> False() eqChar(R(),J()) -> False() eqChar(R(),K()) -> False() eqChar(R(),L()) -> False() eqChar(R(),M()) -> False() eqChar(R(),N()) -> False() eqChar(R(),O()) -> False() eqChar(R(),P()) -> False() eqChar(R(),Q()) -> False() eqChar(R(),R()) -> True() eqChar(R(),S()) -> False() eqChar(R(),T()) -> False() eqChar(R(),U()) -> False() eqChar(R(),V()) -> False() eqChar(R(),W()) -> False() eqChar(R(),X()) -> False() eqChar(R(),Y()) -> False() eqChar(R(),Z()) -> False() eqChar(S(),A()) -> False() eqChar(S(),B()) -> False() eqChar(S(),C()) -> False() eqChar(S(),Cdot()) -> False() eqChar(S(),Clpar()) -> False() eqChar(S(),Crpar()) -> False() eqChar(S(),Cslash()) -> False() eqChar(S(),Cstar()) -> False() eqChar(S(),D()) -> False() eqChar(S(),E()) -> False() eqChar(S(),F()) -> False() eqChar(S(),G()) -> False() eqChar(S(),H()) -> False() eqChar(S(),I()) -> False() eqChar(S(),J()) -> False() eqChar(S(),K()) -> False() eqChar(S(),L()) -> False() eqChar(S(),M()) -> False() eqChar(S(),N()) -> False() eqChar(S(),O()) -> False() eqChar(S(),P()) -> False() eqChar(S(),Q()) -> False() eqChar(S(),R()) -> False() eqChar(S(),S()) -> True() eqChar(S(),T()) -> False() eqChar(S(),U()) -> False() eqChar(S(),V()) -> False() eqChar(S(),W()) -> False() eqChar(S(),X()) -> False() eqChar(S(),Y()) -> False() eqChar(S(),Z()) -> False() eqChar(T(),A()) -> False() eqChar(T(),B()) -> False() eqChar(T(),C()) -> False() eqChar(T(),Cdot()) -> False() eqChar(T(),Clpar()) -> False() eqChar(T(),Crpar()) -> False() eqChar(T(),Cslash()) -> False() eqChar(T(),Cstar()) -> False() eqChar(T(),D()) -> False() eqChar(T(),E()) -> False() eqChar(T(),F()) -> False() eqChar(T(),G()) -> False() eqChar(T(),H()) -> False() eqChar(T(),I()) -> False() eqChar(T(),J()) -> False() eqChar(T(),K()) -> False() eqChar(T(),L()) -> False() eqChar(T(),M()) -> False() eqChar(T(),N()) -> False() eqChar(T(),O()) -> False() eqChar(T(),P()) -> False() eqChar(T(),Q()) -> False() eqChar(T(),R()) -> False() eqChar(T(),S()) -> False() eqChar(T(),T()) -> True() eqChar(T(),U()) -> False() eqChar(T(),V()) -> False() eqChar(T(),W()) -> False() eqChar(T(),X()) -> False() eqChar(T(),Y()) -> False() eqChar(T(),Z()) -> False() eqChar(U(),A()) -> False() eqChar(U(),B()) -> False() eqChar(U(),C()) -> False() eqChar(U(),Cdot()) -> False() eqChar(U(),Clpar()) -> False() eqChar(U(),Crpar()) -> False() eqChar(U(),Cslash()) -> False() eqChar(U(),Cstar()) -> False() eqChar(U(),D()) -> False() eqChar(U(),E()) -> False() eqChar(U(),F()) -> False() eqChar(U(),G()) -> False() eqChar(U(),H()) -> False() eqChar(U(),I()) -> False() eqChar(U(),J()) -> False() eqChar(U(),K()) -> False() eqChar(U(),L()) -> False() eqChar(U(),M()) -> False() eqChar(U(),N()) -> False() eqChar(U(),O()) -> False() eqChar(U(),P()) -> False() eqChar(U(),Q()) -> False() eqChar(U(),R()) -> False() eqChar(U(),S()) -> False() eqChar(U(),T()) -> False() eqChar(U(),U()) -> True() eqChar(U(),V()) -> False() eqChar(U(),W()) -> False() eqChar(U(),X()) -> False() eqChar(U(),Y()) -> False() eqChar(U(),Z()) -> False() eqChar(V(),A()) -> False() eqChar(V(),B()) -> False() eqChar(V(),C()) -> False() eqChar(V(),Cdot()) -> False() eqChar(V(),Clpar()) -> False() eqChar(V(),Crpar()) -> False() eqChar(V(),Cslash()) -> False() eqChar(V(),Cstar()) -> False() eqChar(V(),D()) -> False() eqChar(V(),E()) -> False() eqChar(V(),F()) -> False() eqChar(V(),G()) -> False() eqChar(V(),H()) -> False() eqChar(V(),I()) -> False() eqChar(V(),J()) -> False() eqChar(V(),K()) -> False() eqChar(V(),L()) -> False() eqChar(V(),M()) -> False() eqChar(V(),N()) -> False() eqChar(V(),O()) -> False() eqChar(V(),P()) -> False() eqChar(V(),Q()) -> False() eqChar(V(),R()) -> False() eqChar(V(),S()) -> False() eqChar(V(),T()) -> False() eqChar(V(),U()) -> False() eqChar(V(),V()) -> True() eqChar(V(),W()) -> False() eqChar(V(),X()) -> False() eqChar(V(),Y()) -> False() eqChar(V(),Z()) -> False() eqChar(W(),A()) -> False() eqChar(W(),B()) -> False() eqChar(W(),C()) -> False() eqChar(W(),Cdot()) -> False() eqChar(W(),Clpar()) -> False() eqChar(W(),Crpar()) -> False() eqChar(W(),Cslash()) -> False() eqChar(W(),Cstar()) -> False() eqChar(W(),D()) -> False() eqChar(W(),E()) -> False() eqChar(W(),F()) -> False() eqChar(W(),G()) -> False() eqChar(W(),H()) -> False() eqChar(W(),I()) -> False() eqChar(W(),J()) -> False() eqChar(W(),K()) -> False() eqChar(W(),L()) -> False() eqChar(W(),M()) -> False() eqChar(W(),N()) -> False() eqChar(W(),O()) -> False() eqChar(W(),P()) -> False() eqChar(W(),Q()) -> False() eqChar(W(),R()) -> False() eqChar(W(),S()) -> False() eqChar(W(),T()) -> False() eqChar(W(),U()) -> False() eqChar(W(),V()) -> False() eqChar(W(),W()) -> True() eqChar(W(),X()) -> False() eqChar(W(),Y()) -> False() eqChar(W(),Z()) -> False() eqChar(X(),A()) -> False() eqChar(X(),B()) -> False() eqChar(X(),C()) -> False() eqChar(X(),Cdot()) -> False() eqChar(X(),Clpar()) -> False() eqChar(X(),Crpar()) -> False() eqChar(X(),Cslash()) -> False() eqChar(X(),Cstar()) -> False() eqChar(X(),D()) -> False() eqChar(X(),E()) -> False() eqChar(X(),F()) -> False() eqChar(X(),G()) -> False() eqChar(X(),H()) -> False() eqChar(X(),I()) -> False() eqChar(X(),J()) -> False() eqChar(X(),K()) -> False() eqChar(X(),L()) -> False() eqChar(X(),M()) -> False() eqChar(X(),N()) -> False() eqChar(X(),O()) -> False() eqChar(X(),P()) -> False() eqChar(X(),Q()) -> False() eqChar(X(),R()) -> False() eqChar(X(),S()) -> False() eqChar(X(),T()) -> False() eqChar(X(),U()) -> False() eqChar(X(),V()) -> False() eqChar(X(),W()) -> False() eqChar(X(),X()) -> True() eqChar(X(),Y()) -> False() eqChar(X(),Z()) -> False() eqChar(Y(),A()) -> False() eqChar(Y(),B()) -> False() eqChar(Y(),C()) -> False() eqChar(Y(),Cdot()) -> False() eqChar(Y(),Clpar()) -> False() eqChar(Y(),Crpar()) -> False() eqChar(Y(),Cslash()) -> False() eqChar(Y(),Cstar()) -> False() eqChar(Y(),D()) -> False() eqChar(Y(),E()) -> False() eqChar(Y(),F()) -> False() eqChar(Y(),G()) -> False() eqChar(Y(),H()) -> False() eqChar(Y(),I()) -> False() eqChar(Y(),J()) -> False() eqChar(Y(),K()) -> False() eqChar(Y(),L()) -> False() eqChar(Y(),M()) -> False() eqChar(Y(),N()) -> False() eqChar(Y(),O()) -> False() eqChar(Y(),P()) -> False() eqChar(Y(),Q()) -> False() eqChar(Y(),R()) -> False() eqChar(Y(),S()) -> False() eqChar(Y(),T()) -> False() eqChar(Y(),U()) -> False() eqChar(Y(),V()) -> False() eqChar(Y(),W()) -> False() eqChar(Y(),X()) -> False() eqChar(Y(),Y()) -> True() eqChar(Y(),Z()) -> False() eqChar(Z(),A()) -> False() eqChar(Z(),B()) -> False() eqChar(Z(),C()) -> False() eqChar(Z(),Cdot()) -> False() eqChar(Z(),Clpar()) -> False() eqChar(Z(),Crpar()) -> False() eqChar(Z(),Cslash()) -> False() eqChar(Z(),Cstar()) -> False() eqChar(Z(),D()) -> False() eqChar(Z(),E()) -> False() eqChar(Z(),F()) -> False() eqChar(Z(),G()) -> False() eqChar(Z(),H()) -> False() eqChar(Z(),I()) -> False() eqChar(Z(),J()) -> False() eqChar(Z(),K()) -> False() eqChar(Z(),L()) -> False() eqChar(Z(),M()) -> False() eqChar(Z(),N()) -> False() eqChar(Z(),O()) -> False() eqChar(Z(),P()) -> False() eqChar(Z(),Q()) -> False() eqChar(Z(),R()) -> False() eqChar(Z(),S()) -> False() eqChar(Z(),T()) -> False() eqChar(Z(),U()) -> False() eqChar(Z(),V()) -> False() eqChar(Z(),W()) -> False() eqChar(Z(),X()) -> False() eqChar(Z(),Y()) -> False() eqChar(Z(),Z()) -> True() isSpecialChar(A(),cs) -> False() isSpecialChar(B(),cs) -> False() isSpecialChar(C(),cs) -> False() isSpecialChar(Cdot(),Cdot()) -> True() isSpecialChar(Cdot(),Clpar()) -> False() isSpecialChar(Cdot(),Crpar()) -> False() isSpecialChar(Cdot(),Cslash()) -> False() isSpecialChar(Cdot(),Cstar()) -> False() isSpecialChar(Clpar(),Cdot()) -> False() isSpecialChar(Clpar(),Clpar()) -> True() isSpecialChar(Clpar(),Crpar()) -> False() isSpecialChar(Clpar(),Cslash()) -> False() isSpecialChar(Clpar(),Cstar()) -> False() isSpecialChar(Crpar(),Cdot()) -> False() isSpecialChar(Crpar(),Clpar()) -> False() isSpecialChar(Crpar(),Crpar()) -> True() isSpecialChar(Crpar(),Cslash()) -> False() isSpecialChar(Crpar(),Cstar()) -> False() isSpecialChar(Cslash(),Cdot()) -> False() isSpecialChar(Cslash(),Clpar()) -> False() isSpecialChar(Cslash(),Crpar()) -> False() isSpecialChar(Cslash(),Cslash()) -> True() isSpecialChar(Cslash(),Cstar()) -> False() isSpecialChar(Cstar(),Cdot()) -> False() isSpecialChar(Cstar(),Clpar()) -> False() isSpecialChar(Cstar(),Crpar()) -> False() isSpecialChar(Cstar(),Cslash()) -> False() isSpecialChar(Cstar(),Cstar()) -> True() isSpecialChar(D(),cs) -> False() isSpecialChar(E(),cs) -> False() isSpecialChar(F(),cs) -> False() isSpecialChar(G(),cs) -> False() isSpecialChar(H(),cs) -> False() isSpecialChar(I(),cs) -> False() isSpecialChar(J(),cs) -> False() isSpecialChar(K(),cs) -> False() isSpecialChar(L(),cs) -> False() isSpecialChar(M(),cs) -> False() isSpecialChar(N(),cs) -> False() isSpecialChar(O(),cs) -> False() isSpecialChar(P(),cs) -> False() isSpecialChar(Q(),cs) -> False() isSpecialChar(R(),cs) -> False() isSpecialChar(S(),cs) -> False() isSpecialChar(T(),cs) -> False() isSpecialChar(U(),cs) -> False() isSpecialChar(V(),cs) -> False() isSpecialChar(W(),cs) -> False() isSpecialChar(X(),cs) -> False() isSpecialChar(Y(),cs) -> False() isSpecialChar(Z(),cs) -> False() liststring(x) -> x notEmpty(Cons(x,xs)) -> True() notEmpty(Nil()) -> False() parsep(Cons(A(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(A(),xs),seq,stack) parsep(Cons(B(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(B(),xs),seq,stack) parsep(Cons(C(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(C(),xs),seq,stack) parsep(Cons(Cdot(),xs),seq,stack) -> parsepdot(Cons(Cdot(),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(Cslash(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False() ,Cons(Cslash(),xs) ,seq ,stack) parsep(Cons(Cstar(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](True(),Cons(Cstar(),xs),seq,stack) parsep(Cons(D(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(D(),xs),seq,stack) parsep(Cons(E(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(E(),xs),seq,stack) parsep(Cons(F(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(F(),xs),seq,stack) parsep(Cons(G(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(G(),xs),seq,stack) parsep(Cons(H(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(H(),xs),seq,stack) parsep(Cons(I(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(I(),xs),seq,stack) parsep(Cons(J(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(J(),xs),seq,stack) parsep(Cons(K(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(K(),xs),seq,stack) parsep(Cons(L(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(L(),xs),seq,stack) parsep(Cons(M(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(M(),xs),seq,stack) parsep(Cons(N(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(N(),xs),seq,stack) parsep(Cons(O(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(O(),xs),seq,stack) parsep(Cons(P(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(P(),xs),seq,stack) parsep(Cons(Q(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(Q(),xs),seq,stack) parsep(Cons(R(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(R(),xs),seq,stack) parsep(Cons(S(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(S(),xs),seq,stack) parsep(Cons(T(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(T(),xs),seq,stack) parsep(Cons(U(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(U(),xs),seq,stack) parsep(Cons(V(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(V(),xs),seq,stack) parsep(Cons(W(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(W(),xs),seq,stack) parsep(Cons(X(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(X(),xs),seq,stack) parsep(Cons(Y(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(Y(),xs),seq,stack) parsep(Cons(Z(),xs),seq,stack) -> parsep[Ite][True][Ite][False][Ite](False(),Cons(Z(),xs),seq,stack) parsep(Nil(),seq,Cons(x,xs)) -> Error() parsep(Nil(),seq,Nil()) -> parsep[Ite][False][Ite][False][Match](Nil(),Nil(),seq) parsepat(x) -> parsep(x,Pseq(Nil()),Nil()) 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) parsepcloseb(patchars,seq,Nil()) -> Error() 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) parsepdot(Cons(x,xs'),Pseq(xs),stack) -> parsep(xs',Pseq(Cons(Pdot(),xs)),stack) parsepopenb(Cons(x,xs),seq,stack) -> parsep(xs,Pseq(Nil()),Cons(seq,stack)) parsepstar(Cons(x,xs),seq,Nil()) -> parsep(xs,Pseq(Cons(Pchar(Cstar()),Nil())),Nil()) parsepstar(Cons(x',xs'),Pseq(Cons(x,xs)),Cons(x'',xs'')) -> parsep(xs' ,Pseq(Cons(Pstar(x),xs)) ,Cons(x'',xs'')) rematch(patstr,x) -> rematch[Let](patstr,x,domatch(parsepat(patstr),x)) reverse(Cons(c,cs)) -> @(reverse(cs),Cons(c,Nil())) reverse(Nil()) -> Nil() stringlist(x) -> x - Weak TRS: 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()) 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()) rematch[Let](patstr,str,Cons(x,xs)) -> @(liststring(reverse(Cons(x,xs))),Cons(x,xs)) rematch[Let](patstr,str,Nil()) -> Nil() - Signature: {@/2,domatch/2,domatchchar/2,domatchdot/1,domatchseq/3,domatchseq[Ite][True][Let]/4,domatchstar/3 ,domatchstar[Ite][True][Let]/4,dummy/1,eqChar/2,isSpecialChar/2,liststring/1,notEmpty/1,parsep/3,parsepat/1 ,parsepchar/3,parsepcloseb/3,parsepdot/3,parsepopenb/3,parsepstar/3,rematch/2,rematch[Let]/3,reverse/1 ,stringlist/1} / {A/0,B/0,C/0,Cdot/0,Clpar/0,Cons/2,Crpar/0,Cslash/0,Cstar/0,D/0,E/0,EmptyP/0,Error/0,F/0 ,False/0,G/0,H/0,I/0,J/0,K/0,L/0,M/0,N/0,Nil/0,O/0,P/0,Pchar/1,Pdot/0,Pseq/1,Pstar/1,Q/0,R/0,S/0,T/0,True/0 ,U/0,V/0,W/0,X/0,Y/0,Z/0,domatchseq[Ite][True][Let][Ite]/5,domatchstar[Ite][True][Let][Ite]/5 ,parsep[Ite][False][Ite][False][Match]/3,parsep[Ite][True][Ite][False][Ite]/4 ,parsepcloseb[Ite][True][Match][Pseq][Match]/4} - Obligation: innermost runtime complexity wrt. defined symbols {@,domatch,domatchchar,domatchdot,domatchseq ,domatchseq[Ite][True][Let],domatchstar,domatchstar[Ite][True][Let],dummy,eqChar,isSpecialChar,liststring ,notEmpty,parsep,parsepat,parsepchar,parsepcloseb,parsepdot,parsepopenb,parsepstar,rematch,rematch[Let] ,reverse,stringlist} and constructors {A,B,C,Cdot,Clpar,Cons,Crpar,Cslash,Cstar,D,E,EmptyP,Error,F,False,G,H ,I,J,K,L,M,N,Nil,O,P,Pchar,Pdot,Pseq,Pstar,Q,R,S,T,True,U,V,W,X,Y,Z,domatchseq[Ite][True][Let][Ite] ,domatchstar[Ite][True][Let][Ite],parsep[Ite][False][Ite][False][Match],parsep[Ite][True][Ite][False][Ite] ,parsepcloseb[Ite][True][Match][Pseq][Match]} + Applied Processor: NaturalMI {miDimension = 3, miDegree = 3, miKind = Algebraic, uargs = UArgs, urules = URules, selector = Nothing} + Details: Incompatible MAYBE