#include <bits/stdc++.h>
using namespace std;

int main() {
    int n;
    cin >> n;

    if  (n == 1) {
        cout << "3 4" << endl;
        return 0;
    }

    cout << "2 2 1 2" << endl;
    
    vector <int> v(4);
    for (int i = 0; i < 4; i++)
        cin >> v[i];
    
    cout << "1 1" << endl;
    int x;
    cin >> x;

    cout << "3";
    for (int i = 1; i <= n; i++)
        cout << " " << (x ^ v[i % 4]);
    cout << endl;
}