12 12637 817 true
0 4 6 7 9 12 15 19 29 31 32 38