8 240 258 true
0 4 7 17 19 20 35 37