You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
N-[(4-hydroxypyrrolidin-3-yl)methyl]-7a-methyl-5-oxo-2,3,6,7-tetrahydropyrrolo[2,1-b][1,3]thiazole-3-carboxamide;hydrochloride The above is the IUPAC name of a molecule. Write its molecular formula.
user
C13H22ClN3O3S
assistant