which domain registry has registered int?
(AND internet.top_level_domain_registry (JOIN internet.top_level_domain_registry.domains m.02csvv))