You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 11-(pyridin-3-ylmethyl)-1'-(thiophen-3-ylmethyl)spiro[2,7,11-triazatricyclo[7.4.0.03,7]trideca-1(9),2-diene-5,4'-piperidine]-8-one by IUPAC nomenclature, provide its molecular formula.
user
C25H29N5OS
assistant