(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c5)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(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 c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(increment c10)
(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 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)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
; cost = 116 (unit cost)
