You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1R,3R)-4-[1-[5-[6-[[4-(difluoromethyl)pyridin-2-yl]amino]-4-methylpyridin-2-yl]pyridin-2-yl]-1-hydroxyethyl]-3-(1,3-dioxol-4-ylmethyl)-5-methyl-2-oxocyclohexane-1-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C31H32F2N4O6
assistant