12 12409 945 true
0 3 5 6 9 10 11 15 17 31 36 38