WASHINGTON MANAGEMENT COMPANY, INC.