The 13 Russians and 3 companies Mueller found,