8 240 256 true 1 7 12 13 17 23 31 37