You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
N-(1-benzoylpiperidin-4-yl)-1-(2,4-difluorophenyl)-5-oxo-N-propylpyrrolidine-3-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C26H29F2N3O3
assistant