You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name (1R,6S)-6-[(2S)-2-(3-propan-2-yl-1,2,4-oxadiazol-5-yl)piperidine-1-carbonyl]cyclohex-3-ene-1-carboxylic acid into its molecular formula.
user
C18H25N3O4
assistant