-- Entrar al sistema y ejecutar sequence check -- TODO: generate a sequence checker in sql