You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 7-[4-(4-methoxyphenyl)-5-methylthiophene-2-carbonyl]-5,6,8,8a-tetrahydroimidazo[1,5-a]pyrazine-1,3-dione is given. What is its corresponding molecular formula?
user
C19H19N3O4S
assistant