You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
tert-butyl (1S,2R)-2-(2-oxopyrrolidin-3-yl)cyclopropane-1-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C12H19NO3
assistant