9 512 533 true
0 16 23 28 30 31 77 81 89