Too find more about the theoretical correctness of FOFE, please refer to (Zhang et al., 2015b).
the FOFE codes can almost uniquely encode any sequences, serving as a fixed-size but theoretically lossless representation for any variable-length sequences.