ADE has nothing to do with administering the state retirement system, even their HR department. You will want to reach out to the AZ State Retirement System(ASRS): https://www.azasrs.gov/
Hi Judy, this really sounds like a question for the HR department. A quick search yielded this page: https://www.azed.gov/hr/contact-hr/
Thanks! Your answer is awaiting moderation.