You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 5-bromo-4-(1,1,1,2,3,3,3-heptadeuteriopropan-2-yl)-2-[2,2,3,3,5,5,6,6-octadeuterio-4-(trideuteriomethyl)piperazin-1-yl]-1,3-thiazole by IUPAC nomenclature, provide its molecular formula.
user
C11H18BrN3S
assistant