Topline: There’s no denying that the federal government needs to sell many of its buildings. It would cost $370 billion to ...