XML 65 R55.htm IDEA: XBRL DOCUMENT v3.25.3
Employee stock ownership plan - Additional Information (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended 12 Months Ended
Jan. 01, 2025
Sep. 30, 2025
Sep. 30, 2024
Sep. 30, 2025
Sep. 30, 2024
Dec. 31, 2024
Employee stock ownership plan            
Distribution period 3 years          
Employee stock ownership plan (ESOP) first tier diversification percentage 50.00%         25.00%
Employee stock ownership plan (ESOP) age in years for first tier diversification percentage 55 years         50 years
Employee stock ownership plan (ESOP0 number of years of service 10 years         10 years
Employee stock ownership plan (ESOP0 second tier diversification percentage 75.00%         50.00%
Shares in ESOP   1,903,861   1,903,861   3,474,467
Employee Stock Option            
Employee stock ownership plan            
Employee stock ownership plan (ESOP), (income) expense   $ 0 $ 0 $ 0 $ 0