Archivos .gif

[Prince]

Bueno, la respuesta es que sí es normal que pase eso ya que Flash es muy bueno comprimiendo las animaciones y películas en formato swf, y además tiene la capacidad de exportar tu animación en un archivo gif. Pero como Flash no está diseñado específicamente para crear gifs entonces no los comprime tanto como el swf.

Es por eso que el tamaño del archivo aumentó bastante.