8 252 113 true
0 8 13 14 16 23 28 33