You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 3-[[(3aR,6aS)-5,5-dioxo-3a,4,6,6a-tetrahydro-3H-thieno[3,4-d][1,3]thiazol-2-ylidene]amino]-N,N-diethylpropan-1-amine is given. What is its corresponding molecular formula?
user
C12H23N3O2S2
assistant