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 (3aR,7aS)-3-cyclopropyl-3a,7,7-trimethyl-4,5,6,7a-tetrahydroinden-1-one ?
user
C15H22O
assistant