You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (5aR,6R,9aS,9bS)-7-methyl-6,9b-bis(3-methylbut-2-enyl)-5a-prop-2-enyl-9,9a-dihydro-6H-benzo[e][1,3]benzodioxol-5-one ?
user
C25H34O3
assistant