C.R.S. § 31-31.5-403

(1) In calculating the retirement pension for a member who has service credit in the defined benefit component, the benefit is the sum of the following: (a) Two percent multiplied by the service credit earned or purchased in the defined benefit component, not to exceed ten years of service credit, multiplied by the average of the member’s highest three years’ base salary in the defined benefit component; plus (b) Two and one-half percent multiplied by the service credit earned or purchased in the defined benefit component in excess of ten years multiplied by the average of the member’s highest three years’ base salary in the defined benefit component.