Note 7. Restricted marketable securities (Tables)

12 Months Ended

Dec. 31, 2024

Debt Securities, Available-for-Sale, Restricted [Abstract]

Schedule of restricted marketable securities

Restricted marketable securities consisted of the following as of December 31, 2024 and 2023 (in thousands):


	2024		2023
U.S. debt	$	109,155	$	113,326
Foreign government obligations	49,024		51,229
Supranational debt	22,809		15,339
U.S. government obligations	18,148		18,416
Total restricted marketable securities	$	199,136	$	198,310

Schedules of restricted marketable securities, including unrealized gains and losses

The following tables summarize the unrealized gains and losses related to our restricted marketable securities, by major security type, as of December 31, 2024 and 2023 (in thousands):


	As of December 31, 2024
	Amortized Cost		Unrealized Gains		Unrealized Losses		Allowance for Credit Losses		Fair Value
U.S. debt	$	144,652	$	—	$	35,497	$	—	$	109,155
Foreign government obligations	62,595		—		13,571		—		49,024
Supranational debt	25,351		—		2,542		—		22,809
U.S. government obligations	24,368		—		6,220		—		18,148
Total	$	256,966	$	—	$	57,830	$	—	$	199,136


	As of December 31, 2023
	Amortized Cost		Unrealized Gains		Unrealized Losses		Allowance for Credit Losses		Fair Value
U.S. debt	$	146,484	$	—	$	33,129	$	29	$	113,326
Foreign government obligations	65,202		—		13,963		10		51,229
U.S. government obligations	24,460		—		6,039		5		18,416
Supranational debt	17,688		—		2,349		—		15,339
Total	$	253,834	$	—	$	55,480	$	44	$	198,310