wenn du die möglichkeit hast, dann kannst du es in adobe image ready importieren (glaube das hat nen swf import) und dort jedes einzelne bild verkleinern. danach kannst du es wieder als swf exportieren.
glaube aber das müsste auch mit anderen, auch kostenlosen gif animatoren, gehen.