import Data.Array.Vector
import Data.Bits
main = print . sumU $ unfoldU 10000 k (0::Int)
    where
        k b = JustS (b :*: b+1) -- enumFromTo