Tagged: keys SAT KEYS how to decode the file encoding