You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-(2,7-dioxo-1a,2a,6a,7a-tetrahydro-1H-cyclopropa[b]naphthalen-4-yl)-2-benzofuran-1,3-dione is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H12O5
assistant