You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (1R,3aS,4S,6R,7aR)-1,4,6,7a-tetramethyl-4,5,6,7-tetrahydro-3aH-inden-1-ol into its molecular formula.
user
C13H22O
assistant