196.95/50.37	MAYBE
196.95/50.37	
196.95/50.37	Problem:
196.95/50.37	 a(b(a(x1))) -> b(c(x1))
196.95/50.37	 b(b(b(x1))) -> c(b(x1))
196.95/50.37	 c(x1) -> a(b(x1))
196.95/50.37	 c(d(x1)) -> d(c(b(a(x1))))
196.95/50.37	
196.95/50.37	Proof:
196.95/50.37	 Open
196.95/50.38	EOF