You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule dipotassium;28-tert-butyl-10,22-dimethyl-13,13-diphenyl-19-azaoctacyclo[17.10.1.02,18.04,16.06,14.07,12.020,25.026,30]triaconta-1(29),2(18),3,5,7(12),8,10,14,16,20(25),21,23,26(30),27-tetradecaene;28-tert-butyl-13,13-diphenyl-19-azaoctacyclo[17.10.1.02,18.04,16.06,14.07,12.020,25.026,30]triaconta-1(29),2(18),3,5,7(12),8,10,14,16,20(25),21,23,26(30),27-tetradecaene-10,22-diol;deuterio(fluoro)methane;fluoromethane;hydride;oxido formate;trichloroalumane into molecular formula.
user
C142H115AlCl3F2K2N3O5
assistant