You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
methyl 2-[(1-thiophen-2-ylsulfonylpyrrolidine-2-carbonyl)amino]-6,7-dihydro-4H-[1,3]thiazolo[5,4-c]pyridine-5-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C17H20N4O5S3
assistant