194.02/49.59	MAYBE
194.02/49.59	
194.02/49.59	Problem:
194.02/49.59	 a(x1) -> x1
194.02/49.59	 a(a(b(x1))) -> b(a(b(c(a(x1)))))
194.02/49.59	 c(b(x1)) -> a(x1)
194.02/49.59	
194.02/49.59	Proof:
194.02/49.59	 Open
194.02/49.59	EOF