You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named sodium;6-(1-hydroxyethyl)-3-[(Z)-2-(5-methyltetrazol-1-yl)ethenyl]sulfanyl-7-oxo-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylate is given. What is its corresponding molecular formula?
user
C13H14N5NaO4S
assistant