You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3S,6S,8aS)-6-[3-(3,3-difluoropyrrolidin-1-yl)propyl]-3-methyl-4-oxo-1,3,6,7,8,8a-hexahydropyrrolo[1,2-a]pyrazine-2-carboxylic acid is the IUPAC name of a molecule. Please give its molecular formula.
user
C16H25F2N3O3
assistant