Employee and employer (state) contributions to the Illinois State Employees' Retirement System(in billions of $)