12 3158 584 true 0 1 2 5 9 11 13 18 25 28 31 32