I'm a little late here but in that case, it's not named but known and doesn't include the biggest single hit of Technocratic enlightened citizens as, per the intent of the book's author, the 12,000 of them on the New Cop are mostly mundane humans and not sorcerors at all. There are actually very few named sorcerors and most of the high figures are just 'pop figures' - references in books (usually the ones introducing the craft) to 200 total or whatever. It specifically doesn't include 'ratioed' populations (e.g., if we know that there are five sorcerors to every mage, the added population of <x>...