12 409 317 true
0 3 4 5 7 12 13 15 28 32 38 39