MAYBE
37.49/10.19	MAYBE
37.49/10.19	
37.49/10.19	Problem:
37.49/10.19	 a(f(),0()) -> a(s(),0())
37.49/10.19	 a(d(),0()) -> 0()
37.49/10.19	 a(d(),a(s(),x)) -> a(s(),a(s(),a(d(),a(p(),a(s(),x)))))
37.49/10.19	 a(f(),a(s(),x)) -> a(d(),a(f(),a(p(),a(s(),x))))
37.49/10.19	 a(p(),a(s(),x)) -> x
37.49/10.19	
37.49/10.19	Proof:
37.49/10.19	 Open
37.49/10.19	EOF