You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named N-cyclopropyl-2-[2-[2-[(2R)-2,4-dimethylpiperazin-1-yl]ethylamino]-5-methylpyrimidin-4-yl]-1-benzothiophene-4-carboxamide;trihydrochloride is given. What is its corresponding molecular formula?
user
C25H35Cl3N6OS
assistant