You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1'R,5'S,6'S)-2'-amino-6'-(4-fluorophenyl)spiro[1,3-dioxolane-2,4'-3-azabicyclo[3.1.0]hex-2-ene]-1',5'-dicarbonitrile by IUPAC nomenclature, provide its molecular formula.
user
C15H11FN4O2
assistant