You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3S)-1-cyclopropyl-5-oxo-N'-(5,6,7,8-tetrahydro-4H-cyclohepta[b]thiophene-2-carbonyl)pyrrolidine-3-carbohydrazide by IUPAC nomenclature, provide its molecular formula.
user
C18H23N3O3S
assistant