You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (1R,9R)-5-(benzylsulfonylamino)-N-(4-fluorophenyl)-6-oxo-7,11-diazatricyclo[7.3.1.02,7]trideca-2,4-diene-11-carboxamide is given. What is its corresponding molecular formula?
user
C25H25FN4O4S
assistant