10 9341 754 true
0 3 7 8 15 16 23 33 35 37