A Python script converting .tet format to .tm format