#include <stdio.h>
#include <stdlib.h>

static int
is_adecous(unsigned long long v)
{
    unsigned __int128 x = v;
    while (x != 1 && x != 10) {
        if (x & 1) {
            unsigned __int128 n = x * 3 + 1;
            if (n < x)
                abort();
            x = n;
        } else {
            x = x / 2;
        }
    }
    return x != 10;
}

int
main(void)
{
    static unsigned long long runs[1UL << 16] = {
        [1] = 8,
        [2] = 1,
        [3] = 300,
        [4] = 1610,
        [5] = 802,
        [6] = 5729,
        [7] = 10132,
        [8] = 18104,
        [9] = 64368,
        [10] = 15276,
        [11] = 20368,
        [12] = 27156,
        [13] = 56946,
        [14] = 40744,
        [15] = 85424,
        [16] = 36208,
        [17] = 228874,
        [18] = 2130924,
        [19] = 203436,
        [20] = 482219,
        [21] = 305162,
        [22] = 1516682,
        [23] = 1201439,
        [24] = 1280001,
        [25] = 5392672,
        [26] = 1601921,
        [27] = 8543616,
        [28] = 15188651,
        [29] = 11362306,
        [30] = 5419009,
        [31] = 4261852,
        [32] = 3033376,
        [33] = 16181768,
        [34] = 23999660,
        [35] = 40962561,
        [36] = 28767680,
        [37] = 45459140,
        [38] = 26938736,
        [39] = 30306080,
        [40] = 40408918,
        [41] = 34171400,
        [42] = 111999962,
        [43] = 53878356,
        [44] = 38356908,
        [45] = 90914362,
        [46] = 113521498,
        [47] = 31999546,
        [48] = 80998911,
        [49] = 107757128,
        [50] = 98215708,
        [51] = 136371560,
        [52] = 71999032,
        [53] = 157313255,
        [54] = 149333282,
        [55] = 68188711,
        [56] = 170282248,
        [57] = 191567536,
        [58] = 461207480,
        [59] = 189898523,
        [60] = 176987592,
        [61] = 128326538,
        [62] = 199111042,
        [63] = 201815996,
        [64] = 265481416,
        [65] = 559336120,
        [66] = 474210844,
        [67] = 331458422,
        [68] = 226858932,
        [69] = 1117557306,
        [70] = 248608086,
        [71] = 227042996,
        [72] = 318937428,
        [73] = 994432342,
        [74] = 441969978,
        [75] = 398222128,
        [76] = 345231920,
        [77] = 441944577,
        [78] = 298666594,
        [79] = 1103678823,
        [80] = 1021527504,
        [81] = 745824257,
        [82] = 1194597772,
        [83] = 745781800,
        [84] = 497187650,
        [85] = 1241638580,
        [86] = 228136074,
        [87] = 672126719,
        [88] = 1076352168,
        [89] = 883889200,
        [90] = 551840257,
        [91] = 994432532,
        [92] = 1180122304,
        [93] = 340564508,
        [94] = 314644608,
        [95] = 745781500,
        [96] = 981049376,
        [97] = 2237345096,
        [98] = 1178586476,
        [99] = 1343923080,
        [100] = 1573496412,
        [101] = 3793010914,
        [102] = 1655518106,
        [103] = 2133948418,
        [104] = 1571448833,
        [105] = 605448064,
        [106] = 1325909935,
        [107] = 353975184,
        [108] = 1491648688,
        [109] = 1655518244,
        [110] = 1862457874,
        [111] = 785724417,
        [112] = 662954968,
        [113] = 3775736048,
        [114] = 4909563390,
        [115] = 5765830984,
        [116] = 3188201992,
        [117] = 5663356271,
        [118] = 1118672252,
        [119] = 1862458027,
        [120] = 735787009,
        [121] = 4134127527,
        [122] = 1678009116,
        [123] = 1988750700,
        [124] = 4775806752,
        [125] = 4495420290,
        [126] = 7449403905,
        [127] = 1396763137,
        [128] = 2357173276,
        [129] = 1962095696,
        [130] = 7848382332,
        [131] = 8949892892,
        [132] = 1988873980,
        [133] = 2095265250,
        [134] = 1178518906,
        [135] = 807264084,
        [136] = 2483277159,
        [137] = 3142897736,
        [138] = 2237473199,
        [139] = 2095265110,
        [140] = 5512170036,
        [141] = 8380579612,
        [142] = 10372746600,
        [143] = 1767778400,
        [144] = 5966254081,
        [145] = 2207357658,
        [146] = 5057347882,
        [147] = 4714075756,
        [148] = 3488169834,
        [149] = 2357037866,
        [150] = 1047572330,
        [151] = 11174105576,
        [152] = 1988864908,
        [153] = 1047632555,
        [155] = 4714346944,
        [156] = 11772574207,
        [157] = 3924191074,
        [158] = 5232255296,
        [161] = 4474946426,
        [162] = 2483277366,
        [163] = 3311036492,
        [164] = 1571358556,
        [167] = 7955006506,
        [168] = 11048447318,
        [169] = 11174105856,
        [172] = 2983126058,
        [173] = 5303335226,
        [174] = 9980322864,
        [175] = 3142897900,
        [179] = 5886287208,
        [183] = 9428693700,
        [184] = 2943143552,
        [186] = 4190289692,
        [190] = 8268255106,
        [191] = 11174106146,
        [192] = 9932538176,
        [193] = 2357173407,
        [196] = 4650893112,
        [199] = 3142717154,
        [201] = 5587052720,
        [208] = 2793526320,
        [212] = 9933108968,
        [214] = 6622072572,
        [215] = 2651667600,
        [219] = 3535556800,
        [221] = 3977501420,
        [223] = 9933109664,
        [227] = 6285795800,
        [229] = 6285434308,
        [233] = 7449832192,
        [235] = 2095144704,
        [238] = 3724916054,
        [245] = 4966554738,
        [259] = 10464510620,
        [262] = 7449403632,
        [265] = 11772574448,
        [266] = 4190530500,
        [278] = 4414715328,
        [302] = 8380579080,
        [310] = 6622073000
    };

    for (size_t i = 0; i < sizeof(runs) / sizeof(*runs); i++)
        if (runs[i])
            printf("%zu %llu\n", i, runs[i]);
    fflush(stdout);

    int run = 0;
    for (unsigned long long x = 12327829000ULL; ; x++) {
        if (is_adecous(x)) {
            run++;
        } else {
            if (run > 0 && !runs[run]) {
                runs[run] = x - run;
                printf("%d %llu\n", run, runs[run]);
                fflush(stdout);
            }
            run = 0;
        }
    }
}