You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule ethyl 2-[[(1R,3S)-3-(2,2-dichloroethenyl)-2,2-dimethylcyclopropanecarbonyl]amino]-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate ?
user
C19H23Cl2NO3S
assistant