David Smith Jr.: holdings couldn't be fully reconciled (difference of 22,664 shares). A footnote describes a transfer or distribution between related entities, but the amounts could not be matched to the balance change. Largest: -962,640 shares on Oct 31, 2025 (Trust). Filing, Oct 31, 2025
Footnote: "On October 31, 2025, a trust in which the reporting person has a partial direct pecuniary interest distributed 12,640 shares of the Corporation's common stock to such trust's beneficiaries, of which 1,580 shares were distributed to the reporting person."
Thomas South: holdings couldn't be fully reconciled (difference of 12,627 shares). Balance changed with no matching transaction and no footnote: +4,284.32 shares on May 4, 2026 (401(k) as of 6-30-2026). Filing, May 4, 2026
David Fox Jr.: holdings couldn't be fully reconciled (difference of 21,870 shares). Balance changed without a matching transaction, and the footnote does not state the amount: +40,445 shares on Dec 3, 2025 (Trust). Filing, Dec 3, 2025
Footnote: "Shares are held in a trust established for the benefit of the reporting person, of which the reporting person is the trustee and has investment control."
Steven Fradkin: minor difference of 67 shares. Difference is under 0.5% of holdings.
Richard Petrino: minor difference of -2 shares. Difference is under 0.5% of holdings.
Inferred rename: "cust. for daughter" is treated as the same holder as "custodian for daughter", because the old name was never reported again and the new one opened with the same balance (1,050 shares). Old name, new name
Inferred rename: "custodian for daughter" is treated as the same holder as "cust.for child", because the old name was never reported again and the new one opened with the same balance (1,050 shares). Old name, new name
Inferred rename: "POA Acct Daughter" is treated as the same holder as "POA for Daughter", because the old name was never reported again and the new one opened with the same balance (1,805 shares). Old name, new name
Inferred rename: "Family Trust" is treated as the same holder as "Trust", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "trustee under employer retirement trust" is treated as the same holder as "trustee u/employer retirement tr", because the old name was never reported again and the new one opened with the same balance (3,600 shares). Old name, new name
Inferred rename: "trustee u/employer retirement tr" is treated as the same holder as "Ttee/Employer Ret.Trust", because the old name was never reported again and the new one opened with the same balance (3,600 shares). Old name, new name
Inferred rename: "Ttee/Employer Ret.Trust" is treated as the same holder as "Ttee for Emp.Ret.Tr", because the old name was never reported again and the new one opened with the same balance (3,600 shares). Old name, new name
Inferred rename: "Ttee for Emp.Ret.Tr" is treated as the same holder as "Emp Ret Trust", because the old name was never reported again and the new one opened with the same balance (3,600 shares). Old name, new name
Inferred rename: "Emp Ret Trust" is treated as the same holder as "Emp Ret Tr", because the old name was never reported again and the new one opened with the same balance (3,600 shares). Old name, new name
Inferred rename: "trustee u/employer retirement tr" is treated as the same holder as "Ttee/Employer Ret.Trust", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Ttee/Employer Ret.Trust" is treated as the same holder as "Ttee for Emp.Ret.Tr", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Ttee for Emp.Ret.Tr" is treated as the same holder as "Emp Ret Trust", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Emp Ret Trust" is treated as the same holder as "Emp Ret Tr", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Family Trust" is treated as the same holder as "Kelly Family Trust", because the old name was never reported again and the new one opened with the same balance (20,000 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/13" is treated as the same holder as "401(k) as of 12-31-2013", because the old name was never reported again and the new one opened with the same balance (9,733 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2013" is treated as the same holder as "401(k) as of 6-30-2013", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2013" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2014" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-17" is treated as the same holder as "401(k) as of 12-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 9-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-18" is treated as the same holder as "401(k) as of 9-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-19" is treated as the same holder as "401(k) as of 12-31-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2020" is treated as the same holder as "401(k) as of 3-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2021" is treated as the same holder as "401(k) as of 9-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2021" is treated as the same holder as "401(k) as of 3-31-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2022" is treated as the same holder as "401(k) as of 9-30-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2022" is treated as the same holder as "401(k) as of 9-30-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2023" is treated as the same holder as "401(k) as of 12-31-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2023" is treated as the same holder as "401(k) as of 3-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2024" is treated as the same holder as "401(k) as of 9-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2024" is treated as the same holder as "401(k) as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2024" is treated as the same holder as "401(k) as of 06-30-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 06-30-2025" is treated as the same holder as "401(k) as of 09-30-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Trust-Spouse" is treated as the same holder as "Spouse/Trust", because the old name was never reported again and the new one opened with the same balance (32,902 shares). Old name, new name
Inferred rename: "Spouse for Child" is treated as the same holder as "Spouse for Children", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "2016 GRAT" is treated as the same holder as "2016-1 GRAT", because the old name was never reported again and the new one opened with the same balance (34,188 shares). Old name, new name
Inferred rename: "2017 GRAT" is treated as the same holder as "2017-1 GRAT", because the old name was never reported again and the new one opened with the same balance (35,160 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 12/31/2013", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3/31/2014" is treated as the same holder as "401(k) as of 6/30/2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6/30/2014" is treated as the same holder as "401(k) as of 9/30/2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9/30/2014" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2015" is treated as the same holder as "401(k) as of 6-30-2015", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2015" is treated as the same holder as "401(k) as of 9-30-2015", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2015" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-15" is treated as the same holder as "401(k) as of 3-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-16" is treated as the same holder as "401(k) as of 6-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2017" is treated as the same holder as "401(k) as of 6-30-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2017" is treated as the same holder as "401(k) as of 9-30-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2017" is treated as the same holder as "401(k) as of 12-31-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2018" is treated as the same holder as "401(k) as of 6-30-2018", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2018" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "TJT Trust" is treated as the same holder as "Trust", because the old name was never reported again and the new one opened with the same balance (33,959 shares). Old name, new name
Inferred rename: "Cust for Child" is treated as the same holder as "Custodian for Child", because the old name was never reported again and the new one opened with the same balance (148 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 12/31/14", because the old name was never reported again and the new one opened with the same balance (2,549 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/14" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (2,549 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-16" is treated as the same holder as "401(k) as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (2,554 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-15" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (2,549 shares). Old name, new name
Inferred rename: "401(k) as of 6/30/14" is treated as the same holder as "401(k) as of 9-30-17", because the old name was never reported again and the new one opened with the same balance (2,547 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/13" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (2,546 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/14" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9/30/14" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-17" is treated as the same holder as "401(k) as of 12-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-18" is treated as the same holder as "401(k) as of 9-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 12/31/2013", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/2013" is treated as the same holder as "401(k) as of 03/31/2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Revocable Trust" is treated as the same holder as "Trust", because the old name was never reported again and the new one opened with the same balance (1,000 shares). Old name, new name
Inferred rename: "various trusts" is treated as the same holder as "See ftn", because the old name was never reported again and the new one opened with the same balance (4,000 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/13" is treated as the same holder as "401(k) as of 6/30/14", because the old name was never reported again and the new one opened with the same balance (10,052 shares). Old name, new name
Inferred rename: "401(k) as of 6/30/14" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (10,051 shares). Old name, new name
Inferred rename: "401(k) as of 9/30/14" is treated as the same holder as "401(k) as of 3-31-2015", because the old name was never reported again and the new one opened with the same balance (10,048 shares). Old name, new name
Inferred rename: "GRAT" is treated as the same holder as "2012 GRAT", because the old name was never reported again and the new one opened with the same balance (10,546 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (10,031 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (10,016 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 6/30/14", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6/30/14" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2015" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-16" is treated as the same holder as "401(k) as of 6-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-16" is treated as the same holder as "401(k) as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-17" is treated as the same holder as "401(k) as of 9-30-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-18" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Family Trust" is treated as the same holder as "Trust", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/2013" is treated as the same holder as "401(k) as of 3-31-2015", because the old name was never reported again and the new one opened with the same balance (8,335 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2014" is treated as the same holder as "401(k) as of 12-31-2015", because the old name was never reported again and the new one opened with the same balance (8,332 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2016" is treated as the same holder as "401(k) as of 3-31-2017", because the old name was never reported again and the new one opened with the same balance (8,327 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2014" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2015" is treated as the same holder as "401(k) as of 3-31-2016", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2016" is treated as the same holder as "401(k) as of 9-30-2016", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2016" is treated as the same holder as "401(k) as of 3-31-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2017" is treated as the same holder as "401(k) as of 6-30-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2017" is treated as the same holder as "401(k) as of 9-30-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2017" is treated as the same holder as "401(k) as of 6-30-2018", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2018" is treated as the same holder as "401(k) as of 9-30-2018", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/13" is treated as the same holder as "401(k) as of 12-31-2013", because the old name was never reported again and the new one opened with the same balance (5,108 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2014" is treated as the same holder as "401(k) as of 3-31-2015", because the old name was never reported again and the new one opened with the same balance (5,109 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2013" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (5,108 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2015" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (5,105 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (5,106 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (5,098 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-17" is treated as the same holder as "401(k) as of 6-30-19", because the old name was never reported again and the new one opened with the same balance (5,106 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-19" is treated as the same holder as "401(k) as of 9-30-19", because the old name was never reported again and the new one opened with the same balance (5,106 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-17" is treated as the same holder as "401(k) as of 3-31-2021", because the old name was never reported again and the new one opened with the same balance (5,101 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 12-31-2013", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2013" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2015" is treated as the same holder as "401(k) as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-16" is treated as the same holder as "401(k) as of 6-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-16" is treated as the same holder as "401(k) as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-17" is treated as the same holder as "401(k) as of 6-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-19" is treated as the same holder as "401(k) as of 6-30-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-18" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-18" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2020" is treated as the same holder as "401(k) as of 12-31-2020", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2021" is treated as the same holder as "401(k) as of 9-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2021" is treated as the same holder as "401(k) as of 12-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12/31/2013" is treated as the same holder as "401(k) as of 9-30-2014", because the old name was never reported again and the new one opened with the same balance (3,815 shares). Old name, new name
Inferred rename: "401(k) as of 6/30/2014" is treated as the same holder as "401(k) as of 3-31-2015", because the old name was never reported again and the new one opened with the same balance (3,817 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2014" is treated as the same holder as "401(k) as of 6-30-2015", because the old name was never reported again and the new one opened with the same balance (3,814 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2015" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (3,816 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-16" is treated as the same holder as "401(k) as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (3,824 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (3,815 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (3,810 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 9-30-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2014" is treated as the same holder as "401(k) as of 12-31-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2014" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-15" is treated as the same holder as "401(k) as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 12-31-2013", because the old name was never reported again and the new one opened with the same balance (547 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2014" is treated as the same holder as "401(k) as of 9-30-2014", because the old name was never reported again and the new one opened with the same balance (548 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2014" is treated as the same holder as "401(k) as of 3-31-15", because the old name was never reported again and the new one opened with the same balance (549 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-15" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (550 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-16" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (553 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2013" is treated as the same holder as "401(k) as of 9-30-2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2014" is treated as the same holder as "401(k) as of 3-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-15" is treated as the same holder as "401(k) as of 12-31-15", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-15" is treated as the same holder as "401(k) as of 3-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-16" is treated as the same holder as "401(k) as of 6-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-16" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-16" is treated as the same holder as "401(k) as of 3-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-17" is treated as the same holder as "401(k) as of 9-30-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-17" is treated as the same holder as "401(k) as of 12-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 3-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-18" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-18" is treated as the same holder as "401(k) as of 9-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-18" is treated as the same holder as "401(k) as of 6-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-19" is treated as the same holder as "401(k) as of 9-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Employee Share Ownership Plan as of 9/30/2023" is treated as the same holder as "Employee Share Ownership Plan as of 12-31-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Employee Share Ownership Plan as of 12-31-2023" is treated as the same holder as "Employee Share Ownership Plan as of 9-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "Employee Share Ownership Plan as of 9-30-2024" is treated as the same holder as "Employee Share Ownership Plan as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 7/28/2014" is treated as the same holder as "UK Employee Share Ownership Plan as of 9/30/2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 9/30/2014" is treated as the same holder as "UK Employee Share Ownership Plan as of 12/31/2014", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 12/31/2014" is treated as the same holder as "UK Employee Share Ownership Plan as of 3/31/2015", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 3/31/2015" is treated as the same holder as "UK Employee Share Ownership Plan as of 12/31/2015", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 12/31/2015" is treated as the same holder as "UK Employee Share Ownership Plan as of 6/30/2016", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 6/30/2016" is treated as the same holder as "UK Employee Share Ownership Plan as of 9/30/2016", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 9/30/2016" is treated as the same holder as "UK Employee Share Ownership Plan as of 12/31/2016", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 12/31/2016" is treated as the same holder as "UK Employee Share Ownership Plan as of 3/31/2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Share Ownership Plan as of 3/31/2017" is treated as the same holder as "UK Employee Share Ownership Plan as of 12-31-2017", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan" is treated as the same holder as "UK Employee Stock Ownership Plan as of 9-30-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 9-30-16" is treated as the same holder as "UK Employee Stock Ownership Plan as of 12-31-16", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 12-31-16" is treated as the same holder as "UK Employee Stock Ownership Plan as of 6-30-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 6-30-17" is treated as the same holder as "UK Employee Stock Ownership Plan as of 12-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 12-31-17" is treated as the same holder as "UK Employee Stock Ownership Plan as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 12-31-18" is treated as the same holder as "UK Employee Stock Ownership Plan as of 6-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "UK Employee Stock Ownership Plan as of 6-30-19" is treated as the same holder as "UK Employee Stock Ownership Plan as of 12-31-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-17" is treated as the same holder as "401(k) as of 9-30-19", because the old name was never reported again and the new one opened with the same balance (9,245 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-17" is treated as the same holder as "401(k) as of 12-31-17", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-17" is treated as the same holder as "401(k) as of 6-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-18" is treated as the same holder as "401(k) as of 9-30-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-18" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-18" is treated as the same holder as "401(k) as of 3-31-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-19" is treated as the same holder as "401(k) as of 12-31-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-19" is treated as the same holder as "401(k) as of 6-30-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-20" is treated as the same holder as "401(k) as of 9-30-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-20" is treated as the same holder as "401(k) as of 12-31-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-20" is treated as the same holder as "401(k) as of 3-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2021" is treated as the same holder as "401(k) as of 6-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2021" is treated as the same holder as "401(k) as of 9-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2021" is treated as the same holder as "401(k) as of 12-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2021" is treated as the same holder as "401(k) as of 9-30-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2022" is treated as the same holder as "401(k) as of 12-31-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2022" is treated as the same holder as "401(k) as of 9-30-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2023" is treated as the same holder as "401(k) as of 12-31-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2023" is treated as the same holder as "401(k) as of 6-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2024" is treated as the same holder as "401(k) as of 9-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2024" is treated as the same holder as "401(k) as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2024" is treated as the same holder as "401(k) as of 03-31-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 03-31-2025" is treated as the same holder as "401(k) as of 06-30-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-18" is treated as the same holder as "401(k) as of 12-31-18", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-18" is treated as the same holder as "401(k) as of 6-30-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-19" is treated as the same holder as "401(k) as of 12-31-19", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-19" is treated as the same holder as "401(k) as of 9-30-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-20" is treated as the same holder as "401(k) as of 12-31-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-20" is treated as the same holder as "401(k) as of 3-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2021" is treated as the same holder as "401(k) as of 6-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2021" is treated as the same holder as "401(k) as of 9-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2021" is treated as the same holder as "401(k) as of 12-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2021" is treated as the same holder as "401(k) as of 12-31-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2022" is treated as the same holder as "401(k) as of 12-31-23", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-23" is treated as the same holder as "401(k) as of 3-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2024" is treated as the same holder as "401(k) as of 9-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2024" is treated as the same holder as "401(k) as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2024" is treated as the same holder as "401(k) as of 3-31-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2025" is treated as the same holder as "401(k) as of 6-30-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2025" is treated as the same holder as "401(k) as of 9-30-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2025" is treated as the same holder as "401(k) as of 12-31-2025", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2025" is treated as the same holder as "401(k) as of 3-31-2026", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2026" is treated as the same holder as "401(k) as of 6-30-2026", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k)" is treated as the same holder as "401(k) as of 2-7-20", because the old name was never reported again and the new one opened with the same balance (2,459 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2024" is treated as the same holder as "401(k) as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (2,841 shares). Old name, new name
Inferred rename: "401(k) as of 2-7-20" is treated as the same holder as "401(k) as of 3-31-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-20" is treated as the same holder as "401(k) as of 9-30-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-20" is treated as the same holder as "401(k) as of 12-31-20", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-20" is treated as the same holder as "401(k) as of 3-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 3-31-2021" is treated as the same holder as "401(k) as of 9-30-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2021" is treated as the same holder as "401(k) as of 12-31-2021", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2021" is treated as the same holder as "401(k) as of 9-30-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2022" is treated as the same holder as "401(k) as of 12-31-2022", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2022" is treated as the same holder as "401(k) as of 9-30-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 9-30-2023" is treated as the same holder as "401(k) as of 12-31-2023", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 12-31-2023" is treated as the same holder as "401(k) as of 6-30-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred rename: "401(k) as of 6-30-2024" is treated as the same holder as "401(k) as of 12-31-2024", because the old name was never reported again and the new one opened with the same balance (0 shares). Old name, new name
Inferred typo: the share class "Common Stoc" is treated as the same class as "Common Stock" on 1 holding line, because the two spellings are nearly identical and each balance carried over exactly. Example (William Osborn, 485,768 shares): old title, new title
External context: we only cite outside events when a documented connection exists. None is shown for this period.