12 10012 1056 true
0 3 4 5 7 13 15 22 28 32 38 39