692.17/299.38	MAYBE
692.17/299.38	
692.17/299.38	Problem:
692.17/299.38	 strict:
692.17/299.38	  minus(x,0()) -> x
692.17/299.38	  minus(s(x),s(y)) -> minus(x,y)
692.17/299.38	  quot(0(),s(y)) -> 0()
692.17/299.38	  quot(s(x),s(y)) -> s(quot(minus(x,y),s(y)))
692.17/299.38	 weak:
692.17/299.38	  rand(x) -> x
692.17/299.38	  rand(x) -> rand(s(x))
692.17/299.38	
692.17/299.38	Proof:
692.17/299.38	 Open
692.17/299.38	EOF