You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule 1'-[1-(3-fluorophenyl)piperidin-4-yl]spiro[5,8-dihydro-2H-[1,2,4]triazolo[3,4-c][1,4]oxazine-6,3'-pyrrolidine]-3-one;formic acid into molecular formula.
user
C20H26FN5O4
assistant