199.13/50.42	MAYBE
199.13/50.42	
199.13/50.42	Problem:
199.13/50.42	 a(b(x1)) -> c(b(x1))
199.13/50.42	 c(c(x1)) -> d(b(x1))
199.13/50.42	 d(x1) -> c(e(x1))
199.13/50.42	 b(b(x1)) -> f(x1)
199.13/50.42	 c(b(x1)) -> g(x1)
199.13/50.42	 e(x1) -> f(x1)
199.13/50.42	 e(x1) -> b(b(x1))
199.13/50.42	 f(g(x1)) -> a(c(x1))
199.13/50.42	 g(f(x1)) -> e(x1)
199.13/50.42	 a(x1) -> b(c(x1))
199.13/50.42	
199.13/50.42	Proof:
199.13/50.42	 Open
199.13/50.43	EOF