You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (5R)-2,2,3,3,5,6,6-heptadeuterio-5-[dideuterio-[(2,2-dideuterio-1,3-benzodioxol-5-yl)oxy]methyl]-4-(2,3,5,6-tetradeuterio-4-fluorophenyl)piperidine by IUPAC nomenclature, provide its molecular formula.
user
C19H20FNO3
assistant