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 methyl (6R)-2-[(3R,3aS,6aS)-4,6-dioxo-2,3-diphenyl-3a,6a-dihydro-3H-pyrrolo[3,4-d][1,2]oxazol-5-yl]-6-tert-butyl-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate ?
user
C31H32N2O5S
assistant