12800, 17648, 7141, 1129, 1203, 1208, 1404, 1478, 1930, 2200, 2202, 2358, 2380, 2859, 3184, 3229, 3647, 3838, 3934, 4156, 4642, 4652, 4695, 4713, 4771, 4848, 4920, 5286, 5289, 5530, 6178, 7012, 7133, 7141, 7161, 7770, 7771, 7825, 7938, 8200, 8410, 8779, 8833, 8834, 8986, 9096, 9166, 9167, 9168, 9933, 10029, 10437, 10552, 10614, 10636, 11052, 11252, 11577, 12392, 12393, 14534, 15017, 15416