15000, 16, 1128, 1254, 1364, 1432, 1453, 1702, 1733, 2142, 2322, 2323, 2685, 2712, 2819, 3169, 3225, 3780, 3976, 4066, 4985, 5763, 6166, 6295, 6322, 6708, 6860, 7031, 7049, 7189, 7223, 7243, 7323, 7869, 7888, 8003, 8364, 8624, 8662, 8749, 9020, 9021, 9131, 9156, 9353, 9554, 9741, 9928, 9986, 10177, 10295, 10539, 10866, 11191, 11515, 11554, 11670, 11702, 11782, 11871, 11938, 12315, 12316, 12491, 14471, 14660, 14677, 16420