12 13673 976 true
0 3 4 8 9 11 12 13 15 31 32 37