You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2S)-1-[4-(3-fluorophenyl)-5-oxotetrazole-1-carbonyl]pyrrolidine-2-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C13H13FN6O3
assistant