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 [(3aR,5S,6R,6aR)-2,2-dimethyl-6-sulfooxy-3a,5,6,6a-tetrahydrofuro[2,3-d][1,3]dioxol-5-yl]methyl pyrrolidine-1-carbodithioate ?
user
C13H21NO7S3
assistant