197.51/50.57	MAYBE
197.73/50.57	
197.73/50.57	Problem:
197.73/50.57	 a(x1) -> b(x1)
197.73/50.57	 b(b(b(c(x1)))) -> a(c(c(b(a(a(x1))))))
197.73/50.57	
197.73/50.57	Proof:
197.73/50.57	 Open
197.73/50.58	EOF