(increment c3)
(increment c3)
(increment c3)
(increment c3)
(increment c3)
(increment c3)
(increment c2)
(increment c2)
(increment c2)
(decrement c0)
(decrement c0)
(decrement c0)
; cost = 12 (unit cost)
