I don't know the source for the "debt" points, but the budget ceiling wasn't raised until July 31, 2011 or August 2, 2011. I think that's probably where it comes from, but it's just an educated guess.