You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named tert-butyl 3,3-dimethyl-4-[(2R,5S)-5-methyloxolane-2-carbonyl]piperazine-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C17H30N2O4
assistant