197.77/50.52	MAYBE
197.77/50.52	
197.77/50.52	Problem:
197.77/50.52	 a(b(a(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(a(a(b(a(a(a(b(x1))))))))))))))
197.77/50.52	
197.77/50.52	Proof:
197.77/50.52	 Open
197.77/50.53	EOF