Una possibilità sarebbe...
Prima esporti il file Flash in un formato video.
Quindi, con un'applicazione di editing video, le assembli in un unico file.