You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name tert-butyl 4-(3-ethenyloxiran-2-yl)piperazine-1-carboxylate ?
user
C13H22N2O3
assistant