Employee and employer (state) contributions to the Illinois Judges' Retirement System (in millions of $)