{"iri":"http://fasb.org/us-gaap/2026#DebtInstrumentRepaidPrincipal","label":"Debt Instrument, Repaid, Principal","definition":"Amount of principal of debt repaid.","license":"https://accountingfoundation.org/page/pageContent?pageId=/Termsofuse/Termsofuse.html","source":"gaap","source_url":"http://fasb.org/us-gaap/2026#DebtInstrumentRepaidPrincipal"}