You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(1R,2S,6R,7R,8R,10S)-4-[(2R)-1-oxo-1-piperidin-1-ylpropan-2-yl]-4-azatetracyclo[5.3.2.02,6.08,10]dodec-11-ene-3,5-dione is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H24N2O3
assistant