You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-[[1-[(2,4-dichlorophenyl)methyl]-4-thiophen-3-ylpyrrolidin-3-yl]methyl]-4-[(1-prop-2-enoxycyclohexyl)methyl]piperidine is the IUPAC name of a molecule. Please give its molecular formula.
user
C31H42Cl2N2OS
assistant