You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3aR,6S,7R,7aR)-2,2,6,7-tetramethyl-6-prop-2-enyl-3a,4,7,7a-tetrahydro-[1,3]dioxolo[4,5-c]pyran-4-ol;(3R,4R,5R,6S)-5,6-dimethyl-6-prop-2-enyloxane-2,3,4-triol is the IUPAC name of a molecule. Please give its molecular formula.
user
C23H40O8
assistant