8543,8547,8552,8556,8558,8559,8559,8559,8559,8559,8559,8559,8558,8558,8558,8558,8558,8559,8560,8562,8564,8562,8559,8556,8553,8550,8546,8543,8540,8537,8533,8530,8527,8523,8520,8517,8513,8510,8507,8503,8498,8494,8490,8486,8481,8476,8471,8467,8463,8458,8454,8449,8445,8441,8437,8432,8428,8423,8418,8413,8409,8404,8400,8395,8392,8388,8385,8384,8383,8382,8381,8379,8378,8377,8375,8374,8373,8372,8371,8369,8368,8367,8369,8373,8377,8381,8385,8389,8392,8397,8401,8404,8408,8412,8416,8419,8423,8426,8430,8434,8437,8441,8445,8448,8452,8455,8459,8463,8466,8470,8474,8477,8481,8485,8488,8492,8496,8500,8503,8508,8512,8516,8521,8526,8531,8536,8541;889,889,889,890,893,897,902,907,912,917,922,927,931,936,941,946,951,955,959,962,965,967,969,971,973,975,976,978,980,982,983,985,987,988,990,992,993,995,997,998,998,999,1000,1001,1001,1001,1001,1000,999,999,1000,1000,1001,1002,1003,1003,1004,1004,1004,1004,1003,1003,1002,1002,1000,999,997,993,989,985,981,978,974,970,967,963,959,955,951,948,944,940,938,937,936,935,934,933,931,931,930,928,927,926,925,923,922,920,919,918,916,915,914,912,911,909,908,907,905,904,903,901,900,899,897,896,895,894,892,892,891,890,890,890,890,890,890