You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (1aR)-6-methoxy-3-methyl-5-[[(6-methyl-2-phenylpiperidin-3-yl)amino]methyl]-1a,7b-dihydro-1H-cyclopropa[c]quinolin-2-one is given. What is its corresponding molecular formula?
user
C25H31N3O2
assistant