You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [(3S,13E)-18-chloro-8,8-difluoro-5-oxo-16-oxa-4,10-diazatricyclo[15.2.2.06,10]henicosa-1(19),13,17,20-tetraen-3-yl] N-(1-cyanocyclopropyl)carbamate by IUPAC nomenclature, provide its molecular formula.
user
C23H25ClF2N4O4
assistant