vorrei capire come far funzionare la carta tivusat e come esportare le registrazioni, se fat 32 l'estensione e' stream e non mp4, grazie