You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
[4-[bis(3,4-difluorophenyl)methyl]piperazin-1-yl]-[(2S)-piperidin-2-yl]methanone;tert-butyl (2S)-2-[4-[bis(3,4-difluorophenyl)methyl]piperazine-1-carbonyl]piperidine-1-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C51H58F8N6O4
assistant