(choose cdk46p1 l1 l0)
(initialize cdk46p1)
(choose gp l2 l1)
(initialize gp)
(choose sp1 l3 l2)
(initialize sp1)
(associate sp1 gp sp1-gp)
(initialize gp)
(initialize sp1)
(synthesize sp1-gp cyca)
(synthesize sp1-gp cycd)
(synthesize sp1-gp p107)
(associate sp1 p107 sp1-p107)
(associate sp1-p107 gp sp1-p107-gp)
(dummy-action-1 )
(associate cdk46p1 cycd cdk46p1-cycd)
(dummy-action-3 )
(dummy-action-2 )
; cost = 18 (unit cost)
