196.83/50.10	MAYBE
196.83/50.10	
196.83/50.10	Problem:
196.83/50.10	 a(x1) -> x1
196.83/50.10	 a(a(x1)) -> b(a(b(c(c(b(x1))))))
196.83/50.10	 c(b(x1)) -> a(x1)
196.83/50.10	
196.83/50.10	Proof:
196.83/50.10	 Open
196.83/50.10	EOF