You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [(3R)-1-azabicyclo[2.2.2]octan-3-yl] N-[5-(2,5-difluorophenyl)-1,3-thiazol-4-yl]carbamate into its molecular formula.
user
C17H17F2N3O2S
assistant