9 533 290 true
0 7 8 13 15 26 27 29 31