10 231 283 true 0 1 2 5 6 11 12 14 15 31