;; NOTE [Malte]: I modified this file from the original IPC file ;; because it contained duplicate object definitions. Please check the ;; repository log for the revision where this comment was added for ;; details. (define (problem Pathways-12) (:domain Pathways-Propositional) (:objects Wee1 - simple SP1 - simple SL1 - simple Skp2 - simple Skp1 - simple RPA - simple pRb - simple Plk1 - simple p68 - simple p53p1 - simple p53 - simple p27 - simple p130 - simple Max - simple gP - simple gE-c - simple gcdc25A - simple E2F5-DP12p1 - simple E2F4-DP12p1 - simple E2F13p1-DP12 - simple E2F13-DP12p1 - simple E2F13-DP12 - simple DMP1 - simple cycH - simple cycB - simple C-TAK1 - simple cks1 - simple CEBP - simple cdk7 - simple cdk46p3-cycD - simple cdk2p2-cycB - simple cdk2p1 - simple cdk2 - simple cdk1p1p2 - simple cdc25C - simple c-Abl - simple APC - simple AP2 - simple AP2-gE-c - complex c-Abl-pRb - complex c-Abl-pRbp1 - complex c-Abl-pRbp1p2 - complex cdk1-cks1 - complex cdk1-Gadd45 - complex cdk1p1-cks1 - complex cdk1p1-Gadd45 - complex cdk1p1 - complex cdk1p1p2-cks1 - complex cdk1p1p2-Gadd45 - complex cdk1p1p2p3-cks1 - complex cdk1p1p2p3-Gadd45 - complex cdk1p1p2p3 - complex cdk1p1p3-cks1 - complex cdk1p1p3-Gadd45 - complex cdk1p1p3 - complex cdk1 - complex cdk1p2-cks1 - complex cdk1p2-Gadd45 - complex cdk1p2 - complex cdk1p2p3-cks1 - complex cdk1p1p2p3-cycA - complex cdc25Cp1 - complex cdk1p1p2p3-cycB - complex cdk1p2p3-Gadd45 - complex cdk1p2p3 - complex ;; cdk1p3-cks1 - complex ;; DUPLICATE cdk1p1p3-cycA - complex ;; cdk1p2p3-cycA - complex ;; DUPLICATE ;; cdk1p1p3-cycB - complex ;; DUPLICATE cdk1p2p3-cycB - complex cdk1p3-Gadd45 - complex ;; cdk1p3 - complex ;; DUPLICATE cdk2-cks1 - complex cdk2p1-cks1 - complex cdk2p1p2-cks1 - complex cdk2p1p2 - complex cdk2p2-cks1 - complex cdk2p1p2-cycB - complex cdk2p2 - complex cdk7-cycH - complex cdk7p1-cycH - complex CEBP-gP - complex CEBP-pRb - complex CEBP-pRb-gP - complex CEBP-pRbp1 - complex CEBP-pRbp1-gP - complex ;; CEBP-pRbp1p2 - complex ;; DUPLICATE ;; CEBP-pRbp1p2-gP - complex ;; DUPLICATE P - complex c-Myc-AP2 - complex c-Myc-Max-gcdc25A - complex ;; c-Myc-Max - complex ;; DUPLICATE APCp1 - complex DMP1-cycD - complex DMP1-cycDp1 - complex DMP1p1-cycD - complex DMP1p1-cycDp1 - complex DMP1p1 - complex cdc25Cp1p2 - complex cdc25Cp2 - complex Mdm2-E2F13-DP12 - complex Mdm2-E2F13-DP12p1 - complex Mdm2-E2F13p1-DP12 - complex Mdm2-pRb - complex Mdm2-pRbp1 - complex Mdm2-pRbp1p2 - complex p107-E2F4-DP12p1 - complex p130-E2F4-DP12p1 - complex p130-E2F5-DP12p1 - complex cdk7p1 - complex ;; p21-cdk2-cycA - complex ;; DUPLICATE p21-cdk2-cycEp1 - complex p21-cdk2-cycE - complex p21-cdk2p1-cycA - complex p21-cdk2p1-cycEp1 - complex p21-cdk2p1-cycE - complex p21-cdk2p1p2-cycA - complex p21-cdk2p1p2-cycEp1 - complex p21-cdk2p1p2-cycE - complex p21-cdk2p2-cycA - complex p21-cdk2p2-cycEp1 - complex p21-cdk2p2-cycE - complex p21-Gadd45 - complex p27-cdk2-cycA - complex p27-cdk2-cycEp1 - complex p27-cdk2-cycE - complex p27-cdk2p1-cycA - complex p27-cdk2p1-cycEp1 - complex p27-cdk2p1-cycE - complex p27-cdk2p1p2-cycA - complex p27-cdk2p1p2-cycEp1 - complex p27-cdk2p1p2-cycE - complex ;; p27-cdk2p2-cycA - complex ;; DUPLICATE p27-cdk2p2-cycEp1 - complex p27-cdk2p2-cycE - complex ;; p27p1-cdk2-cycA - complex ;; DUPLICATE ;; p27p1-cdk2-cycEp1 - complex ;; DUPLICATE p27p1-cdk2-cycE - complex ;; p27p1-cdk2p1-cycA - complex ;; DUPLICATE p27p1-cdk2p1-cycEp1 - complex ;; p27p1-cdk2p1-cycE - complex ;; DUPLICATE ;; p27p1-cdk2p1p2-cycA - complex ;; DUPLICATE ;; p27p1-cdk2p1p2-cycEp1 - complex ;; DUPLICATE ;; p27p1-cdk2p1p2-cycE - complex ;; DUPLICATE p27p1-cdk2p2-cycA - complex p27p1-cdk2p2-cycEp1 - complex ;; p27p1-cdk2p2-cycE - complex ;; DUPLICATE p27p1 - complex Mdm2 - complex p68p1 - complex p68p1p2 - complex p68p2 - complex Gadd45 - complex cdk2-cycEp1 - complex cdk2-cycE - complex cdk2p1-cycEp1 - complex ;; cdk2p1-cycE - complex ;; DUPLICATE cdk2p1p2-cycEp1 - complex cdk2p1p2-cycE - complex p21 - complex pRb-AP2-gE-c - complex pRb-AP2 - complex pRb-E2F4-DP12p1 - complex pRbp1-AP2-gE-c - complex pRbp1-AP2 - complex cdk2p2-cycEp1 - complex cdk2p2-cycE - complex pRbp1-E2F4-DP12p1 - complex pRbp1 - complex ;; pRbp1p2-AP2-gE-c - complex ;; DUPLICATE ;; pRbp1p2-AP2 - complex ;; DUPLICATE Ecadherin - complex pRbp1p2 - complex c-Fos - complex ;; cdc25A - complex ;; DUPLICATE pRb-E2F13-DP12p1 - complex pRb-E2F13-DP12 - complex pRb-E2F13p1-DP12 - complex pRbp1-E2F13-DP12p1 - complex pRbp1-E2F13-DP12 - complex pRbp1-E2F13p1-DP12 - complex RPA-cycA - complex Skp2-cdk2-cycA - complex Skp2-cdk2p1-cycA - complex Skp2-cdk2p1p2-cycA - complex Skp2-cdk2p2-cycA - complex Skp2p1-Skp1p1 - complex ;; Skp2p1-Skp1 - complex ;; DUPLICATE ;; Skp2p1 - complex ;; DUPLICATE Skp2-Skp1-cdk2-cycA - complex Skp2-Skp1-cdk2p1-cycA - complex Skp2-Skp1-cdk2p1p2-cycA - complex Skp2-Skp1-cdk2p2-cycA - complex ;; Skp2-Skp1p1-cdk2-cycA - complex ;; DUPLICATE cdk2-cycA - complex ;; Skp2-Skp1p1-cdk2p1-cycA - complex ;; DUPLICATE cdk2p1-cycA - complex ;; Skp2-Skp1p1-cdk2p1p2-cycA - complex ;; DUPLICATE cdk2p1p2-cycA - complex ;; Skp2-Skp1p1-cdk2p2-cycA - complex ;; DUPLICATE cdk2p2-cycA - complex Skp2-Skp1p1 - complex Skp1p1 - complex Skp2-Skp1 - complex ;; SL1p1 - complex ;; DUPLICATE c-Myc - complex cycA - complex cycD - complex ;; cycDp1 - complex ;; DUPLICATE cycE - complex cycEp1 - complex p19ARF - complex pol - complex SP1-gP - complex SP1-p107-gP - complex SP1-p107p1-gP - complex SP1-p107p1 - complex p107p1 - complex SP1-p107 - complex p107 - complex ;; cdk1p3-cycA - complex ;; DUPLICATE ;; cdk1p3-cycB - complex ;; DUPLICATE l0 - level l1 - level l2 - level l3 - level l4 - level l5 - level l6 - level l7 - level l8 - level l9 - level l10 - level l11 - level l12 - level l13 - level l14 - level l15 - level l16 - level l17 - level) (:init (possible Wee1) (possible SP1) (possible SL1) (possible Skp2) (possible Skp1) (possible RPA) (possible pRb) (possible Plk1) (possible p68) (possible p53p1) (possible p53) (possible p27) (possible p130) (possible Max) (possible gP) (possible gE-c) (possible gcdc25A) (possible E2F5-DP12p1) (possible E2F4-DP12p1) (possible E2F13p1-DP12) (possible E2F13-DP12p1) (possible E2F13-DP12) (possible DMP1) (possible cycH) (possible cycB) (possible C-TAK1) (possible cks1) (possible CEBP) (possible cdk7) (possible cdk46p3-cycD) (possible cdk2p2-cycB) (possible cdk2p1) (possible cdk2) (possible cdk1p1p2) (possible cdc25C) (possible c-Abl) (possible APC) (possible AP2) (association-reaction AP2 gE-c AP2-gE-c) (synthesis-reaction AP2-gE-c Ecadherin) (catalyzed-association-reaction APC Plk1 APCp1) (association-reaction c-Abl pRb c-Abl-pRb) (association-reaction c-Abl pRbp1 c-Abl-pRbp1) (association-reaction c-Abl pRbp1p2 c-Abl-pRbp1p2) (catalyzed-association-reaction cdc25C cdk1p3-cycA cdc25Cp1) (catalyzed-association-reaction cdc25C cdk1p3-cycB cdc25Cp1) (catalyzed-association-reaction cdc25C C-TAK1 cdc25Cp2) (catalyzed-association-reaction cdc25Cp1 C-TAK1 cdc25Cp1p2) (catalyzed-association-reaction cdc25Cp2 cdk1p3-cycA cdc25Cp1p2) (catalyzed-association-reaction cdc25Cp2 cdk1p3-cycB cdc25Cp1p2) (catalyzed-association-reaction cdc25Cp2 Plk1 cdc25Cp1p2) (catalyzed-association-reaction cdc25C Plk1 cdc25Cp1) (catalyzed-association-reaction cdk1 cdk7-cycH cdk1p3) (association-reaction cdk1 cks1 cdk1-cks1) (association-reaction cdk1 Gadd45 cdk1-Gadd45) (catalyzed-association-reaction cdk1p1 cdc25Cp1 cdk1) (catalyzed-association-reaction cdk1p1 cdc25Cp1p2 cdk1) (catalyzed-association-reaction cdk1p1 cdk7-cycH cdk1p1p3) (association-reaction cdk1p1 cks1 cdk1p1-cks1) (association-reaction cdk1p1 Gadd45 cdk1p1-Gadd45) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1 cdk1p1) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1 cdk1p2) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1p2 cdk1p1) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1p2 cdk1p2) (catalyzed-association-reaction cdk1p1p2 cdk7-cycH cdk1p1p2p3) (association-reaction cdk1p1p2 cks1 cdk1p1p2-cks1) (association-reaction cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1 cdk1p1p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1 cdk1p2p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1p2 cdk1p1p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1p2 cdk1p2p3) (association-reaction cdk1p1p2p3 cks1 cdk1p1p2p3-cks1) (catalyzed-association-reaction cdk1p1p2p3-cycA cdc25Cp1 cdk1p1p3-cycA) (catalyzed-association-reaction cdk1p1p2p3-cycA cdc25Cp1 cdk1p2p3-cycA) (catalyzed-association-reaction cdk1p1p2p3-cycA cdc25Cp1p2 cdk1p1p3-cycA) (catalyzed-association-reaction cdk1p1p2p3-cycA cdc25Cp1p2 cdk1p2p3-cycA) (association-reaction cdk1p1p2p3 cycA cdk1p1p2p3-cycA) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1 cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1 cdk1p2p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1p2 cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1p2 cdk1p2p3-cycB) (association-reaction cdk1p1p2p3 cycB cdk1p1p2p3-cycB) (association-reaction cdk1p1p2p3 Gadd45 cdk1p1p2p3-Gadd45) (catalyzed-association-reaction cdk1p1p3 cdc25Cp1 cdk1p3) (catalyzed-association-reaction cdk1p1p3 cdc25Cp1p2 cdk1p3) (association-reaction cdk1p1p3 cks1 cdk1p1p3-cks1) (catalyzed-association-reaction cdk1p1p3-cycA cdc25Cp1 cdk1p3-cycA) (catalyzed-association-reaction cdk1p1p3-cycA cdc25Cp1p2 cdk1p3-cycA) (association-reaction cdk1p1p3 cycA cdk1p1p3-cycA) (catalyzed-association-reaction cdk1p1p3-cycA Wee1 cdk1p1p2p3-cycA) (catalyzed-association-reaction cdk1p1p3-cycB cdc25Cp1 cdk1p3-cycB) (catalyzed-association-reaction cdk1p1p3-cycB cdc25Cp1p2 cdk1p3-cycB) (association-reaction cdk1p1p3 cycB cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p3-cycB Wee1 cdk1p1p2p3-cycB) (association-reaction cdk1p1p3 Gadd45 cdk1p1p3-Gadd45) (catalyzed-association-reaction cdk1p2 cdc25Cp1 cdk1) (catalyzed-association-reaction cdk1p2 cdc25Cp1p2 cdk1) (catalyzed-association-reaction cdk1p2 cdk7-cycH cdk1p2p3) (association-reaction cdk1p2 cks1 cdk1p2-cks1) (association-reaction cdk1p2 Gadd45 cdk1p2-Gadd45) (catalyzed-association-reaction cdk1p2p3 cdc25Cp1 cdk1p3) (catalyzed-association-reaction cdk1p2p3 cdc25Cp1p2 cdk1p3) (association-reaction cdk1p2p3 cks1 cdk1p2p3-cks1) (catalyzed-association-reaction cdk1p2p3-cycA cdc25Cp1 cdk1p3-cycA) (catalyzed-association-reaction cdk1p2p3-cycA cdc25Cp1p2 cdk1p3-cycA) (association-reaction cdk1p2p3 cycA cdk1p2p3-cycA) (catalyzed-association-reaction cdk1p2p3-cycB cdc25Cp1 cdk1p3-cycB) (catalyzed-association-reaction cdk1p2p3-cycB cdc25Cp1p2 cdk1p3-cycB) (association-reaction cdk1p2p3 cycB cdk1p2p3-cycB) (association-reaction cdk1p2p3 Gadd45 cdk1p2p3-Gadd45) (association-reaction cdk1p3 cks1 cdk1p3-cks1) (association-reaction cdk1p3 cycA cdk1p3-cycA) (catalyzed-association-reaction cdk1p3-cycA Wee1 cdk1p2p3-cycA) (association-reaction cdk1p3 cycB cdk1p3-cycB) (catalyzed-association-reaction cdk1p3-cycB Wee1 cdk1p2p3-cycB) (association-reaction cdk1p3 Gadd45 cdk1p3-Gadd45) (catalyzed-association-reaction cdk2 cdk7-cycH cdk2p2) (association-reaction cdk2 cks1 cdk2-cks1) (association-reaction cdk2 cycA cdk2-cycA) (catalyzed-association-reaction cdk2-cycA cdk7-cycH cdk2p2-cycA) (catalyzed-association-reaction cdk2-cycA Wee1 cdk2p1-cycA) (association-reaction cdk2 cycE cdk2-cycE) (catalyzed-association-reaction cdk2-cycE cdk7-cycH cdk2p2-cycE) (association-reaction cdk2 cycEp1 cdk2-cycEp1) (catalyzed-association-reaction cdk2-cycEp1 cdk7-cycH cdk2p2-cycEp1) (catalyzed-association-reaction cdk2p1 cdk7-cycH cdk2p1p2) (association-reaction cdk2p1 cks1 cdk2p1-cks1) (association-reaction cdk2p1 cycA cdk2p1-cycA) (catalyzed-association-reaction cdk2p1-cycA cdk7-cycH cdk2p1p2-cycA) (association-reaction cdk2p1 cycE cdk2p1-cycE) (catalyzed-association-reaction cdk2p1-cycE cdk7-cycH cdk2p1p2-cycE) (association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1) (catalyzed-association-reaction cdk2p1-cycEp1 cdk7-cycH cdk2p1p2-cycEp1) (association-reaction cdk2p1p2 cks1 cdk2p1p2-cks1) (association-reaction cdk2p1p2 cycA cdk2p1p2-cycA) (association-reaction cdk2p1p2 cycE cdk2p1p2-cycE) (association-reaction cdk2p1p2 cycEp1 cdk2p1p2-cycEp1) (association-reaction cdk2p2 cks1 cdk2p2-cks1) (association-reaction cdk2p2 cycA cdk2p2-cycA) (catalyzed-association-reaction cdk2p2-cycA Wee1 cdk2p1p2-cycA) (catalyzed-association-reaction cdk2p2-cycB Wee1 cdk2p1p2-cycB) (association-reaction cdk2p2 cycE cdk2p2-cycE) (association-reaction cdk2p2 cycEp1 cdk2p2-cycEp1) (catalyzed-association-reaction cdk7 cdk7-cycH cdk7p1) (association-reaction cdk7 cycH cdk7-cycH) (catalyzed-association-reaction cdk7-cycH cdk7-cycH cdk7p1-cycH) (association-reaction cdk7p1 cycH cdk7p1-cycH) (association-reaction CEBP gP CEBP-gP) (synthesis-reaction CEBP-gP P) (association-reaction CEBP pRb CEBP-pRb) (association-reaction CEBP-pRb gP CEBP-pRb-gP) (synthesis-reaction CEBP-pRb-gP P) (association-reaction CEBP pRbp1 CEBP-pRbp1) (association-reaction CEBP-pRbp1 gP CEBP-pRbp1-gP) (synthesis-reaction CEBP-pRbp1-gP P) (association-reaction CEBP pRbp1p2 CEBP-pRbp1p2) (association-reaction CEBP-pRbp1p2 gP CEBP-pRbp1p2-gP) (synthesis-reaction CEBP-pRbp1p2-gP P) (association-reaction c-Myc AP2 c-Myc-AP2) (association-reaction c-Myc Max c-Myc-Max) (synthesis-reaction c-Myc-Max-gcdc25A cdc25A) (association-reaction c-Myc-Max gcdc25A c-Myc-Max-gcdc25A) (catalyzed-association-reaction cycA Skp2p1-Skp1 Skp2p1-Skp1) (catalyzed-association-reaction cycA Skp2p1-Skp1p1 Skp2p1-Skp1p1) (catalyzed-association-reaction cycA Skp2-Skp1 Skp2-Skp1) (catalyzed-association-reaction cycA Skp2-Skp1p1 Skp2-Skp1p1) (catalyzed-association-reaction cycB APCp1 APCp1) (catalyzed-association-reaction cycE cdk2p2-cycE cycEp1) (catalyzed-association-reaction cycE cdk2p2-cycEp1 cycEp1) (catalyzed-association-reaction DMP1 cdk46p3-cycD DMP1p1) (association-reaction DMP1 cycD DMP1-cycD) (association-reaction DMP1 cycDp1 DMP1-cycDp1) (association-reaction DMP1p1 cycD DMP1p1-cycD) (association-reaction DMP1p1 cycDp1 DMP1p1-cycDp1) (association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) (association-reaction Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1) (association-reaction Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12) (association-reaction Mdm2 pRb Mdm2-pRb) (association-reaction Mdm2 pRbp1 Mdm2-pRbp1) (association-reaction Mdm2 pRbp1p2 Mdm2-pRbp1p2) (association-reaction p107 E2F4-DP12p1 p107-E2F4-DP12p1) (association-reaction p130 E2F4-DP12p1 p130-E2F4-DP12p1) (association-reaction p130 E2F5-DP12p1 p130-E2F5-DP12p1) (association-reaction p21 cdk2-cycA p21-cdk2-cycA) (association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1) (association-reaction p21 cdk2-cycE p21-cdk2-cycE) (association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA) (association-reaction p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1) (association-reaction p21 cdk2p1-cycE p21-cdk2p1-cycE) (association-reaction p21 cdk2p1p2-cycA p21-cdk2p1p2-cycA) (association-reaction p21 cdk2p1p2-cycEp1 p21-cdk2p1p2-cycEp1) (association-reaction p21 cdk2p1p2-cycE p21-cdk2p1p2-cycE) (association-reaction p21 cdk2p2-cycA p21-cdk2p2-cycA) (association-reaction p21 cdk2p2-cycEp1 p21-cdk2p2-cycEp1) (association-reaction p21 cdk2p2-cycE p21-cdk2p2-cycE) (association-reaction p21 Gadd45 p21-Gadd45) (association-reaction p27 cdk2-cycA p27-cdk2-cycA) (association-reaction p27 cdk2-cycEp1 p27-cdk2-cycEp1) (association-reaction p27 cdk2-cycE p27-cdk2-cycE) (association-reaction p27 cdk2p1-cycA p27-cdk2p1-cycA) (association-reaction p27 cdk2p1-cycEp1 p27-cdk2p1-cycEp1) (association-reaction p27 cdk2p1-cycE p27-cdk2p1-cycE) (association-reaction p27 cdk2p1p2-cycA p27-cdk2p1p2-cycA) (association-reaction p27 cdk2p1p2-cycEp1 p27-cdk2p1p2-cycEp1) (association-reaction p27 cdk2p1p2-cycE p27-cdk2p1p2-cycE) (association-reaction p27 cdk2p2-cycA p27-cdk2p2-cycA) (association-reaction p27 cdk2p2-cycEp1 p27-cdk2p2-cycEp1) (catalyzed-association-reaction p27 cdk2p2-cycEp1 p27p1) (association-reaction p27 cdk2p2-cycE p27-cdk2p2-cycE) (catalyzed-association-reaction p27 cdk2p2-cycE p27p1) (association-reaction p27p1 cdk2-cycA p27p1-cdk2-cycA) (association-reaction p27p1 cdk2-cycEp1 p27p1-cdk2-cycEp1) (association-reaction p27p1 cdk2-cycE p27p1-cdk2-cycE) (association-reaction p27p1 cdk2p1-cycA p27p1-cdk2p1-cycA) (association-reaction p27p1 cdk2p1-cycEp1 p27p1-cdk2p1-cycEp1) (association-reaction p27p1 cdk2p1-cycE p27p1-cdk2p1-cycE) (association-reaction p27p1 cdk2p1p2-cycA p27p1-cdk2p1p2-cycA) (association-reaction p27p1 cdk2p1p2-cycEp1 p27p1-cdk2p1p2-cycEp1) (association-reaction p27p1 cdk2p1p2-cycE p27p1-cdk2p1p2-cycE) (association-reaction p27p1 cdk2p2-cycA p27p1-cdk2p2-cycA) (association-reaction p27p1 cdk2p2-cycEp1 p27p1-cdk2p2-cycEp1) (association-reaction p27p1 cdk2p2-cycE p27p1-cdk2p2-cycE) (synthesis-reaction p53 c-Fos) (synthesis-reaction p53 Gadd45) (synthesis-reaction p53 Mdm2) (synthesis-reaction p53p1 c-Fos) (synthesis-reaction p53p1 Gadd45) (synthesis-reaction p53p1 Mdm2) (synthesis-reaction p53p1 p21) (synthesis-reaction p53 p21) (catalyzed-association-reaction p68 cdk2p2-cycA p68p2) (catalyzed-association-reaction p68 cdk2p2-cycEp1 p68p1) (catalyzed-association-reaction p68 cdk2p2-cycE p68p1) (catalyzed-association-reaction p68p1 cdk2p2-cycA p68p1p2) (catalyzed-association-reaction p68p2 cdk2p2-cycEp1 p68p1p2) (catalyzed-association-reaction p68p2 cdk2p2-cycE p68p1p2) (synthesis-reaction pRb-AP2-gE-c Ecadherin) (association-reaction pRb-AP2 gE-c pRb-AP2-gE-c) (association-reaction pRb AP2 pRb-AP2) (catalyzed-association-reaction pRb cdk46p3-cycD pRbp1) (association-reaction pRb E2F13-DP12p1 pRb-E2F13-DP12p1) (association-reaction pRb E2F13-DP12 pRb-E2F13-DP12) (association-reaction pRb E2F13p1-DP12 pRb-E2F13p1-DP12) (association-reaction pRb E2F4-DP12p1 pRb-E2F4-DP12p1) (synthesis-reaction pRbp1-AP2-gE-c Ecadherin) (association-reaction pRbp1-AP2 gE-c pRbp1-AP2-gE-c) (association-reaction pRbp1 AP2 pRbp1-AP2) (catalyzed-association-reaction pRbp1 cdk2p2-cycEp1 pRbp1p2) (catalyzed-association-reaction pRbp1 cdk2p2-cycE pRbp1p2) (association-reaction pRbp1 E2F13-DP12p1 pRbp1-E2F13-DP12p1) (association-reaction pRbp1 E2F13-DP12 pRbp1-E2F13-DP12) (association-reaction pRbp1 E2F13p1-DP12 pRbp1-E2F13p1-DP12) (association-reaction pRbp1 E2F4-DP12p1 pRbp1-E2F4-DP12p1) (synthesis-reaction pRbp1p2-AP2-gE-c Ecadherin) (association-reaction pRbp1p2-AP2 gE-c pRbp1p2-AP2-gE-c) (association-reaction pRbp1p2 AP2 pRbp1p2-AP2) (association-reaction RPA cycA RPA-cycA) (catalyzed-association-reaction Skp1 cdk2p2-cycA Skp1p1) (association-reaction Skp2 cdk2-cycA Skp2-cdk2-cycA) (association-reaction Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) (association-reaction Skp2 cdk2p1p2-cycA Skp2-cdk2p1p2-cycA) (association-reaction Skp2 cdk2p2-cycA Skp2-cdk2p2-cycA) (catalyzed-association-reaction Skp2 cdk2p2-cycA Skp2p1) (association-reaction Skp2p1 Skp1p1 Skp2p1-Skp1p1) (association-reaction Skp2p1 Skp1 Skp2p1-Skp1) (association-reaction Skp2-Skp1 cdk2-cycA Skp2-Skp1-cdk2-cycA) (association-reaction Skp2-Skp1 cdk2p1-cycA Skp2-Skp1-cdk2p1-cycA) (association-reaction Skp2-Skp1 cdk2p1p2-cycA Skp2-Skp1-cdk2p1p2-cycA) (association-reaction Skp2-Skp1 cdk2p2-cycA Skp2-Skp1-cdk2p2-cycA) (association-reaction Skp2-Skp1p1 cdk2-cycA Skp2-Skp1p1-cdk2-cycA) (association-reaction Skp2-Skp1p1 cdk2p1-cycA Skp2-Skp1p1-cdk2p1-cycA) (association-reaction Skp2-Skp1p1 cdk2p1p2-cycA Skp2-Skp1p1-cdk2p1p2-cycA) (association-reaction Skp2-Skp1p1 cdk2p2-cycA Skp2-Skp1p1-cdk2p2-cycA) (association-reaction Skp2 Skp1p1 Skp2-Skp1p1) (association-reaction Skp2 Skp1 Skp2-Skp1) (catalyzed-association-reaction SL1 cdk1p3-cycA SL1p1) (catalyzed-association-reaction SL1 cdk1p3-cycB SL1p1) (synthesis-reaction SP1-gP c-Myc) (synthesis-reaction SP1-gP cycA) (synthesis-reaction SP1-gP cycD) (synthesis-reaction SP1-gP cycDp1) (synthesis-reaction SP1-gP cycE) (synthesis-reaction SP1-gP cycEp1) (synthesis-reaction SP1-gP p107) (synthesis-reaction SP1-gP p107p1) (synthesis-reaction SP1-gP p19ARF) (synthesis-reaction SP1-gP pol) (association-reaction SP1 gP SP1-gP) (association-reaction SP1-p107 gP SP1-p107-gP) (association-reaction SP1-p107p1 gP SP1-p107p1-gP) (association-reaction SP1 p107p1 SP1-p107p1) (association-reaction SP1 p107 SP1-p107) (catalyzed-association-reaction Wee1 cdk1p3-cycA Wee1p1) (catalyzed-association-reaction Wee1 cdk1p3-cycB Wee1p1) (num-subs l0) (next l1 l0) (next l2 l1) (next l3 l2) (next l4 l3) (next l5 l4) (next l6 l5) (next l7 l6) (next l8 l7) (next l9 l8) (next l10 l9) (next l11 l10) (next l12 l11) (next l13 l12) (next l14 l13) (next l15 l14) (next l16 l15) (next l17 l16)) (:goal (and (goal1) (goal2) (goal3) (goal4) (goal5) (goal6) (goal7) (goal8) (goal9) (goal10) (goal11) (goal12) (goal13) (goal14) (goal15) (goal16))) )