MAYBE
64.29/18.48	MAYBE
64.29/18.48	
64.29/18.48	Problem:
64.29/18.48	 a__and(tt(),X) -> mark(X)
64.29/18.48	 a__plus(N,0()) -> mark(N)
64.29/18.48	 a__plus(N,s(M)) -> s(a__plus(mark(N),mark(M)))
64.29/18.48	 mark(and(X1,X2)) -> a__and(mark(X1),X2)
64.29/18.48	 mark(plus(X1,X2)) -> a__plus(mark(X1),mark(X2))
64.29/18.48	 mark(tt()) -> tt()
64.29/18.48	 mark(0()) -> 0()
64.29/18.48	 mark(s(X)) -> s(mark(X))
64.29/18.48	 a__and(X1,X2) -> and(X1,X2)
64.29/18.48	 a__plus(X1,X2) -> plus(X1,X2)
64.29/18.48	
64.29/18.48	Proof:
64.29/18.48	 Open
64.29/18.49	EOF