v3.25.1
3. Restricted Marketable Securities (Details) - Restricted Marketable Securities - USD ($)
$ in Thousands
3 Months Ended
Mar. 31, 2025
Dec. 31, 2024
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 210,555 $ 199,136
Product minimum service life 25 years  
Restricted Debt Securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 210,555 199,136
Payments to acquire restricted marketable securities 5,000  
Cash Held In Trust [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted cash and cash equivalents - noncurrent 2,800 5,000
U.S. debt [Member] | Restricted Debt Securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 113,048 109,155
Foreign government obligations [Member] | Restricted Debt Securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 50,592 49,024
Supranational debt [Member] | Restricted Debt Securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities 28,118 22,809
U.S. government obligations [Member] | Restricted Debt Securities [Member]    
Debt Securities, Available-for-sale [Line Items]    
Restricted marketable securities $ 18,797 $ 18,148