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 N-(1,3-benzodioxol-5-yl)-1-(5-tert-butyl-4,5,6,7-tetrahydro-1-benzothiophene-2-carbonyl)piperidine-4-carboxamide ?
user
C26H32N2O4S
assistant