12 1143 518 true
0 3 5 8 12 13 17 22 23 33 35 39