6 89 253 true
4 7 12 23 25 35