#include <iostream>
#include <vector>

int main() {
    int N;
    std::cin >> N;
    
    std::vector<int> remainders(5, 0);

    // Querying with M = 5 to get individual remainders
    for (int i = 0; i < 5; ++i) {
        std::cout << "5 1\n" << i << std::endl;
        std::flush(std::cout);
        std::cin >> remainders[i];
    }

    // Deduce potential values
    std::vector<int> potential_values(5);
    for (int i = 0; i < 5; ++i) {
        potential_values[i] = remainders[i] % 5;
    }

    // Output the sum
    int sum = 0;
    for (int i = 0; i < 5; ++i) {
        sum += potential_values[i];
    }

    std::cout << "0 1\n" << sum << std::endl;
    std::flush(std::cout);
    
    return 0;
}