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