CBO Releases End-of-Year Deficit Numbers