You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by tert-butyl 3-[2-[(3R)-3-hydroxypyrrolidin-1-yl]ethynyl]piperidine-1-carboxylate ?
user
C16H26N2O3
assistant