You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-[[5-(difluoromethyl)-1H-1,2,4-triazol-3-yl]sulfanyl]-2-[(2-methylpropan-2-yl)oxycarbonylamino]bicyclo[3.1.0]hexane-2,6-dicarboxylic acid is the IUPAC name of a molecule. Please give its molecular formula.
user
C16H20F2N4O6S
assistant