#pragma GCC optimize("O2")
#ifdef local
#include <C++/core/io/debug_print.hpp>
#else
#define dump(...) void(0);
#endif

#include <iostream>
#include <vector>
#include <ranges>
int main() {
    std::cin.tie(nullptr) -> sync_with_stdio(false);
    int n, c, res = 0;
    std::cin >> n;
    for(const auto &i: std::views::iota(0, 13)) {
        const int m = 2 << i;
        dump(m);
        std::vector<int> r;
        for(const auto &j: std::views::iota(0, m)) {
            if(i >> j & 1) {
                r.emplace_back(j);
            }
        }
        const auto k = std::ssize(r);
        std::cout << m << ' ' << k << '\n';
        for(const auto &j: std::views::iota(0, k)) {
            std::cout << r[k] << " \n"[j + 1 == k];
        }
        std::cout.flush();
        std::cin >> c;
        res += (1 << i) * c;
    }
    std::cout << "0 1\n";
    std::cout << res << '\n';
}