A set of python scripts to work with RHK SM4 file format