You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (3R,4S,5S,8R)-8-[(1S)-1,2-dihydroxyethyl]-3,4-difluoro-5-hydroxy-2-oxa-7-azabicyclo[4.2.0]octane-3-carboxylic acid into its molecular formula.
user
C9H13F2NO6
assistant