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 (13R,13aS)-13-[4-(2,3-dimethylphenyl)piperazine-1-carbonyl]-5,6,13,13a-tetrahydroisoquinolino[2,1-b]isoquinolin-8-one ?
user
C30H31N3O2
assistant