Judy vs Nim IntSet iteration

intset.c

#include <Judy.h>

#define indices_n 2000
Word_t indices[indices_n] = {15058, 4615, 6668, 19845, 10014, 15721, 2240, 2242, 631, 13511, 8475, 6887, 892, 4482, 8121, 14453, 4908, 17673, 5832, 2941, 5004, 6091, 8217, 10317, 9396, 5332, 2703, 7244, 13111, 15175, 8566, 16577, 11083, 17706, 4009, 19840, 9041, 16178, 12902, 2578, 15617, 17487, 5431, 18698, 2980, 6648, 19904, 12869, 14177, 2706, 13589, 1539, 2826, 2252, 19633, 14102, 19260, 12452, 1857, 4188, 13202, 1976, 10017, 4048, 3797, 7838, 11787, 12890, 9904, 17862, 15096, 5640, 1347, 6616, 9498, 15933, 13588, 14450, 2773, 13210, 12112, 1448, 2793, 7565, 1429, 8562, 510, 8059, 18845, 7602, 19739, 362, 18320, 14386, 6955, 10739, 8387, 15216, 456, 2042, 15969, 16558, 9596, 3598, 13373, 8904, 17604, 7732, 18004, 13635, 4626, 15346, 3456, 17926, 16743, 1101, 13777, 11257, 14685, 8030, 11892, 556, 19225, 2187, 18030, 7171, 12630, 13436, 13390, 7567, 8533, 18102, 16930, 4063, 452, 15028, 18198, 8103, 7002, 19811, 9833, 11289, 18303, 5631, 4767, 8337, 5920, 4558, 8451, 17384, 16076, 2779, 12147, 6252, 9594, 15049, 16349, 9006, 3306, 7367, 18888, 16148, 16319, 13448, 19980, 4620, 12896, 3123, 3758, 15907, 16726, 5357, 17393, 878, 15703, 18068, 18217, 15673, 17489, 15539, 4196, 4491, 10670, 16186, 10707, 7022, 19913, 7099, 14989, 18818, 7207, 5605, 6012, 5382, 19270, 10738, 2339, 17921, 16304, 11337, 19695, 15894, 9765, 15016, 11460, 12470, 3006, 104, 19164, 16247, 5327, 3209, 9481, 19273, 8355, 14070, 12733, 14666, 14258, 5097, 17130, 13334, 9480, 17880, 6484, 14972, 5445, 2723, 14753, 3898, 9938, 980, 17105, 16325, 16260, 13523, 11058, 18906, 2478, 9108, 7924, 16170, 18615, 17580, 8616, 12879, 10895, 11022, 8459, 18305, 14342, 13439, 11632, 4268, 1611, 4825, 7333, 7588, 10165, 3354, 19977, 3150, 8383, 773, 3991, 19774, 12835, 18173, 18025, 6360, 12297, 9544, 7194, 15935, 16461, 9440, 7184, 6, 11560, 8017, 9168, 6247, 4010, 9826, 10836, 11694, 4442, 1216, 3282, 9564, 19428, 11541, 3224, 1350, 17932, 400, 18637, 5510, 9568, 13159, 7555, 8595, 17752, 19567, 15491, 8346, 13585, 17121, 13617, 16515, 226, 10933, 4469, 15132, 1348, 7620, 7241, 6300, 2798, 863, 12340, 5263, 7621, 5534, 13478, 256, 17242, 11531, 10989, 8572, 3244, 17391, 511, 10057, 2821, 14444, 2230, 19698, 9790, 3326, 19239, 1439, 1073, 1175, 494, 4182, 4109, 1355, 14287, 13170, 13652, 1835, 901, 15082, 19926, 14428, 4790, 17639, 4514, 6939, 3523, 17671, 13904, 10916, 15146, 14268, 10503, 5807, 9867, 4605, 13042, 9829, 5710, 5213, 8361, 13610, 16857, 6132, 9058, 19653, 9536, 15902, 19112, 5032, 383, 877, 2687, 77, 6709, 11756, 17846, 4435, 15917, 7445, 7177, 10237, 1946, 14706, 14954, 6424, 11712, 8925, 8423, 8784, 831, 14447, 6678, 10256, 1240, 4636, 13198, 7729, 15478, 2909, 16230, 5873, 14523, 12771, 19791, 5329, 9428, 9125, 4446, 14917, 2420, 19808, 660, 10106, 658, 109, 4409, 8395, 16761, 10097, 17085, 17772, 17521, 19787, 69, 1878, 2298, 6973, 2034, 4143, 13391, 10241, 15472, 6599, 2813, 17945, 17331, 19559, 19876, 17707, 6053, 13910, 7796, 15737, 12545, 17806, 13353, 12353, 16002, 18159, 17145, 15812, 4149, 3695, 18748, 13978, 15742, 12262, 4095, 12709, 11458, 13335, 9734, 13647, 16731, 8183, 19530, 9614, 12268, 12629, 10021, 11753, 5150, 14419, 19404, 18310, 14303, 11701, 3482, 16447, 1189, 19100, 1768, 19652, 4851, 1424, 16755, 16348, 3830, 2322, 7529, 19163, 15311, 9493, 8802, 9863, 18466, 4613, 16595, 9418, 17946, 4320, 4241, 8864, 2281, 6450, 4950, 14719, 1816, 17771, 14859, 15553, 2517, 18910, 13418, 19583, 1065, 5261, 4550, 13633, 11583, 3654, 8749, 15369, 3102, 10148, 2604, 2749, 12018, 11019, 7372, 16001, 9965, 3472, 1333, 10450, 10299, 3715, 1315, 18658, 18733, 16413, 13543, 13463, 3512, 7926, 7937, 11779, 8635, 9551, 19177, 18575, 7001, 5319, 6733, 7253, 8338, 2491, 165, 1148, 19484, 14296, 6186, 1131, 5207, 7222, 3674, 15761, 1195, 3200, 3538, 6124, 14166, 2651, 12119, 3744, 15249, 14987, 19457, 7489, 17476, 89, 730, 13709, 5851, 6950, 7233, 145, 16180, 19083, 12889, 12374, 1406, 860, 7374, 10290, 2400, 6068, 18642, 8580, 2855, 3812, 16715, 17555, 3277, 17923, 18773, 1479, 7307, 7137, 18060, 18916, 15305, 5183, 17547, 9128, 4209, 6687, 6331, 3289, 13314, 15676, 11836, 19978, 15540, 5416, 4964, 6233, 3740, 11002, 3562, 10721, 19935, 5764, 17240, 5530, 10482, 8151, 9801, 11135, 5338, 5157, 4609, 6952, 8072, 13280, 18725, 1934, 265, 2851, 15366, 18581, 19727, 10190, 1482, 9839, 4646, 10629, 11010, 17607, 19436, 19773, 3602, 1032, 14172, 18585, 1232, 8508, 13824, 5753, 16093, 14557, 15871, 3966, 7471, 8384, 19278, 935, 16242, 200, 7193, 8531, 19312, 8886, 13646, 6797, 12240, 13885, 19449, 2631, 5543, 16572, 16638, 10146, 11013, 10965, 18692, 2839, 13555, 431, 8532, 15645, 14435, 15097, 5036, 6118, 11030, 14692, 1494, 19205, 15603, 18378, 19015, 8583, 6333, 18540, 6466, 15952, 851, 14978, 4239, 18130, 7214, 16229, 2495, 1640, 14633, 19056, 4374, 1691, 5918, 10383, 17870, 1872, 9025, 19948, 3586, 11311, 7205, 13748, 18064, 3648, 14858, 3917, 7188, 9559, 16084, 16903, 15321, 13780, 6692, 14090, 13739, 889, 1507, 3731, 8978, 17090, 19175, 1358, 4074, 8674, 106, 6780, 13508, 16136, 3853, 4023, 9322, 250, 10321, 214, 8755, 10683, 12787, 18645, 19762, 19066, 5584, 3495, 10751, 1990, 18806, 11124, 11698, 434, 17598, 15658, 8963, 11298, 10811, 9039, 15466, 5687, 9180, 3466, 4000, 18685, 12595, 5076, 1880, 7857, 14655, 6133, 17175, 8641, 3507, 19448, 10085, 2729, 15109, 16758, 304, 18425, 4017, 3780, 12475, 6162, 10534, 6209, 10614, 4891, 1577, 12019, 6361, 8435, 6392, 10586, 7281, 16593, 9047, 15274, 18727, 11662, 12669, 19021, 202, 12656, 18972, 6045, 1286, 9679, 8915, 9449, 774, 18841, 18574, 13690, 2089, 8282, 16199, 16800, 12385, 174, 19306, 19634, 1595, 9756, 8193, 11308, 15841, 10680, 11318, 14257, 19911, 19477, 10312, 11829, 15825, 19919, 9484, 13408, 2276, 9075, 14718, 16480, 9540, 4645, 19370, 19118, 13425, 7209, 12582, 14991, 10442, 6295, 1812, 11501, 8709, 19453, 17234, 13079, 164, 13304, 6871, 10892, 11818, 12109, 5043, 788, 10076, 13083, 9162, 995, 5679, 15087, 14967, 6846, 1034, 7274, 8069, 15039, 15308, 11909, 13520, 14532, 4683, 2144, 15644, 2857, 5100, 11284, 15263, 12627, 7661, 13576, 8897, 13863, 2470, 17245, 5350, 2556, 2099, 19427, 3717, 16824, 740, 18963, 11654, 10096, 7821, 8082, 5545, 2453, 3839, 5128, 601, 15110, 1176, 4689, 8048, 9755, 17482, 6090, 18307, 3265, 3841, 14679, 15842, 1107, 1670, 4774, 17663, 15193, 5947, 8350, 134, 13014, 13226, 15443, 6014, 8310, 8427, 11534, 2022, 16308, 12428, 8770, 7327, 2463, 17195, 6602, 17278, 10580, 12729, 18966, 2134, 13944, 8699, 11738, 15575, 13497, 5978, 9637, 12093, 12516, 11328, 10469, 4637, 10846, 14402, 18551, 8506, 8112, 8805, 4590, 15280, 13545, 9175, 7637, 5567, 8203, 19602, 2184, 17504, 13066, 17802, 16106, 18852, 11674, 2155, 15116, 7078, 6996, 9721, 16424, 16183, 2394, 5838, 15518, 18388, 8956, 15129, 3000, 9584, 14669, 3112, 19144, 13853, 9430, 17592, 19752, 7940, 17779, 5891, 7616, 16834, 15887, 1648, 3086, 1152, 16990, 18663, 10129, 19120, 8924, 1736, 15427, 9479, 6346, 17458, 9616, 9471, 9740, 9949, 8951, 16297, 16200, 1947, 12750, 10619, 14821, 6471, 12280, 12036, 11912, 991, 11429, 17522, 6726, 11433, 10690, 10559, 11642, 17438, 13078, 5044, 13190, 13378, 18828, 14047, 8438, 16934, 18846, 12202, 18318, 8325, 10956, 12033, 11936, 7254, 16820, 16009, 10330, 2619, 11578, 16111, 7458, 2810, 12029, 10884, 3949, 9359, 6794, 16875, 9385, 1548, 128, 15909, 1696, 13307, 14869, 11179, 6593, 1843, 10871, 16862, 13110, 19337, 8744, 19326, 11522, 10029, 16441, 2929, 19767, 17274, 5234, 14822, 9318, 8196, 11182, 1983, 1222, 8340, 16701, 4985, 19029, 19114, 12924, 14645, 13148, 10481, 4935, 10419, 139, 15447, 2408, 10540, 12751, 8995, 2881, 9398, 3838, 8686, 16947, 10340, 11304, 4372, 1260, 6904, 12236, 4806, 3419, 19886, 9401, 9841, 572, 16571, 15999, 12837, 1797, 19414, 13573, 15162, 17218, 9920, 10136, 16706, 17777, 7354, 15190, 13145, 18851, 10997, 12456, 6509, 4737, 5524, 3318, 19392, 9874, 6146, 10233, 8265, 7266, 3183, 2380, 8300, 14696, 19954, 5461, 14506, 3650, 5863, 15966, 12082, 19401, 5088, 19256, 8050, 3658, 18554, 10907, 16815, 1236, 3382, 19746, 4467, 13245, 8576, 3335, 2395, 15465, 12333, 16817, 3718, 3204, 2090, 3219, 12464, 5165, 58, 18874, 4874, 14734, 13532, 5316, 17267, 9050, 14217, 16818, 15692, 2617, 856, 15453, 11924, 16190, 12552, 19466, 310, 5439, 15704, 2734, 9533, 3979, 15045, 12931, 11180, 16081, 10538, 6363, 11111, 15317, 4053, 2364, 4343, 10045, 8012, 2561, 900, 13401, 4179, 4909, 571, 14174, 17743, 7943, 15250, 1896, 105, 12128, 6006, 13346, 2859, 3804, 169, 11248, 19531, 11413, 4989, 2062, 2667, 9980, 17296, 5656, 6052, 12173, 4886, 9753, 10813, 14380, 17178, 6168, 8385, 6147, 13070, 9542, 14928, 5761, 2465, 9390, 3526, 16385, 9355, 11273, 15464, 1069, 14548, 4931, 3997, 6376, 8248, 14488, 12979, 6538, 916, 17744, 6498, 7744, 16282, 14912, 5062, 6767, 6173, 16573, 3626, 5384, 692, 7485, 12801, 8006, 19035, 10637, 13582, 15758, 19782, 15578, 6610, 2900, 4463, 11964, 15387, 6257, 5674, 8120, 12007, 12010, 9976, 12008, 3909, 10232, 920, 2932, 13399, 10626, 7780, 17500, 18676, 16197, 13254, 9433, 19362, 7690, 15554, 1655, 231, 4894, 6066, 13591, 3612, 3860, 16340, 9575, 1743, 10745, 9716, 19018, 1409, 19974, 7737, 4855, 16167, 19099, 3677, 11242, 9664, 3652, 11865, 10786, 1054, 12424, 19557, 13963, 4914, 13786, 17436, 19001, 17477, 18377, 11930, 1124, 14061, 14293, 8142, 14252, 7627, 9706, 4062, 3669, 8491, 4352, 17934, 3252, 11874, 12812, 821, 9916, 8328, 3457, 10183, 5577, 12543, 3641, 6413, 13016, 5022, 4983, 17040, 8775, 12754, 15371, 7431, 8390, 8320, 7978, 7872, 8468, 17292, 19940, 11440, 14867, 885, 8292, 8255, 6062, 2742, 13877, 5409, 11802, 18228, 820, 12039, 2398, 18255, 3308, 4744, 9266, 5090, 7900, 14932, 19820, 18697, 4872, 17900, 16048, 14793, 14148, 15225, 14921, 8190, 18073, 18753, 18871, 15689, 10918, 12919, 16951, 4762, 15976, 739, 8975, 10910, 5211, 16352, 17705, 8237, 14518, 112, 2116, 17386, 5587, 4765, 7162, 3279, 10650, 12557, 15330, 12834, 19375, 3118, 18195, 7312, 2393, 5934, 9894, 2563, 5917, 393, 1807, 7169, 18780, 2098, 9635, 3450, 11453, 5075, 2888, 9792, 7023, 11115, 12064, 13988, 2492, 9126, 4328, 12513, 3405, 9263, 14587, 12565, 9420, 1346, 4506, 8434, 4250, 15696, 12023, 3132, 7971, 15741, 4131, 6993, 5507, 16975, 7319, 16016, 5468, 2232, 19233, 17398, 9556, 13350, 16334, 38, 1891, 15803, 2847, 16698, 16537, 5089, 9074, 17848, 6615, 19130, 4994, 15379, 6651, 13973, 2724, 11789, 13447, 1731, 3349, 12964, 5590, 18297, 18864, 6059, 11168, 614, 2183, 13404, 9181, 13900, 7865, 19181, 484, 19160, 5436, 3613, 284, 17314, 15945, 10186, 12785, 4319, 19725, 18036, 11200, 19609, 4843, 17053, 5026, 7237, 19257, 5012, 15200, 17554, 18747, 311, 5171, 7466, 3881, 15980, 12542, 8299, 8550, 8539, 19350, 11631, 870, 840, 3205, 12406, 16935, 18899, 15322, 7697, 13834, 18703, 15498, 12715, 33, 6693, 13590, 94, 14273, 11637, 12653, 874, 17977, 15086, 13269, 10015, 9623, 18977, 12765, 14656, 9546, 11125, 19411, 3270, 16835, 12447, 17800, 2960, 19804, 1135, 14937, 18146, 19297, 17417, 11902, 13804, 752, 14182, 6878, 11416, 15199, 14427, 10746, 14471, 10659, 12804, 14575, 26, 2270, 958, 5362, 11172, 3074, 17670, 8113, 5092, 19193, 16454, 7330, 7095, 6526, 10149, 1298, 3341, 9509, 12609, 19593, 3483, 6101, 2338, 19126, 2245, 16837, 8070, 7917, 19982, 1663, 14099, 6634, 4559, 11793, 10226, 11279, 474, 5374, 13120, 18754, 7388, 6397, 5055, 13809, 19515, 16781, 13068, 19715, 18082, 13664, 9443, 6691, 2875, 2930, 2670, 12158, 18752, 10289, 1570, 6169, 13939, 3810, 1557, 4882, 13609, 4656, 10638, 8899, 6619, 4840, 10347, 13309, 4750, 19697, 8078, 14947, 10944, 7880, 12484, 16607, 8293, 10382, 4158, 14277, 10254, 17534, 15047, 10120, 12030, 13811, 10987, 8662, 1487, 7708, 46, 1875, 9738, 18489, 3129, 257, 7033, 15635, 11647, 14815, 10865, 5215, 6191, 4829, 4981, 14651, 7170, 9193, 13239, 12905, 16153, 5778, 15850, 6219, 18856, 8780, 3644, 15131, 6768, 7890, 11920, 289, 16549, 17915, 16146, 7886, 15318, 8246, 16508, 9612, 14479, 17856, 4414, 14929, 1042, 2146, 7190, 2959, 1662, 17716, 3756, 3280, 18657, 1606, 17219, 2175, 5422, 15063, 6713, 884, 10395, 8546, 729, 10623, 1093, 16907, 9145, 10199, 5887, 5845, 12670, 8465, 9290, 3877, 15001, 12898, 11778, 2311, 238, 10630, 4562, 15815, 9215, 636, 5228, 16030, 8249, 18965, 3923, 15327, 11921, 14877, 9832, 2481, 4288, 412, 17189, 11381, 5296, 1553, 17070, 13744, 14183, 4051, 14648, 17146, 4691, 3048, 17089, 14729, 15030, 14705, 11161, 16588, 16622, 4187, 6384, 19422, 9531, 8302, 4799, 17272, 3856, 4221, 1201, 12589, 15785, 18927, 14367, 12146, 9120, 8289, 3615, 18777, 7348, 3213, 12107, 3393, 6656, 4776, 14699, 2382, 5051, 15560, 5688, 18532, 66, 13366, 6564, 5244, 11347, 11932, 13766, 13650, 16425, 3166, 13527, 10303, 790, 9053, 17859, 9255, 16008, 11270, 8970, 6548, 16145, 19741, 14098, 8281, 7250, 3307, 3024, 2137, 7065, 558, 15126, 5883, 3370, 6958, 7582, 17957, 2790, 16785, 3389, 10208, 18248, 9686, 10418, 1950, 1459, 4518, 17571, 4162, 1799, 6291};
#define times 50000

int main()
{
    Word_t index;
    int rci;

    Pvoid_t arr = (Pvoid_t)NULL;

    for (size_t i = 0; i < indices_n; ++i) {
        index = indices[i];
        J1S(rci, arr, index);
    }

    for (int i = 0; i < times; ++i) {
        index = 0;
        J1F(rci, arr, index);
        while (rci) {
            J1N(rci, arr, index);
        }
    }

    return 0;
}

//real    0m5.909s
//user    0m5.897s
//sys     0m0.000s

intset.nim

import intsets

const indices = [15058, 4615, 6668, 19845, 10014, 15721, 2240, 2242, 631, 13511, 8475, 6887, 892, 4482, 8121, 14453, 4908, 17673, 5832, 2941, 5004, 6091, 8217, 10317, 9396, 5332, 2703, 7244, 13111, 15175, 8566, 16577, 11083, 17706, 4009, 19840, 9041, 16178, 12902, 2578, 15617, 17487, 5431, 18698, 2980, 6648, 19904, 12869, 14177, 2706, 13589, 1539, 2826, 2252, 19633, 14102, 19260, 12452, 1857, 4188, 13202, 1976, 10017, 4048, 3797, 7838, 11787, 12890, 9904, 17862, 15096, 5640, 1347, 6616, 9498, 15933, 13588, 14450, 2773, 13210, 12112, 1448, 2793, 7565, 1429, 8562, 510, 8059, 18845, 7602, 19739, 362, 18320, 14386, 6955, 10739, 8387, 15216, 456, 2042, 15969, 16558, 9596, 3598, 13373, 8904, 17604, 7732, 18004, 13635, 4626, 15346, 3456, 17926, 16743, 1101, 13777, 11257, 14685, 8030, 11892, 556, 19225, 2187, 18030, 7171, 12630, 13436, 13390, 7567, 8533, 18102, 16930, 4063, 452, 15028, 18198, 8103, 7002, 19811, 9833, 11289, 18303, 5631, 4767, 8337, 5920, 4558, 8451, 17384, 16076, 2779, 12147, 6252, 9594, 15049, 16349, 9006, 3306, 7367, 18888, 16148, 16319, 13448, 19980, 4620, 12896, 3123, 3758, 15907, 16726, 5357, 17393, 878, 15703, 18068, 18217, 15673, 17489, 15539, 4196, 4491, 10670, 16186, 10707, 7022, 19913, 7099, 14989, 18818, 7207, 5605, 6012, 5382, 19270, 10738, 2339, 17921, 16304, 11337, 19695, 15894, 9765, 15016, 11460, 12470, 3006, 104, 19164, 16247, 5327, 3209, 9481, 19273, 8355, 14070, 12733, 14666, 14258, 5097, 17130, 13334, 9480, 17880, 6484, 14972, 5445, 2723, 14753, 3898, 9938, 980, 17105, 16325, 16260, 13523, 11058, 18906, 2478, 9108, 7924, 16170, 18615, 17580, 8616, 12879, 10895, 11022, 8459, 18305, 14342, 13439, 11632, 4268, 1611, 4825, 7333, 7588, 10165, 3354, 19977, 3150, 8383, 773, 3991, 19774, 12835, 18173, 18025, 6360, 12297, 9544, 7194, 15935, 16461, 9440, 7184, 6, 11560, 8017, 9168, 6247, 4010, 9826, 10836, 11694, 4442, 1216, 3282, 9564, 19428, 11541, 3224, 1350, 17932, 400, 18637, 5510, 9568, 13159, 7555, 8595, 17752, 19567, 15491, 8346, 13585, 17121, 13617, 16515, 226, 10933, 4469, 15132, 1348, 7620, 7241, 6300, 2798, 863, 12340, 5263, 7621, 5534, 13478, 256, 17242, 11531, 10989, 8572, 3244, 17391, 511, 10057, 2821, 14444, 2230, 19698, 9790, 3326, 19239, 1439, 1073, 1175, 494, 4182, 4109, 1355, 14287, 13170, 13652, 1835, 901, 15082, 19926, 14428, 4790, 17639, 4514, 6939, 3523, 17671, 13904, 10916, 15146, 14268, 10503, 5807, 9867, 4605, 13042, 9829, 5710, 5213, 8361, 13610, 16857, 6132, 9058, 19653, 9536, 15902, 19112, 5032, 383, 877, 2687, 77, 6709, 11756, 17846, 4435, 15917, 7445, 7177, 10237, 1946, 14706, 14954, 6424, 11712, 8925, 8423, 8784, 831, 14447, 6678, 10256, 1240, 4636, 13198, 7729, 15478, 2909, 16230, 5873, 14523, 12771, 19791, 5329, 9428, 9125, 4446, 14917, 2420, 19808, 660, 10106, 658, 109, 4409, 8395, 16761, 10097, 17085, 17772, 17521, 19787, 69, 1878, 2298, 6973, 2034, 4143, 13391, 10241, 15472, 6599, 2813, 17945, 17331, 19559, 19876, 17707, 6053, 13910, 7796, 15737, 12545, 17806, 13353, 12353, 16002, 18159, 17145, 15812, 4149, 3695, 18748, 13978, 15742, 12262, 4095, 12709, 11458, 13335, 9734, 13647, 16731, 8183, 19530, 9614, 12268, 12629, 10021, 11753, 5150, 14419, 19404, 18310, 14303, 11701, 3482, 16447, 1189, 19100, 1768, 19652, 4851, 1424, 16755, 16348, 3830, 2322, 7529, 19163, 15311, 9493, 8802, 9863, 18466, 4613, 16595, 9418, 17946, 4320, 4241, 8864, 2281, 6450, 4950, 14719, 1816, 17771, 14859, 15553, 2517, 18910, 13418, 19583, 1065, 5261, 4550, 13633, 11583, 3654, 8749, 15369, 3102, 10148, 2604, 2749, 12018, 11019, 7372, 16001, 9965, 3472, 1333, 10450, 10299, 3715, 1315, 18658, 18733, 16413, 13543, 13463, 3512, 7926, 7937, 11779, 8635, 9551, 19177, 18575, 7001, 5319, 6733, 7253, 8338, 2491, 165, 1148, 19484, 14296, 6186, 1131, 5207, 7222, 3674, 15761, 1195, 3200, 3538, 6124, 14166, 2651, 12119, 3744, 15249, 14987, 19457, 7489, 17476, 89, 730, 13709, 5851, 6950, 7233, 145, 16180, 19083, 12889, 12374, 1406, 860, 7374, 10290, 2400, 6068, 18642, 8580, 2855, 3812, 16715, 17555, 3277, 17923, 18773, 1479, 7307, 7137, 18060, 18916, 15305, 5183, 17547, 9128, 4209, 6687, 6331, 3289, 13314, 15676, 11836, 19978, 15540, 5416, 4964, 6233, 3740, 11002, 3562, 10721, 19935, 5764, 17240, 5530, 10482, 8151, 9801, 11135, 5338, 5157, 4609, 6952, 8072, 13280, 18725, 1934, 265, 2851, 15366, 18581, 19727, 10190, 1482, 9839, 4646, 10629, 11010, 17607, 19436, 19773, 3602, 1032, 14172, 18585, 1232, 8508, 13824, 5753, 16093, 14557, 15871, 3966, 7471, 8384, 19278, 935, 16242, 200, 7193, 8531, 19312, 8886, 13646, 6797, 12240, 13885, 19449, 2631, 5543, 16572, 16638, 10146, 11013, 10965, 18692, 2839, 13555, 431, 8532, 15645, 14435, 15097, 5036, 6118, 11030, 14692, 1494, 19205, 15603, 18378, 19015, 8583, 6333, 18540, 6466, 15952, 851, 14978, 4239, 18130, 7214, 16229, 2495, 1640, 14633, 19056, 4374, 1691, 5918, 10383, 17870, 1872, 9025, 19948, 3586, 11311, 7205, 13748, 18064, 3648, 14858, 3917, 7188, 9559, 16084, 16903, 15321, 13780, 6692, 14090, 13739, 889, 1507, 3731, 8978, 17090, 19175, 1358, 4074, 8674, 106, 6780, 13508, 16136, 3853, 4023, 9322, 250, 10321, 214, 8755, 10683, 12787, 18645, 19762, 19066, 5584, 3495, 10751, 1990, 18806, 11124, 11698, 434, 17598, 15658, 8963, 11298, 10811, 9039, 15466, 5687, 9180, 3466, 4000, 18685, 12595, 5076, 1880, 7857, 14655, 6133, 17175, 8641, 3507, 19448, 10085, 2729, 15109, 16758, 304, 18425, 4017, 3780, 12475, 6162, 10534, 6209, 10614, 4891, 1577, 12019, 6361, 8435, 6392, 10586, 7281, 16593, 9047, 15274, 18727, 11662, 12669, 19021, 202, 12656, 18972, 6045, 1286, 9679, 8915, 9449, 774, 18841, 18574, 13690, 2089, 8282, 16199, 16800, 12385, 174, 19306, 19634, 1595, 9756, 8193, 11308, 15841, 10680, 11318, 14257, 19911, 19477, 10312, 11829, 15825, 19919, 9484, 13408, 2276, 9075, 14718, 16480, 9540, 4645, 19370, 19118, 13425, 7209, 12582, 14991, 10442, 6295, 1812, 11501, 8709, 19453, 17234, 13079, 164, 13304, 6871, 10892, 11818, 12109, 5043, 788, 10076, 13083, 9162, 995, 5679, 15087, 14967, 6846, 1034, 7274, 8069, 15039, 15308, 11909, 13520, 14532, 4683, 2144, 15644, 2857, 5100, 11284, 15263, 12627, 7661, 13576, 8897, 13863, 2470, 17245, 5350, 2556, 2099, 19427, 3717, 16824, 740, 18963, 11654, 10096, 7821, 8082, 5545, 2453, 3839, 5128, 601, 15110, 1176, 4689, 8048, 9755, 17482, 6090, 18307, 3265, 3841, 14679, 15842, 1107, 1670, 4774, 17663, 15193, 5947, 8350, 134, 13014, 13226, 15443, 6014, 8310, 8427, 11534, 2022, 16308, 12428, 8770, 7327, 2463, 17195, 6602, 17278, 10580, 12729, 18966, 2134, 13944, 8699, 11738, 15575, 13497, 5978, 9637, 12093, 12516, 11328, 10469, 4637, 10846, 14402, 18551, 8506, 8112, 8805, 4590, 15280, 13545, 9175, 7637, 5567, 8203, 19602, 2184, 17504, 13066, 17802, 16106, 18852, 11674, 2155, 15116, 7078, 6996, 9721, 16424, 16183, 2394, 5838, 15518, 18388, 8956, 15129, 3000, 9584, 14669, 3112, 19144, 13853, 9430, 17592, 19752, 7940, 17779, 5891, 7616, 16834, 15887, 1648, 3086, 1152, 16990, 18663, 10129, 19120, 8924, 1736, 15427, 9479, 6346, 17458, 9616, 9471, 9740, 9949, 8951, 16297, 16200, 1947, 12750, 10619, 14821, 6471, 12280, 12036, 11912, 991, 11429, 17522, 6726, 11433, 10690, 10559, 11642, 17438, 13078, 5044, 13190, 13378, 18828, 14047, 8438, 16934, 18846, 12202, 18318, 8325, 10956, 12033, 11936, 7254, 16820, 16009, 10330, 2619, 11578, 16111, 7458, 2810, 12029, 10884, 3949, 9359, 6794, 16875, 9385, 1548, 128, 15909, 1696, 13307, 14869, 11179, 6593, 1843, 10871, 16862, 13110, 19337, 8744, 19326, 11522, 10029, 16441, 2929, 19767, 17274, 5234, 14822, 9318, 8196, 11182, 1983, 1222, 8340, 16701, 4985, 19029, 19114, 12924, 14645, 13148, 10481, 4935, 10419, 139, 15447, 2408, 10540, 12751, 8995, 2881, 9398, 3838, 8686, 16947, 10340, 11304, 4372, 1260, 6904, 12236, 4806, 3419, 19886, 9401, 9841, 572, 16571, 15999, 12837, 1797, 19414, 13573, 15162, 17218, 9920, 10136, 16706, 17777, 7354, 15190, 13145, 18851, 10997, 12456, 6509, 4737, 5524, 3318, 19392, 9874, 6146, 10233, 8265, 7266, 3183, 2380, 8300, 14696, 19954, 5461, 14506, 3650, 5863, 15966, 12082, 19401, 5088, 19256, 8050, 3658, 18554, 10907, 16815, 1236, 3382, 19746, 4467, 13245, 8576, 3335, 2395, 15465, 12333, 16817, 3718, 3204, 2090, 3219, 12464, 5165, 58, 18874, 4874, 14734, 13532, 5316, 17267, 9050, 14217, 16818, 15692, 2617, 856, 15453, 11924, 16190, 12552, 19466, 310, 5439, 15704, 2734, 9533, 3979, 15045, 12931, 11180, 16081, 10538, 6363, 11111, 15317, 4053, 2364, 4343, 10045, 8012, 2561, 900, 13401, 4179, 4909, 571, 14174, 17743, 7943, 15250, 1896, 105, 12128, 6006, 13346, 2859, 3804, 169, 11248, 19531, 11413, 4989, 2062, 2667, 9980, 17296, 5656, 6052, 12173, 4886, 9753, 10813, 14380, 17178, 6168, 8385, 6147, 13070, 9542, 14928, 5761, 2465, 9390, 3526, 16385, 9355, 11273, 15464, 1069, 14548, 4931, 3997, 6376, 8248, 14488, 12979, 6538, 916, 17744, 6498, 7744, 16282, 14912, 5062, 6767, 6173, 16573, 3626, 5384, 692, 7485, 12801, 8006, 19035, 10637, 13582, 15758, 19782, 15578, 6610, 2900, 4463, 11964, 15387, 6257, 5674, 8120, 12007, 12010, 9976, 12008, 3909, 10232, 920, 2932, 13399, 10626, 7780, 17500, 18676, 16197, 13254, 9433, 19362, 7690, 15554, 1655, 231, 4894, 6066, 13591, 3612, 3860, 16340, 9575, 1743, 10745, 9716, 19018, 1409, 19974, 7737, 4855, 16167, 19099, 3677, 11242, 9664, 3652, 11865, 10786, 1054, 12424, 19557, 13963, 4914, 13786, 17436, 19001, 17477, 18377, 11930, 1124, 14061, 14293, 8142, 14252, 7627, 9706, 4062, 3669, 8491, 4352, 17934, 3252, 11874, 12812, 821, 9916, 8328, 3457, 10183, 5577, 12543, 3641, 6413, 13016, 5022, 4983, 17040, 8775, 12754, 15371, 7431, 8390, 8320, 7978, 7872, 8468, 17292, 19940, 11440, 14867, 885, 8292, 8255, 6062, 2742, 13877, 5409, 11802, 18228, 820, 12039, 2398, 18255, 3308, 4744, 9266, 5090, 7900, 14932, 19820, 18697, 4872, 17900, 16048, 14793, 14148, 15225, 14921, 8190, 18073, 18753, 18871, 15689, 10918, 12919, 16951, 4762, 15976, 739, 8975, 10910, 5211, 16352, 17705, 8237, 14518, 112, 2116, 17386, 5587, 4765, 7162, 3279, 10650, 12557, 15330, 12834, 19375, 3118, 18195, 7312, 2393, 5934, 9894, 2563, 5917, 393, 1807, 7169, 18780, 2098, 9635, 3450, 11453, 5075, 2888, 9792, 7023, 11115, 12064, 13988, 2492, 9126, 4328, 12513, 3405, 9263, 14587, 12565, 9420, 1346, 4506, 8434, 4250, 15696, 12023, 3132, 7971, 15741, 4131, 6993, 5507, 16975, 7319, 16016, 5468, 2232, 19233, 17398, 9556, 13350, 16334, 38, 1891, 15803, 2847, 16698, 16537, 5089, 9074, 17848, 6615, 19130, 4994, 15379, 6651, 13973, 2724, 11789, 13447, 1731, 3349, 12964, 5590, 18297, 18864, 6059, 11168, 614, 2183, 13404, 9181, 13900, 7865, 19181, 484, 19160, 5436, 3613, 284, 17314, 15945, 10186, 12785, 4319, 19725, 18036, 11200, 19609, 4843, 17053, 5026, 7237, 19257, 5012, 15200, 17554, 18747, 311, 5171, 7466, 3881, 15980, 12542, 8299, 8550, 8539, 19350, 11631, 870, 840, 3205, 12406, 16935, 18899, 15322, 7697, 13834, 18703, 15498, 12715, 33, 6693, 13590, 94, 14273, 11637, 12653, 874, 17977, 15086, 13269, 10015, 9623, 18977, 12765, 14656, 9546, 11125, 19411, 3270, 16835, 12447, 17800, 2960, 19804, 1135, 14937, 18146, 19297, 17417, 11902, 13804, 752, 14182, 6878, 11416, 15199, 14427, 10746, 14471, 10659, 12804, 14575, 26, 2270, 958, 5362, 11172, 3074, 17670, 8113, 5092, 19193, 16454, 7330, 7095, 6526, 10149, 1298, 3341, 9509, 12609, 19593, 3483, 6101, 2338, 19126, 2245, 16837, 8070, 7917, 19982, 1663, 14099, 6634, 4559, 11793, 10226, 11279, 474, 5374, 13120, 18754, 7388, 6397, 5055, 13809, 19515, 16781, 13068, 19715, 18082, 13664, 9443, 6691, 2875, 2930, 2670, 12158, 18752, 10289, 1570, 6169, 13939, 3810, 1557, 4882, 13609, 4656, 10638, 8899, 6619, 4840, 10347, 13309, 4750, 19697, 8078, 14947, 10944, 7880, 12484, 16607, 8293, 10382, 4158, 14277, 10254, 17534, 15047, 10120, 12030, 13811, 10987, 8662, 1487, 7708, 46, 1875, 9738, 18489, 3129, 257, 7033, 15635, 11647, 14815, 10865, 5215, 6191, 4829, 4981, 14651, 7170, 9193, 13239, 12905, 16153, 5778, 15850, 6219, 18856, 8780, 3644, 15131, 6768, 7890, 11920, 289, 16549, 17915, 16146, 7886, 15318, 8246, 16508, 9612, 14479, 17856, 4414, 14929, 1042, 2146, 7190, 2959, 1662, 17716, 3756, 3280, 18657, 1606, 17219, 2175, 5422, 15063, 6713, 884, 10395, 8546, 729, 10623, 1093, 16907, 9145, 10199, 5887, 5845, 12670, 8465, 9290, 3877, 15001, 12898, 11778, 2311, 238, 10630, 4562, 15815, 9215, 636, 5228, 16030, 8249, 18965, 3923, 15327, 11921, 14877, 9832, 2481, 4288, 412, 17189, 11381, 5296, 1553, 17070, 13744, 14183, 4051, 14648, 17146, 4691, 3048, 17089, 14729, 15030, 14705, 11161, 16588, 16622, 4187, 6384, 19422, 9531, 8302, 4799, 17272, 3856, 4221, 1201, 12589, 15785, 18927, 14367, 12146, 9120, 8289, 3615, 18777, 7348, 3213, 12107, 3393, 6656, 4776, 14699, 2382, 5051, 15560, 5688, 18532, 66, 13366, 6564, 5244, 11347, 11932, 13766, 13650, 16425, 3166, 13527, 10303, 790, 9053, 17859, 9255, 16008, 11270, 8970, 6548, 16145, 19741, 14098, 8281, 7250, 3307, 3024, 2137, 7065, 558, 15126, 5883, 3370, 6958, 7582, 17957, 2790, 16785, 3389, 10208, 18248, 9686, 10418, 1950, 1459, 4518, 17571, 4162, 1799, 6291]
const times = 50000

var arr = initIntSet()

for x in indices:
  arr.incl(x)

for i in 1..times:
  for x in arr:
    discard x

# real    0m1.766s
# user    0m1.760s
# sys     0m0.000s