11 7438 1240 true
0 3 9 12 14 17 20 24 36 37 38