In addition to the employer contribution under section 54-52.6-09, a state employer shall contribute to the defined benefit retirement plan under chapter 54-52, an amount equal to the contribution rate calculated under section 54-52-06 less the amount of the required employer contribution under sections 54-52.2-09 and 54-52.6-09. If a state employer uses federal funds to pay any or all of an employee's wages, the employer shall use state funds to pay this additional contribution.
N.D.C.C. § 54-52.6-09.5