41.35 WASHINGTON SCHOOL EMPLOYEES' RETIREMENT SYSTEM