You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (5aR,6R,9aS)-2-(3-chlorophenyl)-8-isocyano-6,9a-dimethyl-3-(1-methylpyrazol-4-yl)-4,5,5a,6-tetrahydrobenzo[e]benzimidazol-7-one;(5aR,6R,9aS)-8-isocyano-6,9a-dimethyl-3-(1-methylpyrazol-4-yl)-2-(4-propan-2-ylphenyl)-4,5,5a,6-tetrahydrobenzo[e]benzimidazol-7-one;(5aR,6R,9aS)-8-isocyano-6,9a-dimethyl-2-(3-phenylphenyl)-3-pyridin-3-yl-4,5,5a,6-tetrahydrobenzo[e]benzimidazol-7-one;(5aR,6R,9aS)-8-isocyano-6,9a-dimethyl-2-(4-propan-2-ylphenyl)-3-pyridin-3-yl-4,5,5a,6-tetrahydrobenzo[e]benzimidazol-7-one;(5aR,6R,9aS)-8-isocyano-6,9a-dimethyl-3-pyridin-3-yl-2-quinolin-4-yl-4,5,5a,6-tetrahydrobenzo[e]benzimidazol-7-one by IUPAC nomenclature, provide its molecular formula.
user
C138H128ClN23O5
assistant