Wyo. Stat. § 9-3-610

(a) The service retirement allowance payable to an employee under this article at age fifty (50) shall be equal to two and one-half percent (2.5%) of the employee's highest average salary for each year of credited service in the program, provided the retirement allowance does not exceed seventy-five percent (75%) of the highest average salary.

(b) Subject to subsection (c) of this section, effective July 1, 1991, the amount of allowance being paid under subsection (a) of this section shall be increased as follows:

(i) For persons who retired prior to July 1, 1978, eleven dollars ($11.00) per month for each year of service in Wyoming;

(ii) For persons who retired on or after July 1, 1978 but prior to July 1, 1980, six dollars ($6.00) per month for each year of service in Wyoming;

(iii) For persons who retired on or after July 1, 1980 but prior to July 1, 1985, three dollars ($3.00) per month for each year of service in Wyoming;

(iv) For persons who retired on or after July 1, 1985 but prior to July 1, 1987, one dollar ($1.00) per month for each year of service in Wyoming.

(c) The increases specified in subsection (b) of this section apply only if the legislature appropriates the necessary funds and only for persons with full-time service who submit to the board an application for the increase accompanied by an affidavit verifying the applicant's service and retirement.

(d) Repealed by Laws 2012, ch. 107, § 3, eff. March 23, 2012.

(e) In addition to subsections (a), (b) and (d) of this section, the service retirement allowance payable under this article for persons retired prior to April 1, 1996, shall be increased by five dollars ($5.00) per month for each year of service in Wyoming.

(f) Benefits and allowances shall not be payable under this article to the extent that they exceed the limitations imposed by section 415(b) of the Internal Revenue Code 1 .