You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 2-(2-cyclopropylethylimino)-5-(hydroxymethyl)-1,3a,5,6,7,7a-hexahydropyrano[3,2-d][1,3]thiazole-6,7-diol into its molecular formula.
user
C12H20N2O4S
assistant