You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (5Z)-2,9-di(piperidin-1-yl)-13lambda4-thiabicyclo[8.2.1]tridec-5-ene 13-oxide into its molecular formula.
user
C22H38N2OS
assistant