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