#include <iostream>
#include <random>
#include <algorithm>
#include <set>
#include <vector>

using namespace std;

const int MAX_UDI = 100000000;

int main(int argc, char* argv[]) {
    int n = atoi(argv[1]);
    int m = atoi(argv[2]);
    int value = atoi(argv[3]);
    int update_value = atoi(argv[4]);
    int seed = atoi(argv[5]);

    vector<int> e;
    for (int i = 0; i < n; ++i) {
        e.push_back(value);
    }
 
    cout << n << endl;
    for (int i = 0; i < n; ++i) {
        cout << e[i];
        if (i < n - 1) {
            cout << " ";
        }
    }
    cout << endl;

    cout << m << endl;
    cout << "check 1 " << n << endl;
    for (int i = 0; i < m - 2; ++i) {
        cout << "update 1 " << n << " " << update_value << endl;
    }
    cout << "check 1 " << n << endl;

    return 0;
}