196.28/50.17	MAYBE
196.28/50.18	
196.28/50.18	Problem:
196.28/50.18	 a(x1) -> x1
196.28/50.18	 a(a(b(x1))) -> c(a(b(b(a(a(x1))))))
196.28/50.18	 b(c(x1)) -> x1
196.28/50.18	
196.28/50.18	Proof:
196.28/50.18	 Open
196.38/50.18	EOF