You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[3-(4-cyclobutylphenyl)azetidin-1-yl](111C)methanone;[(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[3-[2-(2-fluoro-4-methylphenyl)-1,2-ditritioethyl]azetidin-1-yl]methanone;[(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[3-[2-[2-fluoro-6-(trifluoromethyl)phenyl]-1,2-ditritioethyl]azetidin-1-yl]methanone;[(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[3-[2-[2-fluoro-6-(trifluoromethyl)phenyl]ethyl]azetidin-1-yl](111C)methanone;[(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[6-[[2-fluoro-6-(tritritiomethoxy)phenyl]methyl]-2-azaspiro[3.3]heptan-2-yl]methanone;[(4aR,8aS)-3-methylidene-4,4a,5,7,8,8a-hexahydropyrano[3,2-c]pyridin-6-yl]-[3-[2-[2-(trifluoromethyl)-4-(tritritiomethoxy)phenyl]ethyl]azetidin-1-yl]methanone by IUPAC nomenclature, provide its molecular formula.
user
C136H171F13N12O14
assistant