You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (3aR,5S,6S,7R,7aR)-2-methyl-5-[(1S)-2,2,2-trifluoro-1-hydroxyethyl]-5,6,7,7a-tetrahydro-3aH-pyrano[3,2-d][1,3]thiazole-6,7-diol into its molecular formula.
user
C9H12F3NO4S
assistant