13 1256 581 true 5 9 11 12 17 23 24 27 29 46 72 85 88