7 137 255 true
0 2 7 10 16 17 30