You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1'-[(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidine-3-carbonyl]-5-chloro-6-methyl-1-propan-2-ylspiro[indole-3,4'-piperidine]-2-one;1'-[(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidine-3-carbonyl]-6-chloro-5-methyl-1-propan-2-ylspiro[indole-3,4'-piperidine]-2-one;1'-[(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidine-3-carbonyl]-5-methyl-1-propan-2-ylspiro[indole-3,4'-piperidine]-2-one by IUPAC nomenclature, provide its molecular formula.
user
C93H115Cl2F6N9O6
assistant