8 1135 431 true
0 1 7 8 12 13 23 35