You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3R,5S)-5-(3,4-difluorophenyl)-1-(imidazo[1,2-a]pyridin-5-ylmethyl)pyrrolidin-3-ol by IUPAC nomenclature, provide its molecular formula.
user
C18H17F2N3O
assistant