You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 11-(cyclopropanecarbonyl)-5-[(3S)-1-(2,2-dimethylpropanoyl)piperidin-3-yl]-2,6,7,11-tetrazatricyclo[7.4.0.03,7]trideca-1(9),2,4-trien-8-one is given. What is its corresponding molecular formula?
user
C23H31N5O3
assistant