You can check for yourself. There seem to be some people that have a base salary of $60k and then in the most recent year have $70k of “other pay.” I’m guessing those people retired that year and cashed in all of their sick leave or something along those lines. I have no idea how their pension is computed.
