#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000001
void output(vector<int> v){
	cout<<v.size()<<endl;
	rep(i,v.size()){
		if(i!=0)cout<<' ';
		cout<<v[i];
	}
	cout<<endl;
	int ret;
	cin>>ret;
	cout<<ret<<endl;
	exit(0);
}
int main(){
	int x,y;cin>>x>>y;
	if(x==y){
		output({x,x,x,x});
	}
	else{
		output({x,y,y,y});
	}
	
    return 0;
}