En el siguiente manual se explica como exportar archivos Flash a Adobe After Effects.