an :: Integer -> Integer
an n
    | even n    = 3 + (2 * n - 1) ^ 2
    | otherwise = 1

sequenceList :: Int -> [Integer]
sequenceList n = [an i | i <- [1 .. toInteger n + 1]]