XML 54 R33.htm IDEA: XBRL DOCUMENT v3.25.4
Retirement Plans and Employee Stock Purchase Plans (Tables)
12 Months Ended
Dec. 31, 2025
Retirement Plans and Employee Stock Purchase Plans  
Schedule of purchases made under the 2009 Employee Stock Purchase Plans

Year ended December 31,

 

2025

2024

2023

 

Number of shares purchased

  ​ ​ ​

27,476

  ​ ​ ​

47,344

  ​ ​ ​

117,350

Average price of shares purchased

$

96.49

$

60.49

$

23.47