#include <time.h>
#include <iomanip>
#include <iostream>
#include <map>
#include <algorithm>
#include <queue>
#include <set>
#include <vector>
#include <iomanip>
#include <bitset>
#include <iostream>
#include <cmath>
#include <random>
#include <fstream>
#include <sys/stat.h>
#include <stdlib.h>
#include <fstream>
#include <sys/stat.h>
#include <stdlib.h>
#include <stdio.h>
#include <iostream>
#include <vector>
#include <set>
#include <map>
using namespace std;
int main()
{
ios_base::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
srand (time(NULL));
int test = 1;
while (test--)
{
int SEED = 600 + 640 + 700;
mt19937 rng(SEED);
//DIV 3 :
for (int i = 1 ; i <= 2 ; i++)
{
cout <<"div 3 : "<<uniform_int_distribution<long long>(4, 20)(rng);
cout <<'\n';
}
cout <<'\n';
//DIV 2 :
for (int i = 1 ; i <= 2 ; i++)
{
cout <<"div 2 : "<<uniform_int_distribution<long long>(4, 262)(rng);
cout <<'\n';
}
cout <<'\n';
//DIV 1 :
for (int i = 1 ; i <= 2 ; i++)
{
cout <<"div 1 : "<<uniform_int_distribution<long long>(4, 90)(rng);
cout <<'\n';
}
cout <<'\n';
}
}
I2luY2x1ZGUgPHRpbWUuaD4KI2luY2x1ZGUgPGlvbWFuaXA+CiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPG1hcD4KI2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPHF1ZXVlPgojaW5jbHVkZSA8c2V0PgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8aW9tYW5pcD4KI2luY2x1ZGUgPGJpdHNldD4KI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y21hdGg+CiNpbmNsdWRlIDxyYW5kb20+CiNpbmNsdWRlIDxmc3RyZWFtPgojaW5jbHVkZSA8c3lzL3N0YXQuaD4KI2luY2x1ZGUgPHN0ZGxpYi5oPgojaW5jbHVkZSA8ZnN0cmVhbT4KI2luY2x1ZGUgPHN5cy9zdGF0Lmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPHNldD4KI2luY2x1ZGUgPG1hcD4KCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBtYWluKCkKewoJaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7CgljaW4udGllKDApOwoJY291dC50aWUoMCk7CglzcmFuZCAodGltZShOVUxMKSk7CglpbnQgdGVzdCA9IDE7Cgl3aGlsZSAodGVzdC0tKQoJewoJCWludCBTRUVEID0gNjAwICsgNjQwICsgNzAwOwoJCW10MTk5Mzcgcm5nKFNFRUQpOwoKCQkvL0RJViAzIDoKCQlmb3IgKGludCBpID0gMSA7IGkgPD0gMiA7IGkrKykKCQl7CgkJCWNvdXQgPDwiZGl2IDMgOiAiPDx1bmlmb3JtX2ludF9kaXN0cmlidXRpb248bG9uZyBsb25nPig0LCAyMCkocm5nKTsKCQkJY291dCA8PCdcbic7CgkJfQoJCWNvdXQgPDwnXG4nOwoKCQkvL0RJViAyIDoKCQlmb3IgKGludCBpID0gMSA7IGkgPD0gMiA7IGkrKykKCQl7CgkJCWNvdXQgPDwiZGl2IDIgOiAiPDx1bmlmb3JtX2ludF9kaXN0cmlidXRpb248bG9uZyBsb25nPig0LCAyNjIpKHJuZyk7CgkJCWNvdXQgPDwnXG4nOwoJCX0KCQljb3V0IDw8J1xuJzsKCQkvL0RJViAxIDoKCQlmb3IgKGludCBpID0gMSA7IGkgPD0gMiA7IGkrKykKCQl7CgkJCWNvdXQgPDwiZGl2IDEgOiAiPDx1bmlmb3JtX2ludF9kaXN0cmlidXRpb248bG9uZyBsb25nPig0LCA5MCkocm5nKTsKCQkJY291dCA8PCdcbic7CgkJfQoJCWNvdXQgPDwnXG4nOwoKCX0KfQoK