You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (2R)-1-[(5-propan-2-yl-6,7-dihydro-4H-[1,3]thiazolo[5,4-c]pyridin-2-yl)methyl]pyrrolidine-2-carboxamide into its molecular formula.
user
C15H24N4OS
assistant