Define Fold Over Short

(3)

(2)

(13)

(4)

(1)

(3)

(8)

(6)

(22)

(2)

(10)

(2)

(3)

(1)

(6)

(1)

(5)

(1)

(7)

(6)

(11)

(2)

(3)

(9)

(10)

(4)

(3)

(14)

(10)

(11)

(7)

(1)

(1)

(2)

(12)

(3)

(2)

(6)

(3)

(1)

(3)

(5)

(1)

(4)

(2)

(5)

(9)

(10)

(8)

(3)

(11)

(4)

(63)

(1)

(2)

(25)

(7)

(4)

(7)

(2)

(2)

(10)

(18)