MAYBE
74.87/22.39	MAYBE
74.87/22.39	
74.87/22.39	Problem:
74.87/22.39	 __(__(X,Y),Z) -> __(X,__(Y,Z))
74.87/22.39	 __(X,nil()) -> X
74.87/22.39	 __(nil(),X) -> X
74.87/22.39	 U11(tt()) -> tt()
74.87/22.39	 U21(tt(),V2) -> U22(isList(activate(V2)))
74.87/22.39	 U22(tt()) -> tt()
74.87/22.39	 U31(tt()) -> tt()
74.87/22.39	 U41(tt(),V2) -> U42(isNeList(activate(V2)))
74.87/22.39	 U42(tt()) -> tt()
74.87/22.39	 U51(tt(),V2) -> U52(isList(activate(V2)))
74.87/22.39	 U52(tt()) -> tt()
74.87/22.39	 U61(tt()) -> tt()
74.87/22.39	 U71(tt(),P) -> U72(isPal(activate(P)))
74.87/22.39	 U72(tt()) -> tt()
74.87/22.39	 U81(tt()) -> tt()
74.87/22.39	 isList(V) -> U11(isNeList(activate(V)))
74.87/22.39	 isList(n__nil()) -> tt()
74.87/22.39	 isList(n____(V1,V2)) -> U21(isList(activate(V1)),activate(V2))
74.87/22.39	 isNeList(V) -> U31(isQid(activate(V)))
74.87/22.39	 isNeList(n____(V1,V2)) -> U41(isList(activate(V1)),activate(V2))
74.87/22.39	 isNeList(n____(V1,V2)) -> U51(isNeList(activate(V1)),activate(V2))
74.87/22.39	 isNePal(V) -> U61(isQid(activate(V)))
74.87/22.39	 isNePal(n____(I,n____(P,I))) -> U71(isQid(activate(I)),activate(P))
74.87/22.39	 isPal(V) -> U81(isNePal(activate(V)))
74.87/22.39	 isPal(n__nil()) -> tt()
74.87/22.39	 isQid(n__a()) -> tt()
74.87/22.39	 isQid(n__e()) -> tt()
74.87/22.39	 isQid(n__i()) -> tt()
74.87/22.39	 isQid(n__o()) -> tt()
74.87/22.39	 isQid(n__u()) -> tt()
74.87/22.39	 nil() -> n__nil()
74.87/22.39	 __(X1,X2) -> n____(X1,X2)
74.87/22.39	 a() -> n__a()
74.87/22.39	 e() -> n__e()
74.87/22.39	 i() -> n__i()
74.87/22.39	 o() -> n__o()
74.87/22.39	 u() -> n__u()
74.87/22.39	 activate(n__nil()) -> nil()
74.87/22.39	 activate(n____(X1,X2)) -> __(activate(X1),activate(X2))
74.87/22.39	 activate(n__a()) -> a()
74.87/22.39	 activate(n__e()) -> e()
74.87/22.39	 activate(n__i()) -> i()
74.87/22.39	 activate(n__o()) -> o()
74.87/22.39	 activate(n__u()) -> u()
74.87/22.39	 activate(X) -> X
74.87/22.39	
74.87/22.39	Proof:
74.87/22.39	 Open
75.19/22.40	EOF