FWIW, a TLD zone file does not contain every registered domain name, just those with DNS records.  There is typically a good amount of domain names registered but without records, for reasons such as reserved names, malicious content takedowns, etc.