(increment c7)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c1)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
; cost = 46 (unit cost)
