8 1006 407 true
0 8 9 11 16 17 20 23