MAYBE
0.07/0.19	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 from(X) -> cons(X,n__from(n__s(X)))
0.07/0.19	 sel(0(),cons(X,XS)) -> X
0.07/0.19	 sel(s(N),cons(X,XS)) -> sel(N,activate(XS))
0.07/0.19	 minus(X,0()) -> 0()
0.07/0.19	 minus(s(X),s(Y)) -> minus(X,Y)
0.07/0.19	 quot(0(),s(Y)) -> 0()
0.07/0.19	 quot(s(X),s(Y)) -> s(quot(minus(X,Y),s(Y)))
0.07/0.19	 zWquot(XS,nil()) -> nil()
0.07/0.19	 zWquot(nil(),XS) -> nil()
0.07/0.19	 zWquot(cons(X,XS),cons(Y,YS)) -> cons(quot(X,Y),n__zWquot(activate(XS),activate(YS)))
0.07/0.19	 from(X) -> n__from(X)
0.07/0.19	 s(X) -> n__s(X)
0.07/0.19	 zWquot(X1,X2) -> n__zWquot(X1,X2)
0.07/0.19	 activate(n__from(X)) -> from(activate(X))
0.07/0.19	 activate(n__s(X)) -> s(activate(X))
0.07/0.19	 activate(n__zWquot(X1,X2)) -> zWquot(activate(X1),activate(X2))
0.07/0.19	 activate(X) -> X
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF