(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c9)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c8)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(decrement c7)
(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 c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(decrement c6)
(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 c5)
(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 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 c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(decrement c4)
(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 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 c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(decrement c3)
(increment c22)
(decrement c21)
(decrement c21)
(decrement c21)
(decrement c21)
(decrement c20)
(decrement c20)
(decrement c20)
(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)
(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)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c2)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c19)
(decrement c18)
(decrement c18)
(decrement c18)
(decrement c18)
(decrement c18)
(decrement c18)
(decrement c18)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c17)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c16)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c15)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c14)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c13)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c12)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c11)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement c10)
(decrement 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 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 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)
(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)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
(decrement c0)
; cost = 518 (unit cost)
