MAYBE 62.25/17.00 MAYBE 62.25/17.00 62.25/17.00 Problem: 62.25/17.00 a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z))) 62.25/17.00 a____(X,nil()) -> mark(X) 62.25/17.00 a____(nil(),X) -> mark(X) 62.25/17.00 a__U11(tt()) -> a__U12(tt()) 62.25/17.00 a__U12(tt()) -> tt() 62.25/17.00 a__isNePal(__(I,__(P,I))) -> a__U11(tt()) 62.25/17.00 mark(__(X1,X2)) -> a____(mark(X1),mark(X2)) 62.25/17.00 mark(U11(X)) -> a__U11(mark(X)) 62.25/17.00 mark(U12(X)) -> a__U12(mark(X)) 62.25/17.00 mark(isNePal(X)) -> a__isNePal(mark(X)) 62.25/17.00 mark(nil()) -> nil() 62.25/17.00 mark(tt()) -> tt() 62.25/17.00 a____(X1,X2) -> __(X1,X2) 62.25/17.00 a__U11(X) -> U11(X) 62.25/17.00 a__U12(X) -> U12(X) 62.25/17.00 a__isNePal(X) -> isNePal(X) 62.25/17.00 62.25/17.00 Proof: 62.25/17.00 Open 62.25/17.01 EOF