7 143 254 true
4 5 12 17 19 31 32