> While spending on education was 42.5 billion in 2022.

In case anyone was curious, https://www.usgovernmentspending.com/ reports total spending of $1.76 trillion on education in fiscal year 2022. (It also reports defense spending of $1.11 trillion. The subpage https://www.usgovernmentspending.com/defense_spending includes the number $765.8 billion as part of a breakdown.)