4 40 133 true
5 7 8 12