You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named ethyl 1-[(3R)-5-oxo-1-propan-2-ylpyrrolidine-3-carbonyl]piperidine-4-carboxylate is given. What is its corresponding molecular formula?
user
C16H26N2O4
assistant