You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Please write the molecular formula of the molecule [(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidin-3-yl]-spiro[1a,6a-dihydroindeno[1,2-b]oxirene-6,4'-piperidine]-1'-ylmethanone;ethyl (1S,1aS,6aR)-1'-[(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidine-3-carbonyl]spiro[1a,6a-dihydro-1H-cyclopropa[a]indene-6,4'-piperidine]-1-carboxylate;methyl 1'-[(3S,4R)-1-tert-butyl-4-(2,4-difluorophenyl)pyrrolidine-3-carbonyl]-5,6-dimethylspiro[1,2-dihydroindene-3,4'-piperidine]-1-carboxylate .
user
C92H110F6N6O8
assistant