You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (3R)-1-(5-thiophen-3-yl-1H-pyrazol-3-yl)piperidin-3-amine into molecular formula.
user
C12H16N4S
assistant