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