You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name tert-butyl 1-(6,11-dihydrobenzo[c][1]benzothiepin-11-yl)-5-hydroxy-4,6-dioxospiro[2H-pyrido[1,2-b]pyridazine-3,4'-piperidine]-1'-carboxylate ?
user
C31H33N3O5S
assistant