You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 11,12-dimethyl-6-pyrrolidin-1-yl-8-thia-3,5,10-triazatricyclo[7.4.0.02,7]trideca-1(9),2(7),3,5,10,12-hexaene by IUPAC nomenclature, provide its molecular formula.
user
C15H16N4S
assistant