.pulsar1 file extension