yo exporto a png24 ( que es bastante pesado) y despues desde flash elegis con que calidad exportar cada mapa de bit desde su cuadro d propiedades (haciendole doble click en la biblioteca). dependiendo de las caracteristias de cada imagen, se bancan mas o menos compresion. asi optimizas el tamañ de el swf usando imagnes e calidad.
saludos!