You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl 4-[5-[[1-[(1S,2S)-2-cyanocyclohexyl]-4-oxo-3,3a,5,6,7,7a-hexahydro-2H-pyrazolo[4,3-c]pyridin-3-yl]amino]-1,1-dioxo-3H-1,2-benzothiazol-2-yl]cyclohexane-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C31H44N6O5S
assistant