You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-(1,3-benzodioxol-5-yl)-5-(4-fluorophenyl)-3-(4-methylphenyl)-1,2,3,3a,4,6a-hexahydropyrrolo[3,4-c]pyrazol-6-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C25H22FN3O3
assistant