[romzes]

В avi у меня всегда хорошо получалось конвертировать с помощью Magic swf2avi
Всё, что внутри символов, проигрывается, скрипты работают. Можно для выходного видео настраивать всё - частоту кадров, качество. Так что, можно и без потерь качества сделать.
На мой взгляд, это удобнее и как-то "правильнее", чем захват видео с экрана. Однако, не настаиваю)

Особенно ценно, что программа может и в последовательность растров конвертировать, при том с альфа-каналом. Скверно, однако, что нет поддержки выходного формата png. Приходится конвертировать в последовательность tiff или Targa, и потом уже фотошопом у каждого кадра, используя альфа-канал пересохранять в png. Это изрядная морока. Может кто-то знает более оптимальный способ?