You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [(2S,5R)-2-[[(2S,4R)-4-cyanopyrrolidin-2-yl]methoxycarbamoyl]-7-oxo-1,6-diazabicyclo[3.2.1]octan-6-yl] hydrogen sulfate into its molecular formula.
user
C13H19N5O7S
assistant