func main[] : i64
    n := []
    array.push(n, 1)

    for j in 0..1000
        carry := 0
        for i in 0..n->size
            tmp : i64 = array.nth(n, i) * 2 + carry
            array.set(n, i, tmp % 10)
            carry = tmp / 10
        while carry > 0
            array.push(n, carry % 10)
            carry = carry / 10
    
    sum := 0
    for i in 0..n->size
        sum += array.nth(n, i)

    io.println_i64(sum)