7 555 265 true
0 8 15 19 23 31 35