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.
much worse in reality, many have been replaced by government contractors we are paying 2.5/3x more