XML 54 R42.htm IDEA: XBRL DOCUMENT v3.24.2
3. Restricted Marketable Securities (Details) - Restricted Marketable Securities - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Jun. 30, 2024
Jun. 30, 2024
Dec. 31, 2023
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities $ 200,243 $ 200,243 $ 198,310
Product minimum service life   25 years  
Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 200,243 $ 200,243 198,310
Payments to acquire restricted marketable securities 7,900    
Cash Held In Trust [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted cash and cash equivalents - noncurrent 1,800 1,800 6,200
Foreign government obligations [Member] | Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 48,910 48,910 51,229
Supranational debt [Member] | Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 22,900 22,900 15,339
U.S. debt [Member] | Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities 110,116 110,116 113,326
U.S. government obligations [Member] | Restricted Debt Securities [Member]      
Debt Securities, Available-for-sale [Line Items]      
Restricted marketable securities $ 18,317 $ 18,317 $ 18,416