15 12438 857 true
0 1 4 10 11 12 13 24 25 28 29 31 32 35 37