(: 12)
(: 1)
(: 11)
(: 0)