#define _CRT_SECURE_NO_WARNINGS
#define debug(l) cerr<<" smorti hyuniy : "<<#l<<' '<<l<<'\n';
#include "bits/stdc++.h"
using namespace std;
#define all(a) a.begin(), a.end()
typedef long long ll;
typedef long double ld;
bool try_push(ll add, vector<ll>& a, map<ll, bool>& f) {
    for (ll i = 0; i < a.size(); i++) {
        if ((add - a[i]) % (a.size()  - i)==0) {
            if (f[(add - a[i])/(a.size()-i)]) {
                return false;
            }
        }
        if ((-add + a[i]) % (a.size() - i)==0) {
            if (f[(-add + a[i]) / (a.size() - i)]) {
                return false;
            }
        }
    }
    for (ll i = 0; i < a.size(); i++) {
        ll k = add - a[i];
        ll fd = a.size()  - i;
        if ((add - a[i]) % (a.size()  - i) == 0) {
            f[(add - a[i]) / (a.size()  - i)] = true;
        }
        if ((-add + a[i]) % (a.size()  - i) == 0) {
            f[(-add + a[i]) / (a.size()  - i)] = true;
        }
    }
    a.push_back(add);
    return true;
}
signed main() {
#ifdef _DEBUG
    freopen("input.txt", "r", stdin);
    freopen("output.txt", "w", stdout);
#endif
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    srand(time(NULL));
    bool oke = false;
    while (!oke) {
        vector<ll> d;
        map<ll, bool> k;
        vector<ll> as;
        for (ll i = 1; i <= 1e5; i++) {
            as.push_back(i);
        }
        for (ll i = 0; i <as.size(); i++) {
            swap(as[rand() % as.size()], as[rand() % as.size()]);
        }
        map<ll, bool> tr;
        bool fnd = true;
        for (ll j = 0; j < 250; j++) {
            while (!as.empty()) {
                ll it = as.back();
                if (try_push(it, d, k)) {
                    break;
                }
                else {
                    as.pop_back();
                }
            }
            if (as.empty()) {
                fnd = false;
                break;
            }
        }
        if (fnd){
            oke = true;
            cout << d.size() + 3<< '\n';
            // здесь нужно поставить 1 , 1 + CONST
            //cout << 1 << ' ' << 1 + 251 << ' ';
            for (ll& i : d) {
                cout << i << ' ';
            }
            // здесь ставим 1 + (CONST + 2) * ( CONST+ 1)
            //cout << 1 +  252 * (251);
        }
    }

}