9 197 257 true
0 1 3 15 16 23 27 28 35