7 142 137 true
0 3 15 25 27 30 37