// ~~ icebear ~~
#include <bits/stdc++.h>
using namespace std;
#define int long long
typedef long long ll;
typedef pair<int, int> ii;
typedef pair<int, ii> iii;
template<class T>
bool minimize(T &a, const T &b) {
if (a > b) return a = b, true;
return false;
}
template<class T>
bool maximize(T &a, const T &b) {
if (a < b) return a = b, true;
return false;
}
#define FOR(i,a,b) for(int i=(a); i<=(b); ++i)
#define FORR(i,a,b) for(int i=(a); i>=(b); --i)
#define REP(i, n) for(int i=0; i<(n); ++i)
#define RED(i, n) for(int i=(n)-1; i>=0; --i)
#define MASK(i) (1LL << (i))
#define BIT(S, i) (((S) >> (i)) & 1)
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define all(x) x.begin(), x.end()
#define task "icebear"
const int MOD = 1e9 + 7;
const int inf = 1e9 + 27092008;
const ll INF = 1e18 + 27092008;
const int N = 2e5 + 5;
mt19937_64 rd(chrono::steady_clock::now().time_since_epoch().count());
int random(int L, int R) {
return L + rd() % (R - L + 1);
}
vector<int> G[N];
int t;
bool vis[N];
void dfs(int u, int s) {
if (u != s) t = u;
vis[u] = true;
for(int v : G[u]) if (!vis[v]) dfs(v, s);
}
void gen(int i) {
ofstream cout("gen.inp");
int n = random(1, 1000), q = random(1, 1000);
cout << n << ' ' << q << '\n';
FOR(i, 1, q){
int t = random(1, 2);
if (t == 1) {
int l = random(1, n);
int r = random(1, n);
cout << t << ' ' << l << ' ' << r << ' ' << random(1, 1000) << "\n";
} else {
int l = random(1, n);
int r = random(1, n);
cout << t << ' ' << l << ' ' << r << '\n';
}
}
cout.close();
}
void process(void) {
FOR(i, 1, 50) {
gen(i);
system("task.exe");
system("task_trau.exe");
cout << "#Test " << i << ": ";
if (system("fc gen.out gen.ans")) {
cout << "WRONG!\n";
exit(0);
} else cout << "PASS!\n";
}
}
signed main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
if (fopen(task".inp", "r")) {
freopen(task".inp", "r", stdin);
freopen(task".out", "w", stdout);
}
int tc = 1;
// cin >> tc;
while(tc--) {
process();
}
return 0;
}
Ly8gfn4gaWNlYmVhciB+fgojaW5jbHVkZSA8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBpbnQgbG9uZyBsb25nCnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHBhaXI8aW50LCBpbnQ+IGlpOwp0eXBlZGVmIHBhaXI8aW50LCBpaT4gaWlpOwoKdGVtcGxhdGU8Y2xhc3MgVD4KICAgIGJvb2wgbWluaW1pemUoVCAmYSwgY29uc3QgVCAmYikgewogICAgICAgIGlmIChhID4gYikgcmV0dXJuIGEgPSBiLCB0cnVlOwogICAgICAgIHJldHVybiBmYWxzZTsKICAgIH0KCnRlbXBsYXRlPGNsYXNzIFQ+CiAgICBib29sIG1heGltaXplKFQgJmEsIGNvbnN0IFQgJmIpIHsKICAgICAgICBpZiAoYSA8IGIpIHJldHVybiBhID0gYiwgdHJ1ZTsKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICB9CgojZGVmaW5lIEZPUihpLGEsYikgZm9yKGludCBpPShhKTsgaTw9KGIpOyArK2kpCiNkZWZpbmUgRk9SUihpLGEsYikgZm9yKGludCBpPShhKTsgaT49KGIpOyAtLWkpCiNkZWZpbmUgUkVQKGksIG4pIGZvcihpbnQgaT0wOyBpPChuKTsgKytpKQojZGVmaW5lIFJFRChpLCBuKSBmb3IoaW50IGk9KG4pLTE7IGk+PTA7IC0taSkKI2RlZmluZSBNQVNLKGkpICgxTEwgPDwgKGkpKQojZGVmaW5lIEJJVChTLCBpKSAoKChTKSA+PiAoaSkpICYgMSkKI2RlZmluZSBtcCBtYWtlX3BhaXIKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGFsbCh4KSB4LmJlZ2luKCksIHguZW5kKCkKI2RlZmluZSB0YXNrICJpY2ViZWFyIgoKY29uc3QgaW50IE1PRCA9IDFlOSArIDc7CmNvbnN0IGludCBpbmYgPSAxZTkgKyAyNzA5MjAwODsKY29uc3QgbGwgSU5GID0gMWUxOCArIDI3MDkyMDA4Owpjb25zdCBpbnQgTiA9IDJlNSArIDU7CgptdDE5OTM3XzY0IHJkKGNocm9ubzo6c3RlYWR5X2Nsb2NrOjpub3coKS50aW1lX3NpbmNlX2Vwb2NoKCkuY291bnQoKSk7CmludCByYW5kb20oaW50IEwsIGludCBSKSB7CiAgICByZXR1cm4gTCArIHJkKCkgJSAoUiAtIEwgKyAxKTsKfQoKdmVjdG9yPGludD4gR1tOXTsKaW50IHQ7CmJvb2wgdmlzW05dOwp2b2lkIGRmcyhpbnQgdSwgaW50IHMpIHsKICAgIGlmICh1ICE9IHMpIHQgPSB1OwogICAgdmlzW3VdID0gdHJ1ZTsKICAgIGZvcihpbnQgdiA6IEdbdV0pIGlmICghdmlzW3ZdKSBkZnModiwgcyk7Cn0KCnZvaWQgZ2VuKGludCBpKSB7CiAgICBvZnN0cmVhbSBjb3V0KCJnZW4uaW5wIik7CiAgICBpbnQgbiA9IHJhbmRvbSgxLCAxMDAwKSwgcSA9IHJhbmRvbSgxLCAxMDAwKTsKICAgIGNvdXQgPDwgbiA8PCAnICcgPDwgcSA8PCAnXG4nOwogICAgRk9SKGksIDEsIHEpewogICAgICAgIGludCB0ID0gcmFuZG9tKDEsIDIpOwogICAgICAgIGlmICh0ID09IDEpIHsKICAgICAgICAgICAgaW50IGwgPSByYW5kb20oMSwgbik7CiAgICAgICAgICAgIGludCByID0gcmFuZG9tKDEsIG4pOwogICAgICAgICAgICBjb3V0IDw8IHQgPDwgJyAnIDw8IGwgPDwgJyAnIDw8IHIgPDwgJyAnIDw8IHJhbmRvbSgxLCAxMDAwKSA8PCAiXG4iOwogICAgICAgIH0gZWxzZSB7CiAgICAgICAgICAgICAgICAgICAgICAgIGludCBsID0gcmFuZG9tKDEsIG4pOwogICAgICAgICAgICBpbnQgciA9IHJhbmRvbSgxLCBuKTsKICAgICAgICAgICAgY291dCA8PCB0IDw8ICcgJyA8PCBsIDw8ICcgJyA8PCByIDw8ICdcbic7CiAgICAgICAgfQogICAgfQogICAgY291dC5jbG9zZSgpOwp9Cgp2b2lkIHByb2Nlc3Modm9pZCkgewogICAgRk9SKGksIDEsIDUwKSB7CiAgICAgICAgZ2VuKGkpOwoKICAgICAgICBzeXN0ZW0oInRhc2suZXhlIik7CiAgICAgICAgc3lzdGVtKCJ0YXNrX3RyYXUuZXhlIik7CgogICAgICAgIGNvdXQgPDwgIiNUZXN0ICIgPDwgaSA8PCAiOiAiOwogICAgICAgIGlmIChzeXN0ZW0oImZjIGdlbi5vdXQgZ2VuLmFucyIpKSB7CiAgICAgICAgICAgIGNvdXQgPDwgIldST05HIVxuIjsKICAgICAgICAgICAgZXhpdCgwKTsKICAgICAgICB9IGVsc2UgY291dCA8PCAiUEFTUyFcbiI7CiAgICB9Cn0KCnNpZ25lZCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsKICAgIGNpbi50aWUoMCk7IGNvdXQudGllKDApOwogICAgaWYgKGZvcGVuKHRhc2siLmlucCIsICJyIikpIHsKICAgICAgICBmcmVvcGVuKHRhc2siLmlucCIsICJyIiwgc3RkaW4pOwogICAgICAgIGZyZW9wZW4odGFzayIub3V0IiwgInciLCBzdGRvdXQpOwogICAgfQogICAgaW50IHRjID0gMTsKLy8gICAgY2luID4+IHRjOwogICAgd2hpbGUodGMtLSkgewogICAgICAgIHByb2Nlc3MoKTsKICAgIH0KICAgIHJldHVybiAwOwp9Cg==