You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (2S,5R,6E)-3,3-dimethyl-4,4,7-trioxo-6-(1,2-thiazol-3-ylmethylidene)-4lambda6-thia-1-azabicyclo[3.2.0]heptane-2-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C12H12N2O5S2
assistant