Average right now is 78. So, assuming average public employees have similar expectancy to average American, then I would say you made a valid statement that the average won’t make it past their 70s. A good portion will make it into their 80s, though <50%. See that trend line? It's going higher.
Are these average pension numbers public information?