Source: Budget of the United States Government, U.S. Government Printing Office, fiscal year 2013. Note: Percentages are subject to rounding error.