You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 2-[(1,1-dioxothiolan-3-yl)methyl]-1-ethyl-3-(1-thiophen-2-ylpiperidin-4-yl)guanidine;hydroiodide into its molecular formula.
user
C17H29IN4O2S2
assistant