You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-N-(2-methyl-5-methylsulfonylphenyl)-2-N-(2,2,2-trifluoroethyl)pyrrolidine-1,2-dicarboxamide into its molecular formula.
user
C16H20F3N3O4S
assistant