(choose p300)
(choose pcaf)
(initialize pcaf)
(initialize pcaf)
(initialize pcaf)
(initialize p300)
(initialize pcaf)
(initialize pcaf)
(initialize pcaf)
(initialize p300)
(associate pcaf p300 pcaf-p300)
(associate pcaf p300 pcaf-p300)
; cost = 12 (unit cost)
