You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name tert-butyl (2S,4R)-2-(dimethylcarbamoyl)-4-methylsulfonyloxypyrrolidine-1-carboxylate into its molecular formula.
user
C13H24N2O6S
assistant