All of the following full-time employees are included as members in the system:
(1) All state employees;
(2) All certified school employees;
(3) All justices, judges, and magistrate judges;
(4) All police officers and firefighters of participating municipalities;
(5) All general employees of participating municipalities;
(6) All employees of participating counties;
(7) All classified employees of school districts that are participating with the school districts' classified employees and all other classified employees;
(8) All employees of the Board of Regents; and
(9) All state law enforcement officers.