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