You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1-[2-(3-chlorophenyl)-2-cyclohexylethyl]-4-methylpiperazine;dihydrochloride by IUPAC nomenclature, provide its molecular formula.
user
C19H31Cl3N2
assistant