You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named dimethyl 2-piperidin-1-yl-2-prop-2-ynylpropanedioate is given. What is its corresponding molecular formula?
user
C13H19NO4
assistant