4 130 128 true
8 9 17 32