You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [(3R)-3-aminopiperidin-1-yl]-(2,5-dichlorothiophen-3-yl)methanone by IUPAC nomenclature, provide its molecular formula.
user
C10H12Cl2N2OS
assistant