These songs are all in HIP and HIP-COSO format.
To replay'em just use the according replayers of
Delitracker.