You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
methyl 3,5-dichloro-4-oxopiperidine-3-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C7H9Cl2NO3
assistant