You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3aS,4S,5R,6aR)-5-hydroxy-4-[2-(1-hydroxycyclohexyl)ethynyl]-3,3a,4,5,6,6a-hexahydro-1H-pentalen-2-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C16H22O3
assistant