12 5120 516 true
0 1 2 12 13 14 17 25 30 36 37 38