You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
methyl (4R)-6-[[(8aS)-2-[4-(2-methoxy-2-oxoethyl)phenyl]-3-oxo-5,6,8,8a-tetrahydro-1H-imidazo[1,5-a]pyrazin-7-yl]methyl]-4-(2-chloro-4-fluorophenyl)-2-(1,3-thiazol-2-yl)-1,4-dihydropyrimidine-5-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C31H30ClFN6O5S
assistant