#include <assert.h>

int main(void){
  int t[] = {4594, 7358, 6959, 7710, 2090, 1442, 2712, 6598, 4694, 9727, 3040, 7515, 4478, 4427, 5218, 6053, 8873, 4516, 2904, 2743, 9017, 4148, 6223, 6408, 9466, 8821, 711, 5124, 6691, 3892, 8749, 1285, 7602, 2060, 5347, 9693, 3502, 8060, 6291, 4548, 7787, 9331, 8415, 8618, 110, 3634, 4671, 5335, 4502, 3927, 8078, 3519, 8076, 653, 6279, 3894, 5826, 6990, 5371, 2517, 883, 4120, 154, 8485, 2532, 5501, 4530, 2386, 3561, 821, 6934, 7701, 6504, 1701, 6319, 6614, 5335, 7342, 8301, 9837, 1270, 2731, 9708, 9346, 3384, 5987, 3240, 9210, 9330, 8611, 8079, 6565, 9083, 8233, 1402, 1615, 3735, 5933, 4001, 7296, 3106, 7287, 1349, 9611, 8989, 7668, 2577, 676, 5011, 879, 514, 2633, 3610, 222, 1979, 6995, 2562, 1571, 2557, 8244, 6535, 637, 4809, 5618, 8870, 6211, 3586, 2605, 8496, 3939, 6254, 1603, 1227, 7603, 7566, 6568, 1624, 143, 7244, 2987, 1022, 4110, 5620, 985, 685, 3951, 4332, 9599, 1874, 6889, 7843, 8409, 3878, 2652, 380, 2749, 5215, 3966, 1706, 64, 7905, 4312, 1667, 5484, 8268, 9233, 8404, 9892, 5728, 2001, 9231, 3103, 2463, 1203, 4088, 3148, 5154, 8420, 9099, 3380, 1661, 6942, 1790, 5540, 5946, 2170, 8289, 1162, 2488, 6347, 7578, 6745, 660, 9245, 8582, 8928, 4830, 6986, 5172, 558, 5339, 4403, 13, 7803, 1958, 4101, 7303, 3464, 8873, 6403, 6844, 535, 9697, 8634, 6075, 5644, 804, 716, 3158, 9644, 3415, 736, 6390, 4075, 9981, 4972, 3003, 1163, 1958, 4527, 8073, 3650, 8930, 8087, 1453, 7240, 8540, 5108, 704, 7414, 7863, 7549, 7949, 7561, 6183, 376, 3205, 3340, 7444, 6363, 2984, 859, 7099, 5726, 1287, 3432, 698, 4290, 947, 9009, 5170, 9020, 2659, 4100, 3459, 464, 1341, 2000, 5572, 8397, 9414, 9788, 5946, 3715, 7349, 8482, 443, 554, 8174, 7887, 6917, 1158, 5098, 368, 6885, 6385, 152, 3935, 7028, 1099, 2944, 2198, 6471, 5603, 2650, 9931, 2419, 343, 8283, 4344, 8741, 4049, 4132, 4687, 7764, 1481, 9521, 4559, 2035, 7695, 8798, 5304, 5206, 3896, 2024, 2091, 6634, 2176, 2378, 3662, 3275, 5323, 5860, 6098, 7278, 8510, 6029, 9698, 5206, 664, 4042, 3947, 4713, 8174, 4986, 8829, 6007, 4508, 3388, 8042, 2203, 2186, 9698, 7409, 2435, 1722, 5852, 9069, 250, 8231, 2731, 9877, 3554, 4943, 5975, 7184, 9805, 8357, 6882, 5011, 9021, 7276, 8958, 3735, 5450, 297, 2564, 1457, 4805, 2305, 5851, 3360, 843, 1901, 770, 3278, 9975, 2974, 8699, 225, 1205, 7782, 6454, 1111, 2725, 2430, 8296, 8883, 7139, 1530, 3894, 6160, 8807, 9205, 6247, 609, 9502, 5164, 8419, 659, 7469, 622, 4019, 4664, 2524, 1141, 7943, 2499, 4116, 2994, 9077, 1673, 777, 5531, 9137, 9854, 4313, 3785, 8737, 1452, 5315, 2632, 7613, 474, 8189, 212, 1084, 4043, 5376, 5855, 4702, 2845, 6477, 5073, 3862, 9001, 6215, 8157, 7853, 6683, 1151, 3282, 8356, 1928, 5165, 3845, 1783, 9479, 7630, 520, 931, 9298, 9504, 4896, 9772, 7693, 5109, 7208, 8088, 6837, 3063, 2790, 6035, 5893, 7864, 9897, 1246, 431, 8054, 9099, 7114, 9205, 8733, 1822, 7486, 3899, 5668, 5621, 3378, 9650, 2493, 661, 8948, 1998, 1910, 8721, 6043, 3371, 5929, 4132, 208, 5345, 3274, 6243, 1238, 7490, 2492, 2484, 7921, 546};

  assert(! trouve(532, t, 500));
  assert(trouve(212, t, 500));

  return 0;
}