4 42 137 true
5 6 7 12