5 134 256 true
3 15 17 31 32