You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (3aS,6aR)-5-[(1-methoxy-1,2,3,4-tetrahydronaphthalen-2-yl)sulfonyl]-3a-methyl-3,4,6,6a-tetrahydro-1H-thieno[3,4-c]pyrrole 2,2-dioxide ?
user
C18H25NO5S2
assistant