The information below is from Priority 1 Design [1].
EM4100 tags normally operates at 125 KHz, and can use either ASK/PSK modulation with Manchester encoding.
The decoded data is a 64bit bit stream structured as follows:
[2]
Decoding Example
Pulse lengths: