12 1000 518 true
1 3 6 9 10 16 17 23 30 35 38 39