VIDEO: How big is the federal government?

The Post’s David Fahrenthold examines the amount of federal spending, workers, rules and buildings over the years.