In a court filing, the budget office said well over 4,000 employees would be fired, though it noted that the funding ...