(choose e2f13p1-dp12 l1 l0)
(initialize e2f13p1-dp12)
(choose e2f4-dp12p1 l2 l1)
(initialize e2f4-dp12p1)
(choose ge2 l3 l2)
(initialize ge2)
(associate e2f13p1-dp12 ge2 e2f13p1-dp12-ge2)
(synthesize e2f13p1-dp12-ge2 cycdp1)
(synthesize e2f13p1-dp12-ge2 p107)
(associate p107 e2f4-dp12p1 p107-e2f4-dp12p1)
(dummy-action-1 )
(dummy-action-2 )
; cost = 12 (unit cost)
