8 80 123 true
0 1 2 6 17 23 29 31