The file extension wouldn't have been .swf until after being bought out and renamed (to ShockWave Flash). It was originally ...
https://archive.org/details/MacAddict-004-199612/page/n77/mo...
.spl, there you go. For "SPLash", I guess, or "Splash PLayer".