Bonds with ISIN USL75833AA88 denomination, issuer of which PETRORIO LUXEMBOURG, have been redeemed in the recordkeeping system of the Central Securities Depository on June 10, 2026.