Что такое формат или файл mir и как его открыть?

Вообще файлы с расширением mir являются основным анимационным форматом фирмы TVPaint Developpement. Открываются программой TVP Animation Professional Edition. Но чаще всего являются глюком менеджера закачек (видел в Скайнете) , когда при скачке какого-нибудь файла происходит смена линка (адреса скачки) - зазеркаливание и расширение меняется на mir. Их потом можно удалить или при желании "склеить" в один.