If Elon Musk hadn't sacked those government workers it would probably be less than 39 trillion as he had to pay termination packages and hire back people he accidentally fired.
> hire back people he accidentally fired
much worse in reality, many have been replaced by government contractors we are paying 2.5/3x more