Of the total, bonds worth Rp1.09 trillion were paid up, while the rest had not matured.