You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1-O'-tert-butyl 2-O'-methyl (2'S)-1-hydroxy-5-methylspiro[1,2-dihydropyrano[2,3-c]quinoline-3,4'-pyrrolidine]-1',2'-dicarboxylate;1-O'-tert-butyl 2-O'-methyl (2'S)-5-methyl-1-oxospiro[2H-pyrano[2,3-c]quinoline-3,4'-pyrrolidine]-1',2'-dicarboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C46H54N4O12
assistant