divixtotal deuda publica