Source: Congressional Budget Office.