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