You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
[2-[(3R)-3-(1,3-benzothiazol-2-yl)piperidin-1-yl]-2-oxoethyl]-methyl-[(1R)-1,2,3,4-tetrahydronaphthalen-1-yl]azanium The above is the IUPAC name of a molecule. Write its molecular formula.
user
C25H30N3OS+
assistant