#include <bits/stdc++.h>
//#include <atcoder/all>
using ll = long long;
const int MOD = 1000000007;
const int Mod = 998244353;
const int MAX = 1000000005;
const long long INF = 1000000000000000005LL;
using namespace std;
//using namespace atcoder;



int main() {
    ios::sync_with_stdio(0); cin.tie();
    int X, Y;
    cin >> X >> Y;
    cout << 4 << endl;
    cout << X << " " << Y << " " << Y << " " << Y << endl;
    int ans;
    cin >> ans;
    cout << ans << endl;
}