MAYBE
68.24/29.76	MAYBE
68.24/29.76	
68.24/29.76	Problem:
68.24/29.76	 a(x1) -> x1
68.24/29.76	 a(a(b(x1))) -> c(b(a(a(x1))))
68.24/29.76	 b(c(x1)) -> a(b(x1))
68.24/29.76	
68.24/29.76	Proof:
68.24/29.76	 Open
68.24/29.76	EOF