use pyswf to convert to svg

swf2svg.py

#!/usr/bin/python

import sys
if len(sys.argv) > 1:
    file_name = sys.argv[1]
else:
    print "no input file name"
    exit()

from swf.movie import SWF
from swf.export import SVGExporter

# create a file object
file = open(file_name, 'rb')

# load and parse the SWF
swf = SWF(file)

# create the SVG exporter
svg_exporter = SVGExporter()

# export!
svg = swf.export(svg_exporter)

# save the SVG
open(file_name+'.svg', 'wb').write(svg.read())