217.11/50.37	MAYBE
217.11/50.37	
217.11/50.37	Problem:
217.11/50.37	 a(x1) -> b(x1)
217.11/50.37	 b(b(a(c(x1)))) -> a(c(c(b(a(a(x1))))))
217.11/50.37	
217.11/50.37	Proof:
217.11/50.37	 Open
217.11/50.38	EOF