You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named N-(3-fluorophenyl)-2-(1-methylsulfonylspiro[2H-indole-3,4'-piperidine]-1'-yl)-5-oxo-6,7-dihydrothieno[3,2-d]pyrimidin-4-amine by IUPAC nomenclature, provide its molecular formula.
user
C25H26FN5O3S2
assistant