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,1-dioxo-4-piperidin-1-ylthiolan-3-yl)-1-methyl-4-piperidin-1-ylsulfonylpyrrole-2-carboxamide ?
user
C20H32N4O5S2
assistant