You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (8S,9aS)-8-[(4,4-difluorocyclohexyl)-methylamino]-1'-(thiadiazol-4-ylmethyl)spiro[2,4,7,8,9,9a-hexahydropyrrolo[1,2-a][1,4]diazepine-3,4'-piperidine]-1,5-dione ?
user
C22H32F2N6O2S
assistant