You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(1R,2S,5S)-N-(4-amino-1-cyclopropyl-3,4-dioxobutan-2-yl)-3-[(2S)-2-[[(1S)-1-cyclobutyl-2-oxo-2-phenylethyl]carbamoylamino]-3,3-dimethylbutanoyl]-6,6-dimethyl-3-azabicyclo[3.1.0]hexane-2-carboxamide;(1R,2S,5S)-N-(4-amino-1-cyclopropyl-3,4-dioxobutan-2-yl)-3-[(2S)-2-[[(1S)-1-cyclohexyl-3-methyl-2-oxobutyl]carbamoylamino]-3,3-dimethylbutanoyl]-6,6-dimethyl-3-azabicyclo[3.1.0]hexane-2-carboxamide;(1R,2S,5S)-N-(4-amino-1-cyclopropyl-3,4-dioxobutan-2-yl)-3-[(2S)-2-[[(2S)-3,3-dimethyl-1-oxo-1-phenylbutan-2-yl]carbamoylamino]-3,3-dimethylbutanoyl]-6,6-dimethyl-3-azabicyclo[3.1.0]hexane-2-carboxamide;(1R,2S,5S)-N-(4-amino-1-cyclopropyl-3,4-dioxobutan-2-yl)-3-[(2S)-2-[[(2S)-1-(2-methoxyphenyl)-3-methyl-1-oxobutan-2-yl]carbamoylamino]-3,3-dimethylbutanoyl]-6,6-dimethyl-3-azabicyclo[3.1.0]hexane-2-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C135H198N20O25
assistant