5 137 255 true
6 7 11 20 30