Which of these state government employees earned more last year?