You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2R)-5-cyclopropylidene-2-methyl-2-[(1E)-2-methylbuta-1,3-dienyl]thiophen-3-ol The above is the IUPAC name of a molecule. Write its molecular formula.
user
C13H16OS
assistant