Washington's operating budget hit $80.2 billion — 55% above the population-plus-inflation benchmark since 2013–15. ...