You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3aS,6R,6aS,10aR,11aS,11bR)-6-(2-hydroxy-3-prop-2-enylphenyl)-6a,8-dimethyl-2-(thiophen-2-ylmethyl)-4,6,10a,11,11a,11b-hexahydro-3aH-naphtho[6,7-e]isoindole-1,3,7,10-tetrone by IUPAC nomenclature, provide its molecular formula.
user
C32H31NO5S
assistant