23 13391 1000 true
0 1 2 3 4 5 6 7 8 12 14 15 16 18 19 21 25 26 27 30 32 35 37