#include <bits/stdc++.h>
using namespace std;
#define V vector
#define all0(x) (x).begin(),(x).end()
#define all1(x) (x).begin()+1,(x).end()
#define pb push_back
#define fi first
#define se second
#define lb lower_bound
#define ub upper_bound
#define cin std::cin
#define cout std::cout
typedef long long LL;
typedef pair<int, int> pi;
typedef pair<LL, LL> pl;

//const int MN = 2e5 + 20;
const int INF = 2e9 + 1000;//INF
const LL INFLL = 8e18 + 1000;//INF long long 
mt19937 mrand(chrono::steady_clock().now().time_since_epoch().count());
const int mod = 998244353;
//模板区域~~~~~~~
// template<class T> 
// T ex_gcd(T a, T b, T &x, T &y){
//     if(!a){
//         x = 0, y = 1;
//         return b;
//     }
//     T ans = ex_gcd(b % a, a, y, x);
//     x -= b / a * y;
//     return ans;
// }
//模板结束~~~~~~~

void solve() {// n <= 10 solvable
    int b; cin >> b;
    LL k = 5e5;
    cout << k << endl;
    LL now = (LL)5e5 * (LL)5e5;
    LL dx = 0;
    for(int i = 1; i <= b; i++) {
        if(i == b) {
            // cout << "debug : " << now << endl;
            // cout << "res : " << k << endl;
            while(k) {
                cout << now << " ";
                now++, k--;
            }
            return;
        }
        cout << now << " ";
        k--;
        dx = now * 2;

        // LL x, y;
        // LL g = ex_gcd(3LL, k - 1, x, y);
        // assert(g == 1);

        // cout << x << "x " << endl;


        // x *= now - dx;
        // //x -> x >= now

        // cout << x << "x " << endl;

        // x -= (x - now) / ((k - 1)) * (k - 1);
        // if(x < now) x += k - 1;
        // cout << x << "x " << endl;
        // assert((dx + x * 3 - now) % (k - 1) == 0);

        LL x = -now - dx;
        x -= (x - (now + 1)) / ((k - 1)) * (k - 1);
        if(x <= now) x += k - 1;

        cout << x << " ";
        dx -= k * (x - now);
        dx += 2 * x;
        k--;
        // cout << dx << "dx" << endl;
        assert(dx % k == 0);
        now = x + (dx) / k;
        assert(now <= 1e12);
    }

}

int32_t main() {
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    int t=1;
    // cin >> t;
    while (t--) 
    solve();
}