Best animation within these files, in my opinion, was never exported, nor finished. But the raw file exists (.tvpp) Opened it and took a screen recording of it and converted it as a gif.