Para fazer o download dos arquivos, basta clicar no formato que deseja.
O download será um arquivo .zip com os formatos eps, ai e png.