You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
12-chloro-11,13-dimethyl-6-pyrrolidin-1-yl-8-thia-3,5,10-triazatricyclo[7.4.0.02,7]trideca-1(13),2(7),3,5,9,11-hexaene;hydrochloride The above is the IUPAC name of a molecule. Write its molecular formula.
user
C15H16Cl2N4S
assistant