7 71 128 true
6 12 15 19 20 31 32