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

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