A Python script convert .tet format to .tm format