You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule tert-butyl (4Z)-4-(2-methylsulfonyloxyethylidene)-3-oxo-2-azabicyclo[3.1.0]hexane-2-carboxylate ?
user
C13H19NO6S
assistant