Dívida pública federal cai 1,29% em outubro, diz Tesouro