Total promised pension benefits (accrued liabilities) of the Illinois State Employees' Retirement System (in billions of $)