You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 6-cyclopropyl-8-(1,1-dioxo-3,4-dihydro-2H-1lambda6,2-benzothiazin-3-yl)-2-[4-[(1-methylpiperidin-3-yl)amino]anilino]pyrido[2,3-d]pyrimidin-7-one;6-(1-cyclopropylethenyl)-8-(2,2-dimethyl-4-oxo-3H-thiochromen-3-yl)-2-[4-[methyl(piperidin-3-yl)amino]anilino]pyrido[2,3-d]pyrimidin-7-one;6-ethoxy-2-[4-[(1-methylpiperidin-4-yl)amino]anilino]-8-(1,2,2-trimethyl-4-oxo-3H-quinolin-3-yl)pyrido[2,3-d]pyrimidin-7-one;6-(3-methylbut-1-en-2-yl)-8-(2-methyl-1,1-dioxo-3,4-dihydro-1lambda6,2-benzothiazin-3-yl)-2-[4-(1-methylpiperidin-3-yl)oxyanilino]pyrido[2,3-d]pyrimidin-7-one by IUPAC nomenclature, provide its molecular formula.
user
C131H148N26O12S3
assistant