4 142 112 true
4 7 13 30