Para descargar cualquiera de los ficheros con los distintivos es necesario el programa 7Zip. Para descargarlo, lo puede realizar desde el siguiente enlace. Descargar 7Zip