You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1-(pyrrolidine-1-carbonyl)-N-(2-thiophen-2-ylethyl)piperidine-3-carboxamide by IUPAC nomenclature, provide its molecular formula.
user
C17H25N3O2S
assistant