692.72/299.37	MAYBE
692.72/299.37	
692.72/299.37	Problem:
692.72/299.37	 strict:
692.72/299.37	  p(s(x)) -> x
692.72/299.37	  fac(0()) -> s(0())
692.72/299.37	  fac(s(x)) -> times(s(x),fac(p(s(x))))
692.72/299.37	 weak:
692.72/299.37	  rand(x) -> x
692.72/299.37	  rand(x) -> rand(s(x))
692.72/299.37	
692.72/299.37	Proof:
692.72/299.37	 Open
692.72/299.38	EOF