MAYBE
40.02/10.33	MAYBE
40.02/10.33	
40.02/10.33	Problem:
40.02/10.33	 a(a(x1)) -> b(a(b(c(c(x1)))))
40.02/10.33	 c(a(x1)) -> x1
40.02/10.33	 c(b(x1)) -> a(x1)
40.02/10.33	
40.02/10.33	Proof:
40.02/10.33	 Open
40.02/10.33	EOF