You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
5-bromo-2-[2,2,3,3,5,5,6,6-octadeuterio-4-(trideuteriomethyl)piperazin-1-yl]-4-(trideuteriomethyl)-1,3-thiazole The above is the IUPAC name of a molecule. Write its molecular formula.
user
C9H14BrN3S
assistant