;; 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-10) (:domain Pathways-Propositional) (:objects SP1 - simple Skp2 - simple Skp1 - simple RPA - simple Raf1 - simple pRbp2 - simple pRbp1-E2F4p1-DP12 - simple pRb-E2F4p1-DP12 - simple Plk1 - simple p57p1 - simple p57 - simple p27 - simple p130-E2F5p1-DP12 - simple p130-E2F4p1-DP12 - simple p130 - simple Max - simple Jun - simple HDAC1-pRbp1-E2F4-DP12 - simple HDAC1-pRbp1-E2F13p1-DP12 - simple HDAC1-pRbp1-E2F13-DP12 - simple HDAC1 - simple gp19ARF - simple gE2 - simple gcdc25A - simple E2F6-DP12p1 - simple E2F5 - simple E2F4-DP12p1 - simple E2F4 - simple E2F3 - simple E2F13p1-DP12 - simple E2F13-DP12 - simple E2F13 - simple E2F1 - simple DP12 - simple DMP1 - simple cdk46p3-cycD - simple cdk46p1 - simple cdk2p1 - simple APC - simple ;; cdk2-cycA-E2F13 - complex ;; DUPLICATE ;; cdk2p1-cycA-E2F13 - complex ;; DUPLICATE c-Myc-Max-gcdc25A - complex c-Myc-Max - complex APCp1 - complex DMP1-cycD - complex DMP1-cycDp1 - complex DMP1-gp19ARF - complex DMP1p1-cycD - complex DMP1p1-cycDp1 - complex DMP1p1 - complex DMP1p1-gp19ARF - complex E2F13-DP12-gE2 - complex E2F13p1-DP12-gE2 - complex E2F1-DP12 - complex E2F3-DP12 - complex E2F4-DP12-gE2 - complex E2F5-DP12-gE2 - complex E2F6-DP12p1-gE2 - complex ;; HDAC1-p107-E2F4-DP12-gE2 - complex ;; DUPLICATE HDAC1-p107-E2F4-DP12 - complex HDAC1-p107-E2F4-DP12p1 - complex HDAC1-p130-E2F4-DP12-gE2 - complex HDAC1-p130-E2F4-DP12 - complex HDAC1-p130-E2F4-DP12p1 - complex HDAC1-p130-E2F5-DP12-gE2 - complex ;; HDAC1-p130-E2F5-DP12 - complex ;; DUPLICATE HDAC1-pRb-E2F4p1-DP12 - complex HDAC1-pRbp1-E2F13-DP12-gE2 - complex HDAC1-pRbp1-E2F13p1-DP12-gE2 - complex HDAC1-pRbp1-E2F4-DP12-gE2 - complex p107-E2F4-DP12-gE2 - complex p107-E2F4-DP12 - complex p107-E2F4-DP12p1-gE2 - complex p107-E2F4-DP12p1 - complex p130-E2F4-DP12-gE2 - complex p130-E2F4-DP12p1-gE2 - complex p130-E2F4-DP12p1 - complex p130-E2F5-DP12-gE2 - complex E2F5-DP12 - complex ;; cdk46 - complex ;; DUPLICATE ;; p27-cdk2-cycA - complex ;; DUPLICATE ;; p27-cdk2-cycEp1 - complex ;; DUPLICATE ;; p27-cdk2-cycE - complex ;; DUPLICATE p27-cdk2p1-cycA - complex p27-cdk2p1-cycEp1 - complex p27-cdk2p1-cycE - complex ;; p27-cdk46-cycDp1 - complex ;; DUPLICATE ;; p27-cdk46-cycD - complex ;; DUPLICATE p27-cdk46p1-cycDp1 - complex p27-cdk46p1-cycD - complex ;; p57-cdk2-cycA - complex ;; DUPLICATE ;; p57-cdk2-cycEp1 - complex ;; DUPLICATE ;; p57-cdk2-cycE - complex ;; DUPLICATE p57-cdk2p1-cycA - complex p57-cdk2p1-cycEp1 - complex p57-cdk2p1-cycE - complex ;; p57-cdk46-cycDp1 - complex ;; DUPLICATE ;; p57-cdk46-cycD - complex ;; DUPLICATE p57-cdk46p1-cycDp1 - complex p57-cdk46p1-cycD - complex ;; p57p1-cdk46-cycDp1 - complex ;; DUPLICATE ;; p57p1-cdk46-cycD - complex ;; DUPLICATE p57p1-cdk46p1-cycDp1 - complex p57p1-cdk46p1-cycD - complex ;; cdk2-cycEp1 - complex ;; DUPLICATE ;; cdk2-cycE - complex ;; DUPLICATE cdk2p1-cycEp1 - complex cdk2p1-cycE - complex cdk46-cycDp1 - complex ;; cdk46-cycD - complex ;; DUPLICATE cdk46p1-cycDp1 - complex cdk46p1-cycD - complex pRb-E2F4p1-DP12-gE2 - complex E2F4-DP12 - complex pRbp1-E2F4p1-DP12-gE2 - complex pRbp1p2-Jun - complex pRbp1p2 - complex pRbp2-Jun - complex ;; Raf1-cdc25Ap1 - complex ;; DUPLICATE ;; cdc25Ap1 - complex ;; DUPLICATE ;; Raf1-cdc25A - complex ;; DUPLICATE cdc25A - complex Raf1-p130-E2F4-DP12-gE2 - complex Raf1-p130-E2F4-DP12 - complex p130-E2F4-DP12 - complex Raf1-p130-E2F4p1-DP12-gE2 - complex Raf1-p130-E2F4p1-DP12 - complex Raf1-p130-E2F5-DP12-gE2 - complex Raf1-p130-E2F5-DP12 - complex p130-E2F5-DP12 - complex Raf1-p130-E2F5p1-DP12-gE2 - complex Raf1-p130-E2F5p1-DP12 - complex Raf1-pRb-E2F4p1-DP12-gE2 - complex Raf1-pRb-E2F4p1-DP12 - complex Raf1-pRbp1-E2F4p1-DP12-gE2 - complex Raf1-pRbp1-E2F4p1-DP12 - complex RPA-cycA - complex Skp2-cdk2p1-cycA - complex Skp2-Skp1-cdk2-cycA - complex Skp2-Skp1-cdk2p1-cycA - complex ;; cdk2-cycA - complex ;; DUPLICATE cdk2p1-cycA - complex Skp2-Skp1 - complex SP1-E2F13 - complex ;; c-Myc - complex ;; DUPLICATE ;; cycA - complex ;; DUPLICATE cycD - complex cycDp1 - complex cycE - complex cycEp1 - complex p19ARF - complex ;; pol - complex ;; DUPLICATE SP1-p107p1 - complex p107p1 - complex SP1-p107 - complex p107 - complex 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) (:init (not-chosen SP1) (not-chosen Skp2) (not-chosen Skp1) (not-chosen RPA) (not-chosen Raf1) (not-chosen pRbp2) (not-chosen pRbp1-E2F4p1-DP12) (not-chosen pRb-E2F4p1-DP12) (not-chosen Plk1) (not-chosen p57p1) (not-chosen p57) (not-chosen p27) (not-chosen p130-E2F5p1-DP12) (not-chosen p130-E2F4p1-DP12) (not-chosen p130) (not-chosen Max) (not-chosen Jun) (not-chosen HDAC1-pRbp1-E2F4-DP12) (not-chosen HDAC1-pRbp1-E2F13p1-DP12) (not-chosen HDAC1-pRbp1-E2F13-DP12) (not-chosen HDAC1) (not-chosen gp19ARF) (not-chosen gE2) (not-chosen gcdc25A) (not-chosen E2F6-DP12p1) (not-chosen E2F5) (not-chosen E2F4-DP12p1) (not-chosen E2F4) (not-chosen E2F3) (not-chosen E2F13p1-DP12) (not-chosen E2F13-DP12) (not-chosen E2F13) (not-chosen E2F1) (not-chosen DP12) (not-chosen DMP1) (not-chosen cdk46p3-cycD) (not-chosen cdk46p1) (not-chosen cdk2p1) (not-chosen APC) (possible SP1) (possible Skp2) (possible Skp1) (possible RPA) (possible Raf1) (possible pRbp2) (possible pRbp1-E2F4p1-DP12) (possible pRb-E2F4p1-DP12) (possible Plk1) (possible p57p1) (possible p57) (possible p27) (possible p130-E2F5p1-DP12) (possible p130-E2F4p1-DP12) (possible p130) (possible Max) (possible Jun) (possible HDAC1-pRbp1-E2F4-DP12) (possible HDAC1-pRbp1-E2F13p1-DP12) (possible HDAC1-pRbp1-E2F13-DP12) (possible HDAC1) (possible gp19ARF) (possible gE2) (possible gcdc25A) (possible E2F6-DP12p1) (possible E2F5) (possible E2F4-DP12p1) (possible E2F4) (possible E2F3) (possible E2F13p1-DP12) (possible E2F13-DP12) (possible E2F13) (possible E2F1) (possible DP12) (possible DMP1) (possible cdk46p3-cycD) (possible cdk46p1) (possible cdk2p1) (possible APC) (catalyzed-association-reaction APC Plk1 APCp1) (catalyzed-association-reaction cdc25A Raf1 cdc25Ap1) (association-reaction cdk2-cycA E2F13 cdk2-cycA-E2F13) (catalyzed-association-reaction cdk2p1-cycA cdc25Ap1 cdk2-cycA) (association-reaction cdk2p1 cycA cdk2p1-cycA) (association-reaction cdk2p1-cycA E2F13 cdk2p1-cycA-E2F13) (catalyzed-association-reaction cdk2p1-cycE cdc25Ap1 cdk2-cycE) (association-reaction cdk2p1 cycE cdk2p1-cycE) (catalyzed-association-reaction cdk2p1-cycEp1 cdc25Ap1 cdk2-cycEp1) (association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1) (association-reaction cdk46 cycD cdk46-cycD) (association-reaction cdk46 cycDp1 cdk46-cycDp1) (catalyzed-association-reaction cdk46p1 cdc25Ap1 cdk46) (association-reaction cdk46p1 cycD cdk46p1-cycD) (association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1) (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 Skp2-Skp1 Skp2-Skp1) (catalyzed-association-reaction DMP1 cdk46p3-cycD DMP1p1) (association-reaction DMP1 cycD DMP1-cycD) (association-reaction DMP1 cycDp1 DMP1-cycDp1) (association-reaction DMP1 gp19ARF DMP1-gp19ARF) (association-reaction DMP1p1 cycD DMP1p1-cycD) (association-reaction DMP1p1 cycDp1 DMP1p1-cycDp1) (association-reaction DMP1p1 gp19ARF DMP1p1-gp19ARF) (synthesis-reaction DMP1p1-gp19ARF p19ARF) (synthesis-reaction E2F13-DP12-gE2 c-Myc) (synthesis-reaction E2F13-DP12-gE2 cycA) (synthesis-reaction E2F13-DP12-gE2 cycD) (synthesis-reaction E2F13-DP12-gE2 cycDp1) (synthesis-reaction E2F13-DP12-gE2 cycE) (synthesis-reaction E2F13-DP12-gE2 cycEp1) (association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2) (synthesis-reaction E2F13-DP12-gE2 p107) (synthesis-reaction E2F13-DP12-gE2 p107p1) (synthesis-reaction E2F13-DP12-gE2 p19ARF) (synthesis-reaction E2F13-DP12-gE2 pol) (synthesis-reaction E2F13p1-DP12-gE2 c-Myc) (synthesis-reaction E2F13p1-DP12-gE2 cycA) (synthesis-reaction E2F13p1-DP12-gE2 cycD) (synthesis-reaction E2F13p1-DP12-gE2 cycDp1) (synthesis-reaction E2F13p1-DP12-gE2 cycE) (synthesis-reaction E2F13p1-DP12-gE2 cycEp1) (association-reaction E2F13p1-DP12 gE2 E2F13p1-DP12-gE2) (synthesis-reaction E2F13p1-DP12-gE2 p107) (synthesis-reaction E2F13p1-DP12-gE2 p107p1) (synthesis-reaction E2F13p1-DP12-gE2 p19ARF) (synthesis-reaction E2F13p1-DP12-gE2 pol) (association-reaction E2F1 DP12 E2F1-DP12) (association-reaction E2F3 DP12 E2F3-DP12) (association-reaction E2F4 DP12 E2F4-DP12) (synthesis-reaction E2F4-DP12-gE2 c-Myc) (synthesis-reaction E2F4-DP12-gE2 cycA) (synthesis-reaction E2F4-DP12-gE2 cycD) (synthesis-reaction E2F4-DP12-gE2 cycDp1) (synthesis-reaction E2F4-DP12-gE2 cycE) (synthesis-reaction E2F4-DP12-gE2 cycEp1) (association-reaction E2F4-DP12 gE2 E2F4-DP12-gE2) (synthesis-reaction E2F4-DP12-gE2 p107) (synthesis-reaction E2F4-DP12-gE2 p107p1) (synthesis-reaction E2F4-DP12-gE2 p19ARF) (synthesis-reaction E2F4-DP12-gE2 pol) (association-reaction E2F5 DP12 E2F5-DP12) (synthesis-reaction E2F5-DP12-gE2 c-Myc) (synthesis-reaction E2F5-DP12-gE2 cycA) (synthesis-reaction E2F5-DP12-gE2 cycD) (synthesis-reaction E2F5-DP12-gE2 cycDp1) (synthesis-reaction E2F5-DP12-gE2 cycE) (synthesis-reaction E2F5-DP12-gE2 cycEp1) (association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2) (synthesis-reaction E2F5-DP12-gE2 p107) (synthesis-reaction E2F5-DP12-gE2 p107p1) (synthesis-reaction E2F5-DP12-gE2 p19ARF) (synthesis-reaction E2F5-DP12-gE2 pol) (association-reaction E2F6-DP12p1 gE2 E2F6-DP12p1-gE2) (association-reaction HDAC1-p107-E2F4-DP12 gE2 HDAC1-p107-E2F4-DP12-gE2) (association-reaction HDAC1 p107-E2F4-DP12 HDAC1-p107-E2F4-DP12) (association-reaction HDAC1 p107-E2F4-DP12p1 HDAC1-p107-E2F4-DP12p1) (association-reaction HDAC1-p130-E2F4-DP12 gE2 HDAC1-p130-E2F4-DP12-gE2) (association-reaction HDAC1 p130-E2F4-DP12 HDAC1-p130-E2F4-DP12) (association-reaction HDAC1 p130-E2F4-DP12p1 HDAC1-p130-E2F4-DP12p1) (association-reaction HDAC1-p130-E2F5-DP12 gE2 HDAC1-p130-E2F5-DP12-gE2) (association-reaction HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12) (association-reaction HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12) (association-reaction HDAC1-pRbp1-E2F13-DP12 gE2 HDAC1-pRbp1-E2F13-DP12-gE2) (association-reaction HDAC1-pRbp1-E2F13p1-DP12 gE2 HDAC1-pRbp1-E2F13p1-DP12-gE2) (association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) (association-reaction p107-E2F4-DP12 gE2 p107-E2F4-DP12-gE2) (association-reaction p107 E2F4-DP12 p107-E2F4-DP12) (association-reaction p107-E2F4-DP12p1 gE2 p107-E2F4-DP12p1-gE2) (association-reaction p107 E2F4-DP12p1 p107-E2F4-DP12p1) (association-reaction p130-E2F4-DP12 gE2 p130-E2F4-DP12-gE2) (association-reaction p130 E2F4-DP12 p130-E2F4-DP12) (association-reaction p130-E2F4-DP12p1 gE2 p130-E2F4-DP12p1-gE2) (association-reaction p130 E2F4-DP12p1 p130-E2F4-DP12p1) (association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) (association-reaction p130 E2F5-DP12 p130-E2F5-DP12) (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 cdk46-cycDp1 p27-cdk46-cycDp1) (association-reaction p27 cdk46-cycD p27-cdk46-cycD) (association-reaction p27 cdk46p1-cycDp1 p27-cdk46p1-cycDp1) (association-reaction p27 cdk46p1-cycD p27-cdk46p1-cycD) (association-reaction p57 cdk2-cycA p57-cdk2-cycA) (association-reaction p57 cdk2-cycEp1 p57-cdk2-cycEp1) (association-reaction p57 cdk2-cycE p57-cdk2-cycE) (association-reaction p57 cdk2p1-cycA p57-cdk2p1-cycA) (association-reaction p57 cdk2p1-cycEp1 p57-cdk2p1-cycEp1) (association-reaction p57 cdk2p1-cycE p57-cdk2p1-cycE) (association-reaction p57 cdk46-cycDp1 p57-cdk46-cycDp1) (association-reaction p57 cdk46-cycD p57-cdk46-cycD) (association-reaction p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1) (association-reaction p57 cdk46p1-cycD p57-cdk46p1-cycD) (association-reaction p57p1 cdk46-cycDp1 p57p1-cdk46-cycDp1) (association-reaction p57p1 cdk46-cycD p57p1-cdk46-cycD) (association-reaction p57p1 cdk46p1-cycDp1 p57p1-cdk46p1-cycDp1) (association-reaction p57p1 cdk46p1-cycD p57p1-cdk46p1-cycD) (association-reaction pRb-E2F4p1-DP12 gE2 pRb-E2F4p1-DP12-gE2) (association-reaction pRbp1-E2F4p1-DP12 gE2 pRbp1-E2F4p1-DP12-gE2) (association-reaction pRbp1p2 Jun pRbp1p2-Jun) (catalyzed-association-reaction pRbp2 cdk46p3-cycD pRbp1p2) (association-reaction pRbp2 Jun pRbp2-Jun) (association-reaction Raf1 cdc25Ap1 Raf1-cdc25Ap1) (association-reaction Raf1 cdc25A Raf1-cdc25A) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 c-Myc) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 cycA) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 cycD) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 cycDp1) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 cycE) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 cycEp1) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 p107) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 p107p1) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 p19ARF) (synthesis-reaction Raf1-p130-E2F4-DP12-gE2 pol) (association-reaction Raf1-p130-E2F4-DP12 gE2 Raf1-p130-E2F4-DP12-gE2) (association-reaction Raf1 p130-E2F4-DP12 Raf1-p130-E2F4-DP12) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 c-Myc) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycA) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycD) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycDp1) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycE) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycEp1) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107p1) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p19ARF) (synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 pol) (association-reaction Raf1-p130-E2F4p1-DP12 gE2 Raf1-p130-E2F4p1-DP12-gE2) (association-reaction Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 c-Myc) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycA) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycD) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycDp1) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycE) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycEp1) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107p1) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p19ARF) (synthesis-reaction Raf1-p130-E2F5-DP12-gE2 pol) (association-reaction Raf1-p130-E2F5-DP12 gE2 Raf1-p130-E2F5-DP12-gE2) (association-reaction Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 c-Myc) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycA) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycD) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycDp1) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycE) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycEp1) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107p1) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p19ARF) (synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 pol) (association-reaction Raf1-p130-E2F5p1-DP12 gE2 Raf1-p130-E2F5p1-DP12-gE2) (association-reaction Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 c-Myc) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycA) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycD) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycDp1) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycE) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycEp1) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107p1) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p19ARF) (synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 pol) (association-reaction Raf1-pRb-E2F4p1-DP12 gE2 Raf1-pRb-E2F4p1-DP12-gE2) (association-reaction Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 c-Myc) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycA) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycD) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycDp1) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycE) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycEp1) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107p1) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p19ARF) (synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 pol) (association-reaction Raf1-pRbp1-E2F4p1-DP12 gE2 Raf1-pRbp1-E2F4p1-DP12-gE2) (association-reaction Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12) (association-reaction RPA cycA RPA-cycA) (association-reaction Skp2 cdk2-cycA Skp2-cdk2-cycA) (association-reaction Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) (association-reaction Skp2-Skp1 cdk2-cycA Skp2-Skp1-cdk2-cycA) (association-reaction Skp2-Skp1 cdk2p1-cycA Skp2-Skp1-cdk2p1-cycA) (association-reaction Skp2 Skp1 Skp2-Skp1) (association-reaction SP1 E2F13 SP1-E2F13) (association-reaction SP1 p107p1 SP1-p107p1) (association-reaction SP1 p107 SP1-p107) (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)) (:goal (and (goal1) (goal2) (goal3) (goal4) (goal5) (goal6) (goal7) (goal8) (goal9) (goal10) (goal11) (goal12) (goal13) (goal14))) )