int main(int argc, char **argv) {
  int numsSize = 3000;
  int nums[] = {
      82597,  -9243,  62390,  83030,  -97960, -26521, -61011, 83390,  -38677,
      12333,  75987,  46091,  83794,  19355,  -71037, -6242,  -28801, 324,
      1202,   -90885, -2989,  -95597, -34333, 35528,  5680,   89093,  -90606,
      50360,  -29393, -27012, 53313,  65213,  99818,  -82405, -41661, -3333,
      -51952, 72135,  -1523,  26377,  74685,  96992,  92263,  15929,  5467,
      -99555, -43348, -41689, -60383, -3990,  32165,  65265,  -72973, -58372,
      12741,  -48568, -46596, 72419,  -1859,  34153,  62937,  81310,  -61823,
      -96770, -54944, 8845,   -91184, 24208,  -29078, 31495,  65258,  14198,
      85395,  70506,  -40908, 56740,  -12228, -40072, 32429,  93001,  68445,
      -73927, 25731,  -91859, -24150, 10093,  -60271, -81683, -18126, 51055,
      48189,  -6468,  25057,  81194,  -58628, 74042,  66158,  -14452, -49851,
      -43667, 11092,  39189,  -17025, -79173, 13606,  83172,  92647,  -59741,
      19343,  -26644, -57607, 82908,  -20655, 1637,   80060,  98994,  39331,
      -31274, -61523, 91225,  -72953, 13211,  -75116, -98421, -41571, -69074,
      99587,  39345,  42151,  -2460,  98236,  15690,  -52507, -95803, -48935,
      -46492, -45606, -79254, -99851, 52533,  73486,  39948,  -7240,  71815,
      -585,   -96252, 90990,  -93815, 93340,  -71848, 58733,  -14859, -83082,
      -75794, -82082, -24871, -15206, 91207,  -56469, -93618, 67131,  -8682,
      75719,  87429,  -98757, -7535,  -24890, -94160, 85003,  33928,  75538,
      97456,  -66424, -60074, -8527,  -28697, -22308, 2246,   -70134, -82319,
      -10184, 87081,  -34949, -28645, -47352, -83966, -60418, -15293, -53067,
      -25921, 55172,  75064,  95859,  48049,  34311,  -86931, -38586, 33686,
      -36714, 96922,  76713,  -22165, -80585, -34503, -44516, 39217,  -28457,
      47227,  -94036, 43457,  24626,  -87359, 26898,  -70819, 30528,  -32397,
      -69486, 84912,  -1187,  -98986, -32958, 4280,   -79129, -65604, 9344,
      58964,  50584,  71128,  -55480, 24986,  15086,  -62360, -42977, -49482,
      -77256, -36895, -74818, 20,     3063,   -49426, 28152,  -97329, 6086,
      86035,  -88743, 35241,  44249,  19927,  -10660, 89404,  24179,  -26621,
      -6511,  57745,  -28750, 96340,  -97160, -97822, -49979, 52307,  79462,
      94273,  -24808, 77104,  9255,   -83057, 77655,  21361,  55956,  -9096,
      48599,  -40490, -55107, 2689,   29608,  20497,  66834,  -34678, 23553,
      -81400, -66630, -96321, -34499, -12957, -20564, 25610,  -4322,  -58462,
      20801,  53700,  71527,  24669,  -54534, 57879,  -3221,  33636,  3900,
      97832,  -27688, -98715, 5992,   24520,  -55401, -57613, -69926, 57377,
      -77610, 20123,  52174,  860,    60429,  -91994, -62403, -6218,  -90610,
      -37263, -15052, 62069,  -96465, 44254,  89892,  -3406,  19121,  -41842,
      -87783, -64125, -56120, 73904,  -22797, -58118, -4866,  5356,   75318,
      46119,  21276,  -19246, -9241,  -97425, 57333,  -15802, 93149,  25689,
      -5532,  95716,  39209,  -87672, -29470, -16324, -15331, 27632,  -39454,
      56530,  -16000, 29853,  46475,  78242,  -46602, 83192,  -73440, -15816,
      50964,  -36601, 89758,  38375,  -40007, -36675, -94030, 67576,  46811,
      -64919, 45595,  76530,  40398,  35845,  41791,  67697,  -30439, -82944,
      63115,  33447,  -36046, -50122, -34789, 43003,  -78947, -38763, -89210,
      32756,  -20389, -31358, -90526, -81607, 88741,  86643,  98422,  47389,
      -75189, 13091,  95993,  -15501, 94260,  -25584, -1483,  -67261, -70753,
      25160,  89614,  -90620, -48542, 83889,  -12388, -9642,  -37043, -67663,
      28794,  -8801,  13621,  12241,  55379,  84290,  21692,  -95906, -85617,
      -17341, -63767, 80183,  -4942,  -51478, 30997,  -13658, 8838,   17452,
      -82869, -39897, 68449,  31964,  98158,  -49489, 62283,  -62209, -92792,
      -59342, 55146,  -38533, 20496,  62667,  62593,  36095,  -12470, 5453,
      -50451, 74716,  -17902, 3302,   -16760, -71642, -34819, 96459,  -72860,
      21638,  47342,  -69897, -40180, 44466,  76496,  84659,  13848,  -91600,
      -90887, -63742, -2156,  -84981, -99280, 94326,  -33854, 92029,  -50811,
      98711,  -36459, -75555, 79110,  -88164, -97397, -84217, 97457,  64387,
      30513,  -53190, -83215, 252,    2344,   -27177, -92945, -89010, 82662,
      -11670, 86069,  53417,  42702,  97082,  3695,   -14530, -46334, 17910,
      77999,  28009,  -12374, 15498,  -46941, 97088,  -35030, 95040,  92095,
      -59469, -24761, 46491,  67357,  -66658, 37446,  -65130, -50416, 99197,
      30925,  27308,  54122,  -44719, 12582,  -99525, -38446, -69050, -22352,
      94757,  -56062, 33684,  -40199, -46399, 96842,  -50881, -22380, -65021,
      40582,  53623,  -76034, 77018,  -97074, -84838, -22953, -74205, 79715,
      -33920, -35794, -91369, 73421,  -82492, 63680,  -14915, -33295, 37145,
      76852,  -69442, 60125,  -74166, 74308,  -1900,  -30195, -16267, -60781,
      -27760, 5852,   38917,  25742,  -3765,  49097,  -63541, 98612,  -92865,
      -30248, 9612,   -8798,  53262,  95781,  -42278, -36529, 7252,   -27394,
      -5021,  59178,  80934,  -48480, -75131, -54439, -19145, -48140, 98457,
      -6601,  -51616, -89730, 78028,  32083,  -48904, 16822,  -81153, -8832,
      48720,  -80728, -45133, -86647, -4259,  -40453, 2590,   28613,  50523,
      -4105,  -27790, -74579, -17223, 63721,  33489,  -47921, 97628,  -97691,
      -14782, -65644, 18008,  -93651, -71266, 80990,  -76732, -47104, 35368,
      28632,  59818,  -86269, -89753, 34557,  -92230, -5933,  -3487,  -73557,
      -13174, -43981, -43630, -55171, 30254,  -83710, -99583, -13500, 71787,
      5017,   -25117, -78586, 86941,  -3251,  -23867, -36315, 75973,  86272,
      -45575, 77462,  -98836, -10859, 70168,  -32971, -38739, -12761, 93410,
      14014,  -30706, -77356, -85965, -62316, 63918,  -59914, -64088, 1591,
      -10957, 38004,  15129,  -83602, -51791, 34381,  -89382, -26056, 8942,
      5465,   71458,  -73805, -87445, -19921, -80784, 69150,  -34168, 28301,
      -68955, 18041,  6059,   82342,  9947,   39795,  44047,  -57313, 48569,
      81936,  -2863,  -80932, 32976,  -86454, -84207, 33033,  32867,  9104,
      -16580, -25727, 80157,  -70169, 53741,  86522,  84651,  68480,  84018,
      61932,  7332,   -61322, -69663, 76370,  41206,  12326,  -34689, 17016,
      82975,  -23386, 39417,  72793,  44774,  -96259, 3213,   79952,  29265,
      -61492, -49337, 14162,  65886,  3342,   -41622, -62659, -90402, -24751,
      88511,  54739,  -21383, -40161, -96610, -24944, -602,   -76842, -21856,
      69964,  43994,  -15121, -85530, 12718,  13170,  -13547, 69222,  62417,
      -75305, -81446, -38786, -52075, -23110, 97681,  -82800, -53178, 11474,
      35857,  94197,  -58148, -23689, 32506,  92154,  -64536, -73930, -77138,
      97446,  -83459, 70963,  22452,  68472,  -3728,  -25059, -49405, 95129,
      -6167,  12808,  99918,  30113,  -12641, -26665, 86362,  -33505, 50661,
      26714,  33701,  89012,  -91540, 40517,  -12716, -57185, -87230, 29914,
      -59560, 13200,  -72723, 58272,  23913,  -45586, -96593, -26265, -2141,
      31087,  81399,  92511,  -34049, 20577,  2803,   26003,  8940,   42117,
      40887,  -82715, 38269,  40969,  -50022, 72088,  21291,  -67280, -16523,
      90535,  18669,  94342,  -39568, -88080, -99486, -20716, 23108,  -28037,
      63342,  36863,  -29420, -44016, 75135,  73415,  16059,  -4899,  86893,
      43136,  -7041,  33483,  -67612, 25327,  40830,  6184,   61805,  4247,
      81119,  -22854, -26104, -63466, 63093,  -63685, 60369,  51023,  51644,
      -16350, 74438,  -83514, 99083,  10079,  -58451, -79621, 48471,  67131,
      -86940, 99093,  11855,  -22272, -67683, -44371, 9541,   18123,  37766,
      -70922, 80385,  -57513, -76021, -47890, 36154,  72935,  84387,  -92681,
      -88303, -7810,  59902,  -90,    -64704, -28396, -66403, 8860,   13343,
      33882,  85680,  7228,   28160,  -14003, 54369,  -58893, 92606,  -63492,
      -10101, 64714,  58486,  29948,  -44679, -22763, 10151,  -56695, 4031,
      -18242, -36232, 86168,  -14263, 9883,   47124,  47271,  92761,  -24958,
      -73263, -79661, -69147, -18874, 29546,  -92588, -85771, 26451,  -86650,
      -43306, -59094, -47492, -34821, -91763, -47670, 33537,  22843,  67417,
      -759,   92159,  63075,  94065,  -26988, 55276,  65903,  30414,  -67129,
      -99508, -83092, -91493, -50426, 14349,  -83216, -76090, 32742,  -5306,
      -93310, -60750, -60620, -45484, -21108, -58341, -28048, -52803, 69735,
      78906,  81649,  32565,  -86804, -83202, -65688, -1760,  89707,  93322,
      -72750, 84134,  71900,  -37720, 19450,  -78018, 22001,  -23604, 26276,
      -21498, 65892,  -72117, -89834, -23867, 55817,  -77963, 42518,  93123,
      -83916, 63260,  -2243,  -97108, 85442,  -36775, 17984,  -58810, 99664,
      -19082, 93075,  -69329, 87061,  79713,  16296,  70996,  13483,  -74582,
      49900,  -27669, -40562, 1209,   -20572, 34660,  83193,  75579,  7344,
      64925,  88361,  60969,  3114,   44611,  -27445, 53049,  -16085, -92851,
      -53306, 13859,  -33532, 86622,  -75666, -18159, -98256, 51875,  -42251,
      -27977, -18080, 23772,  38160,  41779,  9147,   94175,  99905,  -85755,
      62535,  -88412, -52038, -68171, 93255,  -44684, -11242, -104,   31796,
      62346,  -54931, -55790, -70032, 46221,  56541,  -91947, 90592,  93503,
      4071,   20646,  4856,   -63598, 15396,  -50708, 32138,  -85164, 38528,
      -89959, 53852,  57915,  -42421, -88916, -75072, 67030,  -29066, 49542,
      -71591, 61708,  -53985, -43051, 28483,  46991,  -83216, 80991,  -46254,
      -48716, 39356,  -8270,  -47763, -34410, 874,    -1186,  -7049,  28846,
      11276,  21960,  -13304, -11433, -4913,  55754,  79616,  70423,  -27523,
      64803,  49277,  14906,  -97401, -92390, 91075,  70736,  21971,  -3303,
      55333,  -93996, 76538,  54603,  -75899, 98801,  46887,  35041,  48302,
      -52318, 55439,  24574,  14079,  -24889, 83440,  14961,  34312,  -89260,
      -22293, -81271, -2586,  -71059, -10640, -93095, -5453,  -70041, 66543,
      74012,  -11662, -52477, -37597, -70919, 92971,  -17452, -67306, -80418,
      7225,   -89296, 24296,  86547,  37154,  -10696, 74436,  -63959, 58860,
      33590,  -88925, -97814, -83664, 85484,  -8385,  -50879, 57729,  -74728,
      -87852, -15524, -91120, 22062,  28134,  80917,  32026,  49707,  -54252,
      -44319, -35139, 13777,  44660,  85274,  25043,  58781,  -89035, -76274,
      6364,   -63625, 72855,  43242,  -35033, 12820,  -27460, 77372,  -47578,
      -61162, -70758, -1343,  -4159,  64935,  56024,  -2151,  43770,  19758,
      -30186, -86040, 24666,  -62332, -67542, 73180,  -25821, -27826, -45504,
      -36858, -12041, 20017,  -24066, -56625, -52097, -47239, -90694, 8959,
      7712,   -14258, -5860,  55349,  61808,  -4423,  -93703, 64681,  -98641,
      -25222, 46999,  -83831, -54714, 19997,  -68477, 66073,  51801,  -66491,
      52061,  -52866, 79907,  -39736, -68331, 68937,  91464,  98892,  910,
      93501,  31295,  -85873, 27036,  -57340, 50412,  21,     -2445,  29471,
      71317,  82093,  -94823, -54458, -97410, 39560,  -7628,  66452,  39701,
      54029,  37906,  46773,  58296,  60370,  -61090, 85501,  -86874, 71443,
      -72702, -72047, 14848,  34102,  77975,  -66294, -36576, 31349,  52493,
      -70833, -80287, 94435,  39745,  -98291, 84524,  -18942, 10236,  93448,
      50846,  94023,  -6939,  47999,  14740,  30165,  81048,  84935,  -19177,
      -13594, 32289,  62628,  -90612, -542,   -66627, 64255,  71199,  -83841,
      -82943, -73885, 8623,   -67214, -9474,  -35249, 62254,  -14087, -90969,
      21515,  -83303, 94377,  -91619, 19956,  -98810, 96727,  -91939, 29119,
      -85473, -82153, -69008, 44850,  74299,  -76459, -86464, 8315,   -49912,
      -28665, 59052,  -69708, 76024,  -92738, 50098,  18683,  -91438, 18096,
      -19335, 35659,  91826,  15779,  -73070, 67873,  -12458, -71440, -46721,
      54856,  97212,  -81875, 35805,  36952,  68498,  81627,  -34231, 81712,
      27100,  -9741,  -82612, 18766,  -36392, 2759,   41728,  69743,  26825,
      48355,  -17790, 17165,  56558,  3295,   -24375, 55669,  -16109, 24079,
      73414,  48990,  -11931, -78214, 90745,  19878,  35673,  -15317, -89086,
      94675,  -92513, 88410,  -93248, -19475, -74041, -19165, 32329,  -26266,
      -46828, -18747, 45328,  8990,   -78219, -25874, -74801, -44956, -54577,
      -29756, -99822, -35731, -18348, -68915, -83518, -53451, 95471,  -2954,
      -13706, -8763,  -21642, -37210, 16814,  -60070, -42743, 27697,  -36333,
      -42362, 11576,  85742,  -82536, 68767,  -56103, -63012, 71396,  -78464,
      -68101, -15917, -11113, -3596,  77626,  -60191, -30585, -73584, 6214,
      -84303, 18403,  23618,  -15619, -89755, -59515, -59103, -74308, -63725,
      -29364, -52376, -96130, 70894,  -12609, 50845,  -2314,  42264,  -70825,
      64481,  55752,  4460,   -68603, -88701, 4713,   -50441, -51333, -77907,
      97412,  -66616, -49430, 60489,  -85262, -97621, -18980, 44727,  -69321,
      -57730, 66287,  -92566, -64427, -14270, 11515,  -92612, -87645, 61557,
      24197,  -81923, -39831, -10301, -23640, -76219, -68025, 92761,  -76493,
      68554,  -77734, -95620, -11753, -51700, 98234,  -68544, -61838, 29467,
      46603,  -18221, -35441, 74537,  40327,  -58293, 75755,  -57301, -7532,
      -94163, 18179,  -14388, -22258, -46417, -48285, 18242,  -77551, 82620,
      250,    -20060, -79568, -77259, 82052,  -98897, -75464, 48773,  -79040,
      -11293, 45941,  -67876, -69204, -46477, -46107, 792,    60546,  -34573,
      -12879, -94562, 20356,  -48004, -62429, 96242,  40594,  2099,   99494,
      25724,  -39394, -2388,  -18563, -56510, -83570, -29214, 3015,   74454,
      74197,  76678,  -46597, 60630,  -76093, 37578,  -82045, -24077, 62082,
      -87787, -74936, 58687,  12200,  -98952, 70155,  -77370, 21710,  -84625,
      -60556, -84128, 925,    65474,  -15741, -94619, 88377,  89334,  44749,
      22002,  -45750, -93081, -14600, -83447, 46691,  85040,  -66447, -80085,
      56308,  44310,  24979,  -29694, 57991,  4675,   -71273, -44508, 13615,
      -54710, 23552,  -78253, -34637, 50497,  68706,  81543,  -88408, -21405,
      6001,   -33834, -21570, -46692, -25344, 20310,  71258,  -97680, 11721,
      59977,  59247,  -48949, 98955,  -50276, -80844, -27935, -76102, 55858,
      -33492, 40680,  66691,  -33188, 8284,   64893,  -7528,  6019,   -85523,
      8434,   -64366, -56663, 26862,  30008,  -7611,  -12179, -70076, 21426,
      -11261, -36864, -61937, -59677, 929,    -21052, 3848,   -20888, -16065,
      98995,  -32293, -86121, -54564, 77831,  68602,  74977,  31658,  40699,
      29755,  98424,  80358,  -69337, 26339,  13213,  -46016, -18331, 64713,
      -46883, -58451, -70024, -92393, -4088,  70628,  -51185, 71164,  -75791,
      -1636,  -29102, -16929, -87650, -84589, -24229, -42137, -15653, 94825,
      13042,  88499,  -47100, -90358, -7180,  29754,  -65727, -42659, -85560,
      -9037,  -52459, 20997,  -47425, 17318,  21122,  20472,  -23037, 65216,
      -63625, -7877,  -91907, 24100,  -72516, 22903,  -85247, -8938,  73878,
      54953,  87480,  -31466, -99524, 35369,  -78376, 89984,  -15982, 94045,
      -7269,  23319,  -80456, -37653, -76756, 2909,   81936,  54958,  -12393,
      60560,  -84664, -82413, 66941,  -26573, -97532, 64460,  18593,  -85789,
      -38820, -92575, -43663, -89435, 83272,  -50585, 13616,  -71541, -53156,
      727,    -27644, 16538,  34049,  57745,  34348,  35009,  16634,  -18791,
      23271,  -63844, 95817,  21781,  16590,  59669,  15966,  -6864,  48050,
      -36143, 97427,  -59390, 96931,  78939,  -1958,  50777,  43338,  -51149,
      39235,  -27054, -43492, 67457,  -83616, 37179,  10390,  85818,  2391,
      73635,  87579,  -49127, -81264, -79023, -81590, 53554,  -74972, -83940,
      -13726, -39095, 29174,  78072,  76104,  47778,  25797,  -29515, -6493,
      -92793, 22481,  -36197, -65560, 42342,  15750,  97556,  99634,  -56048,
      -35688, 13501,  63969,  -74291, 50911,  39225,  93702,  -3490,  -59461,
      -30105, -46761, -80113, 92906,  -68487, 50742,  36152,  -90240, -83631,
      24597,  -50566, -15477, 18470,  77038,  40223,  -80364, -98676, 70957,
      -63647, 99537,  13041,  31679,  86631,  37633,  -16866, 13686,  -71565,
      21652,  -46053, -80578, -61382, 68487,  -6417,  4656,   20811,  67013,
      -30868, -11219, 46,     74944,  14627,  56965,  42275,  -52480, 52162,
      -84883, -52579, -90331, 92792,  42184,  -73422, -58440, 65308,  -25069,
      5475,   -57996, 59557,  -17561, 2826,   -56939, 14996,  -94855, -53707,
      99159,  43645,  -67719, -1331,  21412,  41704,  31612,  32622,  1919,
      -69333, -69828, 22422,  -78842, 57896,  -17363, 27979,  -76897, 35008,
      46482,  -75289, 65799,  20057,  7170,   41326,  -76069, 90840,  -81253,
      -50749, 3649,   -42315, 45238,  -33924, 62101,  96906,  58884,  -7617,
      -28689, -66578, 62458,  50876,  -57553, 6739,   41014,  -64040, -34916,
      37940,  13048,  -97478, -11318, -89440, -31933, -40357, -59737, -76718,
      -14104, -31774, 28001,  4103,   41702,  -25120, -31654, 63085,  -3642,
      84870,  -83896, -76422, -61520, 12900,  88678,  85547,  33132,  -88627,
      52820,  63915,  -27472, 78867,  -51439, 33005,  -23447, -3271,  -39308,
      39726,  -74260, -31874, -36893, 93656,  910,    -98362, 60450,  -88048,
      99308,  13947,  83996,  -90415, -35117, 70858,  -55332, -31721, 97528,
      82982,  -86218, 6822,   25227,  36946,  97077,  -4257,  -41526, 56795,
      89870,  75860,  -70802, 21779,  14184,  -16511, -89156, -31422, 71470,
      69600,  -78498, 74079,  -19410, 40311,  28501,  26397,  -67574, -32518,
      68510,  38615,  19355,  -6088,  -97159, -29255, -92523, 3023,   -42536,
      -88681, 64255,  41206,  44119,  52208,  39522,  -52108, 91276,  -70514,
      83436,  63289,  -79741, 9623,   99559,  12642,  85950,  83735,  -21156,
      -67208, 98088,  -7341,  -27763, -30048, -44099, -14866, -45504, -91704,
      19369,  13700,  10481,  -49344, -85686, 33994,  19672,  36028,  60842,
      66564,  -24919, 33950,  -93616, -47430, -35391, -28279, 56806,  74690,
      39284,  -96683, -7642,  -75232, 37657,  -14531, -86870, -9274,  -26173,
      98640,  88652,  64257,  46457,  37814,  -19370, 9337,   -22556, -41525,
      39105,  -28719, 51611,  -93252, 98044,  -90996, 21710,  -47605, -64259,
      -32727, 53611,  -31918, -3555,  33316,  -66472, 21274,  -37731, -2919,
      15016,  48779,  -88868, 1897,   41728,  46344,  -89667, 37848,  68092,
      -44011, 85354,  -43776, 38739,  -31423, -66330, 65167,  -22016, 59405,
      34328,  -60042, 87660,  -67698, -59174, -1408,  -46809, -43485, -88807,
      -60489, 13974,  22319,  55836,  -62995, -37375, -4185,  32687,  -36551,
      -75237, 58280,  26942,  -73756, 71756,  78775,  -40573, 14367,  -71622,
      -77338, 24112,  23414,  -7679,  -51721, 87492,  85066,  -21612, 57045,
      10673,  -96836, 52461,  -62218, -9310,  65862,  -22748, 89906,  -96987,
      -98698, 26956,  -43428, 46141,  47456,  28095,  55952,  67323,  -36455,
      -60202, -43302, -82932, 42020,  77036,  10142,  60406,  70331,  63836,
      58850,  -66752, 52109,  21395,  -10238, -98647, -41962, 27778,  69060,
      98535,  -28680, -52263, -56679, 66103,  -42426, 27203,  80021,  10153,
      58678,  36398,  63112,  34911,  20515,  62082,  -15659, -40785, 27054,
      43767,  -20289, 65838,  -6954,  -60228, -72226, 52236,  -35464, 25209,
      -15462, -79617, -41668, -84083, 62404,  -69062, 18913,  46545,  20757,
      13805,  24717,  -18461, -47009, -25779, 68834,  64824,  34473,  39576,
      31570,  14861,  -15114, -41233, 95509,  68232,  67846,  84902,  -83060,
      17642,  -18422, 73688,  77671,  -26930, 64484,  -99637, 73875,  6428,
      21034,  -73471, 19664,  -68031, 15922,  -27028, 48137,  54955,  -82793,
      -41144, -10218, -24921, -28299, -2288,  68518,  -54452, 15686,  -41814,
      66165,  -72207, -61986, 80020,  50544,  -99500, 16244,  78998,  40989,
      14525,  -56061, -24692, -94790, 21111,  37296,  -90794, 72100,  70550,
      -31757, 17708,  -74290, 61910,  78039,  -78629, -25033, 73172,  -91953,
      10052,  64502,  99585,  -1741,  90324,  -73723, 68942,  28149,  30218,
      24422,  16659,  10710,  -62594, 94249,  96588,  46192,  34251,  73500,
      -65995, -81168, 41412,  -98724, -63710, -54696, -52407, 19746,  45869,
      27821,  -94866, -76705, -13417, -61995, -71560, 43450,  67384,  -8838,
      -80293, -28937, 23330,  -89694, -40586, 46918,  80429,  -5475,  78013,
      25309,  -34162, 37236,  -77577, 86744,  26281,  -29033, -91813, 35347,
      13033,  -13631, -24459, 3325,   -71078, -75359, 81311,  19700,  47678,
      -74680, -84113, 45192,  35502,  37675,  19553,  76522,  -51098, -18211,
      89717,  4508,   -82946, 27749,  85995,  89912,  -53678, -64727, -14778,
      32075,  -63412, -40524, 86440,  -2707,  -36821, 63850,  -30883, 67294,
      -99468, -23708, 34932,  34386,  98899,  29239,  -23385, 5897,   54882,
      98660,  49098,  70275,  17718,  88533,  52161,  63340,  50061,  -89457,
      19491,  -99156, 24873,  -17008, 64610,  -55543, 50495,  17056,  -10400,
      -56678, -29073, -42960, -76418, 98562,  -88104, -96255, 10159,  -90724,
      54011,  12052,  45871,  -90933, -69420, 67039,  37202,  78051,  -52197,
      -40278, -58425, 65414,  -23394, -1415,  6912,   -53447, 7352,   17307,
      -78147, 63727,  98905,  55412,  -57658, -32884, -44878, 22755,  39730,
      3638,   35111,  39777,  74193,  38736,  -11829, -61188, -92757, 55946,
      -71232, -63032, -83947, 39147,  -96684, -99233, 25131,  -32197, 24406,
      -55428, -61941, 25874,  -69453, 64483,  -19644, -68441, 12783,  87338,
      -48676, 66451,  -447,   -61590, 50932,  -11270, 29035,  65698,  -63544,
      10029,  80499,  -9461,  86368,  91365,  -81810, -71914, -52056, -13782,
      44240,  -30093, -2437,  24007,  67581,  -17365, -69164, -8420,  -69289,
      -29370, 48010,  90439,  13141,  69243,  50668,  39328,  61731,  78266,
      -81313, 17921,  -38196, 55261,  9948,   -24970, 75712,  -72106, 28696,
      7461,   31621,  61047,  51476,  56512,  11839,  -96916, -82739, 28924,
      -99927, 58449,  37280,  69357,  11219,  -32119, -62050, -48745, -83486,
      -52376, 42668,  82659,  68882,  38773,  46269,  -96005, 97630,  25009,
      -2951,  -67811, 99801,  81587,  -79793, -18547, -83086, 69512,  33127,
      -92145, -88497, 47703,  59527,  1909,   88785,  -88882, 69188,  -46131,
      -5589,  -15086, 36255,  -53238, -33009, 82664,  53901,  35939,  -42946,
      -25571, 33298,  69291,  53199,  74746,  -40127, -39050, 91033,  51717,
      -98048, 87240,  36172,  65453,  -94425, -63694, -30027, 59004,  88660,
      3649,   -20267, -52565, -67321, 34037,  4320,   91515,  -56753, 60115,
      27134,  68617,  -61395, -26503, -98929, -8849,  -63318, 10709,  -16151,
      61905,  -95785, 5262,   23670,  -25277, 90206,  -19391, 45735,  37208,
      -31992, -92450, 18516,  -90452, -58870, -58602, 93383,  14333,  17994,
      82411,  -54126, -32576, 35440,  -60526, -78764, -25069, -9022,  -394,
      92186,  -38057, 55328,  -61569, 67780,  77169,  19546,  -92664, -94948,
      44484,  -13439, 83529,  27518,  -48333, 72998,  38342,  -90553, -98578,
      -76906, 81515,  -16464, 78439,  92529,  35225,  -39968, -10130, -7845,
      -32245, -74955, -74996, 67731,  -13897, -82493, 33407,  93619,  59560,
      -24404, -57553, 19486,  -45341, 34098,  -24978, -33612, 79058,  71847,
      76713,  -95422, 6421,   -96075, -59130, -28976, -16922, -62203, 69970,
      68331,  21874,  40551,  89650,  51908,  58181,  66480,  -68177, 34323,
      -3046,  -49656, -59758, 43564,  -10960, -30796, 15473,  -20216, 46085,
      -85355, 41515,  -30669, -87498, 57711,  56067,  63199,  -83805, 62042,
      91213,  -14606, 4394,   -562,   74913,  10406,  96810,  -61595, 32564,
      31640,  -9732,  42058,  98052,  -7908,  -72330, 1558,   -80301, 34878,
      32900,  3939,   -8824,  88316,  20937,  21566,  -3218,  -66080, -31620,
      86859,  54289,  90476,  -42889, -15016, -18838, 75456,  30159,  -67101,
      42328,  -92703, 85850,  -5475,  23470,  -80806, 68206,  17764,  88235,
      46421,  -41578, 74005,  -81142, 80545,  20868,  -1560,  64017,  83784,
      68863,  -97516, -13016, -72223, 79630,  -55692, 82255,  88467,  28007,
      -34686, -69049, -41677, 88535,  -8217,  68060,  -51280, 28971,  49088,
      49235,  26905,  -81117, -44888, 40623,  74337,  -24662, 97476,  79542,
      -72082, -35093, 98175,  -61761, -68169, 59697,  -62542, -72965, 59883,
      -64026, -37656, -92392, -12113, -73495, 98258,  68379,  -21545, 64607,
      -70957, -92254, -97460, -63436, -8853,  -19357, -51965, -76582, 12687,
      -49712, 45413,  -60043, 33496,  31539,  -57347, 41837,  67280,  -68813,
      52088,  -13155, -86430, -15239, -45030, 96041,  18749,  -23992, 46048,
      35243,  -79450, 85425,  -58524, 88781,  -39454, 53073,  -48864, -82289,
      39086,  82540,  -11555, 25014,  -5431,  -39585, -89526, 2705,   31953,
      -81611, 36985,  -56022, 68684,  -27101, 11422,  64655,  -26965, -63081,
      -13840, -91003, -78147, -8966,  41488,  1988,   99021,  -61575, -47060,
      65260,  -23844, -21781, -91865, -19607, 44808,  2890,   63692,  -88663,
      -58272, 15970,  -65195, -45416, -48444, -78226, -65332, -24568, 42833,
      -1806,  -71595, 80002,  -52250, 30952,  48452,  -90106, 31015,  -22073,
      62339,  63318,  78391,  28699,  77900,  -4026,  -76870, -45943, 33665,
      9174,   -84360, -22684, -16832, -67949, -38077, -38987, -32847, 51443,
      -53580, -13505, 9344,   -92337, 26585,  70458,  -52764, -67471, -68411,
      -1119,  -2072,  -93476, 67981,  40887,  -89304, -12235, 41488,  1454,
      5355,   -34855, -72080, 24514,  -58305, 3340,   34331,  8731,   77451,
      -64983, -57876, 82874,  62481,  -32754, -39902, 22451,  -79095, -23904,
      78409,  -7418,  77916};
  int returnSize = 0;
  int **retval = threeSum(nums, numsSize, &returnSize);
  printf("return size is %d\n", returnSize);
  assert(returnSize == 16258);
  free(retval);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2f10,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xbb8,-0x14(%rbp)
lea    -0x2f00(%rbp),%rdi
lea    0xe82(%rip),%rsi
mov    $0x2ee0,%edx
call   1060 <memcpy@plt>
movl   $0x0,-0x2f04(%rbp)
lea    -0x2f00(%rbp),%rdi
mov    -0x14(%rbp),%esi
lea    -0x2f04(%rbp),%rdx
mov    $0x0,%al
call   1070 <threeSum@plt>
cltq
mov    %rax,-0x2f10(%rbp)
mov    -0x2f04(%rbp),%esi
lea    0x3d20(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpl   $0x3f82,-0x2f04(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1050 <assert@plt>
mov    -0x2f10(%rbp),%rdi
call   1030 <free@plt>
xor    %eax,%eax
add    $0x2f10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x2ef0,%rsp
lea    0xea1(%rip),%rsi
lea    0x10(%rsp),%rbx
mov    $0x2ee0,%edx
mov    %rbx,%rdi
call   1060 <memcpy@plt>
movl   $0x0,0xc(%rsp)
lea    0xc(%rsp),%rdx
mov    %rbx,%rdi
mov    $0xbb8,%esi
xor    %eax,%eax
call   1070 <threeSum@plt>
movslq %eax,%rbx
mov    0xc(%rsp),%esi
lea    0x3d45(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %edi,%edi
cmpl   $0x3f82,0xc(%rsp)
sete   %dil
xor    %eax,%eax
call   1050 <assert@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
xor    %eax,%eax
add    $0x2ef0,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@__const.main.nums = [3000 x i32] [i32 82597, i32 -9243, i32 62390, i32 83030, i32 -97960, i32 -26521, i32 -61011, i32 83390, i32 -38677, i32 12333, i32 75987, i32 46091, i32 83794, i32 19355, i32 -71037, i32 -6242, i32 -28801, i32 324, i32 1202, i32 -90885, i32 -2989, i32 -95597, i32 -34333, i32 35528, i32 5680, i32 89093, i32 -90606, i32 50360, i32 -29393, i32 -27012, i32 53313, i32 65213, i32 99818, i32 -82405, i32 -41661, i32 -3333, i32 -51952, i32 72135, i32 -1523, i32 26377, i32 74685, i32 96992, i32 92263, i32 15929, i32 5467, i32 -99555, i32 -43348, i32 -41689, i32 -60383, i32 -3990, i32 32165, i32 65265, i32 -72973, i32 -58372, i32 12741, i32 -48568, i32 -46596, i32 72419, i32 -1859, i32 34153, i32 62937, i32 81310, i32 -61823, i32 -96770, i32 -54944, i32 8845, i32 -91184, i32 24208, i32 -29078, i32 31495, i32 65258, i32 14198, i32 85395, i32 70506, i32 -40908, i32 56740, i32 -12228, i32 -40072, i32 32429, i32 93001, i32 68445, i32 -73927, i32 25731, i32 -91859, i32 -24150, i32 10093, i32 -60271, i32 -81683, i32 -18126, i32 51055, i32 48189, i32 -6468, i32 25057, i32 81194, i32 -58628, i32 74042, i32 66158, i32 -14452, i32 -49851, i32 -43667, i32 11092, i32 39189, i32 -17025, i32 -79173, i32 13606, i32 83172, i32 92647, i32 -59741, i32 19343, i32 -26644, i32 -57607, i32 82908, i32 -20655, i32 1637, i32 80060, i32 98994, i32 39331, i32 -31274, i32 -61523, i32 91225, i32 -72953, i32 13211, i32 -75116, i32 -98421, i32 -41571, i32 -69074, i32 99587, i32 39345, i32 42151, i32 -2460, i32 98236, i32 15690, i32 -52507, i32 -95803, i32 -48935, i32 -46492, i32 -45606, i32 -79254, i32 -99851, i32 52533, i32 73486, i32 39948, i32 -7240, i32 71815, i32 -585, i32 -96252, i32 90990, i32 -93815, i32 93340, i32 -71848, i32 58733, i32 -14859, i32 -83082, i32 -75794, i32 -82082, i32 -24871, i32 -15206, i32 91207, i32 -56469, i32 -93618, i32 67131, i32 -8682, i32 75719, i32 87429, i32 -98757, i32 -7535, i32 -24890, i32 -94160, i32 85003, i32 33928, i32 75538, i32 97456, i32 -66424, i32 -60074, i32 -8527, i32 -28697, i32 -22308, i32 2246, i32 -70134, i32 -82319, i32 -10184, i32 87081, i32 -34949, i32 -28645, i32 -47352, i32 -83966, i32 -60418, i32 -15293, i32 -53067, i32 -25921, i32 55172, i32 75064, i32 95859, i32 48049, i32 34311, i32 -86931, i32 -38586, i32 33686, i32 -36714, i32 96922, i32 76713, i32 -22165, i32 -80585, i32 -34503, i32 -44516, i32 39217, i32 -28457, i32 47227, i32 -94036, i32 43457, i32 24626, i32 -87359, i32 26898, i32 -70819, i32 30528, i32 -32397, i32 -69486, i32 84912, i32 -1187, i32 -98986, i32 -32958, i32 4280, i32 -79129, i32 -65604, i32 9344, i32 58964, i32 50584, i32 71128, i32 -55480, i32 24986, i32 15086, i32 -62360, i32 -42977, i32 -49482, i32 -77256, i32 -36895, i32 -74818, i32 20, i32 3063, i32 -49426, i32 28152, i32 -97329, i32 6086, i32 86035, i32 -88743, i32 35241, i32 44249, i32 19927, i32 -10660, i32 89404, i32 24179, i32 -26621, i32 -6511, i32 57745, i32 -28750, i32 96340, i32 -97160, i32 -97822, i32 -49979, i32 52307, i32 79462, i32 94273, i32 -24808, i32 77104, i32 9255, i32 -83057, i32 77655, i32 21361, i32 55956, i32 -9096, i32 48599, i32 -40490, i32 -55107, i32 2689, i32 29608, i32 20497, i32 66834, i32 -34678, i32 23553, i32 -81400, i32 -66630, i32 -96321, i32 -34499, i32 -12957, i32 -20564, i32 25610, i32 -4322, i32 -58462, i32 20801, i32 53700, i32 71527, i32 24669, i32 -54534, i32 57879, i32 -3221, i32 33636, i32 3900, i32 97832, i32 -27688, i32 -98715, i32 5992, i32 24520, i32 -55401, i32 -57613, i32 -69926, i32 57377, i32 -77610, i32 20123, i32 52174, i32 860, i32 60429, i32 -91994, i32 -62403, i32 -6218, i32 -90610, i32 -37263, i32 -15052, i32 62069, i32 -96465, i32 44254, i32 89892, i32 -3406, i32 19121, i32 -41842, i32 -87783, i32 -64125, i32 -56120, i32 73904, i32 -22797, i32 -58118, i32 -4866, i32 5356, i32 75318, i32 46119, i32 21276, i32 -19246, i32 -9241, i32 -97425, i32 57333, i32 -15802, i32 93149, i32 25689, i32 -5532, i32 95716, i32 39209, i32 -87672, i32 -29470, i32 -16324, i32 -15331, i32 27632, i32 -39454, i32 56530, i32 -16000, i32 29853, i32 46475, i32 78242, i32 -46602, i32 83192, i32 -73440, i32 -15816, i32 50964, i32 -36601, i32 89758, i32 38375, i32 -40007, i32 -36675, i32 -94030, i32 67576, i32 46811, i32 -64919, i32 45595, i32 76530, i32 40398, i32 35845, i32 41791, i32 67697, i32 -30439, i32 -82944, i32 63115, i32 33447, i32 -36046, i32 -50122, i32 -34789, i32 43003, i32 -78947, i32 -38763, i32 -89210, i32 32756, i32 -20389, i32 -31358, i32 -90526, i32 -81607, i32 88741, i32 86643, i32 98422, i32 47389, i32 -75189, i32 13091, i32 95993, i32 -15501, i32 94260, i32 -25584, i32 -1483, i32 -67261, i32 -70753, i32 25160, i32 89614, i32 -90620, i32 -48542, i32 83889, i32 -12388, i32 -9642, i32 -37043, i32 -67663, i32 28794, i32 -8801, i32 13621, i32 12241, i32 55379, i32 84290, i32 21692, i32 -95906, i32 -85617, i32 -17341, i32 -63767, i32 80183, i32 -4942, i32 -51478, i32 30997, i32 -13658, i32 8838, i32 17452, i32 -82869, i32 -39897, i32 68449, i32 31964, i32 98158, i32 -49489, i32 62283, i32 -62209, i32 -92792, i32 -59342, i32 55146, i32 -38533, i32 20496, i32 62667, i32 62593, i32 36095, i32 -12470, i32 5453, i32 -50451, i32 74716, i32 -17902, i32 3302, i32 -16760, i32 -71642, i32 -34819, i32 96459, i32 -72860, i32 21638, i32 47342, i32 -69897, i32 -40180, i32 44466, i32 76496, i32 84659, i32 13848, i32 -91600, i32 -90887, i32 -63742, i32 -2156, i32 -84981, i32 -99280, i32 94326, i32 -33854, i32 92029, i32 -50811, i32 98711, i32 -36459, i32 -75555, i32 79110, i32 -88164, i32 -97397, i32 -84217, i32 97457, i32 64387, i32 30513, i32 -53190, i32 -83215, i32 252, i32 2344, i32 -27177, i32 -92945, i32 -89010, i32 82662, i32 -11670, i32 86069, i32 53417, i32 42702, i32 97082, i32 3695, i32 -14530, i32 -46334, i32 17910, i32 77999, i32 28009, i32 -12374, i32 15498, i32 -46941, i32 97088, i32 -35030, i32 95040, i32 92095, i32 -59469, i32 -24761, i32 46491, i32 67357, i32 -66658, i32 37446, i32 -65130, i32 -50416, i32 99197, i32 30925, i32 27308, i32 54122, i32 -44719, i32 12582, i32 -99525, i32 -38446, i32 -69050, i32 -22352, i32 94757, i32 -56062, i32 33684, i32 -40199, i32 -46399, i32 96842, i32 -50881, i32 -22380, i32 -65021, i32 40582, i32 53623, i32 -76034, i32 77018, i32 -97074, i32 -84838, i32 -22953, i32 -74205, i32 79715, i32 -33920, i32 -35794, i32 -91369, i32 73421, i32 -82492, i32 63680, i32 -14915, i32 -33295, i32 37145, i32 76852, i32 -69442, i32 60125, i32 -74166, i32 74308, i32 -1900, i32 -30195, i32 -16267, i32 -60781, i32 -27760, i32 5852, i32 38917, i32 25742, i32 -3765, i32 49097, i32 -63541, i32 98612, i32 -92865, i32 -30248, i32 9612, i32 -8798, i32 53262, i32 95781, i32 -42278, i32 -36529, i32 7252, i32 -27394, i32 -5021, i32 59178, i32 80934, i32 -48480, i32 -75131, i32 -54439, i32 -19145, i32 -48140, i32 98457, i32 -6601, i32 -51616, i32 -89730, i32 78028, i32 32083, i32 -48904, i32 16822, i32 -81153, i32 -8832, i32 48720, i32 -80728, i32 -45133, i32 -86647, i32 -4259, i32 -40453, i32 2590, i32 28613, i32 50523, i32 -4105, i32 -27790, i32 -74579, i32 -17223, i32 63721, i32 33489, i32 -47921, i32 97628, i32 -97691, i32 -14782, i32 -65644, i32 18008, i32 -93651, i32 -71266, i32 80990, i32 -76732, i32 -47104, i32 35368, i32 28632, i32 59818, i32 -86269, i32 -89753, i32 34557, i32 -92230, i32 -5933, i32 -3487, i32 -73557, i32 -13174, i32 -43981, i32 -43630, i32 -55171, i32 30254, i32 -83710, i32 -99583, i32 -13500, i32 71787, i32 5017, i32 -25117, i32 -78586, i32 86941, i32 -3251, i32 -23867, i32 -36315, i32 75973, i32 86272, i32 -45575, i32 77462, i32 -98836, i32 -10859, i32 70168, i32 -32971, i32 -38739, i32 -12761, i32 93410, i32 14014, i32 -30706, i32 -77356, i32 -85965, i32 -62316, i32 63918, i32 -59914, i32 -64088, i32 1591, i32 -10957, i32 38004, i32 15129, i32 -83602, i32 -51791, i32 34381, i32 -89382, i32 -26056, i32 8942, i32 5465, i32 71458, i32 -73805, i32 -87445, i32 -19921, i32 -80784, i32 69150, i32 -34168, i32 28301, i32 -68955, i32 18041, i32 6059, i32 82342, i32 9947, i32 39795, i32 44047, i32 -57313, i32 48569, i32 81936, i32 -2863, i32 -80932, i32 32976, i32 -86454, i32 -84207, i32 33033, i32 32867, i32 9104, i32 -16580, i32 -25727, i32 80157, i32 -70169, i32 53741, i32 86522, i32 84651, i32 68480, i32 84018, i32 61932, i32 7332, i32 -61322, i32 -69663, i32 76370, i32 41206, i32 12326, i32 -34689, i32 17016, i32 82975, i32 -23386, i32 39417, i32 72793, i32 44774, i32 -96259, i32 3213, i32 79952, i32 29265, i32 -61492, i32 -49337, i32 14162, i32 65886, i32 3342, i32 -41622, i32 -62659, i32 -90402, i32 -24751, i32 88511, i32 54739, i32 -21383, i32 -40161, i32 -96610, i32 -24944, i32 -602, i32 -76842, i32 -21856, i32 69964, i32 43994, i32 -15121, i32 -85530, i32 12718, i32 13170, i32 -13547, i32 69222, i32 62417, i32 -75305, i32 -81446, i32 -38786, i32 -52075, i32 -23110, i32 97681, i32 -82800, i32 -53178, i32 11474, i32 35857, i32 94197, i32 -58148, i32 -23689, i32 32506, i32 92154, i32 -64536, i32 -73930, i32 -77138, i32 97446, i32 -83459, i32 70963, i32 22452, i32 68472, i32 -3728, i32 -25059, i32 -49405, i32 95129, i32 -6167, i32 12808, i32 99918, i32 30113, i32 -12641, i32 -26665, i32 86362, i32 -33505, i32 50661, i32 26714, i32 33701, i32 89012, i32 -91540, i32 40517, i32 -12716, i32 -57185, i32 -87230, i32 29914, i32 -59560, i32 13200, i32 -72723, i32 58272, i32 23913, i32 -45586, i32 -96593, i32 -26265, i32 -2141, i32 31087, i32 81399, i32 92511, i32 -34049, i32 20577, i32 2803, i32 26003, i32 8940, i32 42117, i32 40887, i32 -82715, i32 38269, i32 40969, i32 -50022, i32 72088, i32 21291, i32 -67280, i32 -16523, i32 90535, i32 18669, i32 94342, i32 -39568, i32 -88080, i32 -99486, i32 -20716, i32 23108, i32 -28037, i32 63342, i32 36863, i32 -29420, i32 -44016, i32 75135, i32 73415, i32 16059, i32 -4899, i32 86893, i32 43136, i32 -7041, i32 33483, i32 -67612, i32 25327, i32 40830, i32 6184, i32 61805, i32 4247, i32 81119, i32 -22854, i32 -26104, i32 -63466, i32 63093, i32 -63685, i32 60369, i32 51023, i32 51644, i32 -16350, i32 74438, i32 -83514, i32 99083, i32 10079, i32 -58451, i32 -79621, i32 48471, i32 67131, i32 -86940, i32 99093, i32 11855, i32 -22272, i32 -67683, i32 -44371, i32 9541, i32 18123, i32 37766, i32 -70922, i32 80385, i32 -57513, i32 -76021, i32 -47890, i32 36154, i32 72935, i32 84387, i32 -92681, i32 -88303, i32 -7810, i32 59902, i32 -90, i32 -64704, i32 -28396, i32 -66403, i32 8860, i32 13343, i32 33882, i32 85680, i32 7228, i32 28160, i32 -14003, i32 54369, i32 -58893, i32 92606, i32 -63492, i32 -10101, i32 64714, i32 58486, i32 29948, i32 -44679, i32 -22763, i32 10151, i32 -56695, i32 4031, i32 -18242, i32 -36232, i32 86168, i32 -14263, i32 9883, i32 47124, i32 47271, i32 92761, i32 -24958, i32 -73263, i32 -79661, i32 -69147, i32 -18874, i32 29546, i32 -92588, i32 -85771, i32 26451, i32 -86650, i32 -43306, i32 -59094, i32 -47492, i32 -34821, i32 -91763, i32 -47670, i32 33537, i32 22843, i32 67417, i32 -759, i32 92159, i32 63075, i32 94065, i32 -26988, i32 55276, i32 65903, i32 30414, i32 -67129, i32 -99508, i32 -83092, i32 -91493, i32 -50426, i32 14349, i32 -83216, i32 -76090, i32 32742, i32 -5306, i32 -93310, i32 -60750, i32 -60620, i32 -45484, i32 -21108, i32 -58341, i32 -28048, i32 -52803, i32 69735, i32 78906, i32 81649, i32 32565, i32 -86804, i32 -83202, i32 -65688, i32 -1760, i32 89707, i32 93322, i32 -72750, i32 84134, i32 71900, i32 -37720, i32 19450, i32 -78018, i32 22001, i32 -23604, i32 26276, i32 -21498, i32 65892, i32 -72117, i32 -89834, i32 -23867, i32 55817, i32 -77963, i32 42518, i32 93123, i32 -83916, i32 63260, i32 -2243, i32 -97108, i32 85442, i32 -36775, i32 17984, i32 -58810, i32 99664, i32 -19082, i32 93075, i32 -69329, i32 87061, i32 79713, i32 16296, i32 70996, i32 13483, i32 -74582, i32 49900, i32 -27669, i32 -40562, i32 1209, i32 -20572, i32 34660, i32 83193, i32 75579, i32 7344, i32 64925, i32 88361, i32 60969, i32 3114, i32 44611, i32 -27445, i32 53049, i32 -16085, i32 -92851, i32 -53306, i32 13859, i32 -33532, i32 86622, i32 -75666, i32 -18159, i32 -98256, i32 51875, i32 -42251, i32 -27977, i32 -18080, i32 23772, i32 38160, i32 41779, i32 9147, i32 94175, i32 99905, i32 -85755, i32 62535, i32 -88412, i32 -52038, i32 -68171, i32 93255, i32 -44684, i32 -11242, i32 -104, i32 31796, i32 62346, i32 -54931, i32 -55790, i32 -70032, i32 46221, i32 56541, i32 -91947, i32 90592, i32 93503, i32 4071, i32 20646, i32 4856, i32 -63598, i32 15396, i32 -50708, i32 32138, i32 -85164, i32 38528, i32 -89959, i32 53852, i32 57915, i32 -42421, i32 -88916, i32 -75072, i32 67030, i32 -29066, i32 49542, i32 -71591, i32 61708, i32 -53985, i32 -43051, i32 28483, i32 46991, i32 -83216, i32 80991, i32 -46254, i32 -48716, i32 39356, i32 -8270, i32 -47763, i32 -34410, i32 874, i32 -1186, i32 -7049, i32 28846, i32 11276, i32 21960, i32 -13304, i32 -11433, i32 -4913, i32 55754, i32 79616, i32 70423, i32 -27523, i32 64803, i32 49277, i32 14906, i32 -97401, i32 -92390, i32 91075, i32 70736, i32 21971, i32 -3303, i32 55333, i32 -93996, i32 76538, i32 54603, i32 -75899, i32 98801, i32 46887, i32 35041, i32 48302, i32 -52318, i32 55439, i32 24574, i32 14079, i32 -24889, i32 83440, i32 14961, i32 34312, i32 -89260, i32 -22293, i32 -81271, i32 -2586, i32 -71059, i32 -10640, i32 -93095, i32 -5453, i32 -70041, i32 66543, i32 74012, i32 -11662, i32 -52477, i32 -37597, i32 -70919, i32 92971, i32 -17452, i32 -67306, i32 -80418, i32 7225, i32 -89296, i32 24296, i32 86547, i32 37154, i32 -10696, i32 74436, i32 -63959, i32 58860, i32 33590, i32 -88925, i32 -97814, i32 -83664, i32 85484, i32 -8385, i32 -50879, i32 57729, i32 -74728, i32 -87852, i32 -15524, i32 -91120, i32 22062, i32 28134, i32 80917, i32 32026, i32 49707, i32 -54252, i32 -44319, i32 -35139, i32 13777, i32 44660, i32 85274, i32 25043, i32 58781, i32 -89035, i32 -76274, i32 6364, i32 -63625, i32 72855, i32 43242, i32 -35033, i32 12820, i32 -27460, i32 77372, i32 -47578, i32 -61162, i32 -70758, i32 -1343, i32 -4159, i32 64935, i32 56024, i32 -2151, i32 43770, i32 19758, i32 -30186, i32 -86040, i32 24666, i32 -62332, i32 -67542, i32 73180, i32 -25821, i32 -27826, i32 -45504, i32 -36858, i32 -12041, i32 20017, i32 -24066, i32 -56625, i32 -52097, i32 -47239, i32 -90694, i32 8959, i32 7712, i32 -14258, i32 -5860, i32 55349, i32 61808, i32 -4423, i32 -93703, i32 64681, i32 -98641, i32 -25222, i32 46999, i32 -83831, i32 -54714, i32 19997, i32 -68477, i32 66073, i32 51801, i32 -66491, i32 52061, i32 -52866, i32 79907, i32 -39736, i32 -68331, i32 68937, i32 91464, i32 98892, i32 910, i32 93501, i32 31295, i32 -85873, i32 27036, i32 -57340, i32 50412, i32 21, i32 -2445, i32 29471, i32 71317, i32 82093, i32 -94823, i32 -54458, i32 -97410, i32 39560, i32 -7628, i32 66452, i32 39701, i32 54029, i32 37906, i32 46773, i32 58296, i32 60370, i32 -61090, i32 85501, i32 -86874, i32 71443, i32 -72702, i32 -72047, i32 14848, i32 34102, i32 77975, i32 -66294, i32 -36576, i32 31349, i32 52493, i32 -70833, i32 -80287, i32 94435, i32 39745, i32 -98291, i32 84524, i32 -18942, i32 10236, i32 93448, i32 50846, i32 94023, i32 -6939, i32 47999, i32 14740, i32 30165, i32 81048, i32 84935, i32 -19177, i32 -13594, i32 32289, i32 62628, i32 -90612, i32 -542, i32 -66627, i32 64255, i32 71199, i32 -83841, i32 -82943, i32 -73885, i32 8623, i32 -67214, i32 -9474, i32 -35249, i32 62254, i32 -14087, i32 -90969, i32 21515, i32 -83303, i32 94377, i32 -91619, i32 19956, i32 -98810, i32 96727, i32 -91939, i32 29119, i32 -85473, i32 -82153, i32 -69008, i32 44850, i32 74299, i32 -76459, i32 -86464, i32 8315, i32 -49912, i32 -28665, i32 59052, i32 -69708, i32 76024, i32 -92738, i32 50098, i32 18683, i32 -91438, i32 18096, i32 -19335, i32 35659, i32 91826, i32 15779, i32 -73070, i32 67873, i32 -12458, i32 -71440, i32 -46721, i32 54856, i32 97212, i32 -81875, i32 35805, i32 36952, i32 68498, i32 81627, i32 -34231, i32 81712, i32 27100, i32 -9741, i32 -82612, i32 18766, i32 -36392, i32 2759, i32 41728, i32 69743, i32 26825, i32 48355, i32 -17790, i32 17165, i32 56558, i32 3295, i32 -24375, i32 55669, i32 -16109, i32 24079, i32 73414, i32 48990, i32 -11931, i32 -78214, i32 90745, i32 19878, i32 35673, i32 -15317, i32 -89086, i32 94675, i32 -92513, i32 88410, i32 -93248, i32 -19475, i32 -74041, i32 -19165, i32 32329, i32 -26266, i32 -46828, i32 -18747, i32 45328, i32 8990, i32 -78219, i32 -25874, i32 -74801, i32 -44956, i32 -54577, i32 -29756, i32 -99822, i32 -35731, i32 -18348, i32 -68915, i32 -83518, i32 -53451, i32 95471, i32 -2954, i32 -13706, i32 -8763, i32 -21642, i32 -37210, i32 16814, i32 -60070, i32 -42743, i32 27697, i32 -36333, i32 -42362, i32 11576, i32 85742, i32 -82536, i32 68767, i32 -56103, i32 -63012, i32 71396, i32 -78464, i32 -68101, i32 -15917, i32 -11113, i32 -3596, i32 77626, i32 -60191, i32 -30585, i32 -73584, i32 6214, i32 -84303, i32 18403, i32 23618, i32 -15619, i32 -89755, i32 -59515, i32 -59103, i32 -74308, i32 -63725, i32 -29364, i32 -52376, i32 -96130, i32 70894, i32 -12609, i32 50845, i32 -2314, i32 42264, i32 -70825, i32 64481, i32 55752, i32 4460, i32 -68603, i32 -88701, i32 4713, i32 -50441, i32 -51333, i32 -77907, i32 97412, i32 -66616, i32 -49430, i32 60489, i32 -85262, i32 -97621, i32 -18980, i32 44727, i32 -69321, i32 -57730, i32 66287, i32 -92566, i32 -64427, i32 -14270, i32 11515, i32 -92612, i32 -87645, i32 61557, i32 24197, i32 -81923, i32 -39831, i32 -10301, i32 -23640, i32 -76219, i32 -68025, i32 92761, i32 -76493, i32 68554, i32 -77734, i32 -95620, i32 -11753, i32 -51700, i32 98234, i32 -68544, i32 -61838, i32 29467, i32 46603, i32 -18221, i32 -35441, i32 74537, i32 40327, i32 -58293, i32 75755, i32 -57301, i32 -7532, i32 -94163, i32 18179, i32 -14388, i32 -22258, i32 -46417, i32 -48285, i32 18242, i32 -77551, i32 82620, i32 250, i32 -20060, i32 -79568, i32 -77259, i32 82052, i32 -98897, i32 -75464, i32 48773, i32 -79040, i32 -11293, i32 45941, i32 -67876, i32 -69204, i32 -46477, i32 -46107, i32 792, i32 60546, i32 -34573, i32 -12879, i32 -94562, i32 20356, i32 -48004, i32 -62429, i32 96242, i32 40594, i32 2099, i32 99494, i32 25724, i32 -39394, i32 -2388, i32 -18563, i32 -56510, i32 -83570, i32 -29214, i32 3015, i32 74454, i32 74197, i32 76678, i32 -46597, i32 60630, i32 -76093, i32 37578, i32 -82045, i32 -24077, i32 62082, i32 -87787, i32 -74936, i32 58687, i32 12200, i32 -98952, i32 70155, i32 -77370, i32 21710, i32 -84625, i32 -60556, i32 -84128, i32 925, i32 65474, i32 -15741, i32 -94619, i32 88377, i32 89334, i32 44749, i32 22002, i32 -45750, i32 -93081, i32 -14600, i32 -83447, i32 46691, i32 85040, i32 -66447, i32 -80085, i32 56308, i32 44310, i32 24979, i32 -29694, i32 57991, i32 4675, i32 -71273, i32 -44508, i32 13615, i32 -54710, i32 23552, i32 -78253, i32 -34637, i32 50497, i32 68706, i32 81543, i32 -88408, i32 -21405, i32 6001, i32 -33834, i32 -21570, i32 -46692, i32 -25344, i32 20310, i32 71258, i32 -97680, i32 11721, i32 59977, i32 59247, i32 -48949, i32 98955, i32 -50276, i32 -80844, i32 -27935, i32 -76102, i32 55858, i32 -33492, i32 40680, i32 66691, i32 -33188, i32 8284, i32 64893, i32 -7528, i32 6019, i32 -85523, i32 8434, i32 -64366, i32 -56663, i32 26862, i32 30008, i32 -7611, i32 -12179, i32 -70076, i32 21426, i32 -11261, i32 -36864, i32 -61937, i32 -59677, i32 929, i32 -21052, i32 3848, i32 -20888, i32 -16065, i32 98995, i32 -32293, i32 -86121, i32 -54564, i32 77831, i32 68602, i32 74977, i32 31658, i32 40699, i32 29755, i32 98424, i32 80358, i32 -69337, i32 26339, i32 13213, i32 -46016, i32 -18331, i32 64713, i32 -46883, i32 -58451, i32 -70024, i32 -92393, i32 -4088, i32 70628, i32 -51185, i32 71164, i32 -75791, i32 -1636, i32 -29102, i32 -16929, i32 -87650, i32 -84589, i32 -24229, i32 -42137, i32 -15653, i32 94825, i32 13042, i32 88499, i32 -47100, i32 -90358, i32 -7180, i32 29754, i32 -65727, i32 -42659, i32 -85560, i32 -9037, i32 -52459, i32 20997, i32 -47425, i32 17318, i32 21122, i32 20472, i32 -23037, i32 65216, i32 -63625, i32 -7877, i32 -91907, i32 24100, i32 -72516, i32 22903, i32 -85247, i32 -8938, i32 73878, i32 54953, i32 87480, i32 -31466, i32 -99524, i32 35369, i32 -78376, i32 89984, i32 -15982, i32 94045, i32 -7269, i32 23319, i32 -80456, i32 -37653, i32 -76756, i32 2909, i32 81936, i32 54958, i32 -12393, i32 60560, i32 -84664, i32 -82413, i32 66941, i32 -26573, i32 -97532, i32 64460, i32 18593, i32 -85789, i32 -38820, i32 -92575, i32 -43663, i32 -89435, i32 83272, i32 -50585, i32 13616, i32 -71541, i32 -53156, i32 727, i32 -27644, i32 16538, i32 34049, i32 57745, i32 34348, i32 35009, i32 16634, i32 -18791, i32 23271, i32 -63844, i32 95817, i32 21781, i32 16590, i32 59669, i32 15966, i32 -6864, i32 48050, i32 -36143, i32 97427, i32 -59390, i32 96931, i32 78939, i32 -1958, i32 50777, i32 43338, i32 -51149, i32 39235, i32 -27054, i32 -43492, i32 67457, i32 -83616, i32 37179, i32 10390, i32 85818, i32 2391, i32 73635, i32 87579, i32 -49127, i32 -81264, i32 -79023, i32 -81590, i32 53554, i32 -74972, i32 -83940, i32 -13726, i32 -39095, i32 29174, i32 78072, i32 76104, i32 47778, i32 25797, i32 -29515, i32 -6493, i32 -92793, i32 22481, i32 -36197, i32 -65560, i32 42342, i32 15750, i32 97556, i32 99634, i32 -56048, i32 -35688, i32 13501, i32 63969, i32 -74291, i32 50911, i32 39225, i32 93702, i32 -3490, i32 -59461, i32 -30105, i32 -46761, i32 -80113, i32 92906, i32 -68487, i32 50742, i32 36152, i32 -90240, i32 -83631, i32 24597, i32 -50566, i32 -15477, i32 18470, i32 77038, i32 40223, i32 -80364, i32 -98676, i32 70957, i32 -63647, i32 99537, i32 13041, i32 31679, i32 86631, i32 37633, i32 -16866, i32 13686, i32 -71565, i32 21652, i32 -46053, i32 -80578, i32 -61382, i32 68487, i32 -6417, i32 4656, i32 20811, i32 67013, i32 -30868, i32 -11219, i32 46, i32 74944, i32 14627, i32 56965, i32 42275, i32 -52480, i32 52162, i32 -84883, i32 -52579, i32 -90331, i32 92792, i32 42184, i32 -73422, i32 -58440, i32 65308, i32 -25069, i32 5475, i32 -57996, i32 59557, i32 -17561, i32 2826, i32 -56939, i32 14996, i32 -94855, i32 -53707, i32 99159, i32 43645, i32 -67719, i32 -1331, i32 21412, i32 41704, i32 31612, i32 32622, i32 1919, i32 -69333, i32 -69828, i32 22422, i32 -78842, i32 57896, i32 -17363, i32 27979, i32 -76897, i32 35008, i32 46482, i32 -75289, i32 65799, i32 20057, i32 7170, i32 41326, i32 -76069, i32 90840, i32 -81253, i32 -50749, i32 3649, i32 -42315, i32 45238, i32 -33924, i32 62101, i32 96906, i32 58884, i32 -7617, i32 -28689, i32 -66578, i32 62458, i32 50876, i32 -57553, i32 6739, i32 41014, i32 -64040, i32 -34916, i32 37940, i32 13048, i32 -97478, i32 -11318, i32 -89440, i32 -31933, i32 -40357, i32 -59737, i32 -76718, i32 -14104, i32 -31774, i32 28001, i32 4103, i32 41702, i32 -25120, i32 -31654, i32 63085, i32 -3642, i32 84870, i32 -83896, i32 -76422, i32 -61520, i32 12900, i32 88678, i32 85547, i32 33132, i32 -88627, i32 52820, i32 63915, i32 -27472, i32 78867, i32 -51439, i32 33005, i32 -23447, i32 -3271, i32 -39308, i32 39726, i32 -74260, i32 -31874, i32 -36893, i32 93656, i32 910, i32 -98362, i32 60450, i32 -88048, i32 99308, i32 13947, i32 83996, i32 -90415, i32 -35117, i32 70858, i32 -55332, i32 -31721, i32 97528, i32 82982, i32 -86218, i32 6822, i32 25227, i32 36946, i32 97077, i32 -4257, i32 -41526, i32 56795, i32 89870, i32 75860, i32 -70802, i32 21779, i32 14184, i32 -16511, i32 -89156, i32 -31422, i32 71470, i32 69600, i32 -78498, i32 74079, i32 -19410, i32 40311, i32 28501, i32 26397, i32 -67574, i32 -32518, i32 68510, i32 38615, i32 19355, i32 -6088, i32 -97159, i32 -29255, i32 -92523, i32 3023, i32 -42536, i32 -88681, i32 64255, i32 41206, i32 44119, i32 52208, i32 39522, i32 -52108, i32 91276, i32 -70514, i32 83436, i32 63289, i32 -79741, i32 9623, i32 99559, i32 12642, i32 85950, i32 83735, i32 -21156, i32 -67208, i32 98088, i32 -7341, i32 -27763, i32 -30048, i32 -44099, i32 -14866, i32 -45504, i32 -91704, i32 19369, i32 13700, i32 10481, i32 -49344, i32 -85686, i32 33994, i32 19672, i32 36028, i32 60842, i32 66564, i32 -24919, i32 33950, i32 -93616, i32 -47430, i32 -35391, i32 -28279, i32 56806, i32 74690, i32 39284, i32 -96683, i32 -7642, i32 -75232, i32 37657, i32 -14531, i32 -86870, i32 -9274, i32 -26173, i32 98640, i32 88652, i32 64257, i32 46457, i32 37814, i32 -19370, i32 9337, i32 -22556, i32 -41525, i32 39105, i32 -28719, i32 51611, i32 -93252, i32 98044, i32 -90996, i32 21710, i32 -47605, i32 -64259, i32 -32727, i32 53611, i32 -31918, i32 -3555, i32 33316, i32 -66472, i32 21274, i32 -37731, i32 -2919, i32 15016, i32 48779, i32 -88868, i32 1897, i32 41728, i32 46344, i32 -89667, i32 37848, i32 68092, i32 -44011, i32 85354, i32 -43776, i32 38739, i32 -31423, i32 -66330, i32 65167, i32 -22016, i32 59405, i32 34328, i32 -60042, i32 87660, i32 -67698, i32 -59174, i32 -1408, i32 -46809, i32 -43485, i32 -88807, i32 -60489, i32 13974, i32 22319, i32 55836, i32 -62995, i32 -37375, i32 -4185, i32 32687, i32 -36551, i32 -75237, i32 58280, i32 26942, i32 -73756, i32 71756, i32 78775, i32 -40573, i32 14367, i32 -71622, i32 -77338, i32 24112, i32 23414, i32 -7679, i32 -51721, i32 87492, i32 85066, i32 -21612, i32 57045, i32 10673, i32 -96836, i32 52461, i32 -62218, i32 -9310, i32 65862, i32 -22748, i32 89906, i32 -96987, i32 -98698, i32 26956, i32 -43428, i32 46141, i32 47456, i32 28095, i32 55952, i32 67323, i32 -36455, i32 -60202, i32 -43302, i32 -82932, i32 42020, i32 77036, i32 10142, i32 60406, i32 70331, i32 63836, i32 58850, i32 -66752, i32 52109, i32 21395, i32 -10238, i32 -98647, i32 -41962, i32 27778, i32 69060, i32 98535, i32 -28680, i32 -52263, i32 -56679, i32 66103, i32 -42426, i32 27203, i32 80021, i32 10153, i32 58678, i32 36398, i32 63112, i32 34911, i32 20515, i32 62082, i32 -15659, i32 -40785, i32 27054, i32 43767, i32 -20289, i32 65838, i32 -6954, i32 -60228, i32 -72226, i32 52236, i32 -35464, i32 25209, i32 -15462, i32 -79617, i32 -41668, i32 -84083, i32 62404, i32 -69062, i32 18913, i32 46545, i32 20757, i32 13805, i32 24717, i32 -18461, i32 -47009, i32 -25779, i32 68834, i32 64824, i32 34473, i32 39576, i32 31570, i32 14861, i32 -15114, i32 -41233, i32 95509, i32 68232, i32 67846, i32 84902, i32 -83060, i32 17642, i32 -18422, i32 73688, i32 77671, i32 -26930, i32 64484, i32 -99637, i32 73875, i32 6428, i32 21034, i32 -73471, i32 19664, i32 -68031, i32 15922, i32 -27028, i32 48137, i32 54955, i32 -82793, i32 -41144, i32 -10218, i32 -24921, i32 -28299, i32 -2288, i32 68518, i32 -54452, i32 15686, i32 -41814, i32 66165, i32 -72207, i32 -61986, i32 80020, i32 50544, i32 -99500, i32 16244, i32 78998, i32 40989, i32 14525, i32 -56061, i32 -24692, i32 -94790, i32 21111, i32 37296, i32 -90794, i32 72100, i32 70550, i32 -31757, i32 17708, i32 -74290, i32 61910, i32 78039, i32 -78629, i32 -25033, i32 73172, i32 -91953, i32 10052, i32 64502, i32 99585, i32 -1741, i32 90324, i32 -73723, i32 68942, i32 28149, i32 30218, i32 24422, i32 16659, i32 10710, i32 -62594, i32 94249, i32 96588, i32 46192, i32 34251, i32 73500, i32 -65995, i32 -81168, i32 41412, i32 -98724, i32 -63710, i32 -54696, i32 -52407, i32 19746, i32 45869, i32 27821, i32 -94866, i32 -76705, i32 -13417, i32 -61995, i32 -71560, i32 43450, i32 67384, i32 -8838, i32 -80293, i32 -28937, i32 23330, i32 -89694, i32 -40586, i32 46918, i32 80429, i32 -5475, i32 78013, i32 25309, i32 -34162, i32 37236, i32 -77577, i32 86744, i32 26281, i32 -29033, i32 -91813, i32 35347, i32 13033, i32 -13631, i32 -24459, i32 3325, i32 -71078, i32 -75359, i32 81311, i32 19700, i32 47678, i32 -74680, i32 -84113, i32 45192, i32 35502, i32 37675, i32 19553, i32 76522, i32 -51098, i32 -18211, i32 89717, i32 4508, i32 -82946, i32 27749, i32 85995, i32 89912, i32 -53678, i32 -64727, i32 -14778, i32 32075, i32 -63412, i32 -40524, i32 86440, i32 -2707, i32 -36821, i32 63850, i32 -30883, i32 67294, i32 -99468, i32 -23708, i32 34932, i32 34386, i32 98899, i32 29239, i32 -23385, i32 5897, i32 54882, i32 98660, i32 49098, i32 70275, i32 17718, i32 88533, i32 52161, i32 63340, i32 50061, i32 -89457, i32 19491, i32 -99156, i32 24873, i32 -17008, i32 64610, i32 -55543, i32 50495, i32 17056, i32 -10400, i32 -56678, i32 -29073, i32 -42960, i32 -76418, i32 98562, i32 -88104, i32 -96255, i32 10159, i32 -90724, i32 54011, i32 12052, i32 45871, i32 -90933, i32 -69420, i32 67039, i32 37202, i32 78051, i32 -52197, i32 -40278, i32 -58425, i32 65414, i32 -23394, i32 -1415, i32 6912, i32 -53447, i32 7352, i32 17307, i32 -78147, i32 63727, i32 98905, i32 55412, i32 -57658, i32 -32884, i32 -44878, i32 22755, i32 39730, i32 3638, i32 35111, i32 39777, i32 74193, i32 38736, i32 -11829, i32 -61188, i32 -92757, i32 55946, i32 -71232, i32 -63032, i32 -83947, i32 39147, i32 -96684, i32 -99233, i32 25131, i32 -32197, i32 24406, i32 -55428, i32 -61941, i32 25874, i32 -69453, i32 64483, i32 -19644, i32 -68441, i32 12783, i32 87338, i32 -48676, i32 66451, i32 -447, i32 -61590, i32 50932, i32 -11270, i32 29035, i32 65698, i32 -63544, i32 10029, i32 80499, i32 -9461, i32 86368, i32 91365, i32 -81810, i32 -71914, i32 -52056, i32 -13782, i32 44240, i32 -30093, i32 -2437, i32 24007, i32 67581, i32 -17365, i32 -69164, i32 -8420, i32 -69289, i32 -29370, i32 48010, i32 90439, i32 13141, i32 69243, i32 50668, i32 39328, i32 61731, i32 78266, i32 -81313, i32 17921, i32 -38196, i32 55261, i32 9948, i32 -24970, i32 75712, i32 -72106, i32 28696, i32 7461, i32 31621, i32 61047, i32 51476, i32 56512, i32 11839, i32 -96916, i32 -82739, i32 28924, i32 -99927, i32 58449, i32 37280, i32 69357, i32 11219, i32 -32119, i32 -62050, i32 -48745, i32 -83486, i32 -52376, i32 42668, i32 82659, i32 68882, i32 38773, i32 46269, i32 -96005, i32 97630, i32 25009, i32 -2951, i32 -67811, i32 99801, i32 81587, i32 -79793, i32 -18547, i32 -83086, i32 69512, i32 33127, i32 -92145, i32 -88497, i32 47703, i32 59527, i32 1909, i32 88785, i32 -88882, i32 69188, i32 -46131, i32 -5589, i32 -15086, i32 36255, i32 -53238, i32 -33009, i32 82664, i32 53901, i32 35939, i32 -42946, i32 -25571, i32 33298, i32 69291, i32 53199, i32 74746, i32 -40127, i32 -39050, i32 91033, i32 51717, i32 -98048, i32 87240, i32 36172, i32 65453, i32 -94425, i32 -63694, i32 -30027, i32 59004, i32 88660, i32 3649, i32 -20267, i32 -52565, i32 -67321, i32 34037, i32 4320, i32 91515, i32 -56753, i32 60115, i32 27134, i32 68617, i32 -61395, i32 -26503, i32 -98929, i32 -8849, i32 -63318, i32 10709, i32 -16151, i32 61905, i32 -95785, i32 5262, i32 23670, i32 -25277, i32 90206, i32 -19391, i32 45735, i32 37208, i32 -31992, i32 -92450, i32 18516, i32 -90452, i32 -58870, i32 -58602, i32 93383, i32 14333, i32 17994, i32 82411, i32 -54126, i32 -32576, i32 35440, i32 -60526, i32 -78764, i32 -25069, i32 -9022, i32 -394, i32 92186, i32 -38057, i32 55328, i32 -61569, i32 67780, i32 77169, i32 19546, i32 -92664, i32 -94948, i32 44484, i32 -13439, i32 83529, i32 27518, i32 -48333, i32 72998, i32 38342, i32 -90553, i32 -98578, i32 -76906, i32 81515, i32 -16464, i32 78439, i32 92529, i32 35225, i32 -39968, i32 -10130, i32 -7845, i32 -32245, i32 -74955, i32 -74996, i32 67731, i32 -13897, i32 -82493, i32 33407, i32 93619, i32 59560, i32 -24404, i32 -57553, i32 19486, i32 -45341, i32 34098, i32 -24978, i32 -33612, i32 79058, i32 71847, i32 76713, i32 -95422, i32 6421, i32 -96075, i32 -59130, i32 -28976, i32 -16922, i32 -62203, i32 69970, i32 68331, i32 21874, i32 40551, i32 89650, i32 51908, i32 58181, i32 66480, i32 -68177, i32 34323, i32 -3046, i32 -49656, i32 -59758, i32 43564, i32 -10960, i32 -30796, i32 15473, i32 -20216, i32 46085, i32 -85355, i32 41515, i32 -30669, i32 -87498, i32 57711, i32 56067, i32 63199, i32 -83805, i32 62042, i32 91213, i32 -14606, i32 4394, i32 -562, i32 74913, i32 10406, i32 96810, i32 -61595, i32 32564, i32 31640, i32 -9732, i32 42058, i32 98052, i32 -7908, i32 -72330, i32 1558, i32 -80301, i32 34878, i32 32900, i32 3939, i32 -8824, i32 88316, i32 20937, i32 21566, i32 -3218, i32 -66080, i32 -31620, i32 86859, i32 54289, i32 90476, i32 -42889, i32 -15016, i32 -18838, i32 75456, i32 30159, i32 -67101, i32 42328, i32 -92703, i32 85850, i32 -5475, i32 23470, i32 -80806, i32 68206, i32 17764, i32 88235, i32 46421, i32 -41578, i32 74005, i32 -81142, i32 80545, i32 20868, i32 -1560, i32 64017, i32 83784, i32 68863, i32 -97516, i32 -13016, i32 -72223, i32 79630, i32 -55692, i32 82255, i32 88467, i32 28007, i32 -34686, i32 -69049, i32 -41677, i32 88535, i32 -8217, i32 68060, i32 -51280, i32 28971, i32 49088, i32 49235, i32 26905, i32 -81117, i32 -44888, i32 40623, i32 74337, i32 -24662, i32 97476, i32 79542, i32 -72082, i32 -35093, i32 98175, i32 -61761, i32 -68169, i32 59697, i32 -62542, i32 -72965, i32 59883, i32 -64026, i32 -37656, i32 -92392, i32 -12113, i32 -73495, i32 98258, i32 68379, i32 -21545, i32 64607, i32 -70957, i32 -92254, i32 -97460, i32 -63436, i32 -8853, i32 -19357, i32 -51965, i32 -76582, i32 12687, i32 -49712, i32 45413, i32 -60043, i32 33496, i32 31539, i32 -57347, i32 41837, i32 67280, i32 -68813, i32 52088, i32 -13155, i32 -86430, i32 -15239, i32 -45030, i32 96041, i32 18749, i32 -23992, i32 46048, i32 35243, i32 -79450, i32 85425, i32 -58524, i32 88781, i32 -39454, i32 53073, i32 -48864, i32 -82289, i32 39086, i32 82540, i32 -11555, i32 25014, i32 -5431, i32 -39585, i32 -89526, i32 2705, i32 31953, i32 -81611, i32 36985, i32 -56022, i32 68684, i32 -27101, i32 11422, i32 64655, i32 -26965, i32 -63081, i32 -13840, i32 -91003, i32 -78147, i32 -8966, i32 41488, i32 1988, i32 99021, i32 -61575, i32 -47060, i32 65260, i32 -23844, i32 -21781, i32 -91865, i32 -19607, i32 44808, i32 2890, i32 63692, i32 -88663, i32 -58272, i32 15970, i32 -65195, i32 -45416, i32 -48444, i32 -78226, i32 -65332, i32 -24568, i32 42833, i32 -1806, i32 -71595, i32 80002, i32 -52250, i32 30952, i32 48452, i32 -90106, i32 31015, i32 -22073, i32 62339, i32 63318, i32 78391, i32 28699, i32 77900, i32 -4026, i32 -76870, i32 -45943, i32 33665, i32 9174, i32 -84360, i32 -22684, i32 -16832, i32 -67949, i32 -38077, i32 -38987, i32 -32847, i32 51443, i32 -53580, i32 -13505, i32 9344, i32 -92337, i32 26585, i32 70458, i32 -52764, i32 -67471, i32 -68411, i32 -1119, i32 -2072, i32 -93476, i32 67981, i32 40887, i32 -89304, i32 -12235, i32 41488, i32 1454, i32 5355, i32 -34855, i32 -72080, i32 24514, i32 -58305, i32 3340, i32 34331, i32 8731, i32 77451, i32 -64983, i32 -57876, i32 82874, i32 62481, i32 -32754, i32 -39902, i32 22451, i32 -79095, i32 -23904, i32 78409, i32 -7418, i32 77916]
@.str = [19 x i8] c"return size is %d\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca [3000 x i32]
%8 = alloca i32
%9 = alloca i32**
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 3000, i32* %6
%10 = bitcast [3000 x i32]* %7 to i8*
store i32 0, i32* %8
%11 = getelementptr inbounds [3000 x i32], [3000 x i32]* %7, i64 0, i64 0
%12 = load i32, i32* %6
%13 = call i32 (i32*, i32, i32*, ...) bitcast (i32 (...)* @threeSum to i32 (i32*, i32, i32*, ...)*)(i32* %11, i32 %12, i32* %8)
%14 = sext i32 %13 to i64
%15 = inttoptr i64 %14 to i32**
store i32** %15, i32*** %9
%16 = load i32, i32* %8
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0), i32 %16)
%18 = load i32, i32* %8
%19 = icmp eq i32 %18, 16258
%20 = zext i1 %19 to i32
%21 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %20)
%22 = load i32**, i32*** %9
%23 = bitcast i32** %22 to i8*
ret i32 0
}

LLVM IR (-O2):
@__const.main.nums = [3000 x i32] [i32 82597, i32 -9243, i32 62390, i32 83030, i32 -97960, i32 -26521, i32 -61011, i32 83390, i32 -38677, i32 12333, i32 75987, i32 46091, i32 83794, i32 19355, i32 -71037, i32 -6242, i32 -28801, i32 324, i32 1202, i32 -90885, i32 -2989, i32 -95597, i32 -34333, i32 35528, i32 5680, i32 89093, i32 -90606, i32 50360, i32 -29393, i32 -27012, i32 53313, i32 65213, i32 99818, i32 -82405, i32 -41661, i32 -3333, i32 -51952, i32 72135, i32 -1523, i32 26377, i32 74685, i32 96992, i32 92263, i32 15929, i32 5467, i32 -99555, i32 -43348, i32 -41689, i32 -60383, i32 -3990, i32 32165, i32 65265, i32 -72973, i32 -58372, i32 12741, i32 -48568, i32 -46596, i32 72419, i32 -1859, i32 34153, i32 62937, i32 81310, i32 -61823, i32 -96770, i32 -54944, i32 8845, i32 -91184, i32 24208, i32 -29078, i32 31495, i32 65258, i32 14198, i32 85395, i32 70506, i32 -40908, i32 56740, i32 -12228, i32 -40072, i32 32429, i32 93001, i32 68445, i32 -73927, i32 25731, i32 -91859, i32 -24150, i32 10093, i32 -60271, i32 -81683, i32 -18126, i32 51055, i32 48189, i32 -6468, i32 25057, i32 81194, i32 -58628, i32 74042, i32 66158, i32 -14452, i32 -49851, i32 -43667, i32 11092, i32 39189, i32 -17025, i32 -79173, i32 13606, i32 83172, i32 92647, i32 -59741, i32 19343, i32 -26644, i32 -57607, i32 82908, i32 -20655, i32 1637, i32 80060, i32 98994, i32 39331, i32 -31274, i32 -61523, i32 91225, i32 -72953, i32 13211, i32 -75116, i32 -98421, i32 -41571, i32 -69074, i32 99587, i32 39345, i32 42151, i32 -2460, i32 98236, i32 15690, i32 -52507, i32 -95803, i32 -48935, i32 -46492, i32 -45606, i32 -79254, i32 -99851, i32 52533, i32 73486, i32 39948, i32 -7240, i32 71815, i32 -585, i32 -96252, i32 90990, i32 -93815, i32 93340, i32 -71848, i32 58733, i32 -14859, i32 -83082, i32 -75794, i32 -82082, i32 -24871, i32 -15206, i32 91207, i32 -56469, i32 -93618, i32 67131, i32 -8682, i32 75719, i32 87429, i32 -98757, i32 -7535, i32 -24890, i32 -94160, i32 85003, i32 33928, i32 75538, i32 97456, i32 -66424, i32 -60074, i32 -8527, i32 -28697, i32 -22308, i32 2246, i32 -70134, i32 -82319, i32 -10184, i32 87081, i32 -34949, i32 -28645, i32 -47352, i32 -83966, i32 -60418, i32 -15293, i32 -53067, i32 -25921, i32 55172, i32 75064, i32 95859, i32 48049, i32 34311, i32 -86931, i32 -38586, i32 33686, i32 -36714, i32 96922, i32 76713, i32 -22165, i32 -80585, i32 -34503, i32 -44516, i32 39217, i32 -28457, i32 47227, i32 -94036, i32 43457, i32 24626, i32 -87359, i32 26898, i32 -70819, i32 30528, i32 -32397, i32 -69486, i32 84912, i32 -1187, i32 -98986, i32 -32958, i32 4280, i32 -79129, i32 -65604, i32 9344, i32 58964, i32 50584, i32 71128, i32 -55480, i32 24986, i32 15086, i32 -62360, i32 -42977, i32 -49482, i32 -77256, i32 -36895, i32 -74818, i32 20, i32 3063, i32 -49426, i32 28152, i32 -97329, i32 6086, i32 86035, i32 -88743, i32 35241, i32 44249, i32 19927, i32 -10660, i32 89404, i32 24179, i32 -26621, i32 -6511, i32 57745, i32 -28750, i32 96340, i32 -97160, i32 -97822, i32 -49979, i32 52307, i32 79462, i32 94273, i32 -24808, i32 77104, i32 9255, i32 -83057, i32 77655, i32 21361, i32 55956, i32 -9096, i32 48599, i32 -40490, i32 -55107, i32 2689, i32 29608, i32 20497, i32 66834, i32 -34678, i32 23553, i32 -81400, i32 -66630, i32 -96321, i32 -34499, i32 -12957, i32 -20564, i32 25610, i32 -4322, i32 -58462, i32 20801, i32 53700, i32 71527, i32 24669, i32 -54534, i32 57879, i32 -3221, i32 33636, i32 3900, i32 97832, i32 -27688, i32 -98715, i32 5992, i32 24520, i32 -55401, i32 -57613, i32 -69926, i32 57377, i32 -77610, i32 20123, i32 52174, i32 860, i32 60429, i32 -91994, i32 -62403, i32 -6218, i32 -90610, i32 -37263, i32 -15052, i32 62069, i32 -96465, i32 44254, i32 89892, i32 -3406, i32 19121, i32 -41842, i32 -87783, i32 -64125, i32 -56120, i32 73904, i32 -22797, i32 -58118, i32 -4866, i32 5356, i32 75318, i32 46119, i32 21276, i32 -19246, i32 -9241, i32 -97425, i32 57333, i32 -15802, i32 93149, i32 25689, i32 -5532, i32 95716, i32 39209, i32 -87672, i32 -29470, i32 -16324, i32 -15331, i32 27632, i32 -39454, i32 56530, i32 -16000, i32 29853, i32 46475, i32 78242, i32 -46602, i32 83192, i32 -73440, i32 -15816, i32 50964, i32 -36601, i32 89758, i32 38375, i32 -40007, i32 -36675, i32 -94030, i32 67576, i32 46811, i32 -64919, i32 45595, i32 76530, i32 40398, i32 35845, i32 41791, i32 67697, i32 -30439, i32 -82944, i32 63115, i32 33447, i32 -36046, i32 -50122, i32 -34789, i32 43003, i32 -78947, i32 -38763, i32 -89210, i32 32756, i32 -20389, i32 -31358, i32 -90526, i32 -81607, i32 88741, i32 86643, i32 98422, i32 47389, i32 -75189, i32 13091, i32 95993, i32 -15501, i32 94260, i32 -25584, i32 -1483, i32 -67261, i32 -70753, i32 25160, i32 89614, i32 -90620, i32 -48542, i32 83889, i32 -12388, i32 -9642, i32 -37043, i32 -67663, i32 28794, i32 -8801, i32 13621, i32 12241, i32 55379, i32 84290, i32 21692, i32 -95906, i32 -85617, i32 -17341, i32 -63767, i32 80183, i32 -4942, i32 -51478, i32 30997, i32 -13658, i32 8838, i32 17452, i32 -82869, i32 -39897, i32 68449, i32 31964, i32 98158, i32 -49489, i32 62283, i32 -62209, i32 -92792, i32 -59342, i32 55146, i32 -38533, i32 20496, i32 62667, i32 62593, i32 36095, i32 -12470, i32 5453, i32 -50451, i32 74716, i32 -17902, i32 3302, i32 -16760, i32 -71642, i32 -34819, i32 96459, i32 -72860, i32 21638, i32 47342, i32 -69897, i32 -40180, i32 44466, i32 76496, i32 84659, i32 13848, i32 -91600, i32 -90887, i32 -63742, i32 -2156, i32 -84981, i32 -99280, i32 94326, i32 -33854, i32 92029, i32 -50811, i32 98711, i32 -36459, i32 -75555, i32 79110, i32 -88164, i32 -97397, i32 -84217, i32 97457, i32 64387, i32 30513, i32 -53190, i32 -83215, i32 252, i32 2344, i32 -27177, i32 -92945, i32 -89010, i32 82662, i32 -11670, i32 86069, i32 53417, i32 42702, i32 97082, i32 3695, i32 -14530, i32 -46334, i32 17910, i32 77999, i32 28009, i32 -12374, i32 15498, i32 -46941, i32 97088, i32 -35030, i32 95040, i32 92095, i32 -59469, i32 -24761, i32 46491, i32 67357, i32 -66658, i32 37446, i32 -65130, i32 -50416, i32 99197, i32 30925, i32 27308, i32 54122, i32 -44719, i32 12582, i32 -99525, i32 -38446, i32 -69050, i32 -22352, i32 94757, i32 -56062, i32 33684, i32 -40199, i32 -46399, i32 96842, i32 -50881, i32 -22380, i32 -65021, i32 40582, i32 53623, i32 -76034, i32 77018, i32 -97074, i32 -84838, i32 -22953, i32 -74205, i32 79715, i32 -33920, i32 -35794, i32 -91369, i32 73421, i32 -82492, i32 63680, i32 -14915, i32 -33295, i32 37145, i32 76852, i32 -69442, i32 60125, i32 -74166, i32 74308, i32 -1900, i32 -30195, i32 -16267, i32 -60781, i32 -27760, i32 5852, i32 38917, i32 25742, i32 -3765, i32 49097, i32 -63541, i32 98612, i32 -92865, i32 -30248, i32 9612, i32 -8798, i32 53262, i32 95781, i32 -42278, i32 -36529, i32 7252, i32 -27394, i32 -5021, i32 59178, i32 80934, i32 -48480, i32 -75131, i32 -54439, i32 -19145, i32 -48140, i32 98457, i32 -6601, i32 -51616, i32 -89730, i32 78028, i32 32083, i32 -48904, i32 16822, i32 -81153, i32 -8832, i32 48720, i32 -80728, i32 -45133, i32 -86647, i32 -4259, i32 -40453, i32 2590, i32 28613, i32 50523, i32 -4105, i32 -27790, i32 -74579, i32 -17223, i32 63721, i32 33489, i32 -47921, i32 97628, i32 -97691, i32 -14782, i32 -65644, i32 18008, i32 -93651, i32 -71266, i32 80990, i32 -76732, i32 -47104, i32 35368, i32 28632, i32 59818, i32 -86269, i32 -89753, i32 34557, i32 -92230, i32 -5933, i32 -3487, i32 -73557, i32 -13174, i32 -43981, i32 -43630, i32 -55171, i32 30254, i32 -83710, i32 -99583, i32 -13500, i32 71787, i32 5017, i32 -25117, i32 -78586, i32 86941, i32 -3251, i32 -23867, i32 -36315, i32 75973, i32 86272, i32 -45575, i32 77462, i32 -98836, i32 -10859, i32 70168, i32 -32971, i32 -38739, i32 -12761, i32 93410, i32 14014, i32 -30706, i32 -77356, i32 -85965, i32 -62316, i32 63918, i32 -59914, i32 -64088, i32 1591, i32 -10957, i32 38004, i32 15129, i32 -83602, i32 -51791, i32 34381, i32 -89382, i32 -26056, i32 8942, i32 5465, i32 71458, i32 -73805, i32 -87445, i32 -19921, i32 -80784, i32 69150, i32 -34168, i32 28301, i32 -68955, i32 18041, i32 6059, i32 82342, i32 9947, i32 39795, i32 44047, i32 -57313, i32 48569, i32 81936, i32 -2863, i32 -80932, i32 32976, i32 -86454, i32 -84207, i32 33033, i32 32867, i32 9104, i32 -16580, i32 -25727, i32 80157, i32 -70169, i32 53741, i32 86522, i32 84651, i32 68480, i32 84018, i32 61932, i32 7332, i32 -61322, i32 -69663, i32 76370, i32 41206, i32 12326, i32 -34689, i32 17016, i32 82975, i32 -23386, i32 39417, i32 72793, i32 44774, i32 -96259, i32 3213, i32 79952, i32 29265, i32 -61492, i32 -49337, i32 14162, i32 65886, i32 3342, i32 -41622, i32 -62659, i32 -90402, i32 -24751, i32 88511, i32 54739, i32 -21383, i32 -40161, i32 -96610, i32 -24944, i32 -602, i32 -76842, i32 -21856, i32 69964, i32 43994, i32 -15121, i32 -85530, i32 12718, i32 13170, i32 -13547, i32 69222, i32 62417, i32 -75305, i32 -81446, i32 -38786, i32 -52075, i32 -23110, i32 97681, i32 -82800, i32 -53178, i32 11474, i32 35857, i32 94197, i32 -58148, i32 -23689, i32 32506, i32 92154, i32 -64536, i32 -73930, i32 -77138, i32 97446, i32 -83459, i32 70963, i32 22452, i32 68472, i32 -3728, i32 -25059, i32 -49405, i32 95129, i32 -6167, i32 12808, i32 99918, i32 30113, i32 -12641, i32 -26665, i32 86362, i32 -33505, i32 50661, i32 26714, i32 33701, i32 89012, i32 -91540, i32 40517, i32 -12716, i32 -57185, i32 -87230, i32 29914, i32 -59560, i32 13200, i32 -72723, i32 58272, i32 23913, i32 -45586, i32 -96593, i32 -26265, i32 -2141, i32 31087, i32 81399, i32 92511, i32 -34049, i32 20577, i32 2803, i32 26003, i32 8940, i32 42117, i32 40887, i32 -82715, i32 38269, i32 40969, i32 -50022, i32 72088, i32 21291, i32 -67280, i32 -16523, i32 90535, i32 18669, i32 94342, i32 -39568, i32 -88080, i32 -99486, i32 -20716, i32 23108, i32 -28037, i32 63342, i32 36863, i32 -29420, i32 -44016, i32 75135, i32 73415, i32 16059, i32 -4899, i32 86893, i32 43136, i32 -7041, i32 33483, i32 -67612, i32 25327, i32 40830, i32 6184, i32 61805, i32 4247, i32 81119, i32 -22854, i32 -26104, i32 -63466, i32 63093, i32 -63685, i32 60369, i32 51023, i32 51644, i32 -16350, i32 74438, i32 -83514, i32 99083, i32 10079, i32 -58451, i32 -79621, i32 48471, i32 67131, i32 -86940, i32 99093, i32 11855, i32 -22272, i32 -67683, i32 -44371, i32 9541, i32 18123, i32 37766, i32 -70922, i32 80385, i32 -57513, i32 -76021, i32 -47890, i32 36154, i32 72935, i32 84387, i32 -92681, i32 -88303, i32 -7810, i32 59902, i32 -90, i32 -64704, i32 -28396, i32 -66403, i32 8860, i32 13343, i32 33882, i32 85680, i32 7228, i32 28160, i32 -14003, i32 54369, i32 -58893, i32 92606, i32 -63492, i32 -10101, i32 64714, i32 58486, i32 29948, i32 -44679, i32 -22763, i32 10151, i32 -56695, i32 4031, i32 -18242, i32 -36232, i32 86168, i32 -14263, i32 9883, i32 47124, i32 47271, i32 92761, i32 -24958, i32 -73263, i32 -79661, i32 -69147, i32 -18874, i32 29546, i32 -92588, i32 -85771, i32 26451, i32 -86650, i32 -43306, i32 -59094, i32 -47492, i32 -34821, i32 -91763, i32 -47670, i32 33537, i32 22843, i32 67417, i32 -759, i32 92159, i32 63075, i32 94065, i32 -26988, i32 55276, i32 65903, i32 30414, i32 -67129, i32 -99508, i32 -83092, i32 -91493, i32 -50426, i32 14349, i32 -83216, i32 -76090, i32 32742, i32 -5306, i32 -93310, i32 -60750, i32 -60620, i32 -45484, i32 -21108, i32 -58341, i32 -28048, i32 -52803, i32 69735, i32 78906, i32 81649, i32 32565, i32 -86804, i32 -83202, i32 -65688, i32 -1760, i32 89707, i32 93322, i32 -72750, i32 84134, i32 71900, i32 -37720, i32 19450, i32 -78018, i32 22001, i32 -23604, i32 26276, i32 -21498, i32 65892, i32 -72117, i32 -89834, i32 -23867, i32 55817, i32 -77963, i32 42518, i32 93123, i32 -83916, i32 63260, i32 -2243, i32 -97108, i32 85442, i32 -36775, i32 17984, i32 -58810, i32 99664, i32 -19082, i32 93075, i32 -69329, i32 87061, i32 79713, i32 16296, i32 70996, i32 13483, i32 -74582, i32 49900, i32 -27669, i32 -40562, i32 1209, i32 -20572, i32 34660, i32 83193, i32 75579, i32 7344, i32 64925, i32 88361, i32 60969, i32 3114, i32 44611, i32 -27445, i32 53049, i32 -16085, i32 -92851, i32 -53306, i32 13859, i32 -33532, i32 86622, i32 -75666, i32 -18159, i32 -98256, i32 51875, i32 -42251, i32 -27977, i32 -18080, i32 23772, i32 38160, i32 41779, i32 9147, i32 94175, i32 99905, i32 -85755, i32 62535, i32 -88412, i32 -52038, i32 -68171, i32 93255, i32 -44684, i32 -11242, i32 -104, i32 31796, i32 62346, i32 -54931, i32 -55790, i32 -70032, i32 46221, i32 56541, i32 -91947, i32 90592, i32 93503, i32 4071, i32 20646, i32 4856, i32 -63598, i32 15396, i32 -50708, i32 32138, i32 -85164, i32 38528, i32 -89959, i32 53852, i32 57915, i32 -42421, i32 -88916, i32 -75072, i32 67030, i32 -29066, i32 49542, i32 -71591, i32 61708, i32 -53985, i32 -43051, i32 28483, i32 46991, i32 -83216, i32 80991, i32 -46254, i32 -48716, i32 39356, i32 -8270, i32 -47763, i32 -34410, i32 874, i32 -1186, i32 -7049, i32 28846, i32 11276, i32 21960, i32 -13304, i32 -11433, i32 -4913, i32 55754, i32 79616, i32 70423, i32 -27523, i32 64803, i32 49277, i32 14906, i32 -97401, i32 -92390, i32 91075, i32 70736, i32 21971, i32 -3303, i32 55333, i32 -93996, i32 76538, i32 54603, i32 -75899, i32 98801, i32 46887, i32 35041, i32 48302, i32 -52318, i32 55439, i32 24574, i32 14079, i32 -24889, i32 83440, i32 14961, i32 34312, i32 -89260, i32 -22293, i32 -81271, i32 -2586, i32 -71059, i32 -10640, i32 -93095, i32 -5453, i32 -70041, i32 66543, i32 74012, i32 -11662, i32 -52477, i32 -37597, i32 -70919, i32 92971, i32 -17452, i32 -67306, i32 -80418, i32 7225, i32 -89296, i32 24296, i32 86547, i32 37154, i32 -10696, i32 74436, i32 -63959, i32 58860, i32 33590, i32 -88925, i32 -97814, i32 -83664, i32 85484, i32 -8385, i32 -50879, i32 57729, i32 -74728, i32 -87852, i32 -15524, i32 -91120, i32 22062, i32 28134, i32 80917, i32 32026, i32 49707, i32 -54252, i32 -44319, i32 -35139, i32 13777, i32 44660, i32 85274, i32 25043, i32 58781, i32 -89035, i32 -76274, i32 6364, i32 -63625, i32 72855, i32 43242, i32 -35033, i32 12820, i32 -27460, i32 77372, i32 -47578, i32 -61162, i32 -70758, i32 -1343, i32 -4159, i32 64935, i32 56024, i32 -2151, i32 43770, i32 19758, i32 -30186, i32 -86040, i32 24666, i32 -62332, i32 -67542, i32 73180, i32 -25821, i32 -27826, i32 -45504, i32 -36858, i32 -12041, i32 20017, i32 -24066, i32 -56625, i32 -52097, i32 -47239, i32 -90694, i32 8959, i32 7712, i32 -14258, i32 -5860, i32 55349, i32 61808, i32 -4423, i32 -93703, i32 64681, i32 -98641, i32 -25222, i32 46999, i32 -83831, i32 -54714, i32 19997, i32 -68477, i32 66073, i32 51801, i32 -66491, i32 52061, i32 -52866, i32 79907, i32 -39736, i32 -68331, i32 68937, i32 91464, i32 98892, i32 910, i32 93501, i32 31295, i32 -85873, i32 27036, i32 -57340, i32 50412, i32 21, i32 -2445, i32 29471, i32 71317, i32 82093, i32 -94823, i32 -54458, i32 -97410, i32 39560, i32 -7628, i32 66452, i32 39701, i32 54029, i32 37906, i32 46773, i32 58296, i32 60370, i32 -61090, i32 85501, i32 -86874, i32 71443, i32 -72702, i32 -72047, i32 14848, i32 34102, i32 77975, i32 -66294, i32 -36576, i32 31349, i32 52493, i32 -70833, i32 -80287, i32 94435, i32 39745, i32 -98291, i32 84524, i32 -18942, i32 10236, i32 93448, i32 50846, i32 94023, i32 -6939, i32 47999, i32 14740, i32 30165, i32 81048, i32 84935, i32 -19177, i32 -13594, i32 32289, i32 62628, i32 -90612, i32 -542, i32 -66627, i32 64255, i32 71199, i32 -83841, i32 -82943, i32 -73885, i32 8623, i32 -67214, i32 -9474, i32 -35249, i32 62254, i32 -14087, i32 -90969, i32 21515, i32 -83303, i32 94377, i32 -91619, i32 19956, i32 -98810, i32 96727, i32 -91939, i32 29119, i32 -85473, i32 -82153, i32 -69008, i32 44850, i32 74299, i32 -76459, i32 -86464, i32 8315, i32 -49912, i32 -28665, i32 59052, i32 -69708, i32 76024, i32 -92738, i32 50098, i32 18683, i32 -91438, i32 18096, i32 -19335, i32 35659, i32 91826, i32 15779, i32 -73070, i32 67873, i32 -12458, i32 -71440, i32 -46721, i32 54856, i32 97212, i32 -81875, i32 35805, i32 36952, i32 68498, i32 81627, i32 -34231, i32 81712, i32 27100, i32 -9741, i32 -82612, i32 18766, i32 -36392, i32 2759, i32 41728, i32 69743, i32 26825, i32 48355, i32 -17790, i32 17165, i32 56558, i32 3295, i32 -24375, i32 55669, i32 -16109, i32 24079, i32 73414, i32 48990, i32 -11931, i32 -78214, i32 90745, i32 19878, i32 35673, i32 -15317, i32 -89086, i32 94675, i32 -92513, i32 88410, i32 -93248, i32 -19475, i32 -74041, i32 -19165, i32 32329, i32 -26266, i32 -46828, i32 -18747, i32 45328, i32 8990, i32 -78219, i32 -25874, i32 -74801, i32 -44956, i32 -54577, i32 -29756, i32 -99822, i32 -35731, i32 -18348, i32 -68915, i32 -83518, i32 -53451, i32 95471, i32 -2954, i32 -13706, i32 -8763, i32 -21642, i32 -37210, i32 16814, i32 -60070, i32 -42743, i32 27697, i32 -36333, i32 -42362, i32 11576, i32 85742, i32 -82536, i32 68767, i32 -56103, i32 -63012, i32 71396, i32 -78464, i32 -68101, i32 -15917, i32 -11113, i32 -3596, i32 77626, i32 -60191, i32 -30585, i32 -73584, i32 6214, i32 -84303, i32 18403, i32 23618, i32 -15619, i32 -89755, i32 -59515, i32 -59103, i32 -74308, i32 -63725, i32 -29364, i32 -52376, i32 -96130, i32 70894, i32 -12609, i32 50845, i32 -2314, i32 42264, i32 -70825, i32 64481, i32 55752, i32 4460, i32 -68603, i32 -88701, i32 4713, i32 -50441, i32 -51333, i32 -77907, i32 97412, i32 -66616, i32 -49430, i32 60489, i32 -85262, i32 -97621, i32 -18980, i32 44727, i32 -69321, i32 -57730, i32 66287, i32 -92566, i32 -64427, i32 -14270, i32 11515, i32 -92612, i32 -87645, i32 61557, i32 24197, i32 -81923, i32 -39831, i32 -10301, i32 -23640, i32 -76219, i32 -68025, i32 92761, i32 -76493, i32 68554, i32 -77734, i32 -95620, i32 -11753, i32 -51700, i32 98234, i32 -68544, i32 -61838, i32 29467, i32 46603, i32 -18221, i32 -35441, i32 74537, i32 40327, i32 -58293, i32 75755, i32 -57301, i32 -7532, i32 -94163, i32 18179, i32 -14388, i32 -22258, i32 -46417, i32 -48285, i32 18242, i32 -77551, i32 82620, i32 250, i32 -20060, i32 -79568, i32 -77259, i32 82052, i32 -98897, i32 -75464, i32 48773, i32 -79040, i32 -11293, i32 45941, i32 -67876, i32 -69204, i32 -46477, i32 -46107, i32 792, i32 60546, i32 -34573, i32 -12879, i32 -94562, i32 20356, i32 -48004, i32 -62429, i32 96242, i32 40594, i32 2099, i32 99494, i32 25724, i32 -39394, i32 -2388, i32 -18563, i32 -56510, i32 -83570, i32 -29214, i32 3015, i32 74454, i32 74197, i32 76678, i32 -46597, i32 60630, i32 -76093, i32 37578, i32 -82045, i32 -24077, i32 62082, i32 -87787, i32 -74936, i32 58687, i32 12200, i32 -98952, i32 70155, i32 -77370, i32 21710, i32 -84625, i32 -60556, i32 -84128, i32 925, i32 65474, i32 -15741, i32 -94619, i32 88377, i32 89334, i32 44749, i32 22002, i32 -45750, i32 -93081, i32 -14600, i32 -83447, i32 46691, i32 85040, i32 -66447, i32 -80085, i32 56308, i32 44310, i32 24979, i32 -29694, i32 57991, i32 4675, i32 -71273, i32 -44508, i32 13615, i32 -54710, i32 23552, i32 -78253, i32 -34637, i32 50497, i32 68706, i32 81543, i32 -88408, i32 -21405, i32 6001, i32 -33834, i32 -21570, i32 -46692, i32 -25344, i32 20310, i32 71258, i32 -97680, i32 11721, i32 59977, i32 59247, i32 -48949, i32 98955, i32 -50276, i32 -80844, i32 -27935, i32 -76102, i32 55858, i32 -33492, i32 40680, i32 66691, i32 -33188, i32 8284, i32 64893, i32 -7528, i32 6019, i32 -85523, i32 8434, i32 -64366, i32 -56663, i32 26862, i32 30008, i32 -7611, i32 -12179, i32 -70076, i32 21426, i32 -11261, i32 -36864, i32 -61937, i32 -59677, i32 929, i32 -21052, i32 3848, i32 -20888, i32 -16065, i32 98995, i32 -32293, i32 -86121, i32 -54564, i32 77831, i32 68602, i32 74977, i32 31658, i32 40699, i32 29755, i32 98424, i32 80358, i32 -69337, i32 26339, i32 13213, i32 -46016, i32 -18331, i32 64713, i32 -46883, i32 -58451, i32 -70024, i32 -92393, i32 -4088, i32 70628, i32 -51185, i32 71164, i32 -75791, i32 -1636, i32 -29102, i32 -16929, i32 -87650, i32 -84589, i32 -24229, i32 -42137, i32 -15653, i32 94825, i32 13042, i32 88499, i32 -47100, i32 -90358, i32 -7180, i32 29754, i32 -65727, i32 -42659, i32 -85560, i32 -9037, i32 -52459, i32 20997, i32 -47425, i32 17318, i32 21122, i32 20472, i32 -23037, i32 65216, i32 -63625, i32 -7877, i32 -91907, i32 24100, i32 -72516, i32 22903, i32 -85247, i32 -8938, i32 73878, i32 54953, i32 87480, i32 -31466, i32 -99524, i32 35369, i32 -78376, i32 89984, i32 -15982, i32 94045, i32 -7269, i32 23319, i32 -80456, i32 -37653, i32 -76756, i32 2909, i32 81936, i32 54958, i32 -12393, i32 60560, i32 -84664, i32 -82413, i32 66941, i32 -26573, i32 -97532, i32 64460, i32 18593, i32 -85789, i32 -38820, i32 -92575, i32 -43663, i32 -89435, i32 83272, i32 -50585, i32 13616, i32 -71541, i32 -53156, i32 727, i32 -27644, i32 16538, i32 34049, i32 57745, i32 34348, i32 35009, i32 16634, i32 -18791, i32 23271, i32 -63844, i32 95817, i32 21781, i32 16590, i32 59669, i32 15966, i32 -6864, i32 48050, i32 -36143, i32 97427, i32 -59390, i32 96931, i32 78939, i32 -1958, i32 50777, i32 43338, i32 -51149, i32 39235, i32 -27054, i32 -43492, i32 67457, i32 -83616, i32 37179, i32 10390, i32 85818, i32 2391, i32 73635, i32 87579, i32 -49127, i32 -81264, i32 -79023, i32 -81590, i32 53554, i32 -74972, i32 -83940, i32 -13726, i32 -39095, i32 29174, i32 78072, i32 76104, i32 47778, i32 25797, i32 -29515, i32 -6493, i32 -92793, i32 22481, i32 -36197, i32 -65560, i32 42342, i32 15750, i32 97556, i32 99634, i32 -56048, i32 -35688, i32 13501, i32 63969, i32 -74291, i32 50911, i32 39225, i32 93702, i32 -3490, i32 -59461, i32 -30105, i32 -46761, i32 -80113, i32 92906, i32 -68487, i32 50742, i32 36152, i32 -90240, i32 -83631, i32 24597, i32 -50566, i32 -15477, i32 18470, i32 77038, i32 40223, i32 -80364, i32 -98676, i32 70957, i32 -63647, i32 99537, i32 13041, i32 31679, i32 86631, i32 37633, i32 -16866, i32 13686, i32 -71565, i32 21652, i32 -46053, i32 -80578, i32 -61382, i32 68487, i32 -6417, i32 4656, i32 20811, i32 67013, i32 -30868, i32 -11219, i32 46, i32 74944, i32 14627, i32 56965, i32 42275, i32 -52480, i32 52162, i32 -84883, i32 -52579, i32 -90331, i32 92792, i32 42184, i32 -73422, i32 -58440, i32 65308, i32 -25069, i32 5475, i32 -57996, i32 59557, i32 -17561, i32 2826, i32 -56939, i32 14996, i32 -94855, i32 -53707, i32 99159, i32 43645, i32 -67719, i32 -1331, i32 21412, i32 41704, i32 31612, i32 32622, i32 1919, i32 -69333, i32 -69828, i32 22422, i32 -78842, i32 57896, i32 -17363, i32 27979, i32 -76897, i32 35008, i32 46482, i32 -75289, i32 65799, i32 20057, i32 7170, i32 41326, i32 -76069, i32 90840, i32 -81253, i32 -50749, i32 3649, i32 -42315, i32 45238, i32 -33924, i32 62101, i32 96906, i32 58884, i32 -7617, i32 -28689, i32 -66578, i32 62458, i32 50876, i32 -57553, i32 6739, i32 41014, i32 -64040, i32 -34916, i32 37940, i32 13048, i32 -97478, i32 -11318, i32 -89440, i32 -31933, i32 -40357, i32 -59737, i32 -76718, i32 -14104, i32 -31774, i32 28001, i32 4103, i32 41702, i32 -25120, i32 -31654, i32 63085, i32 -3642, i32 84870, i32 -83896, i32 -76422, i32 -61520, i32 12900, i32 88678, i32 85547, i32 33132, i32 -88627, i32 52820, i32 63915, i32 -27472, i32 78867, i32 -51439, i32 33005, i32 -23447, i32 -3271, i32 -39308, i32 39726, i32 -74260, i32 -31874, i32 -36893, i32 93656, i32 910, i32 -98362, i32 60450, i32 -88048, i32 99308, i32 13947, i32 83996, i32 -90415, i32 -35117, i32 70858, i32 -55332, i32 -31721, i32 97528, i32 82982, i32 -86218, i32 6822, i32 25227, i32 36946, i32 97077, i32 -4257, i32 -41526, i32 56795, i32 89870, i32 75860, i32 -70802, i32 21779, i32 14184, i32 -16511, i32 -89156, i32 -31422, i32 71470, i32 69600, i32 -78498, i32 74079, i32 -19410, i32 40311, i32 28501, i32 26397, i32 -67574, i32 -32518, i32 68510, i32 38615, i32 19355, i32 -6088, i32 -97159, i32 -29255, i32 -92523, i32 3023, i32 -42536, i32 -88681, i32 64255, i32 41206, i32 44119, i32 52208, i32 39522, i32 -52108, i32 91276, i32 -70514, i32 83436, i32 63289, i32 -79741, i32 9623, i32 99559, i32 12642, i32 85950, i32 83735, i32 -21156, i32 -67208, i32 98088, i32 -7341, i32 -27763, i32 -30048, i32 -44099, i32 -14866, i32 -45504, i32 -91704, i32 19369, i32 13700, i32 10481, i32 -49344, i32 -85686, i32 33994, i32 19672, i32 36028, i32 60842, i32 66564, i32 -24919, i32 33950, i32 -93616, i32 -47430, i32 -35391, i32 -28279, i32 56806, i32 74690, i32 39284, i32 -96683, i32 -7642, i32 -75232, i32 37657, i32 -14531, i32 -86870, i32 -9274, i32 -26173, i32 98640, i32 88652, i32 64257, i32 46457, i32 37814, i32 -19370, i32 9337, i32 -22556, i32 -41525, i32 39105, i32 -28719, i32 51611, i32 -93252, i32 98044, i32 -90996, i32 21710, i32 -47605, i32 -64259, i32 -32727, i32 53611, i32 -31918, i32 -3555, i32 33316, i32 -66472, i32 21274, i32 -37731, i32 -2919, i32 15016, i32 48779, i32 -88868, i32 1897, i32 41728, i32 46344, i32 -89667, i32 37848, i32 68092, i32 -44011, i32 85354, i32 -43776, i32 38739, i32 -31423, i32 -66330, i32 65167, i32 -22016, i32 59405, i32 34328, i32 -60042, i32 87660, i32 -67698, i32 -59174, i32 -1408, i32 -46809, i32 -43485, i32 -88807, i32 -60489, i32 13974, i32 22319, i32 55836, i32 -62995, i32 -37375, i32 -4185, i32 32687, i32 -36551, i32 -75237, i32 58280, i32 26942, i32 -73756, i32 71756, i32 78775, i32 -40573, i32 14367, i32 -71622, i32 -77338, i32 24112, i32 23414, i32 -7679, i32 -51721, i32 87492, i32 85066, i32 -21612, i32 57045, i32 10673, i32 -96836, i32 52461, i32 -62218, i32 -9310, i32 65862, i32 -22748, i32 89906, i32 -96987, i32 -98698, i32 26956, i32 -43428, i32 46141, i32 47456, i32 28095, i32 55952, i32 67323, i32 -36455, i32 -60202, i32 -43302, i32 -82932, i32 42020, i32 77036, i32 10142, i32 60406, i32 70331, i32 63836, i32 58850, i32 -66752, i32 52109, i32 21395, i32 -10238, i32 -98647, i32 -41962, i32 27778, i32 69060, i32 98535, i32 -28680, i32 -52263, i32 -56679, i32 66103, i32 -42426, i32 27203, i32 80021, i32 10153, i32 58678, i32 36398, i32 63112, i32 34911, i32 20515, i32 62082, i32 -15659, i32 -40785, i32 27054, i32 43767, i32 -20289, i32 65838, i32 -6954, i32 -60228, i32 -72226, i32 52236, i32 -35464, i32 25209, i32 -15462, i32 -79617, i32 -41668, i32 -84083, i32 62404, i32 -69062, i32 18913, i32 46545, i32 20757, i32 13805, i32 24717, i32 -18461, i32 -47009, i32 -25779, i32 68834, i32 64824, i32 34473, i32 39576, i32 31570, i32 14861, i32 -15114, i32 -41233, i32 95509, i32 68232, i32 67846, i32 84902, i32 -83060, i32 17642, i32 -18422, i32 73688, i32 77671, i32 -26930, i32 64484, i32 -99637, i32 73875, i32 6428, i32 21034, i32 -73471, i32 19664, i32 -68031, i32 15922, i32 -27028, i32 48137, i32 54955, i32 -82793, i32 -41144, i32 -10218, i32 -24921, i32 -28299, i32 -2288, i32 68518, i32 -54452, i32 15686, i32 -41814, i32 66165, i32 -72207, i32 -61986, i32 80020, i32 50544, i32 -99500, i32 16244, i32 78998, i32 40989, i32 14525, i32 -56061, i32 -24692, i32 -94790, i32 21111, i32 37296, i32 -90794, i32 72100, i32 70550, i32 -31757, i32 17708, i32 -74290, i32 61910, i32 78039, i32 -78629, i32 -25033, i32 73172, i32 -91953, i32 10052, i32 64502, i32 99585, i32 -1741, i32 90324, i32 -73723, i32 68942, i32 28149, i32 30218, i32 24422, i32 16659, i32 10710, i32 -62594, i32 94249, i32 96588, i32 46192, i32 34251, i32 73500, i32 -65995, i32 -81168, i32 41412, i32 -98724, i32 -63710, i32 -54696, i32 -52407, i32 19746, i32 45869, i32 27821, i32 -94866, i32 -76705, i32 -13417, i32 -61995, i32 -71560, i32 43450, i32 67384, i32 -8838, i32 -80293, i32 -28937, i32 23330, i32 -89694, i32 -40586, i32 46918, i32 80429, i32 -5475, i32 78013, i32 25309, i32 -34162, i32 37236, i32 -77577, i32 86744, i32 26281, i32 -29033, i32 -91813, i32 35347, i32 13033, i32 -13631, i32 -24459, i32 3325, i32 -71078, i32 -75359, i32 81311, i32 19700, i32 47678, i32 -74680, i32 -84113, i32 45192, i32 35502, i32 37675, i32 19553, i32 76522, i32 -51098, i32 -18211, i32 89717, i32 4508, i32 -82946, i32 27749, i32 85995, i32 89912, i32 -53678, i32 -64727, i32 -14778, i32 32075, i32 -63412, i32 -40524, i32 86440, i32 -2707, i32 -36821, i32 63850, i32 -30883, i32 67294, i32 -99468, i32 -23708, i32 34932, i32 34386, i32 98899, i32 29239, i32 -23385, i32 5897, i32 54882, i32 98660, i32 49098, i32 70275, i32 17718, i32 88533, i32 52161, i32 63340, i32 50061, i32 -89457, i32 19491, i32 -99156, i32 24873, i32 -17008, i32 64610, i32 -55543, i32 50495, i32 17056, i32 -10400, i32 -56678, i32 -29073, i32 -42960, i32 -76418, i32 98562, i32 -88104, i32 -96255, i32 10159, i32 -90724, i32 54011, i32 12052, i32 45871, i32 -90933, i32 -69420, i32 67039, i32 37202, i32 78051, i32 -52197, i32 -40278, i32 -58425, i32 65414, i32 -23394, i32 -1415, i32 6912, i32 -53447, i32 7352, i32 17307, i32 -78147, i32 63727, i32 98905, i32 55412, i32 -57658, i32 -32884, i32 -44878, i32 22755, i32 39730, i32 3638, i32 35111, i32 39777, i32 74193, i32 38736, i32 -11829, i32 -61188, i32 -92757, i32 55946, i32 -71232, i32 -63032, i32 -83947, i32 39147, i32 -96684, i32 -99233, i32 25131, i32 -32197, i32 24406, i32 -55428, i32 -61941, i32 25874, i32 -69453, i32 64483, i32 -19644, i32 -68441, i32 12783, i32 87338, i32 -48676, i32 66451, i32 -447, i32 -61590, i32 50932, i32 -11270, i32 29035, i32 65698, i32 -63544, i32 10029, i32 80499, i32 -9461, i32 86368, i32 91365, i32 -81810, i32 -71914, i32 -52056, i32 -13782, i32 44240, i32 -30093, i32 -2437, i32 24007, i32 67581, i32 -17365, i32 -69164, i32 -8420, i32 -69289, i32 -29370, i32 48010, i32 90439, i32 13141, i32 69243, i32 50668, i32 39328, i32 61731, i32 78266, i32 -81313, i32 17921, i32 -38196, i32 55261, i32 9948, i32 -24970, i32 75712, i32 -72106, i32 28696, i32 7461, i32 31621, i32 61047, i32 51476, i32 56512, i32 11839, i32 -96916, i32 -82739, i32 28924, i32 -99927, i32 58449, i32 37280, i32 69357, i32 11219, i32 -32119, i32 -62050, i32 -48745, i32 -83486, i32 -52376, i32 42668, i32 82659, i32 68882, i32 38773, i32 46269, i32 -96005, i32 97630, i32 25009, i32 -2951, i32 -67811, i32 99801, i32 81587, i32 -79793, i32 -18547, i32 -83086, i32 69512, i32 33127, i32 -92145, i32 -88497, i32 47703, i32 59527, i32 1909, i32 88785, i32 -88882, i32 69188, i32 -46131, i32 -5589, i32 -15086, i32 36255, i32 -53238, i32 -33009, i32 82664, i32 53901, i32 35939, i32 -42946, i32 -25571, i32 33298, i32 69291, i32 53199, i32 74746, i32 -40127, i32 -39050, i32 91033, i32 51717, i32 -98048, i32 87240, i32 36172, i32 65453, i32 -94425, i32 -63694, i32 -30027, i32 59004, i32 88660, i32 3649, i32 -20267, i32 -52565, i32 -67321, i32 34037, i32 4320, i32 91515, i32 -56753, i32 60115, i32 27134, i32 68617, i32 -61395, i32 -26503, i32 -98929, i32 -8849, i32 -63318, i32 10709, i32 -16151, i32 61905, i32 -95785, i32 5262, i32 23670, i32 -25277, i32 90206, i32 -19391, i32 45735, i32 37208, i32 -31992, i32 -92450, i32 18516, i32 -90452, i32 -58870, i32 -58602, i32 93383, i32 14333, i32 17994, i32 82411, i32 -54126, i32 -32576, i32 35440, i32 -60526, i32 -78764, i32 -25069, i32 -9022, i32 -394, i32 92186, i32 -38057, i32 55328, i32 -61569, i32 67780, i32 77169, i32 19546, i32 -92664, i32 -94948, i32 44484, i32 -13439, i32 83529, i32 27518, i32 -48333, i32 72998, i32 38342, i32 -90553, i32 -98578, i32 -76906, i32 81515, i32 -16464, i32 78439, i32 92529, i32 35225, i32 -39968, i32 -10130, i32 -7845, i32 -32245, i32 -74955, i32 -74996, i32 67731, i32 -13897, i32 -82493, i32 33407, i32 93619, i32 59560, i32 -24404, i32 -57553, i32 19486, i32 -45341, i32 34098, i32 -24978, i32 -33612, i32 79058, i32 71847, i32 76713, i32 -95422, i32 6421, i32 -96075, i32 -59130, i32 -28976, i32 -16922, i32 -62203, i32 69970, i32 68331, i32 21874, i32 40551, i32 89650, i32 51908, i32 58181, i32 66480, i32 -68177, i32 34323, i32 -3046, i32 -49656, i32 -59758, i32 43564, i32 -10960, i32 -30796, i32 15473, i32 -20216, i32 46085, i32 -85355, i32 41515, i32 -30669, i32 -87498, i32 57711, i32 56067, i32 63199, i32 -83805, i32 62042, i32 91213, i32 -14606, i32 4394, i32 -562, i32 74913, i32 10406, i32 96810, i32 -61595, i32 32564, i32 31640, i32 -9732, i32 42058, i32 98052, i32 -7908, i32 -72330, i32 1558, i32 -80301, i32 34878, i32 32900, i32 3939, i32 -8824, i32 88316, i32 20937, i32 21566, i32 -3218, i32 -66080, i32 -31620, i32 86859, i32 54289, i32 90476, i32 -42889, i32 -15016, i32 -18838, i32 75456, i32 30159, i32 -67101, i32 42328, i32 -92703, i32 85850, i32 -5475, i32 23470, i32 -80806, i32 68206, i32 17764, i32 88235, i32 46421, i32 -41578, i32 74005, i32 -81142, i32 80545, i32 20868, i32 -1560, i32 64017, i32 83784, i32 68863, i32 -97516, i32 -13016, i32 -72223, i32 79630, i32 -55692, i32 82255, i32 88467, i32 28007, i32 -34686, i32 -69049, i32 -41677, i32 88535, i32 -8217, i32 68060, i32 -51280, i32 28971, i32 49088, i32 49235, i32 26905, i32 -81117, i32 -44888, i32 40623, i32 74337, i32 -24662, i32 97476, i32 79542, i32 -72082, i32 -35093, i32 98175, i32 -61761, i32 -68169, i32 59697, i32 -62542, i32 -72965, i32 59883, i32 -64026, i32 -37656, i32 -92392, i32 -12113, i32 -73495, i32 98258, i32 68379, i32 -21545, i32 64607, i32 -70957, i32 -92254, i32 -97460, i32 -63436, i32 -8853, i32 -19357, i32 -51965, i32 -76582, i32 12687, i32 -49712, i32 45413, i32 -60043, i32 33496, i32 31539, i32 -57347, i32 41837, i32 67280, i32 -68813, i32 52088, i32 -13155, i32 -86430, i32 -15239, i32 -45030, i32 96041, i32 18749, i32 -23992, i32 46048, i32 35243, i32 -79450, i32 85425, i32 -58524, i32 88781, i32 -39454, i32 53073, i32 -48864, i32 -82289, i32 39086, i32 82540, i32 -11555, i32 25014, i32 -5431, i32 -39585, i32 -89526, i32 2705, i32 31953, i32 -81611, i32 36985, i32 -56022, i32 68684, i32 -27101, i32 11422, i32 64655, i32 -26965, i32 -63081, i32 -13840, i32 -91003, i32 -78147, i32 -8966, i32 41488, i32 1988, i32 99021, i32 -61575, i32 -47060, i32 65260, i32 -23844, i32 -21781, i32 -91865, i32 -19607, i32 44808, i32 2890, i32 63692, i32 -88663, i32 -58272, i32 15970, i32 -65195, i32 -45416, i32 -48444, i32 -78226, i32 -65332, i32 -24568, i32 42833, i32 -1806, i32 -71595, i32 80002, i32 -52250, i32 30952, i32 48452, i32 -90106, i32 31015, i32 -22073, i32 62339, i32 63318, i32 78391, i32 28699, i32 77900, i32 -4026, i32 -76870, i32 -45943, i32 33665, i32 9174, i32 -84360, i32 -22684, i32 -16832, i32 -67949, i32 -38077, i32 -38987, i32 -32847, i32 51443, i32 -53580, i32 -13505, i32 9344, i32 -92337, i32 26585, i32 70458, i32 -52764, i32 -67471, i32 -68411, i32 -1119, i32 -2072, i32 -93476, i32 67981, i32 40887, i32 -89304, i32 -12235, i32 41488, i32 1454, i32 5355, i32 -34855, i32 -72080, i32 24514, i32 -58305, i32 3340, i32 34331, i32 8731, i32 77451, i32 -64983, i32 -57876, i32 82874, i32 62481, i32 -32754, i32 -39902, i32 22451, i32 -79095, i32 -23904, i32 78409, i32 -7418, i32 77916]
@.str = [19 x i8] c"return size is %d\0A\00"
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [3000 x i32]
%4 = alloca i32
%5 = bitcast [3000 x i32]* %3 to i8*
%6 = bitcast i32* %4 to i8*
store i32 0, i32* %4
%7 = getelementptr inbounds [3000 x i32], [3000 x i32]* %3, i64 0, i64 0
%8 = call i32 (i32*, i32, i32*, ...) bitcast (i32 (...)* @threeSum to i32 (i32*, i32, i32*, ...)*)(i32* %7, i32 3000, i32* %4)
%9 = sext i32 %8 to i64
%10 = load i32, i32* %4
%11 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0), i32 %10)
%12 = load i32, i32* %4
%13 = icmp eq i32 %12, 16258
%14 = zext i1 %13 to i32
%15 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %14)
%16 = inttoptr i64 %9 to i8*
ret i32 0
}