6 42 143 true
0 1 5 8 12 13