13 1251 600 true 1 2 3 8 10 15 19 22 26 29 30 33 37