Pension after 25 years of service and age 56