198.68/50.79	MAYBE
198.68/50.79	
198.68/50.79	Problem:
198.68/50.79	 a(b(c(c(a(a(a(a(x1)))))))) -> a(a(a(a(a(b(c(c(a(a(a(b(c(c(x1))))))))))))))
198.68/50.79	
198.68/50.79	Proof:
198.68/50.79	 Open
198.68/50.80	EOF