Se realizará una auditoría de software para el cómputo del escrutinio provisorio de las elecciones 2023