You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl (1S,2S)-2-[(3aS,7aS)-1,3-dimethyl-2-oxido-3a,4,5,6,7,7a-hexahydrobenzo[d][1,3,2]diazaphosphol-2-ium-2-yl]-2-fluorocyclopropane-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C16H28FN2O3P
assistant