You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 2-thiophen-3-yl-2-[3-(1,2,4-triazol-1-yl)piperidin-1-yl]acetic acid into its molecular formula.
user
C13H16N4O2S
assistant