MAYBE
144.38/55.35	MAYBE
144.38/55.35	
144.38/55.35	Problem:
144.38/55.35	 a(a(a(a(x1)))) -> a(c(a(c(c(x1)))))
144.38/55.35	 c(c(c(x1))) -> a(a(a(x1)))
144.38/55.35	
144.38/55.35	Proof:
144.38/55.35	 Open
144.38/55.35	EOF