You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named bis(2-prop-2-enylpyrrolidin-1-yl) carbonate by IUPAC nomenclature, provide its molecular formula.
user
C15H24N2O3
assistant