Retrieve animations included in .prg

[èné]

Hi, I was wondering if you could get these 2 animations out of their relative .prg. Both prg inside the zip is Animate (a player for seq and dlt files), one contains a .seq anim (SPIKES), the other one, a .dlt animation (NITESURF). So if possible, extract each animations so that both of them would be in their original format again: SPIKES.SEQ and NITESURF.DLT (and the .PI1 files  that comes alongside it), that would be nice.

Zip: https://ufile.io/g5o82