9 188 257 true
0 3 4 5 13 14 15 30 32