You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name [(5S,8S,10aR)-3-(2,2-difluoroethyl)-8-methoxycarbonyl-6-oxo-1,2,4,5,8,9,10,10a-octahydropyrrolo[1,2-a][1,5]diazocin-5-yl]azanium ?
user
C13H22F2N3O3+
assistant