194.37/49.72	MAYBE
194.37/49.72	
194.37/49.72	Problem:
194.37/49.72	 a(x1) -> x1
194.37/49.72	 a(a(b(x1))) -> c(b(a(a(x1))))
194.37/49.72	 b(c(x1)) -> a(b(x1))
194.37/49.72	
194.37/49.72	Proof:
194.37/49.72	 Open
194.37/49.72	EOF