6 63 257 true 9 11 12 19 29 31