#include<bits/stdc++.h>
using namespace std;
mt19937_64 ran64(time(0));
mt19937 ran(time(0));
int main() {
    int n = ran() % 5000;
    long long m = ran64() % 1000000000000000000ll;
    printf("%d %lld\n", n, m);
    for(int i = 1; i <= n; ++i) {
        printf("%lld ", ran64() % 1000000000000ll);
    }
    return 0;
}