#include <vector>
#include <iostream>

using namespace std;

pair<int, vector<int>> raccogli(int N, int K, vector<int> A) {
    vector<int> R = {6, 7};

    return {73, R};
}

// SAMPLE GRADER, DO NOT MODIFY

#ifndef EVAL

int main(void) {
    ios::sync_with_stdio(0);
    cin.tie(0); cout.tie(0);

    int N, K; cin >> N >> K;

    vector<int> A(N);
    for(auto &x: A) cin >> x;

    auto [S, R] = raccogli(N, K, A);

    cout << S << "\n";

    cout << R.size();
    for(auto i: R) {
        cout << " " << i;
    }

    cout << "\n";
}

#endif /* EVAL */