You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2S,3S,3aR,9bR)-1-[(3-fluorophenyl)methyl]-3-(hydroxymethyl)-6-oxo-7-[(Z)-prop-1-enyl]-N-propyl-3,3a,4,9b-tetrahydro-2H-pyrrolo[2,3-a]indolizine-2-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C25H30FN3O3
assistant