XML 86 R62.htm IDEA: XBRL DOCUMENT v3.25.4
Note 6. Restricted marketable securities (Details) - Restricted marketable securities - USD ($)
$ in Thousands
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 217,172 $ 199,136
Product minimum service life 25 years  
Restricted debt securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 217,172 199,136
Payments to acquire restricted marketable securities 5,000 7,900
Noncurrent restricted cash, held in trust [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted cash and cash equivalents - noncurrent 6,900 5,000
U.S. debt [Member] | Restricted debt securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 115,350 109,155
Foreign government obligations [Member] | Restricted debt securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 54,156 49,024
Supranational debt [Member] | Restricted debt securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 28,276 22,809
U.S. government obligations [Member] | Restricted debt securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 19,390 $ 18,148