248.73/49.96	MAYBE
248.73/49.97	
248.73/49.97	Problem:
248.73/49.97	 a(a(x1)) -> x1
248.73/49.97	 b(b(x1)) -> c(c(c(x1)))
248.73/49.97	 b(c(x1)) -> a(b(b(x1)))
248.73/49.97	
248.73/49.97	Proof:
248.73/49.97	 Open
248.73/49.97	EOF