7 237 177 true
0 1 3 15 16 25 33