Have you tried rendering the animation in 'comic' format and then convertin the bitmap images frame by frame to vector graphics...? If you use only 2-3 colors it should make the flash file smaller. If you find any better way please let me know.