You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 10-[2-[(2R)-2-(2,3-dihydro-1,4-benzodioxin-6-yl)pyrrolidin-1-yl]-2-oxoethyl]sulfanyl-11-methyl-7-thia-9,11-diazatricyclo[6.4.0.02,6]dodeca-1(8),2(6),9-trien-12-one by IUPAC nomenclature, provide its molecular formula.
user
C24H25N3O4S2
assistant