Define Fold Over Short

(18)

(8)

(2)

(1)

(27)

(1)

(8)

(6)

(10)

(1)

(4)

(10)

(2)

(4)

(5)

(63)

(7)

(1)

(9)

(1)

(2)

(5)

(2)

(5)

(6)

(12)

(3)

(4)

(13)

(64)

(2)

(1)

(4)

(62)

(6)

(13)

(3)

(7)

(4)

(2)

(1)

(1)

(18)

(2)

(14)

(2)

(1)

(22)

(6)

(1)

(11)

(2)

(2)

(7)

(7)

(5)

(7)

(3)

(9)

(6)

(13)

(4)

(13)

(5)