L'unico formato video che puoi esportare da flash è il mov...per quanto riguarda premiere non può importare gli swf (almeno non il 6.5 che ho io, la versione nuova non so) quindi non vedo altra soluzione oltre all'esportare il mov.