You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2S)-1-(1,3-benzodioxole-5-carbonyl)-N-[4-chloro-3-(trifluoromethyl)phenyl]pyrrolidine-2-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C20H16ClF3N2O4
assistant