How do I export out of the CRM?

Navigate to the CRM.

Filter to find the list of contacts you would like to export. After filtering, click on the "export" button.