You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
propyl 2-[[2-(difluoromethyl)pyrazole-3-carbonyl]amino]-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C17H19F2N3O3S
assistant