You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [(1R)-2-oxocyclohexyl] 1-(1,1-dioxo-1,2-benzothiazol-3-yl)piperidine-4-carboxylate into its molecular formula.
user
C19H22N2O5S
assistant