200.04/50.44	MAYBE
200.04/50.44	
200.04/50.44	Problem:
200.04/50.44	 a(a(b(x1))) -> c(d(x1))
200.04/50.44	 b(e(b(x1))) -> e(d(x1))
200.04/50.44	 b(d(x1)) -> e(b(x1))
200.04/50.44	 b(b(b(x1))) -> e(e(x1))
200.04/50.44	 e(e(e(x1))) -> d(e(x1))
200.04/50.44	 d(x1) -> b(e(x1))
200.04/50.44	 c(d(a(x1))) -> c(x1)
200.04/50.44	 d(c(x1)) -> c(d(a(x1)))
200.04/50.44	 a(x1) -> e(b(x1))
200.04/50.44	
200.04/50.44	Proof:
200.04/50.44	 Open
200.04/50.44	EOF