ho scaricato anche altri file dallo stesso sito, ma tutti hanno questa estensione. Anzi per essere + precisi, il file e' un .zip, e una volta decompresso l'estensione e' quella che dicevo prima (filemio.ai.bin)

Stearto