9 2508 512 true
6 7 9 10 23 31 35 38 39