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