You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (8aS)-2,3,3-trimethyl-6,7,8,8a-tetrahydro-5H-imidazo[1,5-a]pyrazin-1-one is given. What is its corresponding molecular formula?
user
C9H17N3O
assistant