A decoding tool for HEU