199.17/50.49	MAYBE
199.17/50.49	
199.17/50.49	Problem:
199.17/50.49	 a(b(x1)) -> c(d(x1))
199.17/50.49	 d(d(x1)) -> b(e(x1))
199.17/50.49	 b(x1) -> d(c(x1))
199.17/50.49	 d(x1) -> x1
199.17/50.49	 e(c(x1)) -> d(a(x1))
199.17/50.49	 a(x1) -> e(d(x1))
199.17/50.49	
199.17/50.49	Proof:
199.17/50.49	 Open
199.17/50.50	EOF