You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named N-[(1R,2R)-1-(2,3-dihydro-1,4-benzodioxin-6-yl)-1-hydroxy-3-pyrrolidin-1-ylpropan-2-yl]-2,2-difluoro-2-(5-fluoro-1-benzothiophen-2-yl)acetamide by IUPAC nomenclature, provide its molecular formula.
user
C25H25F3N2O4S
assistant