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