You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl 2-[(6-methylpiperidin-3-yl)carbamoyl]pyrrolidine-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C16H29N3O3
assistant