The amount of assets allocated under subdivision (2) of this subsection to the members who shall have transferred to the Teachers' Retirement System shall be transferred to that system and credited to the Pension Accumulation Fund of that system. If the employer continues to participate in the Employees' Retirement System under Section 36-27-6, the actuary shall redetermine the accrued liability contribution rate payable by the employer on the basis of the remaining membership. If the employer does not continue to participate in the Employees' Retirement System and the assets available for the allocation under subdivision (1) of this subsection are insufficient to cover the reserve for retired employees and beneficiaries of deceased employees of the employer, the employer shall pay to the Employees' Retirement System the amount of the deficiency in a lump sum or, with the approval of the Board of Control, in installments over such period as the Board of Control may specify.
Ala. Code § 16-25-5 (1975)