Para octubre de 2012 ya se habían pagado más de 270 000 millones de dólares, la deuda había descendido a 141 803 millones.