You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 3-[(3aR,7aS)-3a,7a-dihydro-1,3-benzothiazol-2-yl]-4-hydroxy-6,7-dimethyl-1-oxoquinoxalin-1-ium-2-amine is given. What is its corresponding molecular formula?
user
C17H17N4O2S+
assistant