You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
tert-butyl (2S,4R)-2-(2,5-difluorophenyl)-4-hydroxypyrrolidine-1-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C15H19F2NO3
assistant