41.40 - Washington public employees' retirement system.