You have it exactly correct last fiscal year 2015 the Alaska legislature appropriated $3 billion to the state retirement pension fund... This make sure that the state workers are funded that an oil boom peak. See see line items 23 and 59  https://www.omb.alaska.gov//ombfiles/15_budget/PDFs/15Enacted_Fiscal_Summary.pdf