(increment c7)
(increment c7)
(increment c7)
(increment c7)
(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)
(increment c7)
(increment c6)
; cost = 29 (unit cost)
