(increment c7)
(increment c7)
(increment c7)
(increment c7)
(increment c7)
(increment c7)
(increment c6)
(increment c6)
(increment c6)
(increment c6)
(increment c6)
(increment c5)
(increment c5)
(increment c5)
(increment c5)
(increment c4)
(increment c4)
(increment c4)
(increment c3)
(increment c3)
(increment c2)
(increment c7)
(increment c6)
(increment c5)
(increment c4)
(increment c3)
(increment c2)
(increment c1)
; cost = 28 (unit cost)
