Los varones se jubilaban a los 60 años o 25 de servicio y las mujeres a los 55 y 20, respectivamente.