I think it is Flash encoded but probably created in Motion or After Effects. I work in video and this would be possible with Motion (with Photoshop) or, more easily, After Effects. For most of our videos that go online, they get Flash encoded in the web department and they will put on the website, it loads much faster that way.