You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (2S,5R)-5-[4-(5-oxo-1H-1,2,4-triazol-4-yl)piperidine-1-carbonyl]oxolane-2-carboxylic acid is given. What is its corresponding molecular formula?
user
C13H18N4O5
assistant