198.17/50.74	MAYBE
198.17/50.74	
198.17/50.74	Problem:
198.17/50.74	 a(b(c(b(a(a(a(a(x1)))))))) -> a(a(a(a(a(b(c(b(a(a(b(c(b(x1)))))))))))))
198.17/50.74	
198.17/50.74	Proof:
198.17/50.74	 Open
198.17/50.74	EOF