You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
tert-butyl 3-amino-3-(3-hydroxy-8-azabicyclo[3.2.1]octan-3-yl)piperidine-1-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C17H31N3O3
assistant