MAYBE
77.41/38.01	MAYBE
77.41/38.01	
77.41/38.01	Problem:
77.41/38.01	 a(x1) -> b(c(b(c(x1))))
77.41/38.01	 b(b(x1)) -> x1
77.41/38.01	 c(c(b(x1))) -> a(c(x1))
77.41/38.01	
77.41/38.01	Proof:
77.41/38.01	 Open
77.41/38.01	EOF