6 157 277 true
0 8 13 16 28 37