195.68/49.99	MAYBE
195.68/49.99	
195.68/49.99	Problem:
195.68/49.99	 a(x1) -> b(b(c(x1)))
195.68/49.99	 a(c(b(x1))) -> c(a(a(x1)))
195.68/49.99	 c(b(x1)) -> x1
195.68/49.99	
195.68/49.99	Proof:
195.68/49.99	 Open
195.68/50.00	EOF