You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3R,4R)-N-(1-cyclopropyl-2,2,2-trifluoroethyl)-3-hydroxy-4-(triazol-1-yl)pyrrolidine-1-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C12H16F3N5O2
assistant