7 142 252 true
0 5 6 8 11 17 31