MAYBE
236.99/60.30	MAYBE
236.99/60.30	
236.99/60.30	Problem:
236.99/60.30	 0(0(*(*(x1)))) -> *(*(1(1(x1))))
236.99/60.30	 1(1(*(*(x1)))) -> 0(0(#(#(x1))))
236.99/60.30	 #(#(0(0(x1)))) -> 0(0(#(#(x1))))
236.99/60.30	 #(#(1(1(x1)))) -> 1(1(#(#(x1))))
236.99/60.30	 #(#($($(x1)))) -> *(*($($(x1))))
236.99/60.30	 #(#(#(#(x1)))) -> #(#(x1))
236.99/60.30	 #(#(*(*(x1)))) -> *(*(x1))
236.99/60.30	
236.99/60.30	Proof:
236.99/60.30	 Open
237.56/60.30	EOF