244.59/49.95	MAYBE
244.59/49.95	
244.59/49.95	Problem:
244.59/49.95	 a(x1) -> x1
244.59/49.95	 a(b(x1)) -> b(b(a(c(a(x1)))))
244.59/49.95	 b(x1) -> x1
244.59/49.95	 c(a(c(x1))) -> x1
244.59/49.95	
244.59/49.95	Proof:
244.59/49.95	 Open
244.59/49.95	EOF