(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c1)
(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 c5)
(decrement c2)
(decrement c0)
(decrement c5)
(decrement c2)
(decrement c0)
(decrement c5)
(decrement c2)
(decrement c0)
(decrement c5)
(decrement c2)
(decrement c0)
(decrement c4)
(decrement c2)
(decrement c0)
(decrement c4)
(decrement c2)
(decrement c0)
(increment c6)
(decrement c4)
(decrement c2)
(decrement c0)
; cost = 46 (unit cost)
