Properties of the Transformation Semigroup of the Solitaire Stream Cipher. - Boris Pogorelov; Marina Pudovkina (IACR Cryptol. ePrint Arch., 2003)