Rename ".thm" to ".tar", and you extract it.