képkockánként exportáld az animációt átlátszó png-kbe ae-ben, és azt egy movie clipbe be tudod importálni automatikusan képkockánként flashbe (ha ilyesmi pngket kaptál, hogy kepkocka001.png, kepkocka002.png, kepkocka003.png stb...)
ezt a movieclipet meg flashbe le tudod már kezelni...
gif-el ne szerencsétlenkedj inkább, én azt mondom :)