Budget of the United States Government. Updated summary tables (Executive Office of the President of the United States, Office of Management and Budget, 2009)