You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(5R)-1-(1,3-benzodioxol-5-yl)-5-methylpyrrolidin-2-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C12H13NO3
assistant