(increment c7)
(increment c7)
(increment c7)
(increment c7)
(increment c7)
(increment c6)
(decrement c5)
(decrement c5)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(increment c2)
(increment c2)
(increment c2)
(increment c2)
(increment c2)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
; cost = 29 (unit cost)
