Обновление пакета z3 в ветке sisyphus_loongarch64