There are definitely formalae related to tenure and age. My sister will have put in 25 years with the county library system when she’s 48, which is how that math works. I know a guy who retired from the city government where I live a couple years ago at 53 and draws that pension. He went back a year later at a lower level position with little responsibility and earns that salary now in addition to his pension